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