Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anonb10bfded0111::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 <<()
857 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
903 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
947 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
968 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
[all …]
H A DDynamicExtent.cpp65 if (Offset.hasSymbolicOffset()) in getDynamicExtentWithOffset()
H A DSimpleSValBuilder.cpp1018 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp218 if (TheOffsetRegion.hasSymbolicOffset()) in checkElementRegionAlign()
248 if (Offset.hasSymbolicOffset()) in checkFieldRegionAlign()
H A DMallocChecker.cpp2020 !Offset.hasSymbolicOffset() && in FreeMemAux()
2366 !Offset.hasSymbolicOffset() && in HandleOffsetFree()
H A DCStringChecker.cpp1147 if (Offset.isValid() && !Offset.hasSymbolicOffset() && in memsetAux()
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h80 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
83 assert(!hasSymbolicOffset()); in getOffset()