This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug c++/11828] [3.4 regression] qualified dependent name looked up too early


------- Additional Comments From jason at gcc dot gnu dot org  2004-05-10 19:51 -------
[temp.nondep] is only relevant if you assume that n::f is a non-dependent name,
which I am not willing to assume.  I believe it is dependent under the principle
outlined in [temp.dep]:

                                                                  In  an
  expression of the form:
                                                                               
                                                 
             postfix-expression ( expression-listopt )
                                                                               
                                                 
  where  the postfix-expression is an identifier, the identifier denotes
  a dependent name if  and  only  if  any  of  the  expressions  in  the
  expression-list  is a type-dependent expression (_temp.dep.expr_).

In this testcase, the postfix-expression is not a plain identifier, but I
believe that it should be handled the same way, and that this is an oversight in
the standard.  EDG seem to agree with me, as 3.4 accepts this testcase and those
from the various duplicates of this bug.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11828


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]