Use the most recent implications.
commit8f71f89b91376b9659461e6ca59fee71fbfb94a2
authorDan Carpenter <error27@gmail.com>
Sun, 8 Mar 2009 16:11:19 +0000 (8 19:11 +0300)
committerDan Carpenter <error27@gmail.com>
Sun, 8 Mar 2009 16:11:19 +0000 (8 19:11 +0300)
treeea188b812d6309046bd19161120896fc2ac033cf
parent49029290e982ca6c4ed164b4a89b8bc921897a35
Use the most recent implications.

The validation test shows the bug that used to be triggered without this
change.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_slist.c
validation/sm_implied3.c [new file with mode: 0644]