implied: add ->skip_implications back
commitfcf0b32ff64d939c66dcbfd661c827099a0e109a
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 27 Feb 2019 06:25:40 +0000 (27 09:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 27 Feb 2019 06:25:40 +0000 (27 09:25 +0300)
tree5f71a40814bbb3c122ea1362676826bd7a4be620
parent2e233aa4e7b1b536511f37fc937f4fa2ca7ca420
implied: add ->skip_implications back

I didn't really investigate too much, but my build was slowing down so
I added this back but even stricter.  Set both the leaf sm and the root
sm.  Change the recurse limit from 250 to 100.

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