Searched defs:hasSymbolicOffset (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h62 bool hasSymbolicOffset() const { return Offset == Symbolic; } function in class:clang::ento::RegionOffset
65 assert(!hasSymbolicOffset());
/external/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp68 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } function in class:__anon18277::BindingKey
72 assert(!hasSymbolicOffset());
77 assert(hasSymbolicOffset());
82 if (hasSymbolicOffset())
113 if (RO.hasSymbolicOffset())
123 if (!K.hasSymbolicOffset())
770 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
785 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
818 if (TopKey.hasSymbolicOffset()) {
864 } else if (NextKey.hasSymbolicOffset()) {
[all...]

Completed in 78 milliseconds