| commit | 19a1ff06aff9963addb982f7854f919ccfaca7a3 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 10 Dec 2012 11:47:26 +0000 (10 14:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 10 Dec 2012 11:47:26 +0000 (10 14:47 +0300) | ||
| tree | 3eeb3d1ca4e3dcf88e6f8dd04ae684525e0b139d | treesnapshot (tar.gz zip) |
| parent | cc90aed2797cd78280ffd52c75d972e10a6d56f9 | commitdiff |
Revert "constraints: fix bug in remove_from_equiv()"
This reverts commit 7fed101e3bd7acee4aed04c12fc0deb13a71a048.
This causes a seg fault if get_sm_state() returns NULL. The thing is
that we want to inherit the implications from equivalent states and
so it means that sometimes we will have ->left and ->right where the
sm->left->name is not the same as sm->name. The way I see it, this
doesn't cause a problem so long as we don't forget this obscure
weirdness.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This reverts commit 7fed101e3bd7acee4aed04c12fc0deb13a71a048.
This causes a seg fault if get_sm_state() returns NULL. The thing is
that we want to inherit the implications from equivalent states and
so it means that sometimes we will have ->left and ->right where the
sm->left->name is not the same as sm->name. The way I see it, this
doesn't cause a problem so long as we don't forget this obscure
weirdness.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |