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.frees_argument.remove) 17 tmp=$(mktemp /tmp/smatch.XXXX) 18 19 echo "// list of functions and the argument they free." > kernel.frees_argument 20 echo '// generated by `gen_frees_list.sh`' >> kernel.frees_argument 21 grep -w free_arg $file | cut -d ' ' -f 5- >> $tmp 22 cat $tmp $remove $remove 2> /dev/null | sort | uniq -u >> kernel.frees_argument 23 rm $tmp 24 echo "Done. List saved as 'kernel.frees_argument'" 25