| commit | 82270de62881ea62d08c63088ed85e9a2bcfc902 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 20:53:37 +0000 (22 23:53 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 20:53:37 +0000 (22 23:53 +0300) | ||
| tree | 1046ba7a7768493cc5cb8cbb58ba66f8b316c551 | treesnapshot (tar.gz zip) |
| parent | 70ac639ba190fdf78942803cc64e5f5be259d527 | commitdiff |
Add known_condition_false()
known_condition_false() is a mirror of known_condition_true(). It's
cleverer than just checking for "if (0) {..."
Signed-off-by: Dan Carpenter <error27@gmail.com>
known_condition_false() is a mirror of known_condition_true(). It's
cleverer than just checking for "if (0) {..."
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_conditions.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory |