extra: expressions are equivalent even if they are unknown
commitb0f8905b5b4ec5d0e2f6ed9527b4688a77189a2a
authorDan Carpenter <dan.carpenter@oracle.com>
Sat, 22 Oct 2011 08:24:00 +0000 (22 11:24 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 22 Oct 2011 08:30:21 +0000 (22 11:30 +0300)
treebb8c5450182b53fc7d11ffbc544b6079b89a4e3e
parent2693bc2158f934954100f9cade49be507ea4a5c9
extra: expressions are equivalent even if they are unknown

Smatch tries to record which expressions are equivalent in
smatch_constraints.c.  So it records it if you have something like:
    foo = bar;

The problem was it only recorded it if bar had a state saved in
smatch_extra and not if it was new.  This patch fixes that.

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