diff options
| -rwxr-xr-x | tools/patcheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/patcheck b/tools/patcheck index a6923c4c36..62ad0868ea 100755 --- a/tools/patcheck +++ b/tools/patcheck @@ -112,7 +112,7 @@ for i in \ ; do echo $i | grep '^NULL$' && continue egrep $i' *(\+|-|\*|/|\||&|%|)=[^=]' $* >/dev/null || echo "possibly never written:"$i >> $TMP - egrep '(=|\(|return).*'$i'[^=]*$' $* >/dev/null || echo "possibly never read :"$i >> $TMP + egrep '(=|\(|return).*'$i'(==|[^=])*$' $* >/dev/null || echo "possibly never read :"$i >> $TMP egrep -o $i' *((\+|-|\*|/|\||&|%|)=[^=]|\+\+|--) *(0x|)[0-9]*(;|)' $* |\ egrep -v $i' *= *(0x|)[0-9]{1,};'>/dev/null || echo "possibly constant :"$i >> $TMP done |