| commit | 82d7b76cecba9bce04d2699db75aa2aea3a364b3 | |
| author | Dan Carpenter <dcarpenter@usbsys.site> | |
| Wed, 17 Sep 2008 11:11:18 +0000 (17 14:11 +0300) | ||
| committer | Dan Carpenter <dcarpenter@usbsys.site> | |
| Wed, 17 Sep 2008 11:11:18 +0000 (17 14:11 +0300) | ||
| tree | ddb7bdfe8c265d237e018d7f17577748a5e95369 | treesnapshot (tar.gz zip) |
| parent | ffccf413bad33b19b22d27a02d5e48afb3ca39f1 | commitdiff |
If we call set_state from inside a condition then it should set both
the true and false paths.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
the true and false paths.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
| smatch_states.c | diffblobblamehistory |