Searched refs:Symbolic (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h57 static const int64_t Symbolic = INT64_MAX; member in class:clang::ento::RegionOffset
64 bool hasSymbolicOffset() const { return Offset == Symbolic; }
681 /// map the concept of symbolic values into the domain of regions. Symbolic
/external/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp1080 return RegionOffset(R, RegionOffset::Symbolic);
1196 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);
H A DRegionStore.cpp46 enum { Symbolic = 0x2 }; enumerator in enum:__anon3960::BindingKey::__anon3961
52 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) {
65 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
691 // Symbolic region? Mark that symbol touched by the invalidation.

Completed in 71 milliseconds