implied: try again in get_tf_stacks_from_pool()
commit05d75b87737396a34d34f4ecd05d7bcca9c9c919
authorDan Carpenter <dan.carpenter@linaro.org>
Fri, 12 Apr 2024 13:52:48 +0000 (12 16:52 +0300)
committerDan Carpenter <dan.carpenter@linaro.org>
Fri, 12 Apr 2024 13:52:48 +0000 (12 16:52 +0300)
tree5865b6cfae13bb170d02dfbb50e380ac8c05a46c
parentf4a997924122d0094675c897a220371f0a129d90
implied: try again in get_tf_stacks_from_pool()

This reverts the code back almost to what it was a month ago or whatever...

The problem that you can have a merged state which looks the same as a
leaf state but we only wanted to deal with leaf states.  So add a check
for that.  Simple enough.

But then it only makes sense to check the ->possible list for merged
states.  Skipping that some how broke the parsing of the contains_operator()
function.

So this change basically takes it back to the old code except for the
new is_leaf() check.

Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
smatch_implied.c