diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-09-29 23:48:13 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-09-29 23:48:13 +0000 |
| commit | cf9ce13774dad86f780d84cd41e6bd64c039324a (patch) | |
| tree | fd1667b24c462d45edb9e9ecb38e5c89a460bddd | |
| parent | aca745b8b2eb58dc149ea7e65dfe133df2b0ab93 (diff) | |
Change -analyzer-max-nodes to allow 0 as a parameter. This allows the analyzer to completely analyze a worklist regardless of time taken.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115108 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/clang/Driver/CC1Options.td | 2 | ||||
| -rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 12 |
2 files changed, 11 insertions, 3 deletions
diff --git a/include/clang/Driver/CC1Options.td b/include/clang/Driver/CC1Options.td index 512c2ca23b..c416c1a4bf 100644 --- a/include/clang/Driver/CC1Options.td +++ b/include/clang/Driver/CC1Options.td @@ -108,7 +108,7 @@ def analyzer_viz_egraph_ubigraph : Flag<"-analyzer-viz-egraph-ubigraph">, def analyzer_inline_call : Flag<"-analyzer-inline-call">, HelpText<"Experimental transfer function inlining callees when its definition is available.">; def analyzer_max_nodes : Separate<"-analyzer-max-nodes">, - HelpText<"The maximum number of nodes the analyzer can generate">; + HelpText<"The maximum number of nodes the analyzer can generate (150000 default, 0 = no limit)">; def analyzer_max_loop : Separate<"-analyzer-max-loop">, HelpText<"The maximum number of times the analyzer will go through a loop">; diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index 6b7a2cb812..8b30a86ee2 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -159,8 +159,16 @@ bool GRCoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps, GenerateNode(StartLoc, InitState, 0); } - while (Steps && WList->hasWork()) { - --Steps; + // Check if we have a steps limit + bool UnlimitedSteps = Steps == 0; + + while (WList->hasWork()) { + if (!UnlimitedSteps) { + if (Steps == 0) + break; + --Steps; + } + const GRWorkListUnit& WU = WList->Dequeue(); // Set the current block counter. |