[Bug c++/9278] Illegal use of typedef to "void"

[Bug c++/9278] Illegal use of typedef to "void"

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-01-14 15:31 -------
Dave,

can you prepare a small self-contained testcase which uses this feature in the 
SFINAE context? It'd be really useful to prepare a full fix for this issue. 

-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[dave at boost-consulting dot com]

------- Additional Comments From dave at boost-consulting dot com  2004-01-14 18:24 -------
Subject: Re:  Illegal use of typedef to "void"

"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:

> ------- Additional Comments From giovannibajo at libero dot it  2004-01-14 15:31 -------
> Dave,
>
> can you prepare a small self-contained testcase which uses this feature in the 
> SFINAE context? It'd be really useful to prepare a full fix for this issue. 

I'm not sure anymore what I had in mind when I submitted it (over a
year ago), but looking over the history of this bug, I think I've been
roundly misinterpreted.  For me, the supplied code sample has always
failed to compile:

  $ g++-3.3.1 /tmp/fu.cpp
  /tmp/fu.cpp:9: error: `X::operator Y<T>(typename voidify<T>::type)' must take
     `void'

  $ g++-2 /tmp/fu.cpp
  /tmp/fu.cpp:9: `X::operator Y<T>(typename voidify<T>::type)' must take `void'
  /tmp/fu.cpp:9: `X::operator Y<T>(typename voidify<T>::type) const' must take `void'

I might have misread the CWG issue
http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/cwg_closed.html#18,
thinking it was a defect.



-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-14 18:39 -------
It was detaimed that was not a DR but GCC stills accepts invalid code:
typedef void type;
should not be able to compile.

-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[dave at boost-consulting dot com]

------- Additional Comments From dave at boost-consulting dot com  2004-01-14 19:54 -------
I hope you're kidding.  That would render std::allocator<void> and all 
specializations of std::ostream_iterator illegal, not to mention most of the 
programs I've written for the past three years.


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-14 19:58 -------
Okay, I read the core issue wrong.
But I should have said this is accepted but should not be:
typedef void type;
void f(type);

-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[dave at boost-consulting dot com]

------- Additional Comments From dave at boost-consulting dot com  2004-01-14 20:37 -------
What compiler version?  I can't reproduce that behavior with any version I 
have on hand.

-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-14 20:49 -------
All I have GCC 3.4, 3.3.1, 2.95.3, 3.2.3. ICC 6.0 (only in ISO strict mode) warns about it though.

-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |reichelt at gcc dot gnu dot
                   |dot org                     |org
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |11/msg01734.html
             Status|NEW                         |ASSIGNED
           Keywords|                            |monitored, patch


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

[Bug c++/9278] Illegal use of typedef to "void"

[reichelt at gcc dot gnu dot org]

------- Comment #18 from reichelt at gcc dot gnu dot org  2005-11-25 14:59 -------
Subject: Bug 9278

Author: reichelt
Date: Fri Nov 25 14:59:09 2005
New Revision: 107508

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=107508
Log:
        PR c++/9278
        * decl.c (grokparms): Do not allow typedef-names in a '(void)'
        parmlist.

        * g++.dg/other/void1.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/other/void1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[reichelt at gcc dot gnu dot org]

------- Comment #19 from reichelt at gcc dot gnu dot org  2005-11-25 15:07 -------
Fixed on mainline.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.2.0


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #20 from pinskia at gcc dot gnu dot org  2006-04-22 00:17 -------
*** Bug 27252 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ben at decadentplace dot org
                   |                            |dot uk


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

[Bug c++/9278] Illegal use of typedef to "void"

[ben at decadentplace dot org dot uk]

------- Comment #21 from ben at decadentplace dot org dot uk  2006-04-23 23:44 -------
I have submitted a defect report about the difference from C in this respect;
this is now C++ core DR 577:
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#577
Please could the "fix" to GCC be reverted until this issue is settled?


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #22 from pinskia at gcc dot gnu dot org  2006-04-24 00:41 -------
(In reply to comment #21)
> Please could the "fix" to GCC be reverted until this issue is settled?

Considering the orginal DR was rejected as not a defect, I doubt yours will
have an effect also.
See:
http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/cwg_closed.html#18

Maybe it will be but as of right now GCC 4.2.0 follows the standard and it was
settled already before.


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #23 from pinskia at gcc dot gnu dot org  2006-11-29 00:41 -------
*** Bug 30012 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mrs at apple dot com


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

[Bug c++/9278] Illegal use of typedef to "void"

[tbm at cyrius dot com]

------- Comment #24 from tbm at cyrius dot com  2007-02-03 15:06 -------
Is the following supposed to fail given that Joseph said that it's valid C code
(but not valid in C++) and the header contains extern "C":

(sid)976:tbm@em64t: ~/src] cat t.h
#if defined(__cplusplus)
extern "C" {
#endif
    typedef void ALCvoid;
    void test(ALCvoid);
#if defined(__cplusplus)
}
#endif
(sid)977:tbm@em64t: ~/src] cat t.c
#include "t.h"
(sid)978:tbm@em64t: ~/src] /usr/lib/gcc-snapshot/bin/g++ -c t.c
In file included from t.c:1:
t.h:5: error: '<anonymous>' has incomplete type
t.h:5: error: invalid use of 'ALCvoid'


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tbm at cyrius dot com, jsm28
                   |                            |at gcc dot gnu dot org


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

[Bug c++/9278] Illegal use of typedef to "void"

[joseph at codesourcery dot com]

------- Comment #25 from joseph at codesourcery dot com  2007-02-03 15:13 -------
Subject: Re:  Illegal use of typedef to "void"

On Sat, 3 Feb 2007, tbm at cyrius dot com wrote:

> Is the following supposed to fail given that Joseph said that it's valid C code
> (but not valid in C++) and the header contains extern "C":

extern "C" does not change the language rules, only linkage.  The contents 
must still be valid C++ and are interpreted according to C++ rules for 
those cases where the same code is valid C and C++ but has different 
semantics in the two languages.


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #26 from pinskia at gcc dot gnu dot org  2007-05-24 02:56 -------
*** Bug 32058 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paul_m_doc at hotmail dot
                   |                            |com


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

[Bug c++/9278] Illegal use of typedef to "void"

[paul_m_doc at hotmail dot com]

------- Comment #27 from paul_m_doc at hotmail dot com  2007-05-25 13:11 -------
(In reply to comment #26)
> *** Bug 32058 has been marked as a duplicate of this bug. ***

Sigh :(. The response at the October 2006 to DR 577 is enough to make any
template meta-programmer bang their head against the wall in despair.

This is the language that, according to its creator as a design goal should
'trust the programmer', right?

I certainly have a formal position on this and many other similar issues that
affect TMP.

This should have been at most a warning with the option to turn it off.

The Visual C++ compilers may be less fussy than gcc but at least they tend to
do the sensible thing.


-- 


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #28 from pinskia at gcc dot gnu dot org  2007-06-16 04:53 -------
*** Bug 32364 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |skunk at iskunk dot org


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

[Bug c++/9278] Illegal use of typedef to "void"

[pinskia at gcc dot gnu dot org]

------- Comment #29 from pinskia at gcc dot gnu dot org  2007-08-17 23:33 -------
*** Bug 33101 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ian at airs dot com


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