Flow Chart Checks : (C18007) Arrays with indices in reverse order

(C18007) Arrays with indices in reverse order

Error In:
Correctness
Description:
There are arrays or bit-arrays for which there are references to slices whose borders are in a reverse order relative to their type definition.
Example:
A is a bit-array from 31 down to 0. The model contains the following action:

A(0..7)=3

 

Erroneous Elements:
Data-items, fields, conditions, and events