| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 81 SValBuilder &svalBuilder = C.getSValBuilder(); local
|
| H A D | StreamChecker.cpp | 139 SValBuilder &svalBuilder = C.getSValBuilder(); local
|
| H A D | VLASizeChecker.cpp | 136 SValBuilder &svalBuilder = C.getSValBuilder(); local
|
| H A D | ArrayBoundCheckerV2.cpp | 70 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
130 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
84 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, SValBuilder &svalBuilder) argument
277 getValue(SVal val, SValBuilder &svalBuilder) argument
293 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
307 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...] |
| H A D | CStringChecker.cpp | 330 SValBuilder &svalBuilder = C.getSValBuilder(); local
764 SValBuilder &svalBuilder = C.getSValBuilder(); local
824 SValBuilder &svalBuilder = C.getSValBuilder(); local
893 SValBuilder &svalBuilder = C.getSValBuilder(); local
1281 SValBuilder &svalBuilder = C.getSValBuilder(); local
1974 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...] |
| H A D | MallocChecker.cpp | 1529 SValBuilder &svalBuilder = C.getSValBuilder(); local
1545 SValBuilder &svalBuilder = C.getSValBuilder(); local
2414 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 242 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
|
| H A D | ExprEngineObjC.cpp | 46 populateObjCForDestinationSet( ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, StmtNodeBuilder &Bldr, bool hasElements) argument
|
| H A D | ProgramState.cpp | 325 SValBuilder &svalBuilder = SM.getSValBuilder(); local
|
| H A D | ExprEngineC.cpp | 28 conjureOffsetSymbolOnLocation( SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx) argument
[all...] |
| H A D | RegionStore.cpp | 718 SValBuilder &svalBuilder; member in class:__anon899::ClusterAnalysis
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 55 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
|
| H A D | ExprEngine.h | 138 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
|
| H A D | ProgramState.h | 477 std::unique_ptr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
[all...] |