r211585 - in /branches/c++-concepts: ChangeLog....

[asutton@gcc.gnu.org]

Author: asutton
Date: Thu Jun 12 14:06:22 2014
New Revision: 211585

URL: http://gcc.gnu.org/viewcvs?rev=211585&root=gcc&view=rev
Log:
2014-06-12  Andrew Sutton  <andrew.n.sutton@gmail.com>
	* gcc/cp/parser.c (cp_check_type_concept): New.
	(cp_check_concept_name): Remove redundant condition from check.
	Diagnose misuse of non-type concepts in constrained type specifiers.
	* gcc/testuite/g++.dg/concepts/generic-fn.C: Add tests for
	non-simple constrained-type-specifiers and nested-name-specifiers
	in concept names.
	* gcc/testuite/g++.dg/concepts/generic-fn-err.C: New tests for
	diagnosing ill-formed programs.


Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/generic-fn-err.C
Modified:
    branches/c++-concepts/ChangeLog.concepts
    branches/c++-concepts/gcc/cp/parser.c
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/generic-fn.C