Searched refs:canSymbolicate (Results 1 – 4 of 4) sorted by relevance
124 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()161 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()179 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()203 assert(SymbolManager::canSymbolicate(type)); in getConjuredHeapSymbolVal()216 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()235 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
333 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate() function in SymbolManager
1243 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()2181 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
438 static bool canSymbolicate(QualType T);