diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-12-05 02:27:51 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-12-05 02:27:51 +0000 |
commit | 2dabd4372c50019fa00aae223ce634e0e754a3f2 (patch) | |
tree | a1686ee69df45abb72f13772629c71977dcf435a /lib/Analysis/GRExprEngine.cpp | |
parent | ebed7971cf47d2fc83f262e7d99cacc3d8b5f163 (diff) |
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60575 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
-rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 5d4136de76..b3b311a02c 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1799,11 +1799,11 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) { // UnknownVal. if (InitVal.isUnknown()) { if (Loc::IsLocType(T)) { - SymbolID Sym = SymMgr.getConjuredSymbol(InitEx, Count); + SymbolRef Sym = SymMgr.getConjuredSymbol(InitEx, Count); InitVal = loc::SymbolVal(Sym); } else if (T->isIntegerType() && T->isScalarType()) { - SymbolID Sym = SymMgr.getConjuredSymbol(InitEx, Count); + SymbolRef Sym = SymMgr.getConjuredSymbol(InitEx, Count); InitVal = nonloc::SymbolVal(Sym); } } @@ -2399,7 +2399,7 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B, if (RightV.isUnknown() && (Loc::IsLocType(T) || (T->isScalarType() && T->isIntegerType()))) { unsigned Count = Builder->getCurrentBlockCount(); - SymbolID Sym = SymMgr.getConjuredSymbol(B->getRHS(), Count); + SymbolRef Sym = SymMgr.getConjuredSymbol(B->getRHS(), Count); RightV = Loc::IsLocType(T) ? cast<SVal>(loc::SymbolVal(Sym)) @@ -2562,7 +2562,7 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B, // The symbolic value is actually for the type of the left-hand side // expression, not the computation type, as this is the value the // LValue on the LHS will bind to. - SymbolID Sym = SymMgr.getConjuredSymbol(B->getRHS(), LTy, Count); + SymbolRef Sym = SymMgr.getConjuredSymbol(B->getRHS(), LTy, Count); LHSVal = Loc::IsLocType(LTy) ? cast<SVal>(loc::SymbolVal(Sym)) : cast<SVal>(nonloc::SymbolVal(Sym)); |