type_val: ignore container_of() assignments
commit8eb2e060c05babd3734ac4bbbff41fed98747e7f
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Jan 2015 09:05:07 +0000 (9 12:05 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Jan 2015 09:05:07 +0000 (9 12:05 +0300)
tree14df41531c4095b861bed3e865f29009338fb513
parent108462a13d5b71b2eba26d6ffb658b0aa22fcd91
type_val: ignore container_of() assignments

Say you have:

foo = container_of(x);

That shouldn't be recorded as an unknown assignment to type foo->bar.  The
code really means we set foo->bar somewhere else.

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