| commit | be30804e85507024ca7240d8edb9408d6c8da8a9 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 06:11:41 +0000 (27 09:11 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 06:11:41 +0000 (27 09:11 +0300) | ||
| tree | 2881f8dcdbf1a76cf9240d3c1e80d0be5a3c03e6 | treesnapshot (tar.gz zip) |
| parent | b3c23212ea6a79d22af3059c6765d0fa517b2905 | commitdiff |
Add function __set_true_false_sm()
This is going to be used by smatch_implied.c. For smatch_implied we really
want to preserve ->pools. Also we want to be able to handle merged states
seeing as how some scripts care more about ->possible more than the
current state.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This is going to be used by smatch_implied.c. For smatch_implied we really
want to preserve ->pools. Also we want to be able to handle merged states
seeing as how some scripts care more about ->possible more than the
current state.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory | |
| smatch_slist.h | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |