c++/9217: Possible Ambiguity leads to confusing error, or - compiler rejects legal-code: fails to solve ambiguity.

c++/9217: Possible Ambiguity leads to confusing error, or - compiler rejects legal-code: fails to solve ambiguity.

[carlo]

>Number:         9217
>Category:       c++
>Synopsis:       Possible Ambiguity leads to confusing error, or - compiler rejects legal-code: fails to solve ambiguity.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Tue Jan 07 05:16:04 PST 2003
>Closed-Date:
>Last-Modified:
>Originator:     Carlo Wood
>Release:        3.2.1
>Organization:
>Environment:

>Description:
I don't know if this is a compiler bug - but we thought
that the real guru's should have a look at it, just in case.

g++ -c troep.cc
troep.cc: In function `void f()':
troep.cc:10: cannot declare static function inside another function
>How-To-Repeat:
Compile the following code with g++ -c troep.cc

struct A { A(char const*); };
struct B { B(A const&); };
struct C { C(B const&); };

void f()
{
  char const* const str = "t";
  static C c1(  B("t")  );      // Works.
  static C c2( (B(str)) );      // Works.
  static C c3(  B(str)  );      // Fails.
}



>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:

Re: c++/9217: Possible Ambiguity leads to confusing error, or - compiler rejects legal-code: fails to solve ambiguity.

[nathan]

Synopsis: Possible Ambiguity leads to confusing error, or - compiler rejects legal-code: fails to solve ambiguity.

State-Changed-From-To: open->closed
State-Changed-By: nathan
State-Changed-When: Tue Jan  7 05:31:08 2003
State-Changed-Why:
    not a bug. 
     static C c3(  B(str)  );
    is a prototype for c3 taking an argument B with a 
    parenthesized parameter name. dcl.ambig.res says we
    should parse it as such , and not a variable with
    initializer.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9217