extra: handle indirection like "p = &foo; *p = 42;"
commite6e8c0a10c2efee7250278f4073259ed89acbbb3
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 11 Apr 2017 11:01:34 +0000 (11 14:01 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 11 Apr 2017 11:01:34 +0000 (11 14:01 +0300)
treea30b114a24df219d0fcdc5d84902f10b4a54a509
parent8f3cb0e19f0955e6eb0538d8057fa9a16187db01
extra: handle indirection like "p = &foo; *p = 42;"

This is used in some common kernel macros.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c
validation/sm_indirection1.c [new file with mode: 0644]