2020-03-28 Patrick Palka <ppalka@redhat.com>
+ PR c++/94252
+ * constraint.cc (tsubst_compound_requirement): Always suppress errors
+ from type_deducible_p and expression_convertible_p, as they're not
+ substitution errors.
+ (diagnose_atomic_constraint) <case INTEGER_CST>: Remove this case so
+ that we diagnose INTEGER_CST expressions of non-bool type via the
+ default case.
+ * cp-gimplify.c (cp_genericize_r) <case REQUIRES_EXPR>: New case.
+ * parser.c (cp_parser_requires_expression): Always parse the requirement
+ body as if we're processing a template, by temporarily incrementing
+ processing_template_decl. Afterwards, if we're not actually in a
+ template context, perform semantic processing to diagnose any invalid
+ types and expressions.
+ * pt.c (tsubst_copy_and_build) <case REQUIRES_EXPR>: Remove dead code.
+ * semantics.c (finish_static_assert): Explain an assertion failure
+ when the condition is a REQUIRES_EXPR like we do when it is a concept
+ check.
+
* constraint.cc (diagnose_compound_requirement): When diagnosing a
compound requirement, maybe replay the satisfaction failure, subject to
the current diagnosis depth.
if (type == error_mark_node)
return error_mark_node;
+ subst_info quiet (tf_none, info.in_decl);
+
/* Check expression against the result type. */
if (type)
{
if (tree placeholder = type_uses_auto (type))
{
- if (!type_deducible_p (expr, type, placeholder, args, info))
+ if (!type_deducible_p (expr, type, placeholder, args, quiet))
return error_mark_node;
}
- else if (!expression_convertible_p (expr, type, info))
+ else if (!expression_convertible_p (expr, type, quiet))
return error_mark_node;
}
case REQUIRES_EXPR:
diagnose_requires_expr (expr, map, info.in_decl);
break;
- case INTEGER_CST:
- /* This must be either 0 or false. */
- inform (loc, "%qE is never satisfied", expr);
- break;
default:
tree a = copy_node (t);
ATOMIC_CONSTR_MAP (a) = map;
TARGET_EXPR_NO_ELIDE (stmt) = 1;
break;
+ case REQUIRES_EXPR:
+ /* Emit the value of the requires-expression. */
+ *stmt_p = constant_boolean_node (constraints_satisfied_p (stmt),
+ boolean_type_node);
+ *walk_subtrees = 0;
+ break;
+
case TEMPLATE_ID_EXPR:
gcc_assert (concept_check_p (stmt));
/* Emit the value of the concept check. */
parms = NULL_TREE;
/* Parse the requirement body. */
+ ++processing_template_decl;
reqs = cp_parser_requirement_body (parser);
+ --processing_template_decl;
if (reqs == error_mark_node)
return error_mark_node;
}
the parm chain. */
grokparms (parms, &parms);
loc = make_location (loc, loc, parser->lexer);
- return finish_requires_expr (loc, parms, reqs);
+ tree expr = finish_requires_expr (loc, parms, reqs);
+ if (!processing_template_decl)
+ {
+ /* Perform semantic processing now to diagnose any invalid types and
+ expressions. */
+ int saved_errorcount = errorcount;
+ tsubst_requires_expr (expr, NULL_TREE, tf_warning_or_error, NULL_TREE);
+ if (errorcount > saved_errorcount)
+ return error_mark_node;
+ }
+ return expr;
}
/* Parse a parameterized requirement.
case REQUIRES_EXPR:
{
tree r = tsubst_requires_expr (t, args, tf_none, in_decl);
- if (r == error_mark_node && (complain & tf_error))
- tsubst_requires_expr (t, args, complain, in_decl);
RETURN (r);
}
error ("static assertion failed: %s",
TREE_STRING_POINTER (message));
- /* Actually explain the failure if this is a concept check. */
- if (concept_check_p (orig_condition))
+ /* Actually explain the failure if this is a concept check or a
+ requires-expression. */
+ if (concept_check_p (orig_condition)
+ || TREE_CODE (orig_condition) == REQUIRES_EXPR)
diagnose_constraints (location, orig_condition, NULL_TREE);
}
else if (condition && condition != error_mark_node)
2020-03-28 Patrick Palka <ppalka@redhat.com>
+ PR c++/94252
+ * g++.dg/concepts/diagnostic7.C: New test.
+ * g++.dg/concepts/pr94252.C: New test.
+ * g++.dg/cpp2a/concepts-requires18.C: Adjust to expect an additional
+ diagnostic.
+
* g++.dg/concepts/diagnostic1.C: Pass -fconcepts-diagnostics-depth=2.
* g++.dg/concepts/diagnostic5.C: Adjust expected diagnostics.
* g++.dg/cpp2a/concepts-iconv1.C: Pass -fconcepts-diagnostics-depth=2.
--- /dev/null
+// { dg-do compile { target c++2a } }
+
+template<typename A, typename B>
+ concept same_as = __is_same(A, B);
+
+void f();
+
+static_assert(requires { { f() } noexcept -> same_as<int>; });
+// { dg-error "static assertion failed" "" { target *-*-* } .-1 }
+// { dg-message "not .noexcept." "" { target *-*-* } .-2 }
+// { dg-message "return-type-requirement" "" { target *-*-* } .-3 }
--- /dev/null
+// PR c++/94252
+// { dg-do compile { target c++2a } }
+
+auto f = []{ return 0; };
+static_assert(requires { f(); });
+static_assert(requires { requires requires { f(); }; });
+
+template<typename A, typename B>
+ concept same_as = __is_same(A, B);
+
+struct S { int f(int) noexcept; };
+static_assert(requires(S o, int i) {
+ o.f(i);
+ { o.f(i) } noexcept -> same_as<int>;
+});
+
+template<typename T>
+ concept c = requires (T t) { requires (T)5; }; // { dg-error "has type .int." }
+
+int
+foo()
+{
+ requires { requires c<int>; };
+ requires { { 5 } -> same_as<bool>; };
+ requires { requires !requires { { 5 } -> same_as<bool>; }; };
+ return requires { requires 5; }; // { dg-error "has type .int." }
+}
concept integer = __is_same_as(T, int);
template<typename T>
-concept subst = requires (T x) { requires true; };
+concept subst = requires (T x) { requires true; }; // { dg-error "parameter type .void." }
template<typename T>
concept c1 = requires { requires integer<T> || subst<T&>; }; // { dg-message "in requirements" }
projects / gcc.git / commitdiff