type_val: record fewer "unknown" assignments
commit3db5365e36907eba44b4e14a9b56cad273da67ac
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 25 Jan 2018 14:10:26 +0000 (25 17:10 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 25 Jan 2018 14:10:26 +0000 (25 17:10 +0300)
tree772a0031db5e7a9ab6f893ab157679d6ff00fc28
parent25e797875a4324be396420ca54e2766a6f7d96a0
type_val: record fewer "unknown" assignments

There are two bugs fixed here:

foo = bar;

This was setting foo->inner->value to unknown.  The second bug was that
"ptr++" was setting ptr->value to unknown.

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