[Bug c++/100078] New: [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[Bug c++/100078] New: [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100078

            Bug ID: 100078
           Summary: [11 Regression] Rejected code since
                    r11-8137-g84081e2c6bd43a67
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: jason at gcc dot gnu.org
  Target Milestone: ---

The following is reduced from webkit2gtk3 package:

$ cat 2to3.ii
template <bool> struct enable_if;
template <typename Data> struct HashMapBucket {
  template <typename T = Data>
  static typename enable_if<T ::value>::type selectStructure() {
    selectStructure();
  }
};

$ g++ 2to3.ii -c
2to3.ii: In static member function ‘static typename enable_if<T::value>::type
HashMapBucket<Data>::selectStructure()’:
2to3.ii:5:20: error: no matching function for call to
‘HashMapBucket<Data>::selectStructure()’
    5 |     selectStructure();
      |     ~~~~~~~~~~~~~~~^~
2to3.ii:4:46: note: candidate: ‘template<class Data> template<class T> static
typename enable_if<T::value>::type HashMapBucket<Data>::selectStructure()’
    4 |   static typename enable_if<T ::value>::type selectStructure() {
      |                                              ^~~~~~~~~~~~~~~
2to3.ii:4:46: note:   template argument deduction/substitution failed:

[Bug c++/100078] [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100078

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
      Known to work|                            |10.3.0
   Target Milestone|---                         |11.0
      Known to fail|                            |11.0
   Last reconfirmed|                            |2021-04-14
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

[Bug c++/100078] [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100078

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

[Bug c++/100078] [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100078

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:00a2774923c1dc5666cd26bb9b8c37b1b7dd689d

commit r11-8182-g00a2774923c1dc5666cd26bb9b8c37b1b7dd689d
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Apr 14 14:14:31 2021 -0400

    c++: premature overload resolution redux [PR100078]

    My patch for PR93085 didn't consider that a default template argument can
    also make a template dependent.

    gcc/cp/ChangeLog:

            PR c++/100078
            PR c++/93085
            * pt.c (uses_outer_template_parms): Also look at default
            template argument.

    gcc/testsuite/ChangeLog:

            PR c++/100078
            * g++.dg/template/dependent-tmpl2.C: New test.

[Bug c++/100078] [11 Regression] Rejected code since r11-8137-g84081e2c6bd43a67

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100078

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.