type_val: handle |= type assignments
commitfc2dc2e0b5de3531610d729559d284054bb11651
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 27 Jan 2017 08:30:20 +0000 (27 11:30 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 27 Jan 2017 08:30:20 +0000 (27 11:30 +0300)
tree03452f78a9fc5f2b845f1f0a77cdde74896f4b07
parent4d86d289e0af77fc6baa14c3682274d7820d36a3
type_val: handle |= type assignments

In the old code, I tried to figure out the value of the right hand side,
but now I just wait until smatch_extra.c has set the left hand side and
then use that value.

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