diff options
| author | Zhanyong Wan <wan@google.com> | 2011-02-16 21:13:32 +0000 |
|---|---|---|
| committer | Zhanyong Wan <wan@google.com> | 2011-02-16 21:13:32 +0000 |
| commit | 7dfc9420babe83e236a47e752f8723bd06070d9d (patch) | |
| tree | fd5184bcf498744899117777eecc9df7ace6d122 /lib/StaticAnalyzer/Checkers/ExprEngine.cpp | |
| parent | d24eda8ad42bea6b36400d5505f67a7917d65652 (diff) | |
Makes most methods in SVals.h conform to the naming guide. Reviewed
by kremenek.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125687 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index bde7c4395a..99e120d303 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -2280,7 +2280,7 @@ void ExprEngine::VisitObjCForCollectionStmtAux(const ObjCForCollectionStmt* S, // container. We will do this with dispatch logic to the store. // For now, just 'conjure' up a symbolic value. QualType T = R->getValueType(); - assert(Loc::IsLocType(T)); + assert(Loc::isLocType(T)); unsigned Count = Builder->getCurrentBlockCount(); SymbolRef Sym = SymMgr.getConjuredSymbol(elem, T, Count); SVal V = svalBuilder.makeLoc(Sym); @@ -2798,7 +2798,7 @@ void ExprEngine::VisitInitListExpr(const InitListExpr* E, ExplodedNode* Pred, return; } - if (Loc::IsLocType(T) || T->isIntegerType()) { + if (Loc::isLocType(T) || T->isIntegerType()) { assert (E->getNumInits() == 1); ExplodedNodeSet Tmp; const Expr* Init = E->getInit(0); @@ -3103,7 +3103,7 @@ void ExprEngine::VisitUnaryOperator(const UnaryOperator* U, // If the value is a location, ++/-- should always preserve // non-nullness. Check if the original value was non-null, and if so // propagate that constraint. - if (Loc::IsLocType(U->getType())) { + if (Loc::isLocType(U->getType())) { DefinedOrUnknownSVal Constraint = svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); |