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