Lines Matching refs:SVal
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
215 static bool regionMatchesCXXRecordType(SVal V, QualType Ty) {
235 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
242 SVal Result = Derived;
251 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) {
253 SVal Result = Derived;
262 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType,
295 SVal StoreManager::evalDynamicCast(SVal Base, QualType TargetType,
367 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R,
388 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) {
423 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) {
427 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset,
428 SVal Base) {
459 SVal BaseIdx = ElemR->getIndex();
497 SVal val) {