http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #8 from Thomas Betker 2012-02-01
10:51:58 UTC ---
> There's a reason the standard says "no diagnostic required."
>
> When compiling libtmpl.so, how is the compiler supposed to know that a
> different translation unit which it can't s
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #7 from Jonathan Wakely 2012-01-31
16:38:47 UTC ---
Or perhaps, because nothing in tmpl.cpp referes to the constant, it is not
emitted in libtmpl.so at all when optimisation is enabled.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #6 from Jonathan Wakely 2012-01-31
16:34:33 UTC ---
(In reply to comment #5)
> Okay, got it; thanks a lot for the ultra-quick reply!
>
> Wouldn't a diagnostic message be helpful here even if it is not required by
> the
> standard? A
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #5 from Thomas Betker 2012-01-31
16:25:02 UTC ---
Okay, got it; thanks a lot for the ultra-quick reply!
Wouldn't a diagnostic message be helpful here even if it is not required by the
standard? After all, the resulting binaries won't
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
Richard Guenther changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #3 from Jonathan Wakely 2012-01-31
15:50:57 UTC ---
Oops ... that should say "explicitly specialized" and "explicit specialization"
instead of "explicitly instantiated" and "explicit instantiation"
Sorry for any confusion.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #2 from Jonathan Wakely 2012-01-31
15:47:40 UTC ---
The program is ill-formed:
"If a template, a member template or a member of a class template is explicitly
specialized then that specialization shall be declared before the first us
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52069
--- Comment #1 from Thomas Betker 2012-01-31
15:07:42 UTC ---
Created attachment 26536
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26536
bug test source files
