* [Bug c++/86689] [9/10/11/12 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
@ 2021-09-27 18:50 ` ppalka at gcc dot gnu.org
2022-01-17 15:11 ` rguenth at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-09-27 18:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|Some combination of SFINAE, |[9/10/11/12 Regression]
|overloading, and type |Some combination of SFINAE,
|deduction showing version |overloading, and type
|inconsistency |deduction showing version
| |inconsistency
Target Milestone|--- |9.5
Ever confirmed|0 |1
Known to fail| |10.3.0, 11.2.0, 12.0,
| |8.5.0, 9.4.0
Status|UNCONFIRMED |NEW
CC| |jason at gcc dot gnu.org,
| |ppalka at gcc dot gnu.org
Known to work| |7.5.0
Last reconfirmed| |2021-09-27
--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Confirmed, started with r8-7014. Slightly more reduced rejects-valid testcase:
template <typename T> struct SomeClassTemplate {};
struct TrueType { static constexpr bool value = true; };
template <bool B, typename T=void> struct EnableIfT {};
template <typename T> struct EnableIfT<true,T> { using type = T; };
template <typename T> struct IsAType : TrueType {};
template <typename T, typename=typename EnableIfT<IsAType<T>::value,int>::type>
int SomeFunc(T const&);
template <typename T, typename=typename EnableIfT<IsAType<T>::value,int>::type>
int SomeFunc(SomeClassTemplate<T> const&) { return -1; }
template int SomeFunc(SomeClassTemplate<double> const&);
<stdin>:16:14: error: ambiguous template specialization ‘SomeFunc<>’ for ‘int
SomeFunc(const SomeClassTemplate<double>&)’
<stdin>:11:5: note: candidates are: ‘template<class T, class> int
SomeFunc(const T&)’
<stdin>:14:5: note: ‘template<class T, class> int
SomeFunc(const SomeClassTemplate<T>&)’
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [9/10/11/12 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
2021-09-27 18:50 ` [Bug c++/86689] [9/10/11/12 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency ppalka at gcc dot gnu.org
@ 2022-01-17 15:11 ` rguenth at gcc dot gnu.org
2022-05-27 9:39 ` [Bug c++/86689] [10/11/12/13 " rguenth at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-01-17 15:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [10/11/12/13 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
2021-09-27 18:50 ` [Bug c++/86689] [9/10/11/12 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency ppalka at gcc dot gnu.org
2022-01-17 15:11 ` rguenth at gcc dot gnu.org
@ 2022-05-27 9:39 ` rguenth at gcc dot gnu.org
2022-06-28 10:35 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 9:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.5 |10.4
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [10/11/12/13 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2022-05-27 9:39 ` [Bug c++/86689] [10/11/12/13 " rguenth at gcc dot gnu.org
@ 2022-06-28 10:35 ` jakub at gcc dot gnu.org
2023-07-07 10:34 ` [Bug c++/86689] [11/12/13/14 " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [11/12/13/14 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2022-06-28 10:35 ` jakub at gcc dot gnu.org
@ 2023-07-07 10:34 ` rguenth at gcc dot gnu.org
2024-01-11 14:49 ` ppalka at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-07-07 10:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.5 |11.5
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [11/12/13/14 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2023-07-07 10:34 ` [Bug c++/86689] [11/12/13/14 " rguenth at gcc dot gnu.org
@ 2024-01-11 14:49 ` ppalka at gcc dot gnu.org
2024-03-11 3:30 ` [Bug c++/86689] [11/12 " law at gcc dot gnu.org
2024-06-12 11:11 ` [Bug c++/86689] [11 " rguenth at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-01-11 14:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=105481
--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Looks like this is fixed on trunk and the 13/12 release branches by the fix for
PR105481 r13-6853-g4e2cdb1ddb5f6a.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [11/12 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2024-01-11 14:49 ` ppalka at gcc dot gnu.org
@ 2024-03-11 3:30 ` law at gcc dot gnu.org
2024-06-12 11:11 ` [Bug c++/86689] [11 " rguenth at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: law at gcc dot gnu.org @ 2024-03-11 3:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[11/12/13/14 Regression] |[11/12 Regression] Some
|Some combination of SFINAE, |combination of SFINAE,
|overloading, and type |overloading, and type
|deduction showing version |deduction showing version
|inconsistency |inconsistency
CC| |law at gcc dot gnu.org
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Works with gcc-13 and the trunk. Adjusting regression markers.
^ permalink raw reply [flat|nested] 8+ messages in thread* [Bug c++/86689] [11 Regression] Some combination of SFINAE, overloading, and type deduction showing version inconsistency
[not found] <bug-86689-4@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2024-03-11 3:30 ` [Bug c++/86689] [11/12 " law at gcc dot gnu.org
@ 2024-06-12 11:11 ` rguenth at gcc dot gnu.org
7 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-06-12 11:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86689
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[11/12 Regression] Some |[11 Regression] Some
|combination of SFINAE, |combination of SFINAE,
|overloading, and type |overloading, and type
|deduction showing version |deduction showing version
|inconsistency |inconsistency
Known to fail| |12.2.0
Known to work| |12.3.0
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
This is also fixed in 12.3.
^ permalink raw reply [flat|nested] 8+ messages in thread