implied: use implications from function conditions
[smatch.git] / sparsei
blob3431a9f0b59bc3e10a5983e91961c1a331951b6d
1 #!/bin/sh
3 set +e
5 DIRNAME=`dirname $0`
6 LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
8 if [ $# -eq 0 ]; then
9 echo "`basename $0`: no input files"
10 exit 1
13 $DIRNAME/sparse-llvm $@ | $LLI