[Bug c++/38540] New: Type of 'const int f ()'

[Bug c++/38540] New: Type of 'const int f ()'

[wolfgang dot roehrl at gi-de dot com]

Dear all,

I would like to post a fault report for the GNU C/C++ compiler 4.3.0.

Used invokation line for the GNU C++ compiler:

gcc -c -x c++ -ansi -Wall -Werror -mcpu=603e -fverbose-asm -mbig
    -mmultiple -mstring -mstrict-align -meabi -msdata -fno-common
    -fno-exceptions -fno-rtti -O3 -fno-section-anchors
    -I<different include paths>
    -D<different #define's>
    X.CPP -oX.O


// example program

const int f ();

template <typename T_>
void g (T_&);

void h (void)
{ g(f()); }


GNU accepts the code fragment above which is illegal. It is illegal because
. Function f() yields a rvalue (3.10/5);
. the type of f() is "int" and not "const int" since only a class-type
  rvalue can be const-qualified (3.10/9);
. so function g() should be instantiated as g<int>(int&) in the expression
  "g(f())";
. the parameter "int&" of function g<int>(int&) cannot bind a non-const
  rvalue (8.5.3/5).

BTW, the Comeau online compiler rejects the code above. 

Kind regards
W. Roehrl


-- 
           Summary: Type of 'const int f ()'
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wolfgang dot roehrl at gi-de dot com
 GCC build triplet: athlon-redhat-linux
  GCC host triplet: i686-pc-mingw32
GCC target triplet: powerpc-rtems4.9


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

[Bug c++/38540] Type of 'const int f ()'

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-12-23 23:24 -------
Confirmed.  Not a regression.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|athlon-redhat-linux         |
   GCC host triplet|i686-pc-mingw32             |
 GCC target triplet|powerpc-rtems4.9            |
           Keywords|                            |accepts-invalid
      Known to fail|                            |3.3.3 4.0.0 4.3.0 4.4.0
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-23 23:24:42
               date|                            |


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