HomeSort by: relevance | last modified time | path
    Searched refs:scanReachableSymbols (Results 1 - 8 of 8) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 360 /// This is a convenience API. Consider using ScanReachableSymbols class
363 /// \sa ScanReachableSymbols
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 {
849 scanReachableSymbols(val, cb);
854 CB ProgramState::scanReachableSymbols(
857 scanReachableSymbols(Reachable, cb)
    [all...]
Store.h 48 class ScanReachableSymbols;
245 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
246 ScanReachableSymbols &Visitor) = 0;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 535 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) {
542 // arithmetic doesn't apply, but scanReachableSymbols only accepts base
545 return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);
548 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
556 bool ScanReachableSymbols::scan(const SymExpr *sym) {
571 bool ScanReachableSymbols::scan(SVal val) {
591 bool ScanReachableSymbols::scan(const MemRegion *R) {
616 if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))
634 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const {
635 ScanReachableSymbols S(this, visitor)
    [all...]
RegionStore.cpp 435 bool scanReachableSymbols(Store S, const MemRegion *R,
436 ScanReachableSymbols &Callbacks) override;
789 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
790 ScanReachableSymbols &Callbacks) {
ExprEngine.cpp 1196 State->scanReachableSymbols(V, CallBack);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.cpp 178 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();
1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState();
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
FuchsiaHandleChecker.cpp 288 State->scanReachableSymbols(Arg, Visitor);
MallocChecker.cpp 2780 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();

Completed in 79 milliseconds