This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/24680] Invalid template code accepted
- From: "rnewman at compubrite dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 5 Nov 2005 01:13:59 -0000
- Subject: [Bug c++/24680] Invalid template code accepted
- References: <bug-24680-8671@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from rnewman at compubrite dot com 2005-11-05 01:13 -------
(In reply to comment #1)
> Hmm, GCC seems to think "size ? 1 : d->size" is type-dependent in a way it is
> as D is type dependent.
I disagree. D is not type depenendent at all -- it is a struct containing
exactly one int field; it doesn't change in any way no matter what
instantiation args are used. Therefore, d->size is not type dependent either.
--
rnewman at compubrite dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rnewman at compubrite dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24680