| commit | e316a8fd5c2c5492f1087645dd6a05f9619a4703 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 18 Feb 2010 08:40:37 +0000 (18 11:40 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 18 Feb 2010 08:40:37 +0000 (18 11:40 +0300) | ||
| tree | e161509037c492588cb826c3d5c20dde16c908f5 | treesnapshot (tar.gz zip) |
| parent | 4e02baf8592f4878d7287b0fc8670873ffcc54c6 | commitdiff |
handle assignments like: foo = x < 1;
This removes some very ancient broken attempts at handling this.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This removes some very ancient broken attempts at handling this.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_conditions.c | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| validation/sm_implied9.c | [new file with mode: 0644] | blob |