Fix tests and make them platform-indep (#556)

Author: jarzec

regression-tests/mixed-bounds-check.cpp2

@@ -2,6 +2,8 @@
 #include <vector>
 
 main: () -> int = {
+    std::set_terminate(std::abort);
+
     v : std::vector = (1, 2, 3, 4, 5, -999);
     v.pop_back();
     std::cout << v[5] << "\n";

regression-tests/mixed-bounds-safety-with-assert.cpp2

@@ -1,5 +1,7 @@
 
 main: () -> int = {
+    std::set_terminate(std::abort);
+
     v: std::vector<int> = (1, 2, 3, 4, 5);
     print_subrange(v, 1, 13);
 }

regression-tests/mixed-initialization-safety-3-contract-violation.cpp2

@@ -3,6 +3,8 @@
 #include <vector>
 
 main: () -> int = {
+    std::set_terminate(std::abort);
+
     x: std::string;         // note: uninitialized!
 
     if flip_a_coin() {

regression-tests/test-results/apple-clang-14/mixed-bounds-check.cpp.execution

@@ -1,2 +1 @@
 Bounds safety violation: out of bounds access attempt detected
-libc++abi: terminating

regression-tests/test-results/apple-clang-14/mixed-bounds-safety-with-assert.cpp.execution

@@ -1,2 +1 @@
 Bounds safety violation
-libc++abi: terminating

regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.execution

@@ -0,0 +1,7 @@
+mixed-captures-in-expressions-and-postconditions.cpp2:12:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(vec, callback);
+    ~~~~~~~~~~~~~^
+mixed-captures-in-expressions-and-postconditions.cpp2:14:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(std::move(vec), std::move(callback));
+    ~~~~~~~~~~~~~^
+2 errors generated.

regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.output

@@ -0,0 +1,72 @@
+123
+123
+123
+123
+123
+123
+123456
+123
+123
+123
+123
+123
+123
+123456
+123456
+123456
+456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123456
+123456
+456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123
+123
+123
+123
+123
+123
+123456
+123
+123
+123
+123
+123
+123
+123456
+123456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10

regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.execution

@@ -1,217 +0,0 @@
-mixed-float-literals.cpp:14:3: warning: expression result unused [-Wunused-value]
-  123;
-  ^~~
-mixed-float-literals.cpp:15:3: warning: expression result unused [-Wunused-value]
-  123u;
-  ^~~~
-mixed-float-literals.cpp:16:3: warning: expression result unused [-Wunused-value]
-  123ul;
-  ^~~~~
-mixed-float-literals.cpp:17:3: warning: expression result unused [-Wunused-value]
-  123ull;
-  ^~~~~~
-mixed-float-literals.cpp:18:3: warning: expression result unused [-Wunused-value]
-  123l;
-  ^~~~
-mixed-float-literals.cpp:19:3: warning: expression result unused [-Wunused-value]
-  123ll;
-  ^~~~~
-mixed-float-literals.cpp:20:3: warning: expression result unused [-Wunused-value]
-  123'456ll;
-  ^~~~~~~~~
-mixed-float-literals.cpp:21:3: warning: expression result unused [-Wunused-value]
-  123;
-  ^~~
-mixed-float-literals.cpp:22:3: warning: expression result unused [-Wunused-value]
-  123U;
-  ^~~~
-mixed-float-literals.cpp:23:3: warning: expression result unused [-Wunused-value]
-  123UL;
-  ^~~~~
-mixed-float-literals.cpp:24:3: warning: expression result unused [-Wunused-value]
-  123ULL;
-  ^~~~~~
-mixed-float-literals.cpp:25:3: warning: expression result unused [-Wunused-value]
-  123L;
-  ^~~~
-mixed-float-literals.cpp:26:3: warning: expression result unused [-Wunused-value]
-  123LL;
-  ^~~~~
-mixed-float-literals.cpp:27:3: warning: expression result unused [-Wunused-value]
-  123'456LL;
-  ^~~~~~~~~
-mixed-float-literals.cpp:29:3: warning: expression result unused [-Wunused-value]
-  123'456.0f;
-  ^~~~~~~~~~
-mixed-float-literals.cpp:30:3: warning: expression result unused [-Wunused-value]
-  123'456.f;
-  ^~~~~~~~~
-mixed-float-literals.cpp:31:3: warning: expression result unused [-Wunused-value]
-  456.0;
-  ^~~~~
-mixed-float-literals.cpp:32:3: warning: expression result unused [-Wunused-value]
-  456.;
-  ^~~~
-mixed-float-literals.cpp:33:3: warning: expression result unused [-Wunused-value]
-  1.0e10;
-  ^~~~~~
-mixed-float-literals.cpp:34:3: warning: expression result unused [-Wunused-value]
-  1.0e+10;
-  ^~~~~~~
-mixed-float-literals.cpp:35:3: warning: expression result unused [-Wunused-value]
-  1.0e-10;
-  ^~~~~~~
-mixed-float-literals.cpp:36:3: warning: expression result unused [-Wunused-value]
-  1.0e-10f;
-  ^~~~~~~~
-mixed-float-literals.cpp:37:3: warning: expression result unused [-Wunused-value]
-  1.e-10;
-  ^~~~~~
-mixed-float-literals.cpp:38:3: warning: expression result unused [-Wunused-value]
-  1.e-10f;
-  ^~~~~~~
-mixed-float-literals.cpp:39:3: warning: expression result unused [-Wunused-value]
-  1e-10;
-  ^~~~~
-mixed-float-literals.cpp:40:3: warning: expression result unused [-Wunused-value]
-  1e-10f;
-  ^~~~~~
-mixed-float-literals.cpp:41:3: warning: expression result unused [-Wunused-value]
-  1e-1'0;
-  ^~~~~~
-mixed-float-literals.cpp:42:3: warning: expression result unused [-Wunused-value]
-  123'456.0F;
-  ^~~~~~~~~~
-mixed-float-literals.cpp:43:3: warning: expression result unused [-Wunused-value]
-  123'456.F;
-  ^~~~~~~~~
-mixed-float-literals.cpp:44:3: warning: expression result unused [-Wunused-value]
-  456.0;
-  ^~~~~
-mixed-float-literals.cpp:45:3: warning: expression result unused [-Wunused-value]
-  456.;
-  ^~~~
-mixed-float-literals.cpp:46:3: warning: expression result unused [-Wunused-value]
-  1.0E10;
-  ^~~~~~
-mixed-float-literals.cpp:47:3: warning: expression result unused [-Wunused-value]
-  1.0E+10;
-  ^~~~~~~
-mixed-float-literals.cpp:48:3: warning: expression result unused [-Wunused-value]
-  1.0E-10;
-  ^~~~~~~
-mixed-float-literals.cpp:49:3: warning: expression result unused [-Wunused-value]
-  1.0E-10F;
-  ^~~~~~~~
-mixed-float-literals.cpp:50:3: warning: expression result unused [-Wunused-value]
-  1.E-10;
-  ^~~~~~
-mixed-float-literals.cpp:51:3: warning: expression result unused [-Wunused-value]
-  1.E-10F;
-  ^~~~~~~
-mixed-float-literals.cpp:52:3: warning: expression result unused [-Wunused-value]
-  1E-10;
-  ^~~~~
-mixed-float-literals.cpp:53:3: warning: expression result unused [-Wunused-value]
-  1E-10F;
-  ^~~~~~
-mixed-float-literals.cpp:54:3: warning: expression result unused [-Wunused-value]
-  1E-1'0;
-  ^~~~~~
-mixed-float-literals.cpp2:59:3: warning: expression result unused [-Wunused-value]
-  123;
-  ^~~
-mixed-float-literals.cpp2:60:3: warning: expression result unused [-Wunused-value]
-  123u;
-  ^~~~
-mixed-float-literals.cpp2:61:3: warning: expression result unused [-Wunused-value]
-  123ul;
-  ^~~~~
-mixed-float-literals.cpp2:62:3: warning: expression result unused [-Wunused-value]
-  123ull;
-  ^~~~~~
-mixed-float-literals.cpp2:63:3: warning: expression result unused [-Wunused-value]
-  123l;
-  ^~~~
-mixed-float-literals.cpp2:64:3: warning: expression result unused [-Wunused-value]
-  123ll;
-  ^~~~~
-mixed-float-literals.cpp2:65:3: warning: expression result unused [-Wunused-value]
-  123'456ll;
-  ^~~~~~~~~
-mixed-float-literals.cpp2:66:3: warning: expression result unused [-Wunused-value]
-  123;
-  ^~~
-mixed-float-literals.cpp2:67:3: warning: expression result unused [-Wunused-value]
-  123U;
-  ^~~~
-mixed-float-literals.cpp2:68:3: warning: expression result unused [-Wunused-value]
-  123UL;
-  ^~~~~
-mixed-float-literals.cpp2:69:3: warning: expression result unused [-Wunused-value]
-  123ULL;
-  ^~~~~~
-mixed-float-literals.cpp2:70:3: warning: expression result unused [-Wunused-value]
-  123L;
-  ^~~~
-mixed-float-literals.cpp2:71:3: warning: expression result unused [-Wunused-value]
-  123LL;
-  ^~~~~
-mixed-float-literals.cpp2:72:3: warning: expression result unused [-Wunused-value]
-  123'456LL;
-  ^~~~~~~~~
-mixed-float-literals.cpp2:74:3: warning: expression result unused [-Wunused-value]
-  123'456.0f;
-  ^~~~~~~~~~
-mixed-float-literals.cpp2:75:3: warning: expression result unused [-Wunused-value]
-  456.0;
-  ^~~~~
-mixed-float-literals.cpp2:76:3: warning: expression result unused [-Wunused-value]
-  1.0e10;
-  ^~~~~~
-mixed-float-literals.cpp2:77:3: warning: expression result unused [-Wunused-value]
-  1.0e+10;
-  ^~~~~~~
-mixed-float-literals.cpp2:78:3: warning: expression result unused [-Wunused-value]
-  1.0e-10;
-  ^~~~~~~
-mixed-float-literals.cpp2:79:3: warning: expression result unused [-Wunused-value]
-  1.0e-10f;
-  ^~~~~~~~
-mixed-float-literals.cpp2:80:3: warning: expression result unused [-Wunused-value]
-  1e-10;
-  ^~~~~
-mixed-float-literals.cpp2:81:3: warning: expression result unused [-Wunused-value]
-  1e-10f;
-  ^~~~~~
-mixed-float-literals.cpp2:82:3: warning: expression result unused [-Wunused-value]
-  1e-1'0;
-  ^~~~~~
-mixed-float-literals.cpp2:83:3: warning: expression result unused [-Wunused-value]
-  123'456.0F;
-  ^~~~~~~~~~
-mixed-float-literals.cpp2:84:3: warning: expression result unused [-Wunused-value]
-  456.0;
-  ^~~~~
-mixed-float-literals.cpp2:85:3: warning: expression result unused [-Wunused-value]
-  1.0E10;
-  ^~~~~~
-mixed-float-literals.cpp2:86:3: warning: expression result unused [-Wunused-value]
-  1.0E+10;
-  ^~~~~~~
-mixed-float-literals.cpp2:87:3: warning: expression result unused [-Wunused-value]
-  1.0E-10;
-  ^~~~~~~
-mixed-float-literals.cpp2:88:3: warning: expression result unused [-Wunused-value]
-  1.0E-10F;
-  ^~~~~~~~
-mixed-float-literals.cpp2:89:3: warning: expression result unused [-Wunused-value]
-  1E-10;
-  ^~~~~
-mixed-float-literals.cpp2:90:3: warning: expression result unused [-Wunused-value]
-  1E-10F;
-  ^~~~~~
-mixed-float-literals.cpp2:91:3: warning: expression result unused [-Wunused-value]
-  1E-1'0;
-  ^~~~~~
-72 warnings generated.

regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.output

@@ -0,0 +1,7 @@
+mixed-function-expression-and-std-ranges-for-each-with-capture.cpp2:14:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each
+    ~~~~~~~~~~~~~^
+mixed-function-expression-and-std-ranges-for-each-with-capture.cpp2:18:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(view, std::move(callback));
+    ~~~~~~~~~~~~~^
+2 errors generated.

regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.execution

@@ -0,0 +1,7 @@
+mixed-function-expression-and-std-ranges-for-each.cpp2:13:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each
+    ~~~~~~~~~~~~~^
+mixed-function-expression-and-std-ranges-for-each.cpp2:17:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(view, std::move(callback));
+    ~~~~~~~~~~~~~^
+2 errors generated.

regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.output

@@ -0,0 +1,7 @@
+mixed-function-expression-with-pointer-capture.cpp2:14:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(view, [_0 = (&y)](auto const& x) -> void{
+    ~~~~~~~~~~~~~^
+mixed-function-expression-with-pointer-capture.cpp2:19:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(view, std::move(callback));
+    ~~~~~~~~~~~~~^
+2 errors generated.

regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.execution

@@ -0,0 +1,7 @@
+mixed-function-expression-with-repeated-capture.cpp2:14:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each
+    ~~~~~~~~~~~~~^
+mixed-function-expression-with-repeated-capture.cpp2:18:18: error: no member named 'for_each' in namespace 'std::ranges'
+    std::ranges::for_each(view, std::move(callback));
+    ~~~~~~~~~~~~~^
+2 errors generated.

regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.output

@@ -1,2 +1 @@
 Contract violation: fill: value must contain at least count elements
-libc++abi: terminating

regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.execution

@@ -1,2 +1 @@
 Bounds safety violation: out of bounds access attempt detected
-terminate called without an active exception