smatch_scripts/gen_returns_held.sh

   1 #!/bin/bash
   2
   3 file=$1
   4 project=$(echo "$2" | cut -d = -f 2)
   5
   6 if [[ "$file" = "" ]] ; then
   7     echo "Usage:  $0 <file with smatch messages> -p=<project>"
   8     exit 1
   9 fi
  10
  11 if [[ "$project" != "kernel" ]] ; then
  12     exit 0
  13 fi
  14
  15 bin_dir=$(dirname $0)
  16 remove=$(echo ${bin_dir}/../smatch_data/kernel.returns_held.remove)
  17 tmp=$(mktemp /tmp/smatch.XXXX)
  18
  19 echo "// list of functions that return a held device." \
  20     > kernel.returns_held_funcs
  21 echo '// generated by `gen_returns_held.sh`' >> kernel.returns_held_funcs
  22 grep "returned dev is held" $file | cut -s -d ' ' -f 2 | cut -d '(' -f 1 | \
  23     sort -u > $tmp
  24 cat $tmp $remove $remove 2> /dev/null | sort | uniq -u \
  25     >> kernel.returns_held_funcs
  26 rm $tmp
  27 echo "Done.  List saved as 'kernel.returns_held_funcs'"
  28