public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
@ 2003-08-03 18:14 ` neroden at gcc dot gnu dot org
2003-12-17 5:40 ` mmitchel at gcc dot gnu dot org
` (8 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: neroden at gcc dot gnu dot org @ 2003-08-03 18:14 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
neroden at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[DR 295] It is possible to |[DR 295] It should be
|cv-qualify references even |possible to cv-qualify
|to function types, if the CV|references even to function
|qualifications are |types, if the CV
|introduced through a typedef|qualifications are
|or a template argument |introduced through a typedef
| |or a template argument
------- Additional Comments From neroden at gcc dot gnu dot org 2003-08-03 18:14 -------
Clarifying description (since it currently isn't possible, which is the bug...)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
2003-08-03 18:14 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument neroden at gcc dot gnu dot org
@ 2003-12-17 5:40 ` mmitchel at gcc dot gnu dot org
2003-12-18 3:37 ` [Bug c++/10807] [3.3/3.4 regression] " giovannibajo at libero dot it
` (7 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2003-12-17 5:40 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2003-12-17 05:36 -------
I'm trying to figure out if the 3.4 milestone is appropriate.
Is this a regression?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [3.3/3.4 regression] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
2003-08-03 18:14 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument neroden at gcc dot gnu dot org
2003-12-17 5:40 ` mmitchel at gcc dot gnu dot org
@ 2003-12-18 3:37 ` giovannibajo at libero dot it
2003-12-22 5:25 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: giovannibajo at libero dot it @ 2003-12-18 3:37 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2003-12-18 03:20 -------
Yes, it's a regression on both the branch and mainline. GCC 2.95 accepts the
code.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[DR 295] It should be |[3.3/3.4 regression] [DR
|possible to cv-qualify |295] It should be possible
|references even to function |to cv-qualify references
|types, if the CV |even to function types, if
|qualifications are |the CV qualifications are
|introduced through a typedef|introduced through a typedef
|or a template argument |or a template argument
Target Milestone|3.4 |3.3.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [3.3/3.4 regression] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (2 preceding siblings ...)
2003-12-18 3:37 ` [Bug c++/10807] [3.3/3.4 regression] " giovannibajo at libero dot it
@ 2003-12-22 5:25 ` pinskia at gcc dot gnu dot org
2003-12-26 19:34 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-12-22 5:25 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-12-22 03:33 -------
Confirmed a regression from 2.95.3.
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [3.3/3.4 regression] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (3 preceding siblings ...)
2003-12-22 5:25 ` pinskia at gcc dot gnu dot org
@ 2003-12-26 19:34 ` pinskia at gcc dot gnu dot org
2004-01-11 1:41 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-12-26 19:34 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-12-26 18:26 -------
It has been failing since at least 2000-12-31.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [3.3/3.4 regression] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (4 preceding siblings ...)
2003-12-26 19:34 ` pinskia at gcc dot gnu dot org
@ 2004-01-11 1:41 ` pinskia at gcc dot gnu dot org
2004-02-05 2:37 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify " mmitchel at gcc dot gnu dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-11 1:41 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-01-11 01:41 -------
Not to be fixed for 3.3.3, it would take too much code rewriting.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.3.3 |3.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (5 preceding siblings ...)
2004-01-11 1:41 ` pinskia at gcc dot gnu dot org
@ 2004-02-05 2:37 ` mmitchel at gcc dot gnu dot org
2004-04-02 15:03 ` nathan at gcc dot gnu dot org
` (2 subsequent siblings)
9 siblings, 0 replies; 10+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-02-05 2:37 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-02-05 02:37 -------
I don't think it's appropriate to qualify this as a regression since (a) the
standard as it presently exists does not allow the code, and (b) making this
change will break existing code.
We should implement DR 295 at some point, but it's certainly not release critical.
I've removed the target milestone and the regression markers.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[3.3/3.4/3.5 regression] [DR|[DR 295] It should be
|295] It should be possible |possible to cv-qualify
|to cv-qualify function |function types, if the CV
|types, if the CV |qualifications are
|qualifications are |introduced through a typedef
|introduced through a typedef|or a template argument
|or a template argument |
Target Milestone|3.4.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (6 preceding siblings ...)
2004-02-05 2:37 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify " mmitchel at gcc dot gnu dot org
@ 2004-04-02 15:03 ` nathan at gcc dot gnu dot org
2004-04-05 15:54 ` nathan at gcc dot gnu dot org
2004-04-05 15:55 ` nathan at gcc dot gnu dot org
9 siblings, 0 replies; 10+ messages in thread
From: nathan at gcc dot gnu dot org @ 2004-04-02 15:03 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From nathan at gcc dot gnu dot org 2004-04-02 15:03 -------
DR 295 applies during substitution, but not during deduction. Hence
void bar(const volatile T& p)
fails deduction for the call.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (7 preceding siblings ...)
2004-04-02 15:03 ` nathan at gcc dot gnu dot org
@ 2004-04-05 15:54 ` nathan at gcc dot gnu dot org
2004-04-05 15:55 ` nathan at gcc dot gnu dot org
9 siblings, 0 replies; 10+ messages in thread
From: nathan at gcc dot gnu dot org @ 2004-04-05 15:54 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From nathan at gcc dot gnu dot org 2004-04-05 15:53 -------
reopening ...
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug c++/10807] [DR 295] It should be possible to cv-qualify function types, if the CV qualifications are introduced through a typedef or a template argument
[not found] <20030515181600.10807.giovannibajo@libero.it>
` (8 preceding siblings ...)
2004-04-05 15:54 ` nathan at gcc dot gnu dot org
@ 2004-04-05 15:55 ` nathan at gcc dot gnu dot org
9 siblings, 0 replies; 10+ messages in thread
From: nathan at gcc dot gnu dot org @ 2004-04-05 15:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From nathan at gcc dot gnu dot org 2004-04-05 15:55 -------
This is infact valid, but the std is far from clear that that is the case.
See 3518 for details of the fix.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10807
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2004-04-05 15:55 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20030515181600.10807.giovannibajo@libero.it>
2003-08-03 18:14 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify references even to function types, if the CV qualifications are introduced through a typedef or a template argument neroden at gcc dot gnu dot org
2003-12-17 5:40 ` mmitchel at gcc dot gnu dot org
2003-12-18 3:37 ` [Bug c++/10807] [3.3/3.4 regression] " giovannibajo at libero dot it
2003-12-22 5:25 ` pinskia at gcc dot gnu dot org
2003-12-26 19:34 ` pinskia at gcc dot gnu dot org
2004-01-11 1:41 ` pinskia at gcc dot gnu dot org
2004-02-05 2:37 ` [Bug c++/10807] [DR 295] It should be possible to cv-qualify " mmitchel at gcc dot gnu dot org
2004-04-02 15:03 ` nathan at gcc dot gnu dot org
2004-04-05 15:54 ` nathan at gcc dot gnu dot org
2004-04-05 15:55 ` nathan at gcc dot gnu dot 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).