Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anone91272100111::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 <<()
851 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
897 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
941 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
962 if (TopKey.hasSymbolicOffset()) { in removeSubRegionBindings()
[all …]
H A DDynamicExtent.cpp64 if (Offset.hasSymbolicOffset()) in getDynamicExtentWithOffset()
H A DSimpleSValBuilder.cpp1017 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp218 if (TheOffsetRegion.hasSymbolicOffset()) in checkElementRegionAlign()
248 if (Offset.hasSymbolicOffset()) in checkFieldRegionAlign()
H A DMallocChecker.cpp2031 !Offset.hasSymbolicOffset() && in FreeMemAux()
2375 !Offset.hasSymbolicOffset() && in HandleOffsetFree()
H A DCStringChecker.cpp1123 if (Offset.isValid() && !Offset.hasSymbolicOffset() && in memsetAux()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h80 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
83 assert(!hasSymbolicOffset()); in getOffset()