flow: handle inlines better
commit754d8cfd2ff070e0ab29c19654c1b8c2360b2057
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 2 Apr 2013 08:59:37 +0000 (2 11:59 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 2 Apr 2013 08:59:37 +0000 (2 11:59 +0300)
treec040e1570146c15af0306d56f3eda4e99d905686
parent33d6e98230098f00c2ce1612d91943fab7fc9da0
flow: handle inlines better

Smatch handles inlines in a funny way, because Sparse gives them to us in
a funny way.

Sparse gives us a symbol_list with the functions and global variables in
it.  It doesn't have inline functions on the list.  Before Smatch would
record if it any of the normal functions called an inline function and
process those at the end of the function where they are called.

The problem was that system calls are inline but they are not called by
anything so they weren't processed.

So what I do is I find the last variable in the file.  I take the scope of
it.  I can find the inline functions in that scope list.

It's sort of a hack.

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