X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=290097%2Freduce-ice;fp=290097%2Freduce-ice;h=45d8763a9d9e78aab46c3e141a03722c5c5c939a;hp=0000000000000000000000000000000000000000;hb=81f80d8c1c9898ae1c26534a3287a47220390f5c;hpb=45516216fc552c838e650d868214d867027a64f6

diff --git a/290097/reduce-ice b/290097/reduce-ice
new file mode 100755
index 0000000..45d8763
--- /dev/null
+++ b/290097/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=test.i
+CC=gcc
+CFLAGS="-Wall -std=gnu99 -O3"
+STRING="subscript"
+
+$CC -pipe -c $CFLAGS $FILE 2>&1 | grep "$STRING"