Lines Matching refs:SVal
231 static bool regionMatchesCXXRecordType(SVal V, QualType Ty) { in regionMatchesCXXRecordType()
251 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
258 SVal Result = Derived; in evalDerivedToBase()
267 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
269 SVal Result = Derived; in evalDerivedToBase()
276 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
317 Optional<SVal> StoreManager::evalBaseToDerived(SVal Base, QualType TargetType) { in evalBaseToDerived()
398 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) { in getLValueFieldOrIvar()
439 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) { in getLValueIvar()
443 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
444 SVal Base) { in getLValueElement()
489 SVal BaseIdx = ElemR->getIndex(); in getLValueElement()
526 SVal val) { in HandleBinding()