Searched refs:evalBaseToDerived (Results 1 – 4 of 4) sorted by relevance
178 std::optional<SVal> evalBaseToDerived(SVal Base, QualType DerivedPtrType);
316 std::optional<SVal> StoreManager::evalBaseToDerived(SVal Base, in evalBaseToDerived() function in StoreManager
443 StateMgr.getStoreManager().evalBaseToDerived(val, T)) { in VisitCast()480 std::optional<SVal> V = getStoreManager().evalBaseToDerived(val, T); in VisitCast()
838 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty); in getInitialStackFrameContents()