| commit | a5b1f600ada4371e9f8425e4b536352218c8aee3 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 2 Dec 2009 00:57:40 +0000 (2 02:57 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 2 Dec 2009 00:57:40 +0000 (2 02:57 +0200) | ||
| tree | eb47f6a9222f21b1d256a7ad6e718fd9b352ebbc | treesnapshot (tar.gz zip) |
| parent | 4fa9a9c66458c6120021d295664e90a9d9beaf45 | commitdiff |
Fix negate bug. (Dereferencing undefined false positive)
Normally when people call set_true_false paths they set both the true
and false paths. The negate code was messing up if you only set one
side and not the other. Implications sometimes do that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Normally when people call set_true_false paths they set both the true
and false paths. The negate code was messing up if you only set one
side and not the other. Implications sometimes do that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_states.c | diffblobblamehistory | |
| validation/sm_null_deref2.c | [new file with mode: 0644] | blob |