| commit | 7f7e473e19b06b316199bd630c449d217f36b3ba | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 25 Jan 2018 14:15:05 +0000 (25 17:15 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 25 Jan 2018 14:15:05 +0000 (25 17:15 +0300) | ||
| tree | 4db3c5f85a38b9e739c586cde41b2ad4907afa70 | treesnapshot (tar.gz zip) |
| parent | 3db5365e36907eba44b4e14a9b56cad273da67ac | commitdiff |
flow: don't fake an impossible default
Before when we had a switch statement that had no default: then we always
fake a default path. But sometimes the default path was impossible and
we shouldn't create impossible paths if we don't need to.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Before when we had a switch statement that had no default: then we always
fake a default path. But sometimes the default path was impossible and
we shouldn't create impossible paths if we don't need to.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |