db,extra: fixes to param filtering
commit7d56ab3300ca153198c661df6ffb530cb2fa1fc8
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 5 Nov 2014 07:34:59 +0000 (5 10:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 5 Nov 2014 07:34:59 +0000 (5 10:34 +0300)
tree5cdb8431c09029d8667a4ad0761a73ba6d65ff5e
parentb87a7b46bcdb728d03a27339c8f0f61fb11a8ca4
db,extra: fixes to param filtering

I feel like maybe this code sucks and that maybe I just kept writing code
until my test case passed and then stopped without really understanding
the problem completely.

In the original code, you would cast the range lists but if you casted a
64 bit value that was larger than 2*32 to 32 bits then it ends up saying
that it could be any u32 value.  So that wasn't right.  Also I was using
the wrong type part of the time...

Anyway, I was trying to get kmalloc() to work like I wanted and it does so
I'm pushing this garbage.

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