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