1 files changed, 12 insertions, 0 deletions
diff --git a/test/Intrinsics/abs-overflow.ll b/test/Intrinsics/abs-overflow.ll
new file mode 100644
index 00000000..33b47ecf
--- /dev/null
+++ b/test/Intrinsics/abs-overflow.ll
@@ -0,0 +1,12 @@
+; REQUIRES: geq-llvm-12.0
+; RUN: rm -rf %t.klee-out
+; RUN: %klee --output-dir=%t.klee-out --optimize=false %s 2> %t.stderr.log
+; RUN: FileCheck %s < %t.stderr.log
+
+define i32 @main() {
+  %1 = call i32 @llvm.abs.i32(i32 -2147483648, i1 true)
+  ; CHECK: llvm.abs called with poison and INT_MIN
+  ret i32 0
+}
+
+declare i32 @llvm.abs.i32(i32, i1 immarg)