| commit | ca4980392cdfcb4981da2c3b853574c6c58d57c4 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 18:29:32 +0000 (22 21:29 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 18:29:32 +0000 (22 21:29 +0300) | ||
| tree | 978b447ec90b2c9d44cc8947f1bb4b5f4246839f | treesnapshot (tar.gz zip) |
| parent | d97e3f02e5c16958ea00d6249ff4fb1161a37d7f | commitdiff |
Don't set let people set states for unreachable code.
The problem is that sometimes BUG() returns and sometimes not depending
on the .config file. If you set a state after calling BUG() and merge that
path with another then you lose all your states because &state + NULL
gives you &undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The problem is that sometimes BUG() returns and sometimes not depending
on the .config file. If you set a state after calling BUG() and merge that
path with another then you lose all your states because &state + NULL
gives you &undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_flow.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |