| commit | 433c3bdea4215a3d6be91c56d895b4a1bf69c959 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 7 Dec 2009 10:07:31 +0000 (7 12:07 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 7 Dec 2009 10:07:31 +0000 (7 12:07 +0200) | ||
| tree | c65f379e9a96aae396fd7f0de587686dd04cd77f | treesnapshot (tar.gz zip) |
| parent | 4ee094e703990736d1c546bfbc4ccd9dc01177e2 | commitdiff |
clean up kfree_skb() check.
Deleted all the old functions to figure out types. They were messy and
not as good as the new get_type().
I also modified the test to use get_variable_from_expr_complex() so it
will catch more errors potentially. And even if that function returns
null but we know the type we can still print an error.
Improved the validation script by adding the xx.skb.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Deleted all the old functions to figure out types. They were messy and
not as good as the new get_type().
I also modified the test to use get_variable_from_expr_complex() so it
will catch more errors potentially. And even if that function returns
null but we know the type we can still print an error.
Improved the validation script by adding the xx.skb.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_type.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_type.c | diffblobblamehistory | |
| validation/sm_skb.c | [new file with mode: 0644] | blob |
| validation/smatch_closet/sm_skb.c | [deleted file] | blobblamehistory |