OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:scanReachableSymbols
(Results
1 - 3
of
3
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
317
/// This is a convenience API. Consider using
ScanReachableSymbols
class
320
/// \sa
ScanReachableSymbols
321
bool
scanReachableSymbols
(SVal val, SymbolVisitor& visitor) const;
325
bool
scanReachableSymbols
(const SVal *I, const SVal *E,
330
bool
scanReachableSymbols
(const MemRegion * const *I,
334
template <typename CB> CB
scanReachableSymbols
(SVal val) const;
335
template <typename CB> CB
scanReachableSymbols
(const SVal *beg,
339
scanReachableSymbols
(const MemRegion * const *beg,
808
CB ProgramState::
scanReachableSymbols
(SVal val) const {
810
scanReachableSymbols
(val, cb)
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
508
bool
ScanReachableSymbols
::scan(nonloc::LazyCompoundVal val) {
515
// arithmetic doesn't apply, but
scanReachableSymbols
only accepts base
518
return StoreMgr.
scanReachableSymbols
(val.getStore(), R, *this);
521
bool
ScanReachableSymbols
::scan(nonloc::CompoundVal val) {
529
bool
ScanReachableSymbols
::scan(const SymExpr *sym) {
559
bool
ScanReachableSymbols
::scan(SVal val) {
582
bool
ScanReachableSymbols
::scan(const MemRegion *R) {
607
if (!StoreMgr.
scanReachableSymbols
(state->getStore(), SR, *this))
625
bool ProgramState::
scanReachableSymbols
(SVal val, SymbolVisitor& visitor) const {
626
ScanReachableSymbols
S(this, visitor)
[
all
...]
RegionStore.cpp
395
bool
scanReachableSymbols
(Store S, const MemRegion *R,
396
ScanReachableSymbols
&Callbacks) override;
730
bool RegionStoreManager::
scanReachableSymbols
(Store S, const MemRegion *R,
731
ScanReachableSymbols
&Callbacks) {
[
all
...]
Completed in 1037 milliseconds