| commit | 5d4ef78f85976e999c0b1d03e8f541191a75a034 | |
| author | asutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 30 Sep 2014 12:28:06 +0000 (30 12:28 +0000) | ||
| committer | asutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 30 Sep 2014 12:28:06 +0000 (30 12:28 +0000) | ||
| tree | a051b625c956517e7bbd3912696cee84b5b65bb4 | treesnapshot (tar.gz zip) |
| parent | b9154eabca2bf70015485b535dbff5d8532efde8 | commitdiff |
2014-09-01 Andrew Sutton <andrew.n.sutton@gmail.com>
Check requirements on function concept definitions.
* gcc/cp/decl.c (finish_function): Check properties of a function
concept definition.
* gcc/cp/constraint.cc (check_function_concept): New. Check
for deduced return type and multiple statements.
(normalize_misc): Don't normalize multiple statements.
(normalize_stmt_list): Removed.
* gcc/cp/cp-tree.h (check_function_concept): New.
* gcc/testsuite/g++.dg/concepts/fn-concept1.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@215718 138bc75d-0d04-0410-961f-82ee72b054a4
Check requirements on function concept definitions.
* gcc/cp/decl.c (finish_function): Check properties of a function
concept definition.
* gcc/cp/constraint.cc (check_function_concept): New. Check
for deduced return type and multiple statements.
(normalize_misc): Don't normalize multiple statements.
(normalize_stmt_list): Removed.
* gcc/cp/cp-tree.h (check_function_concept): New.
* gcc/testsuite/g++.dg/concepts/fn-concept1.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@215718 138bc75d-0d04-0410-961f-82ee72b054a4