| commit | ebc3a168d8977e9613c5abac4d0798aaddae2086 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 7 Apr 2009 19:45:44 +0000 (7 22:45 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 7 Apr 2009 19:45:44 +0000 (7 22:45 +0300) | ||
| tree | c4486c928e3a143f295c1de9a6e7b9b182dcf60f | treesnapshot (tar.gz zip) |
| parent | 93ab6ed5f4fd8f4d70f46af5cf397151b6ee3350 | commitdiff |
rename known_condition_true() to implied_condition_true()
Signed-off-by: Dan Carpenter <error27@gmail.com>
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_conditions.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory |