| commit | 73be803b89b0987db9fb016404f108fbd32dfa57 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 11 Feb 2014 09:37:50 +0000 (11 12:37 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 11 Feb 2014 09:37:50 +0000 (11 12:37 +0300) | ||
| tree | 8cfbe0393d39273cf5d25eec96f77ae0668bb28c | treesnapshot (tar.gz zip) |
| parent | 3b2862b6e69d2412848c3999d9a69f1524c39c32 | commitdiff |
*new* stored_conditions: make a list of known true/false conditions
This is different from smatch_implied.c because it doesn't know the
values of anything. It just knows that some condition is true or false
and which variables affect it. If any of the variables are modified then
the condition is no longer known.
This code will be useful for finding duplicate conditions or maybe for
improving smatch_implied.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is different from smatch_implied.c because it doesn't know the
values of anything. It just knows that some condition is true or false
and which variables affect it. If any of the variables are modified then
the condition is no longer known.
This code will be useful for finding duplicate conditions or maybe for
improving smatch_implied.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| check_list.h | diffblobblamehistory | |
| smatch_stored_conditions.c | [new file with mode: 0644] | blob |