#!/bin/bash file=$1 project=$(echo "$2" | cut -d = -f 2) if [[ "$file" = "" ]] ; then echo "Usage: $0 -p=" exit 1 fi if [[ "$project" != "kernel" ]] ; then exit 0 fi bin_dir=$(dirname $0) remove=$(echo ${bin_dir}/../smatch_data/kernel.returns_err_ptr.remove) tmp=$(mktemp /tmp/smatch.XXXX) echo "// list of functions that return a new allocation." \ > kernel.returns_err_ptr echo '// generated by `gen_err_ptr_list.sh`' >> kernel.returns_err_ptr grep "returns_err_ptr$" $file | cut -s -d ' ' -f 2 | cut -d '(' -f 1 | \ sort -u > $tmp cat $tmp $remove $remove 2> /dev/null | sort | uniq -u \ >> kernel.returns_err_ptr rm $tmp echo "Done. List saved as 'kernel.returns_err_ptr'"