1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr23047.c b/gcc/testsuite/gcc.c-torture/execute/pr23047.c
new file mode 100644
index 00000000000..7557fc2beca
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr23047.c
@@ -0,0 +1,16 @@
+#include <limits.h>
+extern void abort ();
+extern void exit (int);
+void f(int i)
+{
+  i = i > 0 ? i : -i;
+  if (i<0)
+    return;
+  abort ();
+}
+
+int main(int argc, char *argv[])
+{
+  f(INT_MIN);
+  exit (0);
+}