1#!/bin/bash
2
3file=$1
4
5if [[ "$file" = "" ]] ; then
6    echo "Usage:  $0 <file with smatch messages>"
7    exit 1
8fi
9
10grep " unchecked " $file | cut -d ' ' -f 5- | sort -u > unchecked
11grep " undefined " $file | cut -d ' ' -f 5- | sort -u > null_calls.txt
12cat null_calls.txt unchecked | sort | uniq -d > null_params.txt
13IFS="
14"
15for i in $(cat null_params.txt) ; do
16	grep "$i" $file | grep -w undefined
17done
18
19
20