| commit | c9d88b4c64920b59d49fa0dc73b8e57649d9a084 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 8 May 2013 13:20:16 +0000 (8 16:20 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 8 May 2013 13:20:16 +0000 (8 16:20 +0300) | ||
| tree | e92138c0baf9b2a1beeede69fb05523fd9b2a565 | treesnapshot (tar.gz zip) |
| parent | 51143f3d193d33cd29541baa9394f0e822d3258e | commitdiff |
extra: handle previously assigned simple math
This is a special case of this:
a = b - 3;
if (a < 0)
__smatch_implied(b);
In this case we know that b is a number greater than 3. The other case
where a = b is already handled by the equivalence code.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is a special case of this:
a = b - 3;
if (a < 0)
__smatch_implied(b);
In this case we know that b is a number greater than 3. The other case
where a = b is already handled by the equivalence code.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| validation/sm_compare5.c | [new file with mode: 0644] | blob |