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

/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h58 static const int64_t Symbolic = INT64_MAX; member in class:clang::ento::RegionOffset
65 bool hasSymbolicOffset() const { return Offset == Symbolic; }
709 /// map the concept of symbolic values into the domain of regions. Symbolic
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp45 enum { Symbolic = 0x2 }; enumerator in enum:__anon3449::BindingKey::__anon3450
53 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) {
68 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
1032 // Symbolic region?
H A DMemRegion.cpp1327 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);

Completed in 86 milliseconds