diff --git a/regression-tests/mixed-bounds-check.cpp2 b/regression-tests/mixed-bounds-check.cpp2 index 87f9a58bd..f2809dc1f 100644 --- a/regression-tests/mixed-bounds-check.cpp2 +++ b/regression-tests/mixed-bounds-check.cpp2 @@ -2,6 +2,8 @@ #include main: () -> int = { + std::set_terminate(std::abort); + v : std::vector = (1, 2, 3, 4, 5, -999); v.pop_back(); std::cout << v[5] << "\n"; diff --git a/regression-tests/mixed-bounds-safety-with-assert.cpp2 b/regression-tests/mixed-bounds-safety-with-assert.cpp2 index 3848bc99d..43c2b2ac2 100644 --- a/regression-tests/mixed-bounds-safety-with-assert.cpp2 +++ b/regression-tests/mixed-bounds-safety-with-assert.cpp2 @@ -1,5 +1,7 @@ main: () -> int = { + std::set_terminate(std::abort); + v: std::vector = (1, 2, 3, 4, 5); print_subrange(v, 1, 13); } diff --git a/regression-tests/mixed-initialization-safety-3-contract-violation.cpp2 b/regression-tests/mixed-initialization-safety-3-contract-violation.cpp2 index f1c253327..78ec47508 100644 --- a/regression-tests/mixed-initialization-safety-3-contract-violation.cpp2 +++ b/regression-tests/mixed-initialization-safety-3-contract-violation.cpp2 @@ -3,6 +3,8 @@ #include main: () -> int = { + std::set_terminate(std::abort); + x: std::string; // note: uninitialized! if flip_a_coin() { diff --git a/regression-tests/test-results/apple-clang-14/mixed-bounds-check.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-bounds-check.cpp.execution index 1d8a586bb..173634b6e 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-bounds-check.cpp.execution +++ b/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 diff --git a/regression-tests/test-results/apple-clang-14/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-bounds-safety-with-assert.cpp.execution index d7f97dcbb..776dc1460 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-bounds-safety-with-assert.cpp.execution +++ b/regression-tests/test-results/apple-clang-14/mixed-bounds-safety-with-assert.cpp.execution @@ -1,2 +1 @@ Bounds safety violation -libc++abi: terminating diff --git a/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.execution deleted file mode 100644 index dfca5b9a3..000000000 --- a/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.execution +++ /dev/null @@ -1,4 +0,0 @@ -hello -2022 -hello-ish -2022-ish diff --git a/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.output index e69de29bb..975c7c929 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.output +++ b/regression-tests/test-results/apple-clang-14/mixed-captures-in-expressions-and-postconditions.cpp.output @@ -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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.execution index e69de29bb..6b15b12bc 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.execution +++ b/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.execution @@ -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 diff --git a/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.output index cad655fd6..e69de29bb 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.output +++ b/regression-tests/test-results/apple-clang-14/mixed-float-literals.cpp.output @@ -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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.execution deleted file mode 100644 index dfca5b9a3..000000000 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.execution +++ /dev/null @@ -1,4 +0,0 @@ -hello -2022 -hello-ish -2022-ish diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.output index e69de29bb..f6c2802be 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.output +++ b/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-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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.execution deleted file mode 100644 index dfca5b9a3..000000000 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.execution +++ /dev/null @@ -1,4 +0,0 @@ -hello -2022 -hello-ish -2022-ish diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.output index e69de29bb..bcc912251 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.output +++ b/regression-tests/test-results/apple-clang-14/mixed-function-expression-and-std-ranges-for-each.cpp.output @@ -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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.execution deleted file mode 100644 index e9d6a083f..000000000 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.execution +++ /dev/null @@ -1,6 +0,0 @@ - -hello - -2023 -hello-ish -2023-ish diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.output index e69de29bb..863b166c2 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-capture.cpp.output +++ b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-pointer-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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.execution deleted file mode 100644 index 137aaec33..000000000 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.execution +++ /dev/null @@ -1,6 +0,0 @@ - -hello - -2022 -hello-ish -2022-ish diff --git a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.output b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.output index e69de29bb..20d0862e5 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.output +++ b/regression-tests/test-results/apple-clang-14/mixed-function-expression-with-repeated-capture.cpp.output @@ -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. diff --git a/regression-tests/test-results/apple-clang-14/mixed-initialization-safety-3-contract-violation.cpp.execution b/regression-tests/test-results/apple-clang-14/mixed-initialization-safety-3-contract-violation.cpp.execution index 3f8cc4842..e16104fe5 100644 --- a/regression-tests/test-results/apple-clang-14/mixed-initialization-safety-3-contract-violation.cpp.execution +++ b/regression-tests/test-results/apple-clang-14/mixed-initialization-safety-3-contract-violation.cpp.execution @@ -1,2 +1 @@ Contract violation: fill: value must contain at least count elements -libc++abi: terminating diff --git a/regression-tests/test-results/clang-12/mixed-bounds-check.cpp.execution b/regression-tests/test-results/clang-12/mixed-bounds-check.cpp.execution index 3893e6901..173634b6e 100644 --- a/regression-tests/test-results/clang-12/mixed-bounds-check.cpp.execution +++ b/regression-tests/test-results/clang-12/mixed-bounds-check.cpp.execution @@ -1,2 +1 @@ Bounds safety violation: out of bounds access attempt detected -terminate called without an active exception diff --git a/regression-tests/test-results/clang-12/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/clang-12/mixed-bounds-safety-with-assert.cpp.execution index f5f0b2fda..776dc1460 100644 --- a/regression-tests/test-results/clang-12/mixed-bounds-safety-with-assert.cpp.execution +++ b/regression-tests/test-results/clang-12/mixed-bounds-safety-with-assert.cpp.execution @@ -1,2 +1 @@ Bounds safety violation -terminate called without an active exception diff --git a/regression-tests/test-results/clang-12/mixed-initialization-safety-3-contract-violation.cpp.execution b/regression-tests/test-results/clang-12/mixed-initialization-safety-3-contract-violation.cpp.execution index 00357fe9a..e16104fe5 100644 --- a/regression-tests/test-results/clang-12/mixed-initialization-safety-3-contract-violation.cpp.execution +++ b/regression-tests/test-results/clang-12/mixed-initialization-safety-3-contract-violation.cpp.execution @@ -1,2 +1 @@ Contract violation: fill: value must contain at least count elements -terminate called without an active exception diff --git a/regression-tests/test-results/gcc-13/mixed-bounds-check.cpp.execution b/regression-tests/test-results/gcc-13/mixed-bounds-check.cpp.execution index 3893e6901..173634b6e 100644 --- a/regression-tests/test-results/gcc-13/mixed-bounds-check.cpp.execution +++ b/regression-tests/test-results/gcc-13/mixed-bounds-check.cpp.execution @@ -1,2 +1 @@ Bounds safety violation: out of bounds access attempt detected -terminate called without an active exception diff --git a/regression-tests/test-results/gcc-13/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/gcc-13/mixed-bounds-safety-with-assert.cpp.execution index f5f0b2fda..776dc1460 100644 --- a/regression-tests/test-results/gcc-13/mixed-bounds-safety-with-assert.cpp.execution +++ b/regression-tests/test-results/gcc-13/mixed-bounds-safety-with-assert.cpp.execution @@ -1,2 +1 @@ Bounds safety violation -terminate called without an active exception diff --git a/regression-tests/test-results/gcc-13/mixed-initialization-safety-3-contract-violation.cpp.execution b/regression-tests/test-results/gcc-13/mixed-initialization-safety-3-contract-violation.cpp.execution index 00357fe9a..e16104fe5 100644 --- a/regression-tests/test-results/gcc-13/mixed-initialization-safety-3-contract-violation.cpp.execution +++ b/regression-tests/test-results/gcc-13/mixed-initialization-safety-3-contract-violation.cpp.execution @@ -1,2 +1 @@ Contract violation: fill: value must contain at least count elements -terminate called without an active exception diff --git a/regression-tests/test-results/mixed-bounds-check.cpp b/regression-tests/test-results/mixed-bounds-check.cpp index ff834434d..442a09bab 100644 --- a/regression-tests/test-results/mixed-bounds-check.cpp +++ b/regression-tests/test-results/mixed-bounds-check.cpp @@ -21,6 +21,8 @@ #line 4 "mixed-bounds-check.cpp2" [[nodiscard]] auto main() -> int{ + std::set_terminate(std::abort); + std::vector v {1, 2, 3, 4, 5, -999}; CPP2_UFCS_0(pop_back, v); std::cout << cpp2::assert_in_bounds(std::move(v), 5) << "\n"; diff --git a/regression-tests/test-results/mixed-bounds-safety-with-assert.cpp b/regression-tests/test-results/mixed-bounds-safety-with-assert.cpp index c59356412..b63e12b66 100644 --- a/regression-tests/test-results/mixed-bounds-safety-with-assert.cpp +++ b/regression-tests/test-results/mixed-bounds-safety-with-assert.cpp @@ -14,10 +14,10 @@ [[nodiscard]] auto main() -> int; -#line 7 "mixed-bounds-safety-with-assert.cpp2" +#line 9 "mixed-bounds-safety-with-assert.cpp2" auto print_subrange(auto const& rng, cpp2::in start, cpp2::in end) -> void; -#line 19 "mixed-bounds-safety-with-assert.cpp2" +#line 21 "mixed-bounds-safety-with-assert.cpp2" #include #include @@ -29,6 +29,8 @@ auto print_subrange(auto const& rng, cpp2::in start, cpp2::in end) -> #line 2 "mixed-bounds-safety-with-assert.cpp2" [[nodiscard]] auto main() -> int{ + std::set_terminate(std::abort); + std::vector v {1, 2, 3, 4, 5}; print_subrange(std::move(v), 1, 13); } diff --git a/regression-tests/test-results/mixed-initialization-safety-3-contract-violation.cpp b/regression-tests/test-results/mixed-initialization-safety-3-contract-violation.cpp index e4f97db12..94c2a3fb0 100644 --- a/regression-tests/test-results/mixed-initialization-safety-3-contract-violation.cpp +++ b/regression-tests/test-results/mixed-initialization-safety-3-contract-violation.cpp @@ -17,14 +17,14 @@ [[nodiscard]] auto main() -> int; -#line 16 "mixed-initialization-safety-3-contract-violation.cpp2" +#line 18 "mixed-initialization-safety-3-contract-violation.cpp2" auto fill( cpp2::out x, cpp2::in value, cpp2::in count ) -> void; -#line 26 "mixed-initialization-safety-3-contract-violation.cpp2" +#line 28 "mixed-initialization-safety-3-contract-violation.cpp2" auto print_decorated(auto const& x) -> void; // for test determinism, force "fill" branch @@ -40,6 +40,8 @@ bool flip_a_coin() { #line 5 "mixed-initialization-safety-3-contract-violation.cpp2" [[nodiscard]] auto main() -> int{ + std::set_terminate(std::abort); + cpp2::deferred_init x; // note: uninitialized! if (flip_a_coin()) { @@ -58,7 +60,7 @@ auto fill( { cpp2::Default.expects(cpp2::cmp_greater_eq(CPP2_UFCS_0(ssize, value),count), "fill: value must contain at least count elements"); -#line 23 "mixed-initialization-safety-3-contract-violation.cpp2" +#line 25 "mixed-initialization-safety-3-contract-violation.cpp2" x.construct(CPP2_UFCS(substr, value, 0, count)); }