| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
809 CB ProgramState::scanReachableSymbols(SVal val) const {
811 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/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,
806 CB ProgramState::scanReachableSymbols(SVal val) const {
808 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/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,
806 CB ProgramState::scanReachableSymbols(SVal val) const {
808 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 scanReachableSymbols(val, cb)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 318 /// This is a convenience API. Consider using ScanReachableSymbols class
321 /// \sa ScanReachableSymbols
322 bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
326 bool scanReachableSymbols(const SVal *I, const SVal *E,
331 bool scanReachableSymbols(const MemRegion * const *I,
335 template <typename CB> CB scanReachableSymbols(SVal val) const;
336 template <typename CB> CB scanReachableSymbols(const SVal *beg,
340 scanReachableSymbols(const MemRegion * const *beg,
819 CB ProgramState::scanReachableSymbols(SVal val) const {
821 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 | 397 bool scanReachableSymbols(Store S, const MemRegion *R,
398 ScanReachableSymbols &Callbacks) override;
731 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
732 ScanReachableSymbols &Callbacks) {
[all...] |
