summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/ReturnPointerRangeChecker.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/Analysis/ReturnPointerRangeChecker.cpp')
-rw-r--r--clang/lib/Analysis/ReturnPointerRangeChecker.cpp5
1 files changed, 2 insertions, 3 deletions
diff --git a/clang/lib/Analysis/ReturnPointerRangeChecker.cpp b/clang/lib/Analysis/ReturnPointerRangeChecker.cpp
index 261081ebb41..f007d0e0d1a 100644
--- a/clang/lib/Analysis/ReturnPointerRangeChecker.cpp
+++ b/clang/lib/Analysis/ReturnPointerRangeChecker.cpp
@@ -64,9 +64,8 @@ void ReturnPointerRangeChecker::PreVisitReturnStmt(CheckerContext &C,
// FIXME: All of this out-of-bounds checking should eventually be refactored
// into a common place.
- SVal NumVal = C.getStoreManager().getSizeInElements(state,
- ER->getSuperRegion());
- DefinedOrUnknownSVal &NumElements = cast<DefinedOrUnknownSVal>(NumVal);
+ DefinedOrUnknownSVal NumElements
+ = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion());
const GRState *StInBound = state->AssumeInBound(Idx, NumElements, true);
const GRState *StOutBound = state->AssumeInBound(Idx, NumElements, false);
OpenPOWER on IntegriCloud