more

[ICEs.git] / 411691 / reduce-ice

diff --git a/411691/reduce-ice b/411691/reduce-ice
new file mode 100755 (executable)
index 0000000..5a01274
--- /dev/null
+++ b/411691/reduce-ice
@@ -0,0 +1,13 @@
+#!/bin/bash
+#
+# Run like:
+#  multidelta -level=# ./reduce-ice $FILE
+#  levels: 0 0 1 1 2 2 10 10
+#
+
+FILE=id_manager.i
+CC=g++-4.6.2
+CFLAGS="-O2"
+STRING="internal compiler error: Segmentation fault"
+
+$CC -pipe -c $CFLAGS -o /dev/null $FILE 2>&1 | grep "$STRING"