[Bug c++/98929] New: Internal compiler error on gcc trunk

[Bug c++/98929] New: Internal compiler error on gcc trunk

[denis.yaroshevskij at gmail dot com]

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

            Bug ID: 98929
           Summary: Internal compiler error on gcc  trunk
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: denis.yaroshevskij at gmail dot com
  Target Milestone: ---

See: https://godbolt.org/z/nrWhPP

Works fine in 10.2

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2021-02-02
            Summary|Internal compiler error on  |[11 Regression] Internal
                   |gcc  trunk                  |compiler error on gcc
                   |                            |trunk
            Version|unknown                     |11.0
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Please provide preprocessed source.

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
             Status|WAITING                     |NEW

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase for -std=c++20:

template <typename>
struct A {
  void foo ();
  using c = decltype (foo ());
  A (c);
};
A d;

Started with r11-2748-gb871301f09be7061904dc87880919d30e6afef8f

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
It might actually be also ICE on valid, doing another reduction now...

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Another testcase for -std=c++20, this one is accepted by GCC 10 and up to
r11-2747 and rejected with r11-2748 and later:

namespace a {
template <typename b, typename c> constexpr bool d = __is_same_as(b, c);
namespace al {
template <typename b, typename c> concept am = d<b, c>;
}
template <typename b, typename c> concept an = al::am<c, b>;
}
namespace ap {
template <typename bf> struct e { using f = bf; };
template <typename bf> using bk = e<bf>::f;
}
namespace bd {
template <typename bf> concept cv = a::an<ap::bk<bf>, bf>;
template <typename> concept dg = requires { int(); };
}
namespace bd::ap {
template <cv g> struct h {
  static auto i() {}
  using j = g;
  using k = decltype(i);
  h(k);
  h(j, auto);
};
struct l {
  using k = int;
  l(k);
};
}
namespace bd {
struct C : ap::l {};
}
template <bd::cv g, bd::dg m> void n(g bz, m ignore) { bd::ap::h(bz, ignore); }
void o() {
  using bd::C;
  C p{0};
  int ignore;
  n(p, ignore);
}

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:709718d4d89e5976257f53e67dcb8ba704574c56

commit r11-7044-g709718d4d89e5976257f53e67dcb8ba704574c56
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Feb 2 10:08:48 2021 -0500

    c++: Member fns and deduction guide rewriting [PR98929]

    My patch for 96199 had us re-substitute the parameter types of a
constructor
    in order to rewrite mentions of members into dependent references.  We need
    to do that for member functions, too.

    gcc/cp/ChangeLog:

            PR c++/98929
            PR c++/96199
            * error.c (dump_expr): Ignore dummy object.
            * pt.c (tsubst_baselink): Handle dependent scope.

    gcc/testsuite/ChangeLog:

            PR c++/98929
            * g++.dg/cpp1z/class-deduction-decltype1.C: New test.

[Bug c++/98929] [11 Regression] Internal compiler error on gcc trunk

[jason at gcc dot gnu.org]

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

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

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

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