| commit | 2242c23b2937695e71caba61c9e434292967240d | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 11 Apr 2009 06:13:54 +0000 (11 09:13 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 11 Apr 2009 06:13:54 +0000 (11 09:13 +0300) | ||
| tree | 7343417efc19de2c620002ab36b11096880d7a2d | treesnapshot (tar.gz zip) |
| parent | 8e2898228edae8922a9334253c77449f64aea79e | commitdiff |
Fix range comparison.
The checking for if things were not equal was wrong. Also things
are supposed to be both possibly true and possibly false but the
possibly_false() function was just checking !true_comparison_range() so
I created a false_comparison_range() check.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The checking for if things were not equal was wrong. Also things
are supposed to be both possibly true and possibly false but the
possibly_false() function was just checking !true_comparison_range() so
I created a false_comparison_range() check.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_extra_helper.c | diffblobblamehistory | |
| validation/sm_implied5.c | [new file with mode: 0644] | blob |