smatch_scripts/gen_frees_list.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 echo "// list of functions and the argument they free." > kernel.frees_argument
  11 echo '// generated by `gen_frees_list.sh`' >> kernel.frees_argument
  12 grep -w free_arg $file | cut -d ' ' -f 3- >> kernel.frees_argument
  13 echo "Done.  List saved as 'kernel.frees_argument'"
  14