smatch_scripts/gen_param_implications.sh

   1 #!/bin/bash
   2
   3 file=$1
   4
   5 if [[ "$file" = "" ]] ; then
   6     echo "Usage:  $0 <file with smatch messages>"
   7     exit 1
   8 fi
   9
  10 outfile="kernel.parameter_implications"
  11
  12 bin_dir=$(dirname $0)
  13 add=$(echo ${bin_dir}/../smatch_data/${outfile}.add)
  14
  15 cat $add > $outfile
  16 ${bin_dir}/parameter_implications.pl $file >> $outfile
  17 grep bool_return_implication $file | cut -d ' ' -f 2,5- | sed -e 's/()//' >> $outfile
  18
  19 echo "Done.  List saved as '$outfile'"