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