| commit | bc991cde3f000ea911efc96cdedd25851cdd17f7 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 23 Feb 2009 11:36:39 +0000 (23 14:36 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 23 Feb 2009 11:36:39 +0000 (23 14:36 +0300) | ||
| tree | fad06a892d6935c4f5a2854be5f1828d43c18c9a | treesnapshot (tar.gz zip) |
| parent | 1344fe3f88affb97f5d577fb4b48e8b77b92568d | commitdiff |
if ((1)) { ... is a known_condition_true()
Signed-off-by: Dan Carpenter <error27@gmail.com>
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory |