https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
Patrick Palka changed:
What|Removed |Added
Target Milestone|--- |12.0
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #15 from CVS Commits ---
The master branch has been updated by Patrick Palka :
https://gcc.gnu.org/g:f1e7319956928712e8bf4893ebdfeeb6441099ee
commit r12-3271-gf1e7319956928712e8bf4893ebdfeeb6441099ee
Author: Patrick Palka
Date: T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
Patrick Palka changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
Martin Sebor changed:
What|Removed |Added
CC||msebor at gcc dot gnu.org
Known to f
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #13 from Jonathan Wakely ---
(In reply to Ivan Godard from comment #11)
> IANALL, but the portions of the standard cited by Jonathan all refer to
> argument evaluation,
Maybe you're confusing template arguments with function argument
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #12 from Jonathan Wakely ---
Template argument deduction requires substituting the template arguments where
they appear. If that is in the return type, it gets substituted into the return
type. If that causes a substitution error then
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #11 from Ivan Godard ---
OP here; better late than never :-)
IANALL, but the portions of the standard cited by Jonathan all refer to
argument evaluation, while the problem here is in the result type. Why is the
result even being cons
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #10 from Jonathan Wakely ---
(In reply to Ivan Godard from comment #0)
> The problem seems to be that the compiler is not first pruning all
> candidates with the wrong number of formals before doing type matching.
Which is correct. T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #9 from Jonathan Wakely ---
This seems to be:
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1635
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#2008 might be
related, and seems to agree with GCC.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
Jonathan Wakely changed:
What|Removed |Added
Last reconfirmed|2009-04-16 16:42:54 |2016-1-15
--- Comment #8 from Jonathan
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #7 from Jonathan Wakely ---
EDG rejects the reduced examples in comments 3 and 4 (the original testcase
doesn't compile any more for other reasons due to the preprocessed library
headers).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #6 from Ivan Godard ---
Twelve years and counting? :-)
--- Comment #5 from igodard at pacbell dot net 2009-04-16 17:02 ---
Wow! Six years and counting! This might be my oldest outstanding bug.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
13 matches
Mail list logo
