Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp66 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anone44cc2280111::BindingKey
70 assert(!hasSymbolicOffset()); in getOffset()
75 assert(hasSymbolicOffset()); in getConcreteOffsetRegion()
80 if (hasSymbolicOffset()) in getBaseRegion()
111 if (RO.hasSymbolicOffset()) in Make()
121 if (!K.hasSymbolicOffset()) in operator <<()
706 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()
721 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in isCompatibleWithFields()
754 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
800 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h64 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
67 assert(!hasSymbolicOffset()); in getOffset()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp762 !Offset.hasSymbolicOffset() && in FreeMemAux()
935 !Offset.hasSymbolicOffset() && in ReportOffsetFree()