11972 resync smatch

          --- old/usr/src/tools/smatch/src/sparsei
          +++ new/usr/src/tools/smatch/src/sparsei
   1    1  #!/bin/sh
   2    2  
   3    3  set +e
   4    4  
        5 +SPARSEOPTS=
        6 +JIT_OPT=
        7 +
   5    8  DIRNAME=`dirname $0`
   6    9  LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
   7   10  
   8   11  if [ $# -eq 0 ]; then
   9   12    echo "`basename $0`: no input files"
  10   13    exit 1
  11   14  fi
  12   15  
  13      -$DIRNAME/sparse-llvm $@ | $LLI
       16 +while [ $# -gt 0 ]; do
       17 +        case $1 in
       18 +        --jit)
       19 +                JIT_OPT=
       20 +                ;;
       21 +        --no-jit)
       22 +                JIT_OPT="-force-interpreter"
       23 +                ;;
       24 +        *)
       25 +                SPARSEOPTS="$SPARSEOPTS $1 "
       26 +                ;;
       27 +        esac
       28 +        shift
       29 +done
       30 +
       31 +$DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX