Home
last modified time | relevance | path

Searched refs:createSimpleSValBuilder (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h325 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), in ProgramStateManager()
DSimpleSValBuilder.cpp52 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder() function in ento