[Bug c++/38541] New: function parameter type T(*)[]

[Bug c++/38541] New: function parameter type T(*)[]

[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

template <typename T_>
bool f (T_* p);

bool g ()
{ return f(static_cast<int(*)[]>(0)); }


GNU accepts the code frgment above which is illegal. It is illegal because
a function parameter like "int(*)[]" is illegal (8.3.5/6).

BTW, the Comeau online compiler rejects the code above. 

Kind regards
W. Roehrl


-- 
           Summary: function parameter type T(*)[]
           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=38541

[Bug c++/38541] function parameter type T(*)[]

[bangerth at gmail dot com]

-- 

bangerth at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-01-30 15:20:38
               date|                            |


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

[Bug c++/38541] function parameter type T(*)[]

[bangerth at gmail dot com]

------- Comment #1 from bangerth at gmail dot com  2009-01-30 15:20 -------
Confirmed. The original testcase had a function argument of type
pointer-to-pointer-to-array-of-unknown-size, but this testcase
also fails:
----------------------------
template <typename T_>
bool f (T_ p);

bool g ()
{ return f<int(*)[]>(0); }
-----------------------------


-- 

bangerth at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.3.1 4.4.0 2.95.3


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