This issue has been automatically converted from the original issue lists and some formatting may not have been preserved.
Authors: Derek M. Jones, WG14
Date: 1992-12-10
Reference document: X3J11/90-056
Submitted against: C90
Status: Fixed
Fixed in: C90 TC1
Cross-references: 0009
Converted from: dr.htm, dr_017.html
Ambiguous parsing of typedefs in prototypes
On page 67 in subclause 6.5.4.3, an ambiguity needs resolving in the parsing of the following:
a. int x(T (U));
b. int x(T (U (int a, char b)));
In (a) U is the type of the parameter to a function returning type T. From
subclause 6.5.4.3, page 68, line 2:
In a parameter declaration, a single typedef name in parentheses is taken to be an abstract declarator that specifies a function with a single parameter, not as redundant parentheses around the identifier for a declarator.
Thus in the case of (b):
U could be a redundantly parenthesized name of a function which takes a parameter-type-list and returns type T, orU could be the type returned by a function which takes a parameter-type-list, which in turn is the single parameter of a function returning type T.Comment from WG14 on 1997-09-23:
See Defect Report #009, Question 1 for a clarifying correction in this area.