Searched refs:scanReachableSymbols (Results 1 - 7 of 7) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 357 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
361 bool scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable,
364 template <typename CB> CB scanReachableSymbols(SVal val) const;
366 scanReachableSymbols(llvm::iterator_range<region_iterator> Reachable) const;
840 CB ProgramState::scanReachableSymbols(SVal val) const { function in class:clang::ento::ProgramState
842 scanReachableSymbols(val, cb);
847 CB ProgramState::scanReachableSymbols( function in class:clang::ento::ProgramState
850 scanReachableSymbols(Reachable, cb);
|
| H A D | Store.h | 253 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 535 // arithmetic doesn't apply, but scanReachableSymbols only accepts base
538 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);
612 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
630 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { function in class:ProgramState
635 bool ProgramState::scanReachableSymbols( function in class:ProgramState
|
| H A D | RegionStore.cpp | 435 bool scanReachableSymbols(Store S, const MemRegion *R,
798 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, function in class:RegionStoreManager
|
| H A D | ExprEngine.cpp | 1196 State->scanReachableSymbols(V, CallBack);
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 178 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();
1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState();
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 2799 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();
|
Completed in 94 milliseconds