summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/VLASizeChecker.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-12-01 21:57:22 +0000
committerTed Kremenek <kremenek@apple.com>2010-12-01 21:57:22 +0000
commitdc891429e41187f0ada5e910bea2922e870c6a65 (patch)
treedc905892a7461fc88e74c689eb512c8b48aa8267 /clang/lib/Checker/VLASizeChecker.cpp
parent87240d4b9ce0d7840ff3a4c69788f18cd7de0e72 (diff)
downloadbcm5719-llvm-dc891429e41187f0ada5e910bea2922e870c6a65.tar.gz
bcm5719-llvm-dc891429e41187f0ada5e910bea2922e870c6a65.zip
Rename all 'EvalXXX' methods in libChecker to
'evalXXX'. llvm-svn: 120609
Diffstat (limited to 'clang/lib/Checker/VLASizeChecker.cpp')
-rw-r--r--clang/lib/Checker/VLASizeChecker.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Checker/VLASizeChecker.cpp b/clang/lib/Checker/VLASizeChecker.cpp
index 214db93cb56..520101e399c 100644
--- a/clang/lib/Checker/VLASizeChecker.cpp
+++ b/clang/lib/Checker/VLASizeChecker.cpp
@@ -110,21 +110,21 @@ void VLASizeChecker::PreVisitDeclStmt(CheckerContext &C, const DeclStmt *DS) {
ValueManager &ValMgr = C.getValueManager();
SValBuilder &SV = ValMgr.getSValBuilder();
QualType SizeTy = Ctx.getSizeType();
- NonLoc ArrayLength = cast<NonLoc>(SV.EvalCast(sizeD, SizeTy, SE->getType()));
+ NonLoc ArrayLength = cast<NonLoc>(SV.evalCast(sizeD, SizeTy, SE->getType()));
// Get the element size.
CharUnits EleSize = Ctx.getTypeSizeInChars(VLA->getElementType());
SVal EleSizeVal = ValMgr.makeIntVal(EleSize.getQuantity(), SizeTy);
// Multiply the array length by the element size.
- SVal ArraySizeVal = SV.EvalBinOpNN(state, BO_Mul, ArrayLength,
+ SVal ArraySizeVal = SV.evalBinOpNN(state, BO_Mul, ArrayLength,
cast<NonLoc>(EleSizeVal), SizeTy);
// Finally, Assume that the array's extent matches the given size.
const LocationContext *LC = C.getPredecessor()->getLocationContext();
DefinedOrUnknownSVal Extent = state->getRegion(VD, LC)->getExtent(ValMgr);
DefinedOrUnknownSVal ArraySize = cast<DefinedOrUnknownSVal>(ArraySizeVal);
- DefinedOrUnknownSVal SizeIsKnown = SV.EvalEQ(state, Extent, ArraySize);
+ DefinedOrUnknownSVal SizeIsKnown = SV.evalEQ(state, Extent, ArraySize);
state = state->Assume(SizeIsKnown, true);
// Assume should not fail at this point.
OpenPOWER on IntegriCloud