| commit | 0d6a65127eafb3d538ff62561330d3c7688e6499 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 27 Feb 2014 09:58:19 +0000 (27 12:58 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 27 Feb 2014 09:58:19 +0000 (27 12:58 +0300) | ||
| tree | 4f33d93f347f6c6af9cd163449fa0c0955f512ba | treesnapshot (tar.gz zip) |
| parent | 36b582e34077158fa5678a568fc89d55ffbb9593 | commitdiff |
flow: fixes for hairy functions
There are some times where Smatch is just not able to parse the code and
has to bail out. When it does that then it turns off sm_msg(). The
problem is that it doesn't turn it on again after the end of the function.
Also I added a timeout so if the function takes over 5 minutes to parse
then we bail.
I also re-ordered the checks in __split_stmt() but that doesn't change
anything really.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
There are some times where Smatch is just not able to parse the code and
has to bail out. When it does that then it turns off sm_msg(). The
problem is that it doesn't turn it on again after the end of the function.
Also I added a timeout so if the function takes over 5 minutes to parse
then we bail.
I also re-ordered the checks in __split_stmt() but that doesn't change
anything really.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |