public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/90493] const variable template specialization is always local
[not found] <bug-90493-4@http.gcc.gnu.org/bugzilla/>
@ 2021-08-23 9:55 ` pinskia at gcc dot gnu.org
2021-08-23 11:35 ` redi at gcc dot gnu.org
` (2 subsequent siblings)
3 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-23 9:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90493
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2021-08-23
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/90493] const variable template specialization is always local
[not found] <bug-90493-4@http.gcc.gnu.org/bugzilla/>
2021-08-23 9:55 ` [Bug c++/90493] const variable template specialization is always local pinskia at gcc dot gnu.org
@ 2021-08-23 11:35 ` redi at gcc dot gnu.org
2021-08-23 15:11 ` herring at lanl dot gov
2021-08-23 15:24 ` redi at gcc dot gnu.org
3 siblings, 0 replies; 4+ messages in thread
From: redi at gcc dot gnu.org @ 2021-08-23 11:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90493
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=96523
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to S. Davis Herring from comment #1)
> It's already wrong for
>
> template <typename T> const int foo = 42;
>
> to produce internal linkage; [basic.link]/5.2 excludes variable templates
> from the rule that const implies static. See also CWG1713.
That's PR 96523.
Reduced to show just the rejects-valid part:
template <typename T> extern const int foo = 41;
// this is an error:
// error: explicit template specialization cannot have a storage class
template <> extern const int foo<int> = 42;
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/90493] const variable template specialization is always local
[not found] <bug-90493-4@http.gcc.gnu.org/bugzilla/>
2021-08-23 9:55 ` [Bug c++/90493] const variable template specialization is always local pinskia at gcc dot gnu.org
2021-08-23 11:35 ` redi at gcc dot gnu.org
@ 2021-08-23 15:11 ` herring at lanl dot gov
2021-08-23 15:24 ` redi at gcc dot gnu.org
3 siblings, 0 replies; 4+ messages in thread
From: herring at lanl dot gov @ 2021-08-23 15:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90493
--- Comment #4 from S. Davis Herring <herring at lanl dot gov> ---
(In reply to Jonathan Wakely from comment #3)
> Reduced to show just the rejects-valid part:
>
> template <typename T> extern const int foo = 41;
> // this is an error:
> // error: explicit template specialization cannot have a storage class
> template <> extern const int foo<int> = 42;
This code is ill-formed ([temp.expl.spec]/2) and is nonsensical because linkage
doesn't pertain to template specializations ([temp.type]/1). (Obviously at the
assembly level there are global and local symbols for certain template
specializations, but their status is determined by the linkage of the template
and sometimes by the template arguments.)
As such, I'm not sure this is distinct from 96523.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/90493] const variable template specialization is always local
[not found] <bug-90493-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2021-08-23 15:11 ` herring at lanl dot gov
@ 2021-08-23 15:24 ` redi at gcc dot gnu.org
3 siblings, 0 replies; 4+ messages in thread
From: redi at gcc dot gnu.org @ 2021-08-23 15:24 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90493
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|NEW |RESOLVED
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Ah yes, so it's a clang bug then. G++ and EDG reject it.
Great, let's close this, since we already have 96523 for the internal linkage
bug.
*** This bug has been marked as a duplicate of bug 96523 ***
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2021-08-23 15:24 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-90493-4@http.gcc.gnu.org/bugzilla/>
2021-08-23 9:55 ` [Bug c++/90493] const variable template specialization is always local pinskia at gcc dot gnu.org
2021-08-23 11:35 ` redi at gcc dot gnu.org
2021-08-23 15:11 ` herring at lanl dot gov
2021-08-23 15:24 ` redi at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).