------- 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