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
295
/// This is a convenience API. Consider using
ScanReachableSymbols
class
298
/// \sa
ScanReachableSymbols
299
bool
scanReachableSymbols
(SVal val, SymbolVisitor& visitor) const;
303
bool
scanReachableSymbols
(const SVal *I, const SVal *E,
308
bool
scanReachableSymbols
(const MemRegion * const *I,
312
template <typename CB> CB
scanReachableSymbols
(SVal val) const;
313
template <typename CB> CB
scanReachableSymbols
(const SVal *beg,
317
scanReachableSymbols
(const MemRegion * const *beg,
773
CB ProgramState::
scanReachableSymbols
(SVal val) const {
775
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
401
bool
scanReachableSymbols
(Store S, const MemRegion *R,
402
ScanReachableSymbols
&Callbacks) override;
745
bool RegionStoreManager::
scanReachableSymbols
(Store S, const MemRegion *R,
746
ScanReachableSymbols
&Callbacks) {
[
all
...]
Completed in 78 milliseconds