Searched refs:getEmptyMap (Results 1 – 9 of 9) sorted by relevance
83 return BlockCounter(GetFactory(F).getEmptyMap().getRoot()); in GetEmptyCounter()
44 : Constraints(ConstraintMap::Factory().getEmptyMap()), Result(Result), in Z3CrosscheckVisitor()
412 GDMFactory.getEmptyMap()); in getInitialState()
284 (ExistingCluster ? *ExistingCluster : CBFactory->getEmptyMap()); in addBinding()401 RegionBindingsRef::ParentTy(RBFactory.getEmptyMap(), RBFactory), in getInitialStore()
2267 ConstraintMap Result = F.getEmptyMap(); in getConstraintMap()
109 return Environment(F.getEmptyMap()); in getInitialEnvironment()
96 ImmutableMap getEmptyMap() { return ImmutableMap(F.getEmptyTree()); } in getEmptyMap() function230 static inline ImmutableMapRef getEmptyMap(FactoryTy *F) { in getEmptyMap() function
534 ArgEffects(AF.getEmptyMap()),540 ArgEffects(AF.getEmptyMap()),546 RetEffect::MakeNoRet(), ArgEffects(AF.getEmptyMap()),
140 TaintedSubRegions Regs = SavedRegs ? *SavedRegs : F.getEmptyMap(); in addPartialTaint()