| commit | 61e0c2b46d5456342825d45980228a29718f4bb5 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 20 Feb 2012 07:29:47 +0000 (20 10:29 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 20 Feb 2012 07:29:47 +0000 (20 10:29 +0300) | ||
| tree | 02d4bf9c78e66a44e0a006ac73c47b8d59829b18 | treesnapshot (tar.gz zip) |
| parent | 04d183b47fde203413463de481531b267c99bdce | commitdiff |
extra: modify match_comparison() so it can deal with range comparisons
Smatch extra used to be able to parse comparisons like:
if (x > 5) { ...
But now it can parse comparisons like:
if (x > y) { ...
It would be better if this was tied to smatch_constraints.c as well...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Smatch extra used to be able to parse comparisons like:
if (x > 5) { ...
But now it can parse comparisons like:
if (x > y) { ...
It would be better if this was tied to smatch_constraints.c as well...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| validation/sm_compare.c | [new file with mode: 0644] | blob |
| validation/sm_compare2.c | [new file with mode: 0644] | blob |