testsuite, c++: Skip contracts run tests for non-hosted.

These, in general, require hosted support.

gcc/testsuite/ChangeLog:

	* g++.dg/contracts/cpp26/basic.contract.eval.p11-observe.C: Skip
	for non-hosted.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-2.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-3.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-4.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-5.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-post.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-pre.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF2.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF3.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF4.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p17.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p4.C: Likewise.
	* g++.dg/contracts/cpp26/basic.contract.eval.p6.observe.C: Likewise.
	* g++.dg/contracts/cpp26/callerside-checks/callerside-checks-all.C: Likewise.
	* g++.dg/contracts/cpp26/callerside-checks/callerside-checks-none.C: Likewise.
	* g++.dg/contracts/cpp26/callerside-checks/callerside-checks-pre.C: Likewise.
	* g++.dg/contracts/cpp26/callerside-checks/freefunc-noexcept-post.C: Likewise.
	* g++.dg/contracts/cpp26/callerside-checks/freefunc-noexcept-pre.C: Likewise.
	* g++.dg/contracts/cpp26/contract-assert-run.C: Likewise.
	* g++.dg/contracts/cpp26/contract-violation-noexcept2.C: Likewise.
	* g++.dg/contracts/cpp26/debug-and-opt.C: Likewise.
	* g++.dg/contracts/cpp26/deferred1.C: Likewise.
	* g++.dg/contracts/cpp26/definition-checks/contract-assert-no-def-check.C: Likewise.
	* g++.dg/contracts/cpp26/dependent_contract.C: Likewise.
	* g++.dg/contracts/cpp26/empty-nt-param.C: Likewise.
	* g++.dg/contracts/cpp26/expr.prim.id.unqual.p7-3.C: Likewise.
	* g++.dg/contracts/cpp26/expr.prim.id.unqual.p7-4.C: Likewise.
	* g++.dg/contracts/cpp26/function-contract-specifier-seq.C: Likewise.
	* g++.dg/contracts/cpp26/name_mangling.C: Likewise.
	* g++.dg/contracts/cpp26/outline-checks/freefunc-noexcept-post.C: Likewise.
	* g++.dg/contracts/cpp26/outline-checks/freefunc-noexcept-pre.C: Likewise.
	* g++.dg/contracts/cpp26/outline-checks/func-noexcept-assert.C: Likewise.
	* g++.dg/contracts/cpp26/outline-checks/memberfunc-noexcept-post.C: Likewise.
	* g++.dg/contracts/cpp26/outline-checks/memberfunc-noexcept-pre.C: Likewise.
	* g++.dg/contracts/cpp26/src-loc-0.C: Likewise.
	* g++.dg/contracts/cpp26/src-loc-1.C: Likewise.
	* g++.dg/contracts/cpp26/src-loc-2.C: Likewise.
	* g++.dg/contracts/cpp26/throwing-violation-handler.cc: Likewise.
	* g++.dg/contracts/cpp26/vaargs.C: Likewise.

Signed-off-by: Iain Sandoe <iain@sandoe.co.uk>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p11-observe.C

@@ -10,6 +10,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 int f(int i, int j = 1) pre(i > 0) post(r: r < 5)
 {

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-2.C

@@ -7,6 +7,7 @@
 // invoked (14.6.2). — end note]
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-3.C

@@ -6,6 +6,7 @@
 // for a handler continues from the execution of that statement. — end note]
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-4.C

@@ -10,6 +10,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-5.C

@@ -10,6 +10,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-post.C

@@ -11,6 +11,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-pre.C

@@ -11,6 +11,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF2.C

@@ -10,6 +10,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF3.C

@@ -10,6 +10,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF4.C

@@ -11,6 +11,7 @@
 //
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p17.C

@@ -7,6 +7,7 @@
 // invoked (14.6.2). — end note]
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p4.C

@@ -4,6 +4,7 @@
 // [Note 2 : The predicate is potentially evaluated (6.3), but not evaluated. — end note]
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=ignore" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 

gcc/testsuite/g++.dg/contracts/cpp26/basic.contract.eval.p6.observe.C

@@ -6,7 +6,6 @@
 // { dg-do compile { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fdump-tree-gimple " }
 
-
 int main(int ac, char *av[])
 {
    int i = ac;

gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/callerside-checks-all.C

@@ -1,6 +1,6 @@
 // { dg-do run { target c++20 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontracts-client-check=all" }
-
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 
 int f(const int a, const int b) pre (a > 2) post(r : r > 2){ return b;  }

gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/callerside-checks-none.C

@@ -1,5 +1,7 @@
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontracts-client-check=none" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
+
 static int pre_check = 0;
 bool fpre()
 {

gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/callerside-checks-pre.C

@@ -1,5 +1,6 @@
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontracts-client-check=pre" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 static int pre_check = 0;
 bool fpre()

gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/freefunc-noexcept-post.C

@@ -4,6 +4,7 @@
 // with caller side checks.
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontracts-client-check=all " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <iostream>

gcc/testsuite/g++.dg/contracts/cpp26/callerside-checks/freefunc-noexcept-pre.C

@@ -4,6 +4,7 @@
 // with caller side checks.
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontracts-client-check=all " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <iostream>

gcc/testsuite/g++.dg/contracts/cpp26/contract-assert-run.C

@@ -9,6 +9,7 @@
 //   ensure that a missing colon after contract role errors
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <iostream>
 #include <contracts>

gcc/testsuite/g++.dg/contracts/cpp26/contract-violation-noexcept2.C

@@ -2,6 +2,7 @@
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts" }
 // { dg-additional-sources "throwing-violation-handler.cc" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <exception>
 

gcc/testsuite/g++.dg/contracts/cpp26/debug-and-opt.C

@@ -1,7 +1,7 @@
 // Check that we do not ICE with debug + optimisation.
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -O -g" }
-
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 int foo (const int i)
   pre (i > 3)

gcc/testsuite/g++.dg/contracts/cpp26/deferred1.C

@@ -2,6 +2,7 @@
 // For now, diagnose that we at least don't accidentally merge the contracts
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -g3" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 #include <cassert>
 struct contract
 {

gcc/testsuite/g++.dg/contracts/cpp26/definition-checks/contract-assert-no-def-check.C

@@ -2,6 +2,7 @@
 // are turned off
 // { dg-do run { target c++26 } }
 // { dg-options "-fcontracts -fcontracts-definition-check=off -fcontract-evaluation-semantic=observe" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <cstdlib>
 

gcc/testsuite/g++.dg/contracts/cpp26/dependent_contract.C

@@ -1,6 +1,7 @@
 // check that dependent contract check does not cause an ICE
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 template <typename ST>
 struct S{
 

gcc/testsuite/g++.dg/contracts/cpp26/empty-nt-param.C

@@ -1,6 +1,7 @@
 // check that we do not ICE with an empty nontrivial parameter
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 struct NTClass {
   NTClass(){};

gcc/testsuite/g++.dg/contracts/cpp26/expr.prim.id.unqual.p7-3.C

@@ -8,6 +8,7 @@
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-checks-outlined" }
 // { dg-xfail-run-if "PRXXXXXX" { *-*-* } }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 struct S{
   S(){};

gcc/testsuite/g++.dg/contracts/cpp26/expr.prim.id.unqual.p7-4.C

@@ -8,6 +8,7 @@
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -O2 -g" }
 // { dg-xfail-run-if "PRXXXXXX" { *-*-* } { "-fcontract-checks-outlined" } "" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <cassert>
 

gcc/testsuite/g++.dg/contracts/cpp26/function-contract-specifier-seq.C

@@ -10,7 +10,6 @@
 //	post attribute-specifier-seq opt ( result-name-introducer opt conditional-expression )
 // { dg-do compile { target c++23 } }
 // { dg-additional-options "-fcontracts" }
-// { dg-additional-options "-fcontracts" }
 
 static_assert (__cpp_contracts >= 202502L);
 

gcc/testsuite/g++.dg/contracts/cpp26/name_mangling.C

@@ -3,7 +3,7 @@
 // additional parameter that matches the returen value of the first function
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
-
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 int f() post(r:r>1){ return 2;}
 void f(int i) post(true){ }

gcc/testsuite/g++.dg/contracts/cpp26/outline-checks/freefunc-noexcept-post.C

@@ -3,6 +3,7 @@
 // This tests the behaviour of a pre condition on a member function
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/outline-checks/freefunc-noexcept-pre.C

@@ -3,6 +3,7 @@
 // This tests the behaviour of a pre condition on a member function
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/outline-checks/func-noexcept-assert.C

@@ -2,6 +2,7 @@
 // can be caught by the function.
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/outline-checks/memberfunc-noexcept-post.C

@@ -3,6 +3,7 @@
 // This tests the behaviour of a post condition on a member function
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/outline-checks/memberfunc-noexcept-pre.C

@@ -3,6 +3,7 @@
 // This tests the behaviour of a pre condition on a member function
 // { dg-do run { target c++26 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe -fcontract-checks-outlined" }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 #include <contracts>
 #include <exception>

gcc/testsuite/g++.dg/contracts/cpp26/src-loc-0.C

@@ -1,6 +1,6 @@
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
-
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 // Test source location without including <source_location>
 
 int

gcc/testsuite/g++.dg/contracts/cpp26/src-loc-1.C

@@ -1,5 +1,6 @@
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 // Test source location with #include <source_location>
 #include <source_location>
 
@@ -15,4 +16,4 @@ int main ()
   foo (9);
 }
 
-// { dg-output "contract violation in function int foo.int. at .*:8: x > 10.*(\n|\r\n|\r)" }
+// { dg-output "contract violation in function int foo.int. at .*:9: x > 10.*(\n|\r\n|\r)" }

gcc/testsuite/g++.dg/contracts/cpp26/src-loc-2.C

@@ -1,5 +1,6 @@
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=observe " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 
 // Test source location with a late inclusion of <source_location>
 
@@ -17,4 +18,4 @@ int main ()
   foo (9);
 }
 
-// { dg-output "contract violation in function int foo.int. at .*:8: x > 10.*(\n|\r\n|\r)" }
+// { dg-output "contract violation in function int foo.int. at .*:9: x > 10.*(\n|\r\n|\r)" }

gcc/testsuite/g++.dg/contracts/cpp26/throwing-violation-handler.cc

@@ -1,3 +1,4 @@
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 #include <contracts>
 
 void handle_contract_violation(const std::contracts::contract_violation&)

gcc/testsuite/g++.dg/contracts/cpp26/vaargs.C

@@ -1,6 +1,7 @@
 // Check contract assertion on a vaarg function
 // { dg-do run { target c++23 } }
 // { dg-additional-options "-fcontracts -fcontract-evaluation-semantic=enforce " }
+// { dg-skip-if "requires hosted libstdc++ for stdc++exp" { ! hostedlib } }
 #include <stdio.h>
 #include <stdarg.h>
 int simple_printf(const char* fmt, ...) pre (fmt != 0) post (r: r > 0)