Lines Matching refs:Array
11 // pointer arithmetic on locations other than array elements.
30 Array,
32 Reinterpreted // Single object interpreted as an array.
101 return AllocKind::Array;
115 /// Checks whether a region is the part of an array.
116 /// In case there is a dericed to base cast above the array element, the
135 if (*Kind == AllocKind::Array)
141 // assume that this is an array to avoid false positives.
199 "Pointer arithmetic on non-array "
239 State = State->set<RegionState>(Region, AllocKind::Array);
292 if (*Kind == AllocKind::Array || *Kind == AllocKind::Reinterpreted)
295 State = State->set<RegionState>(Region, AllocKind::Array);