| commit | f56d076cffec93bc4e783a4020023db89cb640bd | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 2 Aug 2010 21:14:31 +0000 (2 23:14 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 2 Aug 2010 21:14:31 +0000 (2 23:14 +0200) | ||
| tree | f1b7d1357e1e9ff9c9ef8aa6b4357e525addd7b3 | treesnapshot (tar.gz zip) |
| parent | f26835b4bd2bd37aaf865882f0cc1bec0b66c118 | commitdiff |
extra: handle WARN_ON(func(&set_this_pointer));
In the original code, smatch didn't set "set_this_pointer" to unknown
because it was inside a WARN_ON().
Signed-off-by: Dan Carpenter <error27@gmail.com>
In the original code, smatch didn't set "set_this_pointer" to unknown
because it was inside a WARN_ON().
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory |