| commit | 58e4bcafc21743f2de553b358078ebb0eb5d7817 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 24 Jul 2018 10:15:45 +0000 (24 13:15 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 24 Jul 2018 10:15:45 +0000 (24 13:15 +0300) | ||
| tree | 2b5e9afbb2d0b93215494e6d36d94c67c8eab30e | treesnapshot (tar.gz zip) |
| parent | 6cf58479d5c406d949b603f1a9c4efd7c9b3de2f | commitdiff |
implied: set in_fake_env when we do an assume()
Otherwise it's easy to end up doing recursive assumes() if the check is
parsing the condition itself.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Otherwise it's easy to end up doing recursive assumes() if the check is
parsing the condition itself.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory |