extra: more limits on which variables are equivalent
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 28 May 2014 10:45:58 +0000 (13:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 28 May 2014 10:45:58 +0000 (13:45 +0300)
commit72dc848f8a83d2af7d2c09e7c20f35e35e2dcaf8
tree9429aca331b4e35e15f2056aa0070407f20a3da9
parentcdbfdb56b417c388d3478cf7dfef421a3726f207
extra: more limits on which variables are equivalent

If the assignment is:

foo = &bar;

Then we don't record that as equivalent.  Unfortunately, I can't remember
why this is.  Probably it is because we don't record the state of &bar in
smatch_extra so they become out of sync.

If the assignment is:

foo = foo->bar;

Then the problem is that after the assignment then the right side of the
assignment has changed so foo != foo->bar at the end.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c