| commit | 7fed101e3bd7acee4aed04c12fc0deb13a71a048 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 8 Dec 2012 13:28:42 +0000 (8 16:28 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 8 Dec 2012 13:28:42 +0000 (8 16:28 +0300) | ||
| tree | c2c60e0ab6125f1b28aa8b9a22bb14321918e964 | treesnapshot (tar.gz zip) |
| parent | 1cd9aab9b6b64220570d4f27322180c56f5fdf95 | commitdiff |
constraints: fix bug in remove_from_equiv()
The code from here meant that sometimes ->left or ->right pointed to a
different sm_state than intended.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The code from here meant that sometimes ->left or ->right pointed to a
different sm_state than intended.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |