implied: add a timeout in smatch_implied.c
commit6f737e1f73a897d43fe3d379c670f48dcbc1c8a7
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 1 Nov 2017 13:41:42 +0000 (1 16:41 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 1 Nov 2017 13:41:42 +0000 (1 16:41 +0300)
tree124b2732531f98833cf2aa3731f0ab05a9c60c8d
parentc1fdd0550421d8ce6e8dad3303e28a737ca4bc35
implied: add a timeout in smatch_implied.c

If we go over a minute in parsing a function then stop trying to handle
implications.

The story here is that blk_stack_limits() was taking 6 minutes on my
system and I thought this would help.  Except when I tested it, the last
time we called this function then it was at the 58 second mark so it didn't
help at all.

But it feels right so I'm going to do it.

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