public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists
@ 2020-09-27 21:41 konstantin.vladimirov at gmail dot com
2020-09-27 21:51 ` [Bug c++/97220] " mpolacek at gcc dot gnu.org
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: konstantin.vladimirov at gmail dot com @ 2020-09-27 21:41 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97220
Bug ID: 97220
Summary: Overload resolution works wrong when implicit
conversion not exists
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: konstantin.vladimirov at gmail dot com
Target Milestone: ---
Minimal reproducer is here: https://godbolt.org/z/rd4e9a
struct S {
explicit S(int, int, int) {}
};
struct T {
T(int, int, int) {}
};
void foo(struct S) {} // 1
void foo(struct T) {} // 2
int main() {
S s{1, 2, 3};
foo({1, 2, 3});
}
By C++ standard, [over.match.viable], "for F to be a viable function, there
shall exist for each argument an implicit conversion sequence (12.4.3.1) that
converts that argument to the corresponding parameter of F"
So 1 is not viable overload and resolution shall peek 2
But in reality now error produced:
error: call of overloaded 'foo(<brace-enclosed initializer list>)' is ambiguous
^ permalink raw reply [flat|nested] 5+ messages in thread* [Bug c++/97220] Overload resolution works wrong when implicit conversion not exists 2020-09-27 21:41 [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists konstantin.vladimirov at gmail dot com @ 2020-09-27 21:51 ` mpolacek at gcc dot gnu.org 2021-12-14 5:57 ` pinskia at gcc dot gnu.org ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: mpolacek at gcc dot gnu.org @ 2020-09-27 21:51 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97220 Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |rejects-valid Ever confirmed|0 |1 CC| |mpolacek at gcc dot gnu.org Status|UNCONFIRMED |NEW Last reconfirmed| |2020-09-27 --- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Confirmed. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/97220] Overload resolution works wrong when implicit conversion not exists 2020-09-27 21:41 [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists konstantin.vladimirov at gmail dot com 2020-09-27 21:51 ` [Bug c++/97220] " mpolacek at gcc dot gnu.org @ 2021-12-14 5:57 ` pinskia at gcc dot gnu.org 2021-12-14 15:26 ` ppalka at gcc dot gnu.org 2022-12-03 18:52 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: pinskia at gcc dot gnu.org @ 2021-12-14 5:57 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97220 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ldionne.2 at gmail dot com --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- *** Bug 102247 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/97220] Overload resolution works wrong when implicit conversion not exists 2020-09-27 21:41 [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists konstantin.vladimirov at gmail dot com 2020-09-27 21:51 ` [Bug c++/97220] " mpolacek at gcc dot gnu.org 2021-12-14 5:57 ` pinskia at gcc dot gnu.org @ 2021-12-14 15:26 ` ppalka at gcc dot gnu.org 2022-12-03 18:52 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: ppalka at gcc dot gnu.org @ 2021-12-14 15:26 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97220 Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ppalka at gcc dot gnu.org Resolution|--- |INVALID Status|NEW |RESOLVED --- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- GCC is behaving correctly here as pointed out by Tim at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102247#c2 ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/97220] Overload resolution works wrong when implicit conversion not exists 2020-09-27 21:41 [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists konstantin.vladimirov at gmail dot com ` (2 preceding siblings ...) 2021-12-14 15:26 ` ppalka at gcc dot gnu.org @ 2022-12-03 18:52 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-12-03 18:52 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97220 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|INVALID |DUPLICATE --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Dup of bug 60027. *** This bug has been marked as a duplicate of bug 60027 *** ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2022-12-03 18:52 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2020-09-27 21:41 [Bug c++/97220] New: Overload resolution works wrong when implicit conversion not exists konstantin.vladimirov at gmail dot com 2020-09-27 21:51 ` [Bug c++/97220] " mpolacek at gcc dot gnu.org 2021-12-14 5:57 ` pinskia at gcc dot gnu.org 2021-12-14 15:26 ` ppalka at gcc dot gnu.org 2022-12-03 18:52 ` 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).