Lines Matching defs:bind

408   /// LazyCompoundVal on bind.
418   /// LazyCompoundVal on bind.
499     return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
502   RegionBindingsRef bind(RegionBindingsConstRef B, Loc LV, SVal V);
540   /// Attempt to extract the fields of \p LCV and bind them to the struct region
544   /// within a LazyCompoundVal to bind memberwise to the struct region, rather
1132               to(varDecl(hasStaticStorageDuration()).bind(DeclBind)))));
2410 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) {
2507     NewB = bind(NewB, loc::MemRegionVal(DstER), V);
2525   // Check if the init expr is a literal. If so, bind the rvalue instead.
2566       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2590   // the value is symbolic go and bind it as a "default" binding.
2613       NewB = bind(NewB, loc::MemRegionVal(ER), *VI);
2643   // That would unnecessarily bind Derived symbols slicing off the subregion for
2654   // Instead, we should just bind that Conjured value instead.
2694     NewB = bind(NewB, loc::MemRegionVal(DestFR), V);
2725   // the value is symbolic go and bind it as a "default" binding.
2735   // after all), instead of binding the whole value to the whole object, we bind
2804       NewB = bind(NewB, loc::MemRegionVal(FR), *VI);