| commit | de5a437ef95ed13ff5b7462c13dd7223d6d0995c | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 24 Feb 2009 19:24:41 +0000 (24 22:24 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 24 Feb 2009 19:24:41 +0000 (24 22:24 +0300) | ||
| tree | 3e453b7e8f6e101e5992be94bbfcb985ff678755 | treesnapshot (tar.gz zip) |
| parent | 34211c67c4e993d166be1a5710f32c39db8793e6 | commitdiff |
All the states are implied not just unique ones.
The old way just saved the states that had changed in that path. That
still seems like it might have been ok except for gotos. Anyway, I can't
think of a reason not to store another copy of all the states. RAM is
cheap.
Also added a validation script.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The old way just saved the states that had changed in that path. That
still seems like it might have been ok except for gotos. Anyway, I can't
think of a reason not to store another copy of all the states. RAM is
cheap.
Also added a validation script.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_slist.c | diffblobblamehistory | |
| validation/sm_implied.c | [new file with mode: 0644] | blob |