| commit | 078d486ff8b6b2dd10c6e38e41c87ceb3c06d962 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 7 Apr 2009 19:57:52 +0000 (7 22:57 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 7 Apr 2009 19:57:52 +0000 (7 22:57 +0300) | ||
| tree | 8d0049fad3086b8481c064029781d8ebfe075554 | treesnapshot (tar.gz zip) |
| parent | ebc3a168d8977e9613c5abac4d0798aaddae2086 | commitdiff |
Add new restricted known_condition_true()
My idea is that known is a higher level of certainty than implied.
if (1) { ... known condition true.
a = 1; if (a) { ... implied condition true.
Signed-off-by: Dan Carpenter <error27@gmail.com>
My idea is that known is a higher level of certainty than implied.
if (1) { ... known condition true.
a = 1; if (a) { ... implied condition true.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| validation/sm_locking4.c | diffblobblamehistory |