dereference: find more cross function dereferences
commit82e85a9e7f2f3830b98f91a34662a229232381f1
authorDan Carpenter <dan.carpenter@linaro.org>
Thu, 11 May 2023 08:44:37 +0000 (11 11:44 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Thu, 11 May 2023 08:44:37 +0000 (11 11:44 +0300)
treef43509d5a74aea31bfbff0dba5f9bee744f0f6bc
parent5e1b43c1b1a15e50754c2a0a7d417f9c7a2859a1
dereference: find more cross function dereferences

Quite often there is code like:

struct whatever *p = &param->foo;

p->x = 100;

The &param->foo is not a dereference.  The p->x is a dereference, but it
didn't result in anything being recorded in the database.  What this code
does is that when we see the "p->x", then record the "param" was
dereferenced.

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_dereference.c