Searched refs:hasSymbolicOffset (Results 1 – 4 of 4) sorted by relevance
70 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anonb42afb010111::BindingKey74 assert(!hasSymbolicOffset()); in getOffset()79 assert(hasSymbolicOffset()); in getConcreteOffsetRegion()84 if (hasSymbolicOffset()) in getBaseRegion()115 if (RO.hasSymbolicOffset()) in Make()125 if (!K.hasSymbolicOffset()) in operator <<()756 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()771 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in isCompatibleWithFields()804 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()850 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()[all …]
822 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
64 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function67 assert(!hasSymbolicOffset()); in getOffset()
1422 !Offset.hasSymbolicOffset() && in FreeMemAux()1757 !Offset.hasSymbolicOffset() && in ReportOffsetFree()