Searched refs:canSymbolicate (Results 1 – 4 of 4) sorted by relevance
98 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()129 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()145 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()162 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal()172 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()188 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
332 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate() function in SymbolManager
1090 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()1946 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
492 static bool canSymbolicate(QualType T);