c++: fix assume test

diff --git a/gcc/testsuite/g++.dg/contracts/contracts-assume5.C b/gcc/testsuite/g++.dg/contracts/contracts-assume5.C
index 67b2864778628a3f1dca4b63c44f64fcb787b643..372c0deb13af91881c28ca165d87b6b95e24c790 100644 (file)
--- a/gcc/testsuite/g++.dg/contracts/contracts-assume5.C
+++ b/gcc/testsuite/g++.dg/contracts/contracts-assume5.C
@@ -1,7 +1,6 @@
-// test that assumed constexpr contracts that reference defined entities cause
-// constexpr eval failure when the predicate is constexpr false
-// test that assumed constexpr contracts that reference undefined entities in
-// an unevaluated context cause constexpr eval failure
+// test that assumed constexpr contracts that reference defined entities, or
+// undefined entities in unevaluated context, cause constexpr eval failure when
+// the predicate is constexpr false
 // { dg-do compile }
 // { dg-options "-std=c++2a -fcontracts" }
 
@@ -20,16 +19,16 @@ constexpr int undef(int t);
 
 constexpr int dummy2()
 {
-  [[ assert assume: sizeof(decltype(f(1))) < 0 ]];
+  [[ assert assume: sizeof(decltype(undef(1))) < 0 ]];
   return -1;
 }
 
 int main()
 {
   constexpr int n = dummy(); // { dg-message "in .constexpr. expansion" }
-  // { dg-error "contract predicate" "" { target *-*-* } 15 }
+  // { dg-error "contract predicate" "" { target *-*-* } 14 }
   constexpr int m = dummy2(); // { dg-message "in .constexpr. expansion" }
-  // { dg-error "contract predicate" "" { target *-*-* } 23 }
+  // { dg-error "contract predicate" "" { target *-*-* } 22 }
   return 0;
 }