Searched refs:createSimpleSValBuilder (Results 1 – 3 of 3) sorted by relevance
388 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
82 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), in ProgramStateManager()
59 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder() function in ento