Searched refs:SimpleSValBuilder (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 23 class SimpleSValBuilder : public SValBuilder { class
61 SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SimpleSValBuilder() function in __anon06fa25860111::SimpleSValBuilder
64 ~SimpleSValBuilder() override {} in ~SimpleSValBuilder()
88 return new SimpleSValBuilder(alloc, context, stateMgr); in createSimpleSValBuilder()
112 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, in MakeSymIntVal()
406 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state, in evalBinOpNN()
697 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
762 SVal SimpleSValBuilder::evalBinOpLL(ProgramStateRef state, in evalBinOpLL()
1052 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, in evalBinOpLN()
1199 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal()
[all …]
|
| H A D | CMakeLists.txt | 45 SimpleSValBuilder.cpp
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 57 "SimpleSValBuilder.cpp",
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | solver-sym-simplification-ptr-bool.cl | 13 // SimpleSValBuilder.cpp. The LHS is evaluated to 32b and the RHS is
|