[gcc r15-9367] c++: alias_ctad_tweaks ICE w/ inherited CTAD [PR119687]

[Patrick Palka via Gcc-cvs]

https://gcc.gnu.org/g:493974aa0ad8b94dbeb61f00d2acc57c94fd4809

commit r15-9367-g493974aa0ad8b94dbeb61f00d2acc57c94fd4809
Author: Patrick Palka <ppa...@redhat.com>
Date:   Thu Apr 10 15:49:12 2025 -0400

    c++: alias_ctad_tweaks ICE w/ inherited CTAD [PR119687]
    
    With inherited CTAD the set of guides may be a two-dimensional overload
    set (i.e. OVERLOADs of OVERLOADs) so alias_ctad_tweaks (which also does
    the inherited CTAD transformation) needs to use the 2D-aware lkp_iterator
    instead of ovl_iterator, or better yet use the more idiomatic lkp_range.
    
            PR c++/119687
    
    gcc/cp/ChangeLog:
    
            * pt.cc (alias_ctad_tweaks): Use lkp_range / lkp_iterator
            instead of ovl_iterator.
    
    gcc/testsuite/ChangeLog:
    
            * g++.dg/cpp23/class-deduction-inherited8.C: New test.
    
    Reviewed-by: Jason Merill <ja...@redhat.com>

Diff:
---
 gcc/cp/pt.cc                                        |  3 +--
 .../g++.dg/cpp23/class-deduction-inherited8.C       | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index 63c2ec0c59b3..805b274069bf 100644
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -30936,9 +30936,8 @@ alias_ctad_tweaks (tree tmpl, tree uguides)
   tree aguides = NULL_TREE;
   tree atparms = INNERMOST_TEMPLATE_PARMS (fullatparms);
   unsigned natparms = TREE_VEC_LENGTH (atparms);
-  for (ovl_iterator iter (uguides); iter; ++iter)
+  for (tree f : lkp_range (uguides))
     {
-      tree f = *iter;
       tree in_decl = f;
       location_t loc = DECL_SOURCE_LOCATION (f);
       tree ret = TREE_TYPE (TREE_TYPE (f));
diff --git a/gcc/testsuite/g++.dg/cpp23/class-deduction-inherited8.C 
b/gcc/testsuite/g++.dg/cpp23/class-deduction-inherited8.C
new file mode 100644
index 000000000000..4494c701c350
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp23/class-deduction-inherited8.C
@@ -0,0 +1,21 @@
+// PR c++/119687
+// { dg-do compile { target c++17 } }
+
+template <typename> class QFlagsStorage{};
+
+template <typename Enum> struct QFlagsStorageHelper : QFlagsStorage<Enum>  {
+  using QFlagsStorage<Enum>::QFlagsStorage;
+
+public:
+  QFlagsStorageHelper(Enum);
+};
+
+template <typename Enum> struct QFlags : public QFlagsStorageHelper<Enum> {
+  using Base = QFlagsStorageHelper<Enum>;
+  using Base::Base;
+  QFlags(Enum);
+};
+
+void f(int flag) {
+  QFlags{int{}};
+}