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