Catch missed uses of function with unsatisfied constraints.

While looking at CA378 I noticed that we weren't properly diagnosing two of
the three erroneous lines in the example.

	* decl2.c (mark_used): Diagnose use of a function with unsatisfied
	constraints here.
	* typeck.c (cp_build_function_call_vec): Not here.

From-SVN: r277860

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4d9d56755f32ae5593cf0ac623c86f9f7a49ca52..00f5218799e1f660c72ac465849a71c35005a876 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2019-11-05  Jason Merrill  <jason@redhat.com>
+
+       * decl2.c (mark_used): Diagnose use of a function with unsatisfied
+       constraints here.
+       * typeck.c (cp_build_function_call_vec): Not here.
+
 2019-11-05  Nathan Sidwell  <nathan@acm.org>
 
        PR c++/92370

diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c
index b9f3b87b60b9281f17769c134c35b62fcef52c37..4dc548111229f129ed2d28fbee36f4cc610993b6 100644 (file)
--- a/gcc/cp/decl2.c
+++ b/gcc/cp/decl2.c
@@ -5524,6 +5524,21 @@ mark_used (tree decl, tsubst_flags_t complain)
      directly.  */
   maybe_instantiate_decl (decl);
 
+  if (flag_concepts && TREE_CODE (decl) == FUNCTION_DECL
+      && !constraints_satisfied_p (decl))
+    {
+      if (complain & tf_error)
+       {
+         auto_diagnostic_group d;
+         error ("use of function %qD with unsatisfied constraints",
+                decl);
+         location_t loc = DECL_SOURCE_LOCATION (decl);
+         inform (loc, "declared here");
+         diagnose_constraints (loc, decl, NULL_TREE);
+       }
+      return false;
+    }
+
   if (processing_template_decl || in_template_function ())
     return true;
 

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 27d97859cb39f24bb7303c4fcd01a20f4c705926..eefb83d3207b15f04ceee827f60ccdc001cbcedf 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -3871,26 +3871,6 @@ cp_build_function_call_vec (tree function, vec<tree, va_gc> **params,
 
   if (TREE_CODE (function) == FUNCTION_DECL)
     {
-      /* If the function is a non-template member function
-         or a non-template friend, then we need to check the
-         constraints.
-
-        Note that if overload resolution failed with a single
-        candidate this function will be used to explicitly diagnose
-        the failure for the single call expression. The check is
-        technically redundant since we also would have failed in
-        add_function_candidate. */
-      if (flag_concepts
-          && (complain & tf_error)
-          && !constraints_satisfied_p (function))
-        {
-          auto_diagnostic_group d;
-          error ("cannot call function %qD", function);
-          location_t loc = DECL_SOURCE_LOCATION (function);
-          diagnose_constraints (loc, function, NULL_TREE);
-          return error_mark_node;
-        }
-
       if (!mark_used (function, complain))
        return error_mark_node;
       fndecl = function;

diff --git a/gcc/testsuite/g++.dg/concepts/dr1430.C b/gcc/testsuite/g++.dg/concepts/dr1430.C
index 6f5bab1e106d3c9c4960967bbb03182cabf009b6..05c91526c20ef29172e28fa64667508451ae9477 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/dr1430.C
+++ b/gcc/testsuite/g++.dg/concepts/dr1430.C
@@ -41,6 +41,6 @@ requires Similar<Args...> // { dg-error "pack expansion" }
 
 int main()
 {
-  foo(1, 2, 3); // { dg-error "cannot call" }
-  bar(1, 2, 3); // { dg-error "cannot call" }
+  foo(1, 2, 3); // { dg-error "" }
+  bar(1, 2, 3); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/concepts/expression2.C b/gcc/testsuite/g++.dg/concepts/expression2.C
index 1cff60542f5a52e25f19ce18c4e913d90bb56781..60dd5414461a2e5555b8d4f481437c79d875353d 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/expression2.C
+++ b/gcc/testsuite/g++.dg/concepts/expression2.C
@@ -31,7 +31,7 @@ class S
 
 int main()
 {
-  f1(s); // { dg-error "cannot call|private" }
+  f1(s); // { dg-error "unsatisfied|private" }
   f2(s); // { dg-error "" }
 
   // When used in non-SFINAE contexts, make sure that we fail

diff --git a/gcc/testsuite/g++.dg/concepts/fn2.C b/gcc/testsuite/g++.dg/concepts/fn2.C
index debb3238a6ee18cd182e36cd0346e75c7f6bd9c5..1c1280c9d1544c736fd44b5a3eecdf61eecd2704 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/fn2.C
+++ b/gcc/testsuite/g++.dg/concepts/fn2.C
@@ -11,9 +11,9 @@ template<typename T>
 // Non-dependent args are checked even in dependent scope.
 template<typename T>
   void h(T x) {
-    f(0); // { dg-error "cannot call" }
+    f(0); // { dg-error "" }
   }
 
 int main() {
-  f(0); // { dg-error "cannot call" }
+  f(0); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/concepts/fn5.C b/gcc/testsuite/g++.dg/concepts/fn5.C
index 7714788c3c0512b5bc23cf2c99e76509e3faab21..6d86ac5d0af188be2a4171e0e400b258ed4546d7 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/fn5.C
+++ b/gcc/testsuite/g++.dg/concepts/fn5.C
@@ -19,6 +19,6 @@ int main() {
   S1<char> s1;      // { dg-error "constraint|invalid" }
   S2<int, char> s2; // { dg-error "constraint|invalid" }
 
-  f('a');    // { dg-error "cannot" }
-  g(0, 'a'); // { dg-error "cannot" }
+  f('a');    // { dg-error "unsatisfied" }
+  g(0, 'a'); // { dg-error "unsatisfied" }
 }

diff --git a/gcc/testsuite/g++.dg/concepts/fn8.C b/gcc/testsuite/g++.dg/concepts/fn8.C
index ffcce4f02208adecee6c52fd33092e2bf3eb2253..ed9008099087ef2e473551507df6715c1bcdab4f 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/fn8.C
+++ b/gcc/testsuite/g++.dg/concepts/fn8.C
@@ -8,7 +8,7 @@ template<Class T> void f(T) { }
 
 template<typename T> void fn(T) { }
 
-auto p1 = &f<int>; // { dg-error "no matches" }
+auto p1 = &f<int>; // { dg-error "" }
 void (*p2)(int) = &f<int>; // { dg-error "no matches" }
 void (*p3)(int) = &f; // { dg-error "no matches" }
 
@@ -16,7 +16,7 @@ struct S {
   template<Class T> int f(T) { return 0; }
 };
 
-auto p4 = &S::template f<int>; // { dg-error "no matches" }
+auto p4 = &S::template f<int>; // { dg-error "" }
 int (S::*p6)(int) = &S::template f<int>; // { dg-error "no matches" }
 int (S::*p7)(int) = &S::f; // { dg-error "no matches" }
 

diff --git a/gcc/testsuite/g++.dg/concepts/placeholder5.C b/gcc/testsuite/g++.dg/concepts/placeholder5.C
index 7881a40a22a55986ededddd8257a05f425abb599..eccad65a30175dc944c9af5db36c3eb1e394cee7 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/placeholder5.C
+++ b/gcc/testsuite/g++.dg/concepts/placeholder5.C
@@ -14,5 +14,5 @@ concept bool C =
 template <C c>
 constexpr bool f() { return true; }
 
-static_assert(f<double>(), "");        // { dg-error "cannot call|as type" }
-static_assert(f<int>(), ""); // { dg-error "cannot call|as type" }
+static_assert(f<double>(), "");        // { dg-error "unsatisfied|as type" }
+static_assert(f<int>(), ""); // { dg-error "unsatisfied|as type" }

diff --git a/gcc/testsuite/g++.dg/concepts/template-parm11.C b/gcc/testsuite/g++.dg/concepts/template-parm11.C
index 07ad6e284e9b429486fa99e88998b4259a00e993..257e7c691db57574aff75b957dfd24768ff04e15 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/template-parm11.C
+++ b/gcc/testsuite/g++.dg/concepts/template-parm11.C
@@ -15,5 +15,5 @@ void getTable(const ColSpec&...)
 
 void f()
 {
-  getTable(7, 'a'); // { dg-error "cannot call" }
+  getTable(7, 'a'); // { dg-error "" }
 };

diff --git a/gcc/testsuite/g++.dg/concepts/var-concept2.C b/gcc/testsuite/g++.dg/concepts/var-concept2.C
index 4ff00a008b9aebd6a9c3a25ac41c3a4043de776b..5e1faec213f94a5f59af2ed7696bb85f6bcada96 100644 (file)
--- a/gcc/testsuite/g++.dg/concepts/var-concept2.C
+++ b/gcc/testsuite/g++.dg/concepts/var-concept2.C
@@ -12,7 +12,7 @@ void f2(C1) {}
 
 int main ()
 {
-  f1(0, 0); // { dg-error "cannot call" }
-  f2(1); // { dg-error "cannot call" }
+  f1(0, 0); // { dg-error "" }
+  f2(1); // { dg-error "" }
   return 0;
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-dr1430.C b/gcc/testsuite/g++.dg/cpp2a/concepts-dr1430.C
index f39921fcec785eee093b5e27e7b11a42dc50d566..91eefee602a5d860ee611e817f1e8601f033edbe 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-dr1430.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-dr1430.C
@@ -10,5 +10,5 @@ void foo( Args... args ) {}
 
 int main()
 {
-  foo(1, 2, 3); // { dg-error "cannot call" }
+  foo(1, 2, 3); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-fn1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-fn1.C
index 33f3a7490bbf9dfb984307e2e414939230044f0a..9287ab8e5d7b3cfdcb311be6b1a63cd73a8c6391 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-fn1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-fn1.C
@@ -35,7 +35,7 @@ int fn2(T t) { return 0; }
 void driver()
 {
   fn1(0); // OK
-  fn2(0); // { dg-error "cannot call function" }
+  fn2(0); // { dg-error "" }
 }
 
 // Ordering
@@ -126,7 +126,7 @@ void caller_1(T x)
 { 
   f1(x); // Unchecked dependent arg.
   f1(empty{}); // Checked non-dependent arg, but OK
-  f1(0); // { dg-error "cannot call function" }
+  f1(0); // { dg-error "" }
 }
 
 // fn3.c -- Ordering
@@ -159,7 +159,7 @@ template<typename T> requires Type<T> void ok(T) { }
 template<typename T> requires Class<T> void err(T) { }
 
 auto p1 = &ok<int>;
-auto p2 = &err<int>; // { dg-error "no matches" }
+auto p2 = &err<int>; // { dg-error "" }
 void (*p3)(int) = &ok<int>;
 void (*p4)(int) = &err<int>; // { dg-error "no matches" }
 void (*p5)(int) = &ok;
@@ -180,7 +180,7 @@ struct S2 {
 };
 
 auto p7 = &S2::ok<int>;
-auto p8 = &S2::err<int>; // { dg-error "no matches" }
+auto p8 = &S2::err<int>; // { dg-error "" }
 int (S2::*p9)(int) = &S2::ok<int>;
 int (S2::*p10)(int) = &S2::err<int>; // { dg-error "no matches" }
 int (S2::*p11)(int) = &S2::ok;

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-fn3.C b/gcc/testsuite/g++.dg/cpp2a/concepts-fn3.C
index e73ae23881aee9bccbaf406be88360650414bef1..b25adcc17c09d4e47711e9f35d8edff4d8d49775 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-fn3.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-fn3.C
@@ -31,11 +31,11 @@ struct S
 int main()
 {
   f1(1, 2, 3);
-  f1(1, 2, 3u); // { dg-error "cannot call" }
+  f1(1, 2, 3u); // { dg-error "" }
   f2(1, 2, 3);
-  f2(1, 2, 3u); // { dg-error "cannot call" }
+  f2(1, 2, 3u); // { dg-error "" }
   f3(1, 2, 3);
-  f3(1, 2, 3u); // { dg-error "cannot call" }
+  f3(1, 2, 3u); // { dg-error "" }
   f3(1u, 2, 3);
 
   S<void> s;

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-fn4.C b/gcc/testsuite/g++.dg/cpp2a/concepts-fn4.C
new file mode 100644 (file)
index 0000000..8a29ca9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-fn4.C
@@ -0,0 +1,11 @@
+// Testcase from [expr.prim.id]/5
+// { dg-do compile { target c++2a } }
+
+template<typename T> struct A {
+  static void f(int) requires false;
+};
+void g() {
+  A<int>::f(0);                        // { dg-error "" "cannot call f" }
+  void (*p1)(int) = A<int>::f;  // { dg-error "" "cannot take the address of f" }
+  decltype(A<int>::f)* p2 = nullptr; // { dg-error "" "the type decltype(A<int>::f) is invalid" }
+}

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-friend1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-friend1.C
index da97575687fd7fafaa1160f7ff19b8447fdf3b0a..e3740d5170e4a9261f8680fe5dd656ccd15301c2 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-friend1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-friend1.C
@@ -23,7 +23,7 @@ struct X { } x;
 
 int main() {
   // f(0); // OK
-  f(nt); // { dg-error "cannot call" }
+  f(nt); // { dg-error "" }
   f(x);  // { dg-error "3:'f' was not declared" }
 
   S<int> si;

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-noexcept1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-noexcept1.C
index e5a9b72b4fd73566afb00e8b82d0be0ecc23e118..418040aa56e99c0e24928d5a262f014956d54b2f 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-noexcept1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-noexcept1.C
@@ -20,6 +20,6 @@ template<C2 T>
 void g2(T t);
 
 void test() {
-  g1(0); // { dg-error "cannot call" }
+  g1(0); // { dg-error "" }
   g2(0);
 }
\ No newline at end of file

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-p1141.C b/gcc/testsuite/g++.dg/cpp2a/concepts-p1141.C
index deb409aa12c9a8f92f12d10b7ed206d96c3744e8..ac240a5b2d5e35c3ff2072791d2e14382f899b49 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-p1141.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-p1141.C
@@ -79,9 +79,9 @@ void f20(Class auto x, Class auto y) { }
 
 void driver_1()
 {
-  f19(0); // { dg-error "cannot call function" }
+  f19(0); // { dg-error "" }
   f19(empty{});
-  f20(0, empty{}); // { dg-error "cannot call function" }
+  f20(0, empty{}); // { dg-error "" }
   f20(empty{}, empty{});
 }
 

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C
index 3bfde5e2c75f0aaf48fd674b7dfce2e930617614..3ab7c9b6082b45d7e8a778048111961d93fa0fe7 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C
@@ -19,5 +19,5 @@ int g(int (*)() requires true); // { dg-error "" }
 int
 main()
 {
-  f1(); // { dg-error "cannot call" }
+  f1(); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr65854.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr65854.C
index a21073c4d67bc2668ab0390877fc7dd5bbdd8c29..53bb9a355f1cb732615f744c90cb1a5b663f31dd 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr65854.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr65854.C
@@ -19,4 +19,4 @@ template<typename T1, typename T2>
   requires C<T1, T2>
 int f();
 
-auto i = f<char, int>(); // { dg-error "cannot call function" }
+auto i = f<char, int>(); // { dg-error "" }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr66844.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr66844.C
index 64baab1dca068cd822b0667098d67ef250bacd9f..c32f4d1184b5b6f85255ad6a224351bd1db5985b 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr66844.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr66844.C
@@ -13,4 +13,4 @@ template <typename T>
   requires C<T>
 constexpr bool is_c() { return true; }
 
-static_assert(is_c<void>(), ""); // { dg-error "cannot call" }
+static_assert(is_c<void>(), ""); // { dg-error "" }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67070.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67070.C
index 548cb402fac432c59ffafa7211eebb0eb9298760..88017dc723fdb567cfd80682b94eb0670c6bee90 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67070.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67070.C
@@ -46,6 +46,6 @@ struct X {
 };
 
 void test2() {
-  g1<X, X>(); // { dg-error "cannot call" }
-  g2<X, X>(); // { dg-error "cannot call" }
+  g1<X, X>(); // { dg-error "" }
+  g2<X, X>(); // { dg-error "" }
 }
\ No newline at end of file

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67178.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67178.C
index 264b873c7f4f7847cb7c26c5d5d3326f8f33a417..ff84711a7af434a8ebad6a6843522fd63c54953d 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67178.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67178.C
@@ -20,7 +20,7 @@ template<typename T>
 void f(T) {}
 
 int main() {
-  f(1); // { dg-error "cannot call" }
+  f(1); // { dg-error "" }
 }
 
 

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C
index 1c5d73a33d0bf6978ae3ffc5b3245c7af718257f..500e6314119d75e35f89bf0575322ee690e91e22 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-1.C
@@ -28,5 +28,5 @@ struct Y {private: ~Y();};
 
 int main()
 {
-    f<Y>(); // { dg-error "cannot call" }
+    f<Y>(); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr68093-1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr68093-1.C
index bc4ddee5770e6ffca49f0ff725e4b7d056d76500..bf95210384153e2cf6a26ccb1483a179090da373 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-pr68093-1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr68093-1.C
@@ -9,5 +9,5 @@ struct S
 
 int main()
 {
-  foobar(S<double>{}, int{}); // { dg-error "cannot call" }
+  foobar(S<double>{}, int{}); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires1.C
index f1603af80156806b7ca252e7d86ee90f3b15eb2f..0c2651620babdc3b0369d0ed55827d6369a49816 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires1.C
@@ -26,7 +26,7 @@ void driver_1() {
   struct S { } s;
   f4(s);
   f5(0);
-  f5((void*)0); // { dg-error "cannot call" }
+  f5((void*)0); // { dg-error "" }
   test.f(s);
 }
 
@@ -67,5 +67,5 @@ void print2(const T& x) { }
 
 void driver_3()
 {
-  print2("hello"); // { dg-error "cannot call" }
+  print2("hello"); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires15.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires15.C
index 81d919682dca7af9f4bf4a7aa47c8a732365345b..9b82061af11c40cb6d6bb5971077306b81509e03 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires15.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires15.C
@@ -9,7 +9,7 @@ template<C T>
 void fun(T s) { }
 
 int main(int, char **) {
-  fun((int *)0); // { dg-error "cannot call function" }
+  fun((int *)0); // { dg-error "" }
   return 0;
 }
 

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires16.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires16.C
index 209c91657aa80989ff366f94e44de0043e53d039..b9532a36eb573b7f8a04e98a1d69fa28ccdb5d72 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires16.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires16.C
@@ -37,11 +37,11 @@ void f7() { }
 
 void driver()
 {
-  f1<int, int>(); // { dg-error "cannot call function" }
+  f1<int, int>(); // { dg-error "" }
   f3<int, int>();
-  f3<int, void>(); // { dg-error "cannot call function" }
+  f3<int, void>(); // { dg-error "" }
   f4<int, int>();
-  f4<int, void>(); // { dg-error "cannot call function" }
+  f4<int, void>(); // { dg-error "" }
   f7<int>();
   f7<int, int>();
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires2.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires2.C
index 45bb423af652529b90f56b9bbba5e409bfbc0870..73cee220567efb2d7a6bdc875be243a404adc513 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires2.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires2.C
@@ -18,7 +18,7 @@ template<typename T> requires Bad<T> void bad(T x) { }
 
 void driver_2()
 {
-  bad(0); // { dg-error "cannot call" }
+  bad(0); // { dg-error "" }
 }
 
 // req6.C
@@ -41,8 +41,8 @@ void h2(T);
 
 void driver_3()
 {
-  h1(0); // { dg-error "cannot call" }
-  h2(0); // { dg-error "cannot call" } 
+  h1(0); // { dg-error "" }
+  h2(0); // { dg-error "" } 
 }
 
 // req7.C

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires6.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires6.C
index 065876e94e49bd89e1371a7f93725bd2ed7cacce..d98992503421f2162094c5cebd7d84b264d0be63 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires6.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires6.C
@@ -17,9 +17,9 @@ template <typename T>
   requires C1<T>
 constexpr bool f1() { return true; }
 
-static_assert(f1<char>()); // { dg-error "cannot call" }
-static_assert(f1<int>()); // { dg-error "cannot call" }
-static_assert(f1<double>()); // { dg-error "cannot call" }
+static_assert(f1<char>()); // { dg-error "" }
+static_assert(f1<int>()); // { dg-error "" }
+static_assert(f1<double>()); // { dg-error "" }
 
 
 template <typename T>

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires8.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires8.C
index f10e4bcdb9a7967809be217f33aadc10a264a472..0d61a0ab313a8ec2f08f39b45dba2317395161cd 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-requires8.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires8.C
@@ -13,5 +13,5 @@ int main()
 {
   // FIXME: This diagnostic is being emitted twice, when it should
   // be emitted just once.
-  using U = decltype(f(42, non_addable{})); // { dg-error "cannot call function" }
+  using U = decltype(f(42, non_addable{})); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-traits1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-traits1.C
index 0ea529ef4a67adbbe3fe56a20dedafa3025448f2..710ded45fdd5e6ab14a7e79e475f17b087b01c70 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-traits1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-traits1.C
@@ -77,21 +77,21 @@ template<Union T> void f17() { }
 template<Enum T> void f18() { }
 
 int main() {
-  f1<void>(); // { dg-error "cannot call" }
-  f2<void>(); // { dg-error "cannot call" }
-  f3<void>(); // { dg-error "cannot call" }
-  f4<void>(); // { dg-error "cannot call" }
-  f5<void>(); // { dg-error "cannot call" }
-  f6<void>(); // { dg-error "cannot call" }
-  f7<void>(); // { dg-error "cannot call" }
-  f8<void>(); // { dg-error "cannot call" }
-  f9<void>(); // { dg-error "cannot call" }
-  f10<void>(); // { dg-error "cannot call" }
-  f11<void>(); // { dg-error "cannot call" }
-  f12<void>(); // { dg-error "cannot call" }
-  f13<void>(); // { dg-error "cannot call" }
-  f14<void>(); // { dg-error "cannot call" }
-  f15<void>(); // { dg-error "cannot call" }
-  f16<void>(); // { dg-error "cannot call" }
-  f17<void>(); // { dg-error "cannot call" }
+  f1<void>(); // { dg-error "" }
+  f2<void>(); // { dg-error "" }
+  f3<void>(); // { dg-error "" }
+  f4<void>(); // { dg-error "" }
+  f5<void>(); // { dg-error "" }
+  f6<void>(); // { dg-error "" }
+  f7<void>(); // { dg-error "" }
+  f8<void>(); // { dg-error "" }
+  f9<void>(); // { dg-error "" }
+  f10<void>(); // { dg-error "" }
+  f11<void>(); // { dg-error "" }
+  f12<void>(); // { dg-error "" }
+  f13<void>(); // { dg-error "" }
+  f14<void>(); // { dg-error "" }
+  f15<void>(); // { dg-error "" }
+  f16<void>(); // { dg-error "" }
+  f17<void>(); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-traits2.C b/gcc/testsuite/g++.dg/cpp2a/concepts-traits2.C
index 1dc5ffe9c00f944ee378364ee97403dd9a5191f1..2bdd3d370c273e0b308a24427cfced4f7fdba8f0 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-traits2.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-traits2.C
@@ -78,21 +78,21 @@ template<Enum T> void f18();
 
 
 int main() {
-  f1<void>(); // { dg-error "cannot call" }
-  f2<void>(); // { dg-error "cannot call" }
-  f3<void>(); // { dg-error "cannot call" }
-  f4<void>(); // { dg-error "cannot call" }
-  f5<void>(); // { dg-error "cannot call" }
-  f6<void>(); // { dg-error "cannot call" }
-  f7<void>(); // { dg-error "cannot call" }
-  f8<void>(); // { dg-error "cannot call" }
-  f9<void>(); // { dg-error "cannot call" }
-  f10<void>(); // { dg-error "cannot call" }
-  f11<void>(); // { dg-error "cannot call" }
-  f12<void>(); // { dg-error "cannot call" }
-  f13<void>(); // { dg-error "cannot call" }
-  f14<void>(); // { dg-error "cannot call" }
-  f15<void>(); // { dg-error "cannot call" }
-  f16<void>(); // { dg-error "cannot call" }
-  f17<void>(); // { dg-error "cannot call" }
+  f1<void>(); // { dg-error "" }
+  f2<void>(); // { dg-error "" }
+  f3<void>(); // { dg-error "" }
+  f4<void>(); // { dg-error "" }
+  f5<void>(); // { dg-error "" }
+  f6<void>(); // { dg-error "" }
+  f7<void>(); // { dg-error "" }
+  f8<void>(); // { dg-error "" }
+  f9<void>(); // { dg-error "" }
+  f10<void>(); // { dg-error "" }
+  f11<void>(); // { dg-error "" }
+  f12<void>(); // { dg-error "" }
+  f13<void>(); // { dg-error "" }
+  f14<void>(); // { dg-error "" }
+  f15<void>(); // { dg-error "" }
+  f16<void>(); // { dg-error "" }
+  f17<void>(); // { dg-error "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-ts1.C b/gcc/testsuite/g++.dg/cpp2a/concepts-ts1.C
index b819ad4a1a2bddc105faa9a61c93992337fa1dfd..b3acec15986accbd6693e1b256394114c2626ccc 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-ts1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-ts1.C
@@ -35,11 +35,11 @@ auto f15(auto x) -> SameAs<decltype(x)> { return 0; } // { dg-error "deduced ret
 void driver()
 {
   f1(0);
-  f2(0); // { dg-error "cannot call" }
+  f2(0); // { dg-error "" }
   f3(0);
-  f3('a'); // { dg-error "cannot call" }
+  f3('a'); // { dg-error "" }
   f4(0, 0);
-  f4(0, 'a'); // { dg-error "cannot call" }
+  f4(0, 'a'); // { dg-error "" }
   f15(0);
   f15('a'); // { dg-message "" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-ts2.C b/gcc/testsuite/g++.dg/cpp2a/concepts-ts2.C
index 9d2dbeee7f375f949abec1171615473ada1d823d..f731bac8c2a3da6f8a466aced8a3c9c701607fdf 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-ts2.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-ts2.C
@@ -38,7 +38,7 @@ int fn2(T t) { return 0; }
 void driver()
 {
   fn1(0); // OK
-  fn2(0); // { dg-error "cannot call function" }
+  fn2(0); // { dg-error "" }
 }
 
 // Ordering
@@ -129,7 +129,7 @@ void caller_1(T x)
 { 
   f1(x); // Unchecked dependent arg.
   f1(empty{}); // Checked non-dependent arg, but OK
-  f1(0); // { dg-error "cannot call function" }
+  f1(0); // { dg-error "" }
 }
 
 // fn3.c -- Ordering
@@ -162,7 +162,7 @@ template<typename T> requires (Type<T>()) void ok(T) { }
 template<typename T> requires (Class<T>()) void err(T) { }
 
 auto p1 = &ok<int>;
-auto p2 = &err<int>; // { dg-error "no matches" }
+auto p2 = &err<int>; // { dg-error "" }
 void (*p3)(int) = &ok<int>;
 void (*p4)(int) = &err<int>; // { dg-error "no matches" }
 void (*p5)(int) = &ok;
@@ -183,7 +183,7 @@ struct S2 {
 };
 
 auto p7 = &S2::ok<int>;
-auto p8 = &S2::err<int>; // { dg-error "no matches" }
+auto p8 = &S2::err<int>; // { dg-error "" }
 int (S2::*p9)(int) = &S2::ok<int>;
 int (S2::*p10)(int) = &S2::err<int>; // { dg-error "no matches" }
 int (S2::*p11)(int) = &S2::ok;

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-ts3.C b/gcc/testsuite/g++.dg/cpp2a/concepts-ts3.C
index c1f4ba9c70028a04e4161ef319f1077bab490ce3..434a5e2651b015bcbe7dd4db2c8adf802dc92447 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-ts3.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-ts3.C
@@ -38,7 +38,7 @@ int fn2(T t) { return 0; }
 void driver()
 {
   fn1(0); // OK
-  fn2(0); // { dg-error "cannot call function" }
+  fn2(0); // { dg-error "" }
 }
 
 // Ordering
@@ -129,7 +129,7 @@ void caller_1(T x)
 { 
   f1(x); // Unchecked dependent arg.
   f1(empty{}); // Checked non-dependent arg, but OK
-  f1(0); // { dg-error "cannot call function" }
+  f1(0); // { dg-error "" }
 }
 
 // fn3.c -- Ordering
@@ -162,7 +162,7 @@ template<typename T> requires Type<T> void ok(T) { }
 template<typename T> requires Class<T> void err(T) { }
 
 auto p1 = &ok<int>;
-auto p2 = &err<int>; // { dg-error "no matches" }
+auto p2 = &err<int>; // { dg-error "" }
 void (*p3)(int) = &ok<int>;
 void (*p4)(int) = &err<int>; // { dg-error "no matches" }
 void (*p5)(int) = &ok;
@@ -183,7 +183,7 @@ struct S2 {
 };
 
 auto p7 = &S2::ok<int>;
-auto p8 = &S2::err<int>; // { dg-error "no matches" }
+auto p8 = &S2::err<int>; // { dg-error "" }
 int (S2::*p9)(int) = &S2::ok<int>;
 int (S2::*p10)(int) = &S2::err<int>; // { dg-error "no matches" }
 int (S2::*p11)(int) = &S2::ok;

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-ts4.C b/gcc/testsuite/g++.dg/cpp2a/concepts-ts4.C
index 3d720e86f3b95400cfd698151c7ba4f4abaa4083..aa96621d9cf8ed3c78905d1f080c5b10503545f6 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts-ts4.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-ts4.C
@@ -23,12 +23,12 @@ Pos{N} void fn();
 void driver()
 {
   f1(0);
-  f2(0); // { dg-error "cannot call function" }
+  f2(0); // { dg-error "" }
 
   same<int, int>();
-  same<int, char>(); // { dg-error "cannot call function" }
+  same<int, char>(); // { dg-error "" }
 
   fn<0>(); // OK
-  fn<-1>(); // { dg-error "cannot call function" }
+  fn<-1>(); // { dg-error "" }
   fn<int>(); // { dg-error "no matching function" }
 }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts1.C b/gcc/testsuite/g++.dg/cpp2a/concepts1.C
index f22464a9c542dad0ab2e518d0ca57272c44929e3..a99343fc04df12a55e70e815bbf42ec2dc9e2e89 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts1.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts1.C
@@ -19,7 +19,7 @@ void decl1(T);
 
 void driver_1()
 {
-  f1(0); // { dg-error "cannot call function" }
+  f1(0); // { dg-error "" }
   f1(empty{});
 
   decl1(empty{}); // { dg-error "call of overload | ambiguous" }

diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts3.C b/gcc/testsuite/g++.dg/cpp2a/concepts3.C
index d9624268082be7b8a84038db80ca2d42c52b91df..34dacade330ec6f1c3dfcfb641f4bbc6e1ba0341 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp2a/concepts3.C
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts3.C
@@ -42,7 +42,7 @@ template<typename T>
 void f3() { }
 
 void driver2() {
-  f1<S1>(); // { dg-error "cannot call|is private" }
-  f2<S1>(); // { dg-error "cannot call|is private" }
-  f3<S1>(); // { dg-error "cannot call|is private" }
+  f1<S1>(); // { dg-error "unsatisfied|is private" }
+  f2<S1>(); // { dg-error "unsatisfied|is private" }
+  f3<S1>(); // { dg-error "unsatisfied|is private" }
 }