Searched refs:scanReachableSymbols (Results 1 – 8 of 8) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 364 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
368 bool scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable,
371 template <typename CB> CB scanReachableSymbols(SVal val) const;
373 scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable) const;
847 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function
849 scanReachableSymbols(val, cb); in scanReachableSymbols()
854 CB ProgramState::scanReachableSymbols( in scanReachableSymbols() function
857 scanReachableSymbols(Reachable, cb); in scanReachableSymbols()
|
| D | Store.h | 246 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 545 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this); in scan()
616 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this)) in scan()
634 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { in scanReachableSymbols() function in ProgramState
639 bool ProgramState::scanReachableSymbols( in scanReachableSymbols() function in ProgramState
|
| D | RegionStore.cpp | 435 bool scanReachableSymbols(Store S, const MemRegion *R,
789 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager
|
| D | ExprEngine.cpp | 1196 State->scanReachableSymbols(V, CallBack); in escapeValues()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountChecker.cpp | 178 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()
1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | FuchsiaHandleChecker.cpp | 288 State->scanReachableSymbols(Arg, Visitor); in getFuchsiaHandleSymbols()
|
| D | MallocChecker.cpp | 2780 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()
|