public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted
@ 2011-09-12 22:34 daniel.kruegler at googlemail dot com
2012-01-28 6:28 ` [Bug c++/50370] " pinskia at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: daniel.kruegler at googlemail dot com @ 2011-09-12 22:34 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370
Bug #: 50370
Summary: [C++0x] Multiple declarations with default template
arguments accepted
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: daniel.kruegler@googlemail.com
CC: jason@redhat.com
gcc 4.7.0 20110903 (experimental) in C++0x mode accepts the following code:
template<class T, class = int>
void foo(T);
template<class T, class = int>
void foo(T) {}
template<class = int>
void bar();
template<class = int>
void bar() {}
int main() {
foo(12);
bar();
}
According to 14.1 [temp.param] p12 this code should be rejected:
"A template-parameter shall not be given default arguments by two different
declarations in the same scope. [ Example:
template<class T = int> class X;
template<class T = int> class X { /*... */ }; // error
—end example ]"
gcc correctly rejects such examples when class templates are involved, but
fails to do so for function templates.
This looks very similar to bug 15339 or bug 48372, but the domain (default
template arguments) is different.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com @ 2012-01-28 6:28 ` pinskia at gcc dot gnu.org 2013-09-16 14:34 ` jwillemsen at remedy dot nl ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu.org @ 2012-01-28 6:28 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2012-01-28 Ever Confirmed|0 |1 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-28 05:51:53 UTC --- Confirmed. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com 2012-01-28 6:28 ` [Bug c++/50370] " pinskia at gcc dot gnu.org @ 2013-09-16 14:34 ` jwillemsen at remedy dot nl 2020-07-16 17:07 ` mpolacek at gcc dot gnu.org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: jwillemsen at remedy dot nl @ 2013-09-16 14:34 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Johnny Willemsen <jwillemsen at remedy dot nl> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jwillemsen at remedy dot nl --- Comment #2 from Johnny Willemsen <jwillemsen at remedy dot nl> --- Also reproduced with GCC 4.8.1 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com 2012-01-28 6:28 ` [Bug c++/50370] " pinskia at gcc dot gnu.org 2013-09-16 14:34 ` jwillemsen at remedy dot nl @ 2020-07-16 17:07 ` mpolacek at gcc dot gnu.org 2020-07-16 17:29 ` mpolacek at gcc dot gnu.org 2022-03-09 13:50 ` ppalka at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2020-07-16 17:07 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ec13n at my dot fsu.edu --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- *** Bug 82850 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com ` (2 preceding siblings ...) 2020-07-16 17:07 ` mpolacek at gcc dot gnu.org @ 2020-07-16 17:29 ` mpolacek at gcc dot gnu.org 2022-03-09 13:50 ` ppalka at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: mpolacek at gcc dot gnu.org @ 2020-07-16 17:29 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |david.bolvansky at gmail dot com --- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- *** Bug 87234 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/50370] [C++0x] Multiple declarations with default template arguments accepted 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com ` (3 preceding siblings ...) 2020-07-16 17:29 ` mpolacek at gcc dot gnu.org @ 2022-03-09 13:50 ` ppalka at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: ppalka at gcc dot gnu.org @ 2022-03-09 13:50 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50370 Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |ppalka at gcc dot gnu.org Resolution|--- |FIXED Target Milestone|--- |12.0 Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org --- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> --- Fixed alongside with PR65396 for GCC 12 by r12-7562-gfe548eb8436f39. ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2022-03-09 13:50 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-09-12 22:34 [Bug c++/50370] New: [C++0x] Multiple declarations with default template arguments accepted daniel.kruegler at googlemail dot com 2012-01-28 6:28 ` [Bug c++/50370] " pinskia at gcc dot gnu.org 2013-09-16 14:34 ` jwillemsen at remedy dot nl 2020-07-16 17:07 ` mpolacek at gcc dot gnu.org 2020-07-16 17:29 ` mpolacek at gcc dot gnu.org 2022-03-09 13:50 ` ppalka 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).