| commit | 1c3d76430829b3f16b2ede2abf9db949a449870e | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 30 Nov 2012 09:16:44 +0000 (30 12:16 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 30 Nov 2012 09:16:44 +0000 (30 12:16 +0300) | ||
| tree | 7b4341025c8648fb2cbe12e3b5a68bd866fdc0a6 | treesnapshot (tar.gz zip) |
| parent | 26b2615a355a3cb4219e02ac0e7e5e4eeb9dcfe1 | commitdiff |
extra: info: don't print empty states
Sometimes there are bugs in Smatch where we think a condition is
impossible. Don't print them since they don't provide useful information.
They are not parsed properly later anyway.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Sometimes there are bugs in Smatch where we think a condition is
impossible. Don't print them since they don't provide useful information.
They are not parsed properly later anyway.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |