Annex G (informative) Ill-formed, no diagnostic required [ifndr]

G.6 [dcl]: Declarations [ifndr.dcl]

G.6.8[ifndr:dcl.attr.indet.mismatched.declarations]
Specified in: [dcl.attr.indet]

1
#
If two first declarations of a function declare a function parameter with mismatched uses of the indeterminate attribute, the program is ill-formed, no diagnostic required.
2
#
[Example 1: 

Translation unit #1:int h(int x [[indeterminate]]); // IFNDR, mismatched [[indeterminate]] to other first declaration of h

Translation unit #2:int h(int x); // IFNDR, mismatched [[indeterminate]] to other first declaration of h — end example]