| commit | 205fc6eddbc696ecd5cb044ab2c88eabcec4e155 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 31 May 2009 15:34:46 +0000 (31 18:34 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 31 May 2009 15:34:46 +0000 (31 18:34 +0300) | ||
| tree | a3580f36121257bd911e07a824a88b32e7b57946 | treesnapshot (tar.gz zip) |
| parent | b5fff0cff93423196c4556dbf22958d08d195143 | commitdiff |
smatch_extra: fix (foo != 42) { ...
Fix handling not equal conditions and also add a validation test.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Fix handling not equal conditions and also add a validation test.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory | |
| validation/sm_compound_conditions3.c | [new file with mode: 0644] | blob |