Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anoned09092b0111::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 <<()
814 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()
829 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in isCompatibleWithFields()
862 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
908 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
[all …]
H A DDynamicExtent.cpp64 if (Offset.hasSymbolicOffset()) in getDynamicExtentWithOffset()
H A DSimpleSValBuilder.cpp944 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp218 if (TheOffsetRegion.hasSymbolicOffset()) in checkElementRegionAlign()
248 if (Offset.hasSymbolicOffset()) in checkFieldRegionAlign()
H A DMallocChecker.cpp1819 !Offset.hasSymbolicOffset() && in FreeMemAux()
2163 !Offset.hasSymbolicOffset() && in HandleOffsetFree()
H A DCStringChecker.cpp1060 if (Offset.isValid() && !Offset.hasSymbolicOffset() && in memsetAux()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h79 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
82 assert(!hasSymbolicOffset()); in getOffset()