extra: revert part of the recurse patch which broke smatch_equiv
commit04a9a18862f5b34d6e32769452c243105accb44b
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 10 Jun 2013 14:58:31 +0000 (10 17:58 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 10 Jun 2013 14:58:31 +0000 (10 17:58 +0300)
tree8d38aa392271a728423281b435eb8dadb4b20aba
parentb6ab4930c539bc4aa3885ae71bdb429b31970fef
extra: revert part of the recurse patch which broke smatch_equiv

I removed the is_simple_math() check when I introduced has_variable()
because it seemed like it was cut and pasted from earlier.  But actually it
turns out to be needed and basically correct.

Without the check then smatch_extra was duplicating part of what
smatch_equiv does and this created bugs.

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