Check non-dependent conversion in return from template fn.
commit8b00166812472a8db192dd64a38b4bf1224e770e
authorjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 10 Oct 2017 18:03:22 +0000 (10 18:03 +0000)
committerjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 10 Oct 2017 18:03:22 +0000 (10 18:03 +0000)
treeaf5aa8f43021030eed870a1424ecc1f95d43b121
parentae4cd204e5e6460794b015f10542cc338cf9f388
Check non-dependent conversion in return from template fn.

* typeck.c (check_return_expr): Check non-dependent conversion in
templates.
* constraint.cc (check_function_concept): Don't complain about an
empty concept if seen_error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@253599 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/cp/ChangeLog
gcc/cp/constraint.cc
gcc/cp/typeck.c
gcc/testsuite/g++.dg/concepts/req6.C
gcc/testsuite/g++.old-deja/g++.pt/crash3.C