| commit | 3756770b7336378fae1308059b1dc1daf851bc70 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Jan 2017 07:13:31 +0000 (14 10:13 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Jan 2017 07:13:31 +0000 (14 10:13 +0300) | ||
| tree | 6bfb5cf100934a396bc9cfa1c3dfe0e50a969530 | treesnapshot (tar.gz zip) |
| parent | 420a6cf0c4e8a27ff1e60b740e659548f24c9a13 | commitdiff |
comparison: modify the links at at start of an assignment
Say you have a return in the DB like this "1-65535[$0->num]". And the
caller checks that "ret == p->num" then we want to store the implications
that these are equivalent. The problem is we'd first store the comparison
then destroy them because the links are modified as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say you have a return in the DB like this "1-65535[$0->num]". And the
caller checks that "ret == p->num" then we want to store the implications
that these are equivalent. The problem is we'd first store the comparison
then destroy them because the links are modified as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |