implied: fix a bug handling parameter implications
commitc8083b727d5df89f604aabc87491f86115abee63
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 10 Jan 2017 14:47:27 +0000 (10 17:47 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 10 Jan 2017 14:47:27 +0000 (10 17:47 +0300)
tree1dc41fb4e059aecec65d01e565ea43132a328964
parentbf7248e85f6c405ba5e1c3455d2fae3878782e25
implied: fix a bug handling parameter implications

I did this before the Christmas vacation...  I think the bug is a type
issue where we want to convert the type in separate_and_filter().  Anyway,
it doesn't make sense to take the intersection here.

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