AutosarC++18_10-M6.6.1¶
Any label referenced by a goto statement shall be declared in the same block, or in a block enclosing the goto statement
Required inputs: IR
Note
For legal reasons, this rule’s description is not part of the public documentation.