[Bug c++/22256] New: diagnostic shows wrong type

[Bug c++/22256] New: diagnostic shows wrong type

[igodard at pacbell dot net]

struct node { int*      operator int*(); };

gets you:

foo.cc:1: error: operator `int*' declared to return `int'

BTW, a better diagnostic would be something like:
error: operator `int*' should not declare a return type

-- 
           Summary: diagnostic shows wrong type
           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=22256

[Bug c++/22256] diagnostic shows wrong type

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-06-30 17:14 -------
Confirmed. Also happens with 3.3.x. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-30 17:14:37
               date|                            |


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

[Bug c++/22256] diagnostic shows wrong type

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-06-30 17:15 -------
FWIW, here's the icc output: 
 
tmp/g> icc -Xc -ansi -c x.cc 
x.cc(1): error: return type may not be specified on a conversion function 
  struct node { int*      operator int*(); }; 
                          ^ 
 
 

-- 


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

[Bug c++/22256] diagnostic shows wrong type for cast operator

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
           Keywords|                            |diagnostic
      Known to fail|                            |2.95 3.0.4 3.2.2 4.0.0 3.4.0
                   |                            |3.3.3
            Summary|diagnostic shows wrong type |diagnostic shows wrong type
                   |                            |for cast operator


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

[Bug c++/22256] diagnostic shows wrong type for cast operator

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-30 20:56 -------
Subject: Re:  diagnostic shows wrong type

"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| Confirmed. Also happens with 3.3.x. 

I think this happens because when the C++ front-end finds that a
declaration is erroneous, it sets its TREE_TYPE to  "int", presumably
thinking that a default type should be "int".

-- Gaby


-- 


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

[Bug c++/22256] diagnostic shows wrong type for cast operator

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-06-30 21:48 -------
Gabriel: no, it also happens with any pointer:

struct node { float*        operator float*(); };

gets you:

foo.cc:1: error: operator `float*' declared to return `float'

And similarly for other types including classes (not shown).

BTW, shouldn't the title be "diagnostic shows wrong type for conversion
function" ? I've never heard these called "cast operators".

-- 


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

Re: [Bug c++/22256] diagnostic shows wrong type for cast operator

[Gabriel Dos Reis]

"igodard at pacbell dot net" <gcc-bugzilla@gcc.gnu.org> writes:

| Gabriel: no, it also happens with any pointer:
| 
| struct node { float*        operator float*(); };
| 
| gets you:
| 
| foo.cc:1: error: operator `float*' declared to return `float'

Alright, that was a wrong guess.

-- Gaby

[Bug c++/22256] diagnostic shows wrong type for cast operator

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-30 22:11 -------
Subject: Re:  diagnostic shows wrong type for cast operator

"igodard at pacbell dot net" <gcc-bugzilla@gcc.gnu.org> writes:

| Gabriel: no, it also happens with any pointer:
| 
| struct node { float*        operator float*(); };
| 
| gets you:
| 
| foo.cc:1: error: operator `float*' declared to return `float'

Alright, that was a wrong guess.

-- Gaby


-- 


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

[Bug c++/22256] diagnostic shows wrong type for cast operator

[pcarlini at suse dot de]

------- Comment #6 from pcarlini at suse dot de  2007-08-06 11:52 -------
The subtle issue here is that this specific error message should be emitted
*only* when the incorrectly specified return type doesn't match, thus a plain
error instead of a pedwarn:

    case sfk_conversion:
      if (type && !same_type_p (type, optype))
        error ("operator %qT declared to return %qT", optype, type);
      else if (type)
        pedwarn ("return type specified for %<operator %T%>",  optype);
      type = optype;

but for some reason the thing doesn't work... I'm looking a bit into it.


-- 

pcarlini at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pcarlini at suse dot de
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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