[ICEs.git] / sb-bigloo / reduce-ice

#!/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:'
Commit	Line	Data
81f80d8c MF	1	#!/bin/bash
	2	#
	3	# Run like:
	4	# multidelta -level=# ./reduce-ice $FILE
	5	# levels: 0 0 1 1 2 2 10 10
	6	#
	7
	8	FILE=bigloo.i
	9	CC=gcc
	10	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"
	11
	12	$CC -pipe $FILE $FLAGS \|\| exit 1
	13	./a.out \|\| exit 1
	14	expect -c 'spawn sandbox ./a.out; expect;' \|& grep 'glibc detected .*: free..: invalid pointer:'