public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/89085] call of overload is ambiguous with parameter packs
[not found] <bug-89085-4@http.gcc.gnu.org/bugzilla/>
@ 2021-08-05 5:25 ` pinskia at gcc dot gnu.org
2021-08-05 15:58 ` redi at gcc dot gnu.org
2021-08-28 1:54 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-05 5:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89085
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |10.2.0, 10.3.0, 11.1.0,
| |11.2.0
Known to fail| |10.1.0, 9.4.0
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Seems fixed in GCC 10.3 and GCC 11+.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/89085] call of overload is ambiguous with parameter packs
[not found] <bug-89085-4@http.gcc.gnu.org/bugzilla/>
2021-08-05 5:25 ` [Bug c++/89085] call of overload is ambiguous with parameter packs pinskia at gcc dot gnu.org
@ 2021-08-05 15:58 ` redi at gcc dot gnu.org
2021-08-28 1:54 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 3+ messages in thread
From: redi at gcc dot gnu.org @ 2021-08-05 15:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89085
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Accepted since r11-1571 and r10-8343:
c++: Refinements to "more constrained".
P2113 from the last C++ meeting clarified that we only compare constraints
on functions or function templates that have equivalent template parameters
and function parameters.
I'm not currently implementing the complicated handling of reversed
comparison operators here; thinking about it now, it seems like a lot of
complexity to support a very weird usage. If I write two similar comparison
operators to be distinguished by their constraints, why would I write one
reversed? If they're two unrelated operators, they're very unlikely to be
similar enough for the complexity to help. I've started a discussion on the
committee reflector about changing these rules.
This change breaks some greedy_ops tests in libstdc++ that were relying on
comparing constraints on unrelated templates, which seems pretty clearly
wrong, so I'm removing those tests for now.
gcc/cp/ChangeLog:
* call.c (joust): Only compare constraints for non-template
candidates with matching parameters.
* pt.c (tsubst_pack_expansion): Fix getting a type parameter
pack.
(more_specialized_fn): Only compare constraints for candidates with
matching parameters.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-return-req1.C: Expect error.
* g++.dg/cpp2a/concepts-p2113a.C: New test.
* g++.dg/cpp2a/concepts-p2113b.C: New test.
libstdc++-v3/ChangeLog:
* testsuite/24_iterators/move_iterator/rel_ops_c++20.cc:
Remove greedy_ops tests.
* testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc:
Remove greedy_ops tests.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/89085] call of overload is ambiguous with parameter packs
[not found] <bug-89085-4@http.gcc.gnu.org/bugzilla/>
2021-08-05 5:25 ` [Bug c++/89085] call of overload is ambiguous with parameter packs pinskia at gcc dot gnu.org
2021-08-05 15:58 ` redi at gcc dot gnu.org
@ 2021-08-28 1:54 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-28 1:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89085
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|UNCONFIRMED |RESOLVED
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 58354
*** This bug has been marked as a duplicate of bug 58354 ***
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-08-28 1:54 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-89085-4@http.gcc.gnu.org/bugzilla/>
2021-08-05 5:25 ` [Bug c++/89085] call of overload is ambiguous with parameter packs pinskia at gcc dot gnu.org
2021-08-05 15:58 ` redi at gcc dot gnu.org
2021-08-28 1:54 ` pinskia 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).