Skip to content

Fix tests and make them platform-independent #556

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 24, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions regression-tests/mixed-bounds-check.cpp2
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand Down
2 changes: 2 additions & 0 deletions regression-tests/mixed-bounds-safety-with-assert.cpp2
Original file line number Diff line number Diff line change
@@ -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);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@
#include <vector>

main: () -> int = {
std::set_terminate(std::abort);

x: std::string; // note: uninitialized!

if flip_a_coin() {
Expand Down
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
Bounds safety violation: out of bounds access attempt detected
libc++abi: terminating
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
Bounds safety violation
libc++abi: terminating

This file was deleted.

Original file line number Diff line number Diff line change
@@ -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.
Original file line number Diff line number Diff line change
@@ -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
Original file line number Diff line number Diff line change
@@ -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.

This file was deleted.

Original file line number Diff line number Diff line change
@@ -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.

This file was deleted.

Original file line number Diff line number Diff line change
@@ -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.

This file was deleted.

Original file line number Diff line number Diff line change
@@ -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.

This file was deleted.

Original file line number Diff line number Diff line change
@@ -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.
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
Contract violation: fill: value must contain at least count elements
libc++abi: terminating
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
Bounds safety violation: out of bounds access attempt detected
terminate called without an active exception
Loading