| commit | 0752262f6eed9083fc5a09e3d45d39fcf09cd919 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 29 Sep 2014 15:09:16 +0000 (29 18:09 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 29 Sep 2014 15:09:16 +0000 (29 18:09 +0300) | ||
| tree | 3b95b7593fa62e93e6c602fb6dc8b83e4f0416a2 | treesnapshot (tar.gz zip) |
| parent | 60b8d507e51b3254984afec8878a36daa071c489 | commitdiff |
comparison: don't store comparisons to one's self
When we're updating the links we can end up adding useless (but true)
deductions like "x <= x".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
When we're updating the links we can end up adding useless (but true)
deductions like "x <= x".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |