diff options
author | Marek Polacek <polacek@redhat.com> | 2020-06-18 09:38:42 -0400 |
---|---|---|
committer | Marek Polacek <polacek@redhat.com> | 2020-06-18 11:51:01 -0400 |
commit | 5421fae8b17c7401f3a4ac5b9f414a47f7bda379 (patch) | |
tree | b88d96cc1e3a715222c69b501a1d96d9815b1ce4 /gcc/builtins.c | |
parent | 634e6f49101c92ccb83ad3d65f975162582c5dea (diff) | |
download | gcc-5421fae8b17c7401f3a4ac5b9f414a47f7bda379.zip gcc-5421fae8b17c7401f3a4ac5b9f414a47f7bda379.tar.gz gcc-5421fae8b17c7401f3a4ac5b9f414a47f7bda379.tar.bz2 |
c++: ICE in requires-expressions with invalid args [PR95735]
This ICE-on-invalid goes back to GCC 6. In finish_template_variable,
if coerce_innermost_template_parms returns error_mark_node, we pass
it down to constraints_satisfied_p and that error_mark_node flows
down to various satisfy_* functions and then to various tsubst_*
functions, where we crash. diagnose_constraints also doesn't cope
with error arglist, so I think we should just return as in the
patch below.
gcc/cp/ChangeLog:
PR c++/95735
* pt.c (finish_template_variable): Return if
coerce_innermost_template_parms return error_mark_node.
gcc/testsuite/ChangeLog:
PR c++/95735
* g++.dg/cpp2a/concepts-err2.C: New test.
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions