Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp68 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset() function in __anon53e1adc20111::BindingKey
72 assert(!hasSymbolicOffset()); in getOffset()
77 assert(hasSymbolicOffset()); in getConcreteOffsetRegion()
82 if (hasSymbolicOffset()) in getBaseRegion()
113 if (RO.hasSymbolicOffset()) in Make()
123 if (!K.hasSymbolicOffset()) in operator <<()
755 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in getSymbolicOffsetFields()
770 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys"); in isCompatibleWithFields()
803 if (TopKey.hasSymbolicOffset()) { in collectSubRegionBindings()
849 } else if (NextKey.hasSymbolicOffset()) { in collectSubRegionBindings()
[all …]
DSimpleSValBuilder.cpp822 !LeftOffset.hasSymbolicOffset() && !RightOffset.hasSymbolicOffset()) { in evalBinOpLL()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h62 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset() function
65 assert(!hasSymbolicOffset()); in getOffset()
/external/clang/lib/StaticAnalyzer/Checkers/
DMallocChecker.cpp1414 !Offset.hasSymbolicOffset() && in FreeMemAux()
1749 !Offset.hasSymbolicOffset() && in ReportOffsetFree()