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