stree fallout: implications not working 100%
commita5c76d390f1cef3be7ccddeb12d0694cbfd39bab
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Feb 2014 06:55:42 +0000 (27 09:55 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Feb 2014 06:55:42 +0000 (27 09:55 +0300)
treefd545f3093455a2264274a32b1f63888ab785f4e
parentb16448db4df21ecad09874ad22af03aea146a76b
stree fallout: implications not working 100%

The problem here is that clone_pool_havers() was not cloning things
properly.  "iter.sm" is a temporary pointer and it's not like
REPLACE_CURRENT_PTR() for slists.

To fix this, I put all the clones into a list and the insert them in a
separate step.

The ->pool variable is necessary for implications to work correctly.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_slist.c