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