public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter
@ 2003-08-08 20:13 gccbugs at contacts dot eelis dot net
  2003-08-08 20:20 ` [Bug c++/11857] " pinskia at gcc dot gnu dot org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: gccbugs at contacts dot eelis dot net @ 2003-08-08 20:13 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Array of T=void allowed as function parameter type when
                    T is a template parameter
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gccbugs at contacts dot eelis dot net
                CC: gcc-bugs at gcc dot gnu dot org

Arrays of void are not allowed (8.3.4 para 1). However, GCC fails to detect
these when the void element type is a template parameter. GCC compiles the
following code without errors:

template <typename T> void f (T []);
void g () { f<void>(0); }

Comeau does detect this, and says: "error: array of void is not allowed".

I'm using GCC version 3.4 20030723.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/11857] Array of T=void allowed as function parameter type when T is a template parameter
  2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
@ 2003-08-08 20:20 ` pinskia at gcc dot gnu dot org
  2003-08-09 15:45 ` bangerth at dealii dot org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-08-08 20:20 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-08 20:20:00
               date|                            |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-08 20:20 -------
I can confirm this on the mainline (20030808) and 3.3.1 (20030707) and 2.95.3.
I do not know if this counts as a regression because 2.91.66 rejected this code with:
pr11857.cc: In function `void g()':
pr11857.cc:2: no matching function for call to `f (int)'


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/11857] Array of T=void allowed as function parameter type when T is a template parameter
  2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
  2003-08-08 20:20 ` [Bug c++/11857] " pinskia at gcc dot gnu dot org
@ 2003-08-09 15:45 ` bangerth at dealii dot org
  2003-08-23  1:12 ` dhazeghi at yahoo dot com
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: bangerth at dealii dot org @ 2003-08-09 15:45 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From bangerth at dealii dot org  2003-08-09 15:45 -------
I don't think we should rate this as a regression. egcs was just even more wrong. 
W.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/11857] Array of T=void allowed as function parameter type when T is a template parameter
  2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
  2003-08-08 20:20 ` [Bug c++/11857] " pinskia at gcc dot gnu dot org
  2003-08-09 15:45 ` bangerth at dealii dot org
@ 2003-08-23  1:12 ` dhazeghi at yahoo dot com
  2004-01-01  1:51 ` pinskia at gcc dot gnu dot org
  2004-01-05  9:38 ` nathan at gcc dot gnu dot org
  4 siblings, 0 replies; 6+ messages in thread
From: dhazeghi at yahoo dot com @ 2003-08-23  1:12 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/11857] Array of T=void allowed as function parameter type when T is a template parameter
  2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
                   ` (2 preceding siblings ...)
  2003-08-23  1:12 ` dhazeghi at yahoo dot com
@ 2004-01-01  1:51 ` pinskia at gcc dot gnu dot org
  2004-01-05  9:38 ` nathan at gcc dot gnu dot org
  4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-01  1:51 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-01 01:51 -------
looks like GCC is converting T[] into *T too soon.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2003-11-03 04:13:37         |2004-01-01 01:51:41
               date|                            |


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


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug c++/11857] Array of T=void allowed as function parameter type when T is a template parameter
  2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
                   ` (3 preceding siblings ...)
  2004-01-01  1:51 ` pinskia at gcc dot gnu dot org
@ 2004-01-05  9:38 ` nathan at gcc dot gnu dot org
  4 siblings, 0 replies; 6+ messages in thread
From: nathan at gcc dot gnu dot org @ 2004-01-05  9:38 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From nathan at gcc dot gnu dot org  2004-01-05 09:38 -------
most likely the same as 5786

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

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


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


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2004-01-05  9:38 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-08-08 20:13 [Bug c++/11857] New: Array of T=void allowed as function parameter type when T is a template parameter gccbugs at contacts dot eelis dot net
2003-08-08 20:20 ` [Bug c++/11857] " pinskia at gcc dot gnu dot org
2003-08-09 15:45 ` bangerth at dealii dot org
2003-08-23  1:12 ` dhazeghi at yahoo dot com
2004-01-01  1:51 ` pinskia at gcc dot gnu dot org
2004-01-05  9:38 ` nathan at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).