Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp74 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anonfa909ae00111::BindingKey
78 assert(!hasSymbolicOffset()); in getOffset()
83 assert(hasSymbolicOffset()); in getConcreteOffsetRegion()
88 if (hasSymbolicOffset()) in getBaseRegion()
126 if (RO.hasSymbolicOffset()) in Make()
137 if (!K.hasSymbolicOffset()) in operator <<()
262 if (L.hasSymbolicOffset() && !R.hasSymbolicOffset()) in printJson()
264 if (!L.hasSymbolicOffset() && R.hasSymbolicOffset()) in printJson()
266 if (L.hasSymbolicOffset() && R.hasSymbolicOffset()) in printJson()
978 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()
[all …]
H A DDynamicExtent.cpp91 if (Offset.hasSymbolicOffset()) in getDynamicExtentWithOffset()
H A DSimpleSValBuilder.cpp1047 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp218 if (TheOffsetRegion.hasSymbolicOffset()) in checkElementRegionAlign()
248 if (Offset.hasSymbolicOffset()) in checkFieldRegionAlign()
H A DMallocChecker.cpp2325 !Offset.hasSymbolicOffset() && in FreeMemAux()
2655 !Offset.hasSymbolicOffset() && in HandleOffsetFree()
H A DCStringChecker.cpp1376 if (Offset.isValid() && !Offset.hasSymbolicOffset() && in memsetAux()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h83 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
86 assert(!hasSymbolicOffset()); in getOffset()