Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp1112 uint64_t LowerOffset = RO.getOffset(); in VisitCluster() local
1113 uint64_t UpperOffset = LowerOffset + *NumElements * ElemSize; in VisitCluster()
1114 bool UpperOverflow = UpperOffset < LowerOffset; in VisitCluster()
1134 ((*ROffset >= LowerOffset && *ROffset < UpperOffset) || in VisitCluster()
1136 (*ROffset >= LowerOffset || *ROffset < UpperOffset)) || in VisitCluster()
1137 (LowerOffset == UpperOffset && *ROffset == LowerOffset))) { in VisitCluster()