db: store the value of "x" when you call frob(&x);
commit4426622c74ba7c123657fa0effb34b895f0807e7
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 21 Feb 2013 10:45:42 +0000 (21 13:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 21 Feb 2013 10:45:42 +0000 (21 13:45 +0300)
tree380f6cce7c1534bc344337c82680ee5b597fd217
parentd9209af12a0e47dc1e829b274114eede3ebeb76b
db: store the value of "x" when you call frob(&x);

Handle this:

int x = 2;
frob(&2);

I've added a test case.  Having the inline processing makes testing the
database easier.  :)

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