extra/untracked_param: mark lost parameters
commit95ce0bb0ce0cd4183cef2324510613363b84471e
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Feb 2019 08:34:41 +0000 (4 11:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Feb 2019 08:34:41 +0000 (4 11:34 +0300)
tree99245e29f7e459d4a437948683e7d6cc6b28de30
parent849481dffff47b5bc27c2954bdc7d29eebd6050c
extra/untracked_param: mark lost parameters

Smatch has "untracked" parameters, which are parameters which are difficult
to track.  But that can be something simple like:

foo->dev = dev;

And probably foo->dev is used for information only, it's not changed.  But
then there are functions where are too hairy to parse so we don't store any
information and those parameters are totally lost.  I've introduced a new
way to track those so that I can mark them as unknown in smatch_extra.

Lost parameters are untracked as well, obviously.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_extra.c
smatch_untracked_param.c