| commit | 3201163423ade8914de60e818de5153fc2e31936 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 14 Jun 2016 10:19:32 +0000 (14 13:19 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 14 Jun 2016 10:19:32 +0000 (14 13:19 +0300) | ||
| tree | 64ad1e5bcc1f18b2e092a6b2520a4fb496ae26d5 | treesnapshot (tar.gz zip) |
| parent | cd64381a7ec52e9678423cd73e5362e121ac2b96 | commitdiff |
implied: tweak timeout in separate_and_filter
I mostly hit this timeout when I'm debugging code and I pipe the output to
less. It was deeply confusing why Smatch behaved differently while I was
debugging compared to in normal runs.
This change does three things:
1) Increase the timeout to 20 seconds
2) Don't actually bail, just mark the one variable as too complicated to
deal with the implications.
3) Add a slightly inaccurate printf() so that it doesn't silently give up.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I mostly hit this timeout when I'm debugging code and I pipe the output to
less. It was deeply confusing why Smatch behaved differently while I was
debugging compared to in normal runs.
This change does three things:
1) Increase the timeout to 20 seconds
2) Don't actually bail, just mark the one variable as too complicated to
deal with the implications.
3) Add a slightly inaccurate printf() so that it doesn't silently give up.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_implied.c | diffblobblamehistory |