core: improve Function too hairy calculation
commit27371176df11d58deaf746f947becc7cdb6f5a67
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 10 May 2017 13:15:28 +0000 (10 16:15 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 10 May 2017 13:15:28 +0000 (10 16:15 +0300)
tree90dfdebecb6a923fef21a6b11ab97221276e2c41
parent02ab414c26316ec72acdfbf2c3b814d11b35dd9c
core: improve Function too hairy calculation

1) Check it in merge_sm_state() which means we're checking more often
   and fail earlier.  We were going to fail anyway, but let's just fail
   earlier.
2) Make the reasons more obvious.
3) Increase the memory limit.  I don't know if this matters but since we're
   checking in merge_sm_state() we can.

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