[Bug c++/20308] New: lost parser

[Bug c++/20308] New: lost parser

[igodard at pacbell dot net]

In the attached code, the parser gets confused by a use of operator< in the body 
of a function template. If the operator is changed (to ">" or "==" for example) 
the code compiles. I've not been able to figure out why it thinks it's in a 
constant expression. Changing the variable names involved doesn't make a 
difference, so it doesn't see to be a consequence of name clashes.

Ivan

-- 
           Summary: lost parser
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/20308] lost parser

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-03-03 21:47 -------
Created an attachment (id=8321)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8321&action=view)
Compiler output (-v -save-temps)


-- 


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

[Bug c++/20308] lost parser

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-03-03 21:48 -------
Created an attachment (id=8322)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8322&action=view)
Source code (-save-temps) (compressed)


-- 


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-03 23:25 -------
Hmm, this is the reduced testcase (but I don't know if this is invalid as Comeau also rejects it but I think 
it is valid):
template<typename> int nick(int e);
template<int> struct operation{int nick;};
template<int s>
bool alphaMnemonic(const operation<s>& o1, const operation<s>& o2)
{
  return o1.nick < o2.nick;
}

If nick was not a template or not declated we accept it, if alphaMnemonic is not a template we accept it.
I think we have a name lookup problem really.  if we want o1.nick as a template we need the template 
keyword.  This is not a regression if this is valid code, I really think it is.  ICC 8.0 accepts it.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
      Known to fail|                            |3.3.3 3.4.0 4.0.0 2.95.3
                   |                            |3.2.3
   Last reconfirmed|0000-00-00 00:00:00         |2005-03-03 23:25:22
               date|                            |
            Summary|lost parser                 |parser thinks something is a
                   |                            |start of a template-id when
                   |                            |it is just less than


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-07-23 21:29 -------
There is another PR about exactly this problem somewhere. 

-- 


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-07-24 00:29 -------
Sorry, I'll try to be more original in my PRs :-)

-- 


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-07-24 04:51 -------
Don't worry, I'm just trying to tighten the net of PRs somehow -- if someone 
comes around to fix this PR, she might take a little more time than I have 
right now to find that duplicate PR... 

-- 


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |foehst at informatik dot
                   |                            |uni-kl.de

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-12-07 17:24:19 UTC ---
*** Bug 46839 has been marked as a duplicate of this bug. ***

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2008-09-20 02:56 -------


*** This bug has been marked as a duplicate of 10200 ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug c++/20308] parser thinks something is a start of a template-id when it is just less than

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2005-11-19 18:34 -------
*** Bug 24939 has been marked as a duplicate of this bug. ***


-- 


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