| commit | de6cab6e6eb44df4660a3d4df171f87ef8e8ee41 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 11 Feb 2009 11:12:11 +0000 (11 14:12 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 11 Feb 2009 11:12:11 +0000 (11 14:12 +0300) | ||
| tree | ff7f7e5a80ce2e8d42c29fba2179ccea0078ddf1 | treesnapshot (tar.gz zip) |
| parent | 1e34a4d349a123d393d5738d213d13d0f4dfd7d6 | commitdiff |
Create a state &merged. When we merge stuff it isn't the same as being
&undefined because we store all the possible states and the pools which it
came from.
Signed-off-by: Dan Carpenter <error27@gmail.com>
&undefined because we store all the possible states and the pools which it
came from.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |