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

diff --git a/sb-bigloo/reduce-ice b/sb-bigloo/reduce-ice
new file mode 100755
index 0000000..5617213
--- /dev/null
+++ b/sb-bigloo/reduce-ice
@@ -0,0 +1,14 @@
+#!/bin/bash
+#
+# Run like:
+#  multidelta -level=# ./reduce-ice $FILE
+#  levels: 0 0 1 1 2 2 10 10
+#
+
+FILE=bigloo.i
+CC=gcc
+FLAGS="-L/usr/lib64/bigloo/3.2b -L/usr/lib  -lbigloopth_s-3.2b -lbigloogstreamer_s-3.2b -lbigloomultimedia_s-3.2b  -lbigloo_s-3.2b -lgc -ldl -lm -lgmp -ldl  -lbigloopth_s-3.2b -lbigloogstreamer_s-3.2b -lbigloomultimedia_s-3.2b  -lpthread -pthread -lgstreamer-0.10 -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lrt -lxml2 -lglib-2.0   -lgstaudio-0.10"
+
+$CC -pipe $FILE $FLAGS || exit 1
+./a.out || exit 1
+expect -c 'spawn sandbox ./a.out; expect;' |& grep 'glibc detected .*: free..: invalid pointer:'