X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=505182%2Freduce-ice;fp=505182%2Freduce-ice;h=ff1d5359b417edc06c437cebdc81661256c5f182;hp=0000000000000000000000000000000000000000;hb=bd3239d2bbe0de3a200b266503e3330b1e391489;hpb=dbff64cb4b7530861c2309c794efdd4e0cf47a23

diff --git a/505182/reduce-ice b/505182/reduce-ice
new file mode 100755
index 0000000..ff1d535
--- /dev/null
+++ b/505182/reduce-ice
@@ -0,0 +1,13 @@
+#!/bin/sh
+#
+# Run like:
+#  multidelta -level=# ./reduce-ice $FILE
+#  levels: 0 0 1 1 2 2 10 10
+#
+
+FILE=ssh-keygen.i
+CC=hppa2.0-unknown-linux-gnu-gcc-4.7.3
+CFLAGS="-O2 -fno-builtin-memset -ftrapv"
+STRING="internal compiler error: in hoist_code, at gcse.c:3123"
+
+$CC -pipe -c $CFLAGS $FILE -o /dev/null 2>&1 | grep "$STRING"