diff options
Diffstat (limited to 'lib/Checker/GRState.cpp')
| -rw-r--r-- | lib/Checker/GRState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/GRState.cpp b/lib/Checker/GRState.cpp index e5653f8fd8..3282664cda 100644 --- a/lib/Checker/GRState.cpp +++ b/lib/Checker/GRState.cpp @@ -247,7 +247,7 @@ const GRState *GRState::assumeInBound(DefinedOrUnknownSVal Idx, BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); // FIXME: This should be using ValueManager::ArrayindexTy...somehow. QualType indexTy = Ctx.IntTy; - nonloc::ConcreteInt Min = BVF.getMinValue(indexTy); + nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); // Adjust the index. SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, |