| commit | 3e1e37ca3c7af4b2e632d67412490fc74d1e913a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 9 Jan 2013 12:47:37 +0000 (9 15:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 9 Jan 2013 12:47:37 +0000 (9 15:47 +0300) | ||
| tree | 645037ca6c6c2f328a1908b996bdf7a0441a4198 | treesnapshot (tar.gz zip) |
| parent | 1529e27af6b457596d371d222f7ca781dd77b5db | commitdiff |
param_limit: don't print empty states
"empty" states represent an impossible condition. You can have impossible
conditions, but what's happening here is that smatch_implied.c is messing
things up.
It thinks the implied condition is &merged. Which is true. But the
->possible list is not set up correctly.
The correct way to fix this is to rewrite this and also change how unmatched
states are handled so cur_slist is correct. That's a more involved fix so
I'm implementing this temporary hack.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
"empty" states represent an impossible condition. You can have impossible
conditions, but what's happening here is that smatch_implied.c is messing
things up.
It thinks the implied condition is &merged. Which is true. But the
->possible list is not set up correctly.
The correct way to fix this is to rewrite this and also change how unmatched
states are handled so cur_slist is correct. That's a more involved fix so
I'm implementing this temporary hack.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_param_limit.c | diffblobblamehistory |