ΒΆclang::ento::SValBuilder* createSimpleSValBuilder(
llvm::BumpPtrAllocator& alloc,
clang::ASTContext& context,
clang::ento::ProgramStateManager& stateMgr)
clang::ento::SValBuilder* createSimpleSValBuilder(
llvm::BumpPtrAllocator& alloc,
clang::ASTContext& context,
clang::ento::ProgramStateManager& stateMgr)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h:394
Parameters
- llvm::BumpPtrAllocator& alloc
- clang::ASTContext& context
- clang::ento::ProgramStateManager& stateMgr