diff options
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 08c7113cab..13d6b47394 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -329,7 +329,7 @@ void GRExprEngine::ProcessSwitch(SwitchNodeBuilder& builder) { break; ++V1; - assert (V1 < V2); + assert (V1 <= V2); } while (true); } |