Home
last modified time | relevance | path

Searched refs:hasSymbolicOffset (Results 1 – 7 of 7) sorted by relevance

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anon42e11e5c0111::BindingKey
76 assert(!hasSymbolicOffset()); in getOffset()
81 assert(hasSymbolicOffset()); in getConcreteOffsetRegion()
86 if (hasSymbolicOffset()) in getBaseRegion()
117 if (RO.hasSymbolicOffset()) in Make()
128 if (!K.hasSymbolicOffset()) in operator <<()
809 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()
824 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in isCompatibleWithFields()
857 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
903 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
[all …]
DDynamicExtent.cpp65 if (Offset.hasSymbolicOffset()) in getDynamicExtentWithOffset()
DSimpleSValBuilder.cpp1018 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DCheckPlacementNew.cpp218 if (TheOffsetRegion.hasSymbolicOffset()) in checkElementRegionAlign()
248 if (Offset.hasSymbolicOffset()) in checkFieldRegionAlign()
DMallocChecker.cpp2020 !Offset.hasSymbolicOffset() && in FreeMemAux()
2366 !Offset.hasSymbolicOffset() && in HandleOffsetFree()
DCStringChecker.cpp1147 if (Offset.isValid() && !Offset.hasSymbolicOffset() && in memsetAux()
/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h80 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
83 assert(!hasSymbolicOffset()); in getOffset()