AutosarC++19_03-M5.0.16

A pointer operand and any pointer resulting from pointer arithmetic using that operand shall both address elements of the same array

Required inputs: IR, StaticSemanticAnalysis

Note

For legal reasons, this rule’s description is not part of the public documentation.