| commit | 31a5eac2b5ba0a0c6cb035fbbedc053b0db0e703 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 24 Jul 2018 10:11:50 +0000 (24 13:11 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 24 Jul 2018 10:11:50 +0000 (24 13:11 +0300) | ||
| tree | cb66a773303fbff7998aab2c53b6e78405c8c180 | treesnapshot (tar.gz zip) |
| parent | 2cb4f217bc8ca424a68f2c7cfa0733851e37023e | commitdiff |
stored_conditions: store more conditions
The idea here was that we don't have to store conditions where the result
is known. It turns out that we sometimes do want to store those
conditions. Let's only ignore conditions like "while (true) {" which can
be detected at compile time.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The idea here was that we don't have to store conditions where the result
is known. It turns out that we sometimes do want to store those
conditions. Let's only ignore conditions like "while (true) {" which can
be detected at compile time.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_stored_conditions.c | diffblobblamehistory |