From 873f3dea543715aac15f2d13bf4d3c26fbf4a5bf Mon Sep 17 00:00:00 2001 From: Jordy Rose Date: Sat, 14 Aug 2010 20:22:12 +0000 Subject: [PATCH] Another metadata symbol change (missed a file) git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111077 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Checker/ValueManager.cpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/lib/Checker/ValueManager.cpp b/lib/Checker/ValueManager.cpp index 5cfc4a964a..8b7cd7bbdb 100644 --- a/lib/Checker/ValueManager.cpp +++ b/lib/Checker/ValueManager.cpp @@ -117,6 +117,19 @@ DefinedOrUnknownSVal ValueManager::getConjuredSymbolVal(const void *SymbolTag, return nonloc::SymbolVal(sym); } +DefinedSVal ValueManager::getMetadataSymbolVal(const void *SymbolTag, + const MemRegion *MR, + const Expr *E, QualType T, + unsigned Count) { + assert(SymbolManager::canSymbolicate(T) && "Invalid metadata symbol type"); + + SymbolRef sym = SymMgr.getMetadataSymbol(MR, E, T, Count, SymbolTag); + + if (Loc::IsLocType(T)) + return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); + + return nonloc::SymbolVal(sym); +} DefinedOrUnknownSVal ValueManager::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, -- 2.50.1