Searched refs:canSymbolicate (Results 1 – 4 of 4) sorted by relevance
101 if (!SymbolManager::canSymbolicate(T)) in getRegionValueSymbolVal()138 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()157 if (!SymbolManager::canSymbolicate(type)) in conjureSymbolVal()174 assert(SymbolManager::canSymbolicate(T)); in getConjuredHeapSymbolVal()186 assert(SymbolManager::canSymbolicate(type) && "Invalid metadata symbol type"); in getMetadataSymbolVal()205 if (!SymbolManager::canSymbolicate(T)) in getDerivedRegionValueSymbolVal()
332 bool SymbolManager::canSymbolicate(QualType T) { in canSymbolicate() function in SymbolManager
1159 assert(SymbolManager::canSymbolicate(T) || V.isUnknown()); in VisitCluster()2042 assert(!SymbolManager::canSymbolicate(T) && "This type is representable"); in setImplicitDefaultValue()
410 static bool canSymbolicate(QualType T);