repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 6239b3b) | patch
flow: implied: fix how switch statements are handled
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:36:40 +0000 (11:36 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:36:40 +0000 (11:36 +0300)
commit33149c7ec80baf8474482f40ae36de0ca87abe89
tree18cbc95f01c951277ccb4f9e7095de452e326d22tree | snapshot (tar.gz zip)
parent6239b3b8d4e97b28e0b521a79bc005babd00c75ecommit | diff
flow: implied: fix how switch statements are handled

We should set the state based on the case statement, regardless.  It
shouldn't be based on the true_sm from get_sm_state_slist().  I have
removed that.

The rest of this change is basically just re-arranging code.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_implied.c diff | blob | blame | history
Static analysis for C