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