This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/43522] [4.4 regression] Attempts to instantiate unnecessary code
- From: "bangerth at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 25 Mar 2010 18:37:18 -0000
- Subject: [Bug c++/43522] [4.4 regression] Attempts to instantiate unnecessary code
- References: <bug-43522-3373@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #4 from bangerth at gmail dot com 2010-03-25 18:37 -------
(In reply to comment #2)
> So you are saying the standard thinks
> FixedPoint<Power>::allow_double_instantiations is dependent.
That is the correct question. We get the error message during
template parsing, not during template instantiation (otherwise
the error message would have "[with Power=4]"). So apparently
the compiler thinks that
Self::allow_double_instantiations
is non-dependent and so tries to instantiate the "tester" template
I think this is wrong: if you write it as Self::allow_double_instantiations
it should be dependent, whereas if you write it without the Self:: it
should be non-dependent.
Can someone double check whether this also happens with mainline?
W.
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at redhat dot com,
| |bangerth at gmail dot com
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2010-03-25 18:37:17
date| |
Summary|4.4 regression: Attempts to |[4.4 regression] Attempts to
|instantiate unnecessary code|instantiate unnecessary code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43522