db/fixup_kernel.sh: fix clear_user() handlingmaster
commitff1cc4d453ffeddf3cf3dc031c5b129eefbf3e2c
authorDan Carpenter <dan.carpenter@linaro.org>
Sat, 27 Apr 2024 10:22:37 +0000 (27 13:22 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Sat, 27 Apr 2024 10:22:37 +0000 (27 13:22 +0300)
tree3055d40c1f65d9bf9618a730f420a7e1393c0e49
parentcc6d585a0ad955249484eff3655c8c7b1dab2b82
db/fixup_kernel.sh: fix clear_user() handling

There are two changes here:
1) Switch from double quotes to single quotes.  Atin Bainada reported that
   this was still an issue.
2) Add a grep -v '\['.  Apparently current versions of smatch are able to
   determine some of these relationship automatically and this code was
   recording bogus relationships like: "1-u64max[==$1][<=$1]" when it
   should have just been "1-u64max[==$1]".

Reported-by: Atin Bainada
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_data/db/fixup_kernel.sh