extra, modification_hooks: set "*p" to unknown if we call "function(p)"
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 23 Jan 2013 12:33:08 +0000 (15:33 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 23 Jan 2013 12:33:08 +0000 (15:33 +0300)
commit2d002be825c42f986911a49b07ea134a1c8029a2
treef1a7ddcb1fc1122969296848a7d210b090ca258f
parent23b4956a03d2025871e4d180f2e72dd7ef02614f
extra, modification_hooks: set "*p" to unknown if we call "function(p)"

This only affects people who are not using the smatch_db.  Before if you
called "foo(&bar)", then it would set "bar" to unknown.  Now if you call
"foo(bar)" it sets "*bar" to unknown.  It does not set "bar->xxx" to
unknown.

It's awkward that smatch_extra.c and smatch_modification_hooks.c both
needed to be modified.  There is some cleanup work here that could be done.

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