From 8de0a3d8c3cf4f6491412f44e3ed3061b3208dcb Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Wed, 11 Aug 2010 06:10:55 +0000 Subject: MemRegion can refer to ASTContext without external help. llvm-svn: 110784 --- clang/lib/Checker/ArrayBoundChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clang/lib/Checker/ArrayBoundChecker.cpp') diff --git a/clang/lib/Checker/ArrayBoundChecker.cpp b/clang/lib/Checker/ArrayBoundChecker.cpp index 746b3f95d41..98345bd7037 100644 --- a/clang/lib/Checker/ArrayBoundChecker.cpp +++ b/clang/lib/Checker/ArrayBoundChecker.cpp @@ -58,7 +58,7 @@ void ArrayBoundChecker::VisitLocation(CheckerContext &C, const Stmt *S, SVal l){ // Get the size of the array. DefinedOrUnknownSVal NumElements = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), - ER->getValueType(C.getASTContext())); + ER->getValueType()); const GRState *StInBound = state->AssumeInBound(Idx, NumElements, true); const GRState *StOutBound = state->AssumeInBound(Idx, NumElements, false); -- cgit v1.2.3