[Bug c++/90490] [9/10 Regression] ICE on noexcept with decltype expression

[mpolacek at gcc dot gnu.org]

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

--- Comment #6 from Marek Polacek  ---
Author: mpolacek
Date: Fri Jun 21 20:19:24 2019
New Revision: 272568

URL: https://gcc.gnu.org/viewcvs?rev=272568=gcc=rev
Log:
PR c++/90490 - fix decltype issues in noexcept-specifier.
* except.c (build_noexcept_spec): Call
instantiate_non_dependent_expr_sfinae before
build_converted_constant_expr instead of calling
instantiate_non_dependent_expr after it.  Add
processing_template_decl_sentinel.

* g++.dg/cpp0x/noexcept43.C: New test.
* g++.dg/cpp0x/noexcept44.C: New test.

Added:
trunk/gcc/testsuite/g++.dg/cpp0x/noexcept43.C
trunk/gcc/testsuite/g++.dg/cpp0x/noexcept44.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/except.c
trunk/gcc/testsuite/ChangeLog

[Bug c++/90490] [9/10 Regression] ICE on noexcept with decltype expression

[mpolacek at gcc dot gnu.org]

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

Marek Polacek  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #5 from Marek Polacek  ---
https://gcc.gnu.org/ml/gcc-patches/2019-06/msg01241.html

[Bug c++/90490] [9/10 Regression] ICE on noexcept with decltype expression

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek  ---
I have a patch now.

[Bug c++/90490] [9/10 Regression] ICE on noexcept with decltype expression

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek  ---
And we also started rejecting this:

struct R { constexpr operator bool() { return false;} };

template 
struct S {
  void g() noexcept(decltype(R{ }) { }) {
  }
};

[Bug c++/90490] [9/10 Regression] ICE on noexcept with decltype expression

[mpolacek at gcc dot gnu.org]

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

Marek Polacek  changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |mpolacek at gcc dot 
gnu.org
   Target Milestone|--- |9.2
Summary|ICE on noexcept with|[9/10 Regression] ICE on
   |decltype expression |noexcept with decltype
   ||expression

--- Comment #2 from Marek Polacek  ---
Started with r270319.  Mine.