db, flow: parse inline statements, load stuff into the in-memory database
commit074eaceea26794150d68de0f9e8c9ad0c7213fae
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 18 Feb 2013 07:25:53 +0000 (18 10:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 18 Feb 2013 07:25:53 +0000 (18 10:25 +0300)
tree649a110efcf4350580fa38e4e797030e1ead46e7
parent527aed2b698ad3a4dacacf9d44e837b547db0985
db, flow: parse inline statements, load stuff into the in-memory database

I have introduced two new global variables "__inline_call" and
"__inline_fn".

__inline_call is when you are parsing an inline call.  This is a very
small thing, it's only turned on while we call one one hook.

__inline_fn is turned on when we are processing an inline function.  Some
checks need this like check_locking, which gets confused if we return from
inside an inline statement.

The rule on inline statements is that we inline everything which 10 lines
or less.  But if it's called from inside a function we are already inlining
the I don't inline it.

This patch loads the data into the in-memory database but it doesn't use
it yet.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
14 files changed:
check_balanced.c
check_db_info.c
check_locking.c
check_user_data.c
smatch.h
smatch_buf_size.c
smatch_capped.c
smatch_db.c
smatch_extra.c
smatch_flow.c
smatch_param_filter.c
smatch_param_limit.c
smatch_param_set.c
smatch_parse_call_math.c