The ALIGN Directive

H313 align-directive	is ALIGN alignee align-directive-stuff
H314 align-directive-stuff	is ( align-source-list ) align-with-clause
H315 align-attribute-stuff	is [ ( align-source-list ) ] align-with-clause
H316 alignee	is object-name
H317 align-source	is : or * or align-dummy
H318 align-dummy	is scalar-int-variable

• An object-name mentioned as an alignee must be a simple name and not a subobject designator or a component-name.
• An object-name mentioned as an alignee may not appear as a distributee.
• An object-name mentioned as an alignee may not have the POINTER attribute.
• An object-name mentioned as an alignee may not have the TARGET attribute.
• If the alignee is scalar, the align-source-list (and its surrounding parentheses) must not appear. In this case the statement form of the directive is not allowed.
• If the align-source-list is present, its length must equal the rank of each alignee to which it applies.
• An align-dummy must be a named variable.
• An object may not have both the INHERIT attribute and the ALIGN attribute.

H319 align-with-clause	is WITH align-spec
H320 align-spec	is align-target [ ( align-subscript-list ) ] or * align-target [ ( align-subscript-list ) ]
H321 align-target	is object-name or template-name
H322 align-subscript	is int-expr or align-subscript-use or subscript-triplet or *
H323 align-subscript-use	is [ [ int-level-two-expr ] add-op ] align-add-operand or align-subscript-use add-op int-add-operand
H324 align-add-operand	is [ int-add-operand * ] align-primary or align-add-operand * int-mult-operand
H325 align-primary	is align-dummy or ( align-subscript-use )
H326 int-add-operand	is add-operand
H327 int-mult-operand	is mult-operand
H328 int-level-two-expr	is level-2-expr

• An object-name mentioned as an align-target must be a simple name and not a subobject designator or a component-name.
• An align-target may not have the OPTIONAL attribute.
• If the align-spec in an ALIGN directive begins with ``*'' then every alignee must be a dummy argument.
• In an align-directive any int-expr, int-level-two-expr, int-add-operand or int-mult-operand must be a specification expression.
• Any subscript or stride in a subscript-triplet that is an align-subscript in an align-directive must be a specification expression.
• Each align-dummy may appear at most once in an align-subscript-list.
• An align-subscript-use expression may contain at most one occurrence of an align-dummy.
• A scalar-int-variable that is used as an align-dummy may not appear anywhere in the align-spec except where explicitly permitted to appear by virtue of the grammar shown above. Paraphrased, one may construct an align-subscript-use only by starting with an align-dummy and then doing additive and multiplicative things to it with integer specification expressions that contain no align-dummy.
• A subscript within an align-subscript may not contain occurrences of any align-dummy.
• An int-add-operand, int-mult-operand, or int-level-two-expr must be of type integer.