| commit | d5c83ee8bc55cd374fc802cb38c64c90a771053d | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 5 Apr 2009 19:15:23 +0000 (5 22:15 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 5 Apr 2009 19:15:23 +0000 (5 22:15 +0300) | ||
| tree | 659c2d9d578062b12ec75fcd3c6117195ff9e66a | treesnapshot (tar.gz zip) |
| parent | f4f4ccacbea644e73a5f545cb07b76a0172308ae | commitdiff |
Handle known conditions when they are a simple value.
There are places where smatch had false positives because the code does
stuff like:
#define debug_pagealloc 1
I think gcc just optimizes the condition away in that case. It's simple
enough to handle that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
There are places where smatch had false positives because the code does
stuff like:
#define debug_pagealloc 1
I think gcc just optimizes the condition away in that case. It's simple
enough to handle that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_flow.c | diffblobblamehistory | |
| validation/sm_locking4.c | [moved from validation/smatch_closet/sm_known.c with 57% similarity] | diffblobblamehistory |