free_strict: print the line number where the pointer was freed
[smatch.git] / sparsei
blob3232200e927769b7fe9357638083220486e1ecbc
1 #!/bin/sh
3 set +e
5 SPARSEOPTS=
6 JIT_OPT=
8 DIRNAME=`dirname $0`
9 LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
11 if [ $# -eq 0 ]; then
12 echo "`basename $0`: no input files"
13 exit 1
16 while [ $# -gt 0 ]; do
17 case $1 in
18 --jit)
19 JIT_OPT=
21 --no-jit)
22 JIT_OPT="-force-interpreter"
25 SPARSEOPTS="$SPARSEOPTS $1 "
27 esac
28 shift
29 done
31 $DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}