OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:scanReachableSymbols
(Results
1 - 6
of
6
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
294
/// This is a convenience API. Consider using
ScanReachableSymbols
class
297
/// \sa
ScanReachableSymbols
298
bool
scanReachableSymbols
(SVal val, SymbolVisitor& visitor) const;
302
bool
scanReachableSymbols
(const SVal *I, const SVal *E,
307
bool
scanReachableSymbols
(const MemRegion * const *I,
311
template <typename CB> CB
scanReachableSymbols
(SVal val) const;
312
template <typename CB> CB
scanReachableSymbols
(const SVal *beg,
316
scanReachableSymbols
(const MemRegion * const *beg,
770
CB ProgramState::
scanReachableSymbols
(SVal val) const {
772
scanReachableSymbols
(val, cb)
[
all
...]
Store.h
36
class
ScanReachableSymbols
;
211
virtual bool
scanReachableSymbols
(Store S, const MemRegion *R,
212
ScanReachableSymbols
&Visitor) = 0;
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
481
bool
ScanReachableSymbols
::scan(nonloc::CompoundVal val) {
489
bool
ScanReachableSymbols
::scan(const SymExpr *sym) {
520
bool
ScanReachableSymbols
::scan(SVal val) {
528
// arithmetic doesn't apply, but
scanReachableSymbols
only accepts base
530
if (!StoreMgr.
scanReachableSymbols
(X->getStore(),
551
bool
ScanReachableSymbols
::scan(const MemRegion *R) {
578
if (!StoreMgr.
scanReachableSymbols
(state->getStore(), SR, *this))
596
bool ProgramState::
scanReachableSymbols
(SVal val, SymbolVisitor& visitor) const {
597
ScanReachableSymbols
S(this, visitor);
601
bool ProgramState::
scanReachableSymbols
(const SVal *I, const SVal *E
[
all
...]
RegionStore.cpp
375
bool
scanReachableSymbols
(Store S, const MemRegion *R,
376
ScanReachableSymbols
&Callbacks);
681
bool RegionStoreManager::
scanReachableSymbols
(Store S, const MemRegion *R,
682
ScanReachableSymbols
&Callbacks) {
[
all
...]
ExprEngine.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp
[
all
...]
Completed in 122 milliseconds