| commit | 4997f676d7b1c8d81e8534a66ada4929ffd3e639 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 29 Jan 2010 13:35:23 +0000 (29 16:35 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 29 Jan 2010 13:35:23 +0000 (29 16:35 +0300) | ||
| tree | e3dd1f58aad9b6861d479ec5a53f219bd7b6fe56 | treesnapshot (tar.gz zip) |
| parent | 499311b91bad1712e0e83d71ddbca91e13abd9d4 | commitdiff |
bail if things are taking too long
I was trying to test postgresql and there is a bit of code that does:
if (!strcmp(foo, bar) || !strcmp(x, y) ...
It does around a million strcmp comparisons in a row. And glibc strcmp()
is a very complicated macro. Smatch got bogged down trying to figure out
all the various code paths and macros.
This patch says just bail on that function and go to the next.
Signed-off-by: Dan Carpenter <error27@gmail.com>
I was trying to test postgresql and there is a bit of code that does:
if (!strcmp(foo, bar) || !strcmp(x, y) ...
It does around a million strcmp comparisons in a row. And glibc strcmp()
is a very complicated macro. Smatch got bogged down trying to figure out
all the various code paths and macros.
This patch says just bail on that function and go to the next.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory |