| commit | b3157aba51689d13d60799e7e2cd1612af89b6e2 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 25 Feb 2009 06:00:49 +0000 (25 09:00 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 25 Feb 2009 06:00:49 +0000 (25 09:00 +0300) | ||
| tree | ffe38ee399cbbad95b60501be887f55c137ed88b | treesnapshot (tar.gz zip) |
| parent | da648d98360e8f1b3cbfbcb61bba1edf1fde6243 | commitdiff |
New function harmonize_states()
harmonize_states() makes sure that each implied true state matches an
implied false state and that they are different.
Setting the implied states currently erases the ->possible and ->pools
lists so it's a bad idea to do it for no reason. Plus doing it for
no reason makes the --debug output longer.
If the there is only a true state and not a false state then when we or
the true and false states it gets set to &undefined.
&state + NULL => &undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
harmonize_states() makes sure that each implied true state matches an
implied false state and that they are different.
Setting the implied states currently erases the ->possible and ->pools
lists so it's a bad idea to do it for no reason. Plus doing it for
no reason makes the --debug output longer.
If the there is only a true state and not a false state then when we or
the true and false states it gets set to &undefined.
&state + NULL => &undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_implied.c | diffblobblamehistory |