Check non-dependent conversion in return from template fn.
authorJason Merrill <jason@redhat.com>
Tue, 10 Oct 2017 18:03:22 +0000 (14:03 -0400)
committerJason Merrill <jason@gcc.gnu.org>
Tue, 10 Oct 2017 18:03:22 +0000 (14:03 -0400)
commit4d612bfde8ac11bf00c7e52969c0b727cd08f733
treeaf5aa8f43021030eed870a1424ecc1f95d43b121
parent3652a4d24398b66ac96f2e08e9f36a9b791be79a
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.

From-SVN: r253599
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