| commit | 4cfc395c247d135476e075384d5e402c0add4aa6 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 May 2009 15:19:59 +0000 (21 18:19 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 May 2009 15:19:59 +0000 (21 18:19 +0300) | ||
| tree | af68aa10e5c79769dd4d03d7806c1c0830e4dd86 | treesnapshot (tar.gz zip) |
| parent | daccb47a6a17809cf507df6092fde3f250a4bbe3 | commitdiff |
introduce clone_pool_havers()
Each sm_state should only have one pool. clone_pool_havers() enforces
that rule.
The reason clone_pool_havers() is needed is because of code like this:
b = frob();
if (x) {
if (y)
b = 0;
<- the merge here gives 'b' a pool.
}
<- the merge here gives 'b' second pool.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Each sm_state should only have one pool. clone_pool_havers() enforces
that rule.
The reason clone_pool_havers() is needed is because of code like this:
b = frob();
if (x) {
if (y)
b = 0;
<- the merge here gives 'b' a pool.
}
<- the merge here gives 'b' second pool.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_implied.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory |