StaticAnalyzer/Core/RegionStore.cpp

72   bool hasSymbolicOffset() const { return P.getInt() & Symbolic; }
76     assert(!hasSymbolicOffset());
81     assert(hasSymbolicOffset());
86     if (hasSymbolicOffset())
117   if (RO.hasSymbolicOffset())
128   if (!K.hasSymbolicOffset())
823   assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
838   assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
871   if (TopKey.hasSymbolicOffset()) {
917     } else if (NextKey.hasSymbolicOffset()) {
961     if (TopKey.hasSymbolicOffset()) {
982   if (TopKey.hasSymbolicOffset()) {
1197       if (RO.hasSymbolicOffset()) {
1222             BK.hasSymbolicOffset() ? Optional<uint64_t>() : BK.getOffset();