Searched refs:SValListFactory (Results 1 – 1 of 1) sorted by relevance
124 llvm::ImmutableList<SVal>::Factory SValListFactory; variable136 : Ctx(ctx), BPAlloc(Alloc), SValListFactory(Alloc), in BasicValueFactory()249 return SValListFactory.getEmptyList(); in getEmptySValList()253 return SValListFactory.add(X, L); in prependSVal()