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