| commit | 7421251220c05fc46dd7849582283d258ffe3b96 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 13 May 2010 08:59:38 +0000 (13 10:59 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 13 May 2010 08:59:38 +0000 (13 10:59 +0200) | ||
| tree | 406a5c69fcf535935b8b22f8335d63839f594898 | treesnapshot (tar.gz zip) |
| parent | dd38b822d5a67af02546b28e104b366ea535f447 | commitdiff |
extra: make do_comparison() handle two variables
Say if we know that a is 0-3 and b is 5-10, that implies that they are
not equal. Before Smatch could almost handle this but only if one of
the variables was a set number. It couldn't handle it if both sides were
a range.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Say if we know that a is 0-3 and b is 5-10, that implies that they are
not equal. Before Smatch could almost handle this but only if one of
the variables was a set number. It couldn't handle it if both sides were
a range.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory |