Skip to content

Commit 6ffde34

Browse files
filipsajdakfilipsajdak
committed
Fix tests
1 parent 84648fd commit 6ffde34

File tree

40 files changed

+545
-533
lines changed

40 files changed

+545
-533
lines changed

‎regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-check.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
1+
../../../include/cpp2util.h(1103) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]

‎regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-safety-with-assert.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(819) : Bounds safety violation
1+
../../../include/cpp2util.h(915) : Bounds safety violation

‎regression-tests/test-results/apple-clang-15-c++2b/mixed-initialization-safety-3-contract-violation.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(819) : Contract violation: fill: value must contain at least count elements
1+
../../../include/cpp2util.h(915) : Contract violation: fill: value must contain at least count elements

‎regression-tests/test-results/apple-clang-15-c++2b/mixed-is-as-variant.cpp.execution

+3-3
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ v is std::monostate = false
9494
v is X< 0> = false, (v as X< 1>) = bad_variant_access
9595
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
9696
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
97-
v is X<20> = false, (v as X<20>) = bad_variant_access
97+
v is X<20> = true, (v as X<20>) = works!
9898

9999
## v as const lvalue reference
100100

@@ -103,7 +103,7 @@ v is std::monostate = false
103103
v is X< 0> = false, (v as X< 1>) = bad_variant_access
104104
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
105105
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
106-
v is X<20> = false, (v as X<20>) = bad_variant_access
106+
v is X<20> = true, (v as X<20>) = works!
107107

108108
## v as rvalue reference
109109

@@ -112,7 +112,7 @@ v is std::monostate = false
112112
v is X< 0> = false, (v as X< 1>) = bad_variant_access
113113
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
114114
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
115-
v is X<20> = false, (v as X<20>) = bad_variant_access
115+
v is X<20> = true, (v as X<20>) = works!
116116

117117
# X<10>(std::exception)
118118

‎regression-tests/test-results/apple-clang-15-c++2b/mixed-lifetime-safety-and-null-contracts.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
sending error to my framework... [dynamic null dereference attempt detected]
2-
from source location: ../../../include/cpp2util.h(898) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]
2+
from source location: ../../../include/cpp2util.h(994) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]

‎regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-expected-not-null.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(898) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::expected<int, bool>]: Null safety violation: std::expected has an unexpected value
1+
../../../include/cpp2util.h(994) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::expected<int, bool>]: Null safety violation: std::expected has an unexpected value

‎regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-optional-not-null.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(898) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value
1+
../../../include/cpp2util.h(994) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value

‎regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-shared-ptr-not-null.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(898) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty
1+
../../../include/cpp2util.h(994) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty

‎regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-unique-ptr-not-null.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(898) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty
1+
../../../include/cpp2util.h(994) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty

‎regression-tests/test-results/apple-clang-15-c++2b/pure2-default-arguments.cpp.execution

+3-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
calling:
2-
012an older compiler
2+
012
3+
an older compiler
4+
1, 1, 66

‎regression-tests/test-results/clang-12-c++20/mixed-is-as-variant.cpp.execution

+57-57
Original file line numberDiff line numberDiff line change
@@ -4,142 +4,142 @@
44

55
v is empty = true
66
v is std::monostate = true
7-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
8-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
9-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
10-
v is X<20> = false, (v as X<20>) = bad_variant_access
7+
v is X< 0> = false, (v as X< 1>) = bad variant access
8+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
9+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
10+
v is X<20> = false, (v as X<20>) = bad variant access
1111

1212
## v as const lvalue reference
1313

1414
v is empty = true
1515
v is std::monostate = true
16-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
17-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
18-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
19-
v is X<20> = false, (v as X<20>) = bad_variant_access
16+
v is X< 0> = false, (v as X< 1>) = bad variant access
17+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
18+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
19+
v is X<20> = false, (v as X<20>) = bad variant access
2020

2121
## v as rvalue reference
2222

2323
v is empty = true
2424
v is std::monostate = true
25-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
26-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
27-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
28-
v is X<20> = false, (v as X<20>) = bad_variant_access
25+
v is X< 0> = false, (v as X< 1>) = bad variant access
26+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
27+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
28+
v is X<20> = false, (v as X<20>) = bad variant access
2929

3030
# X<1>
3131

3232
## v as lvalue reference
3333

3434
v is empty = false
3535
v is std::monostate = false
36-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
36+
v is X< 0> = false, (v as X< 1>) = bad variant access
3737
v is X< 1> = true, (v as X< 1>).to_string() = X<1>
38-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
39-
v is X<20> = false, (v as X<20>) = bad_variant_access
38+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
39+
v is X<20> = false, (v as X<20>) = bad variant access
4040

4141
## v as const lvalue reference
4242

4343
v is empty = false
4444
v is std::monostate = false
45-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
45+
v is X< 0> = false, (v as X< 1>) = bad variant access
4646
v is X< 1> = true, (v as X< 1>).to_string() = X<1>
47-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
48-
v is X<20> = false, (v as X<20>) = bad_variant_access
47+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
48+
v is X<20> = false, (v as X<20>) = bad variant access
4949

5050
## v as rvalue reference
5151

5252
v is empty = false
5353
v is std::monostate = false
54-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
54+
v is X< 0> = false, (v as X< 1>) = bad variant access
5555
v is X< 1> = true, (v as X< 1>).to_string() = X<1>
56-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
57-
v is X<20> = false, (v as X<20>) = bad_variant_access
56+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
57+
v is X<20> = false, (v as X<20>) = bad variant access
5858

5959
# X<19>
6060

6161
## v as lvalue reference
6262

6363
v is empty = false
6464
v is std::monostate = false
65-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
66-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
65+
v is X< 0> = false, (v as X< 1>) = bad variant access
66+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
6767
v is X<19> = true, (v as X<19>).to_string() = X<19>
68-
v is X<20> = false, (v as X<20>) = bad_variant_access
68+
v is X<20> = false, (v as X<20>) = bad variant access
6969

7070
## v as const lvalue reference
7171

7272
v is empty = false
7373
v is std::monostate = false
74-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
75-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
74+
v is X< 0> = false, (v as X< 1>) = bad variant access
75+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
7676
v is X<19> = true, (v as X<19>).to_string() = X<19>
77-
v is X<20> = false, (v as X<20>) = bad_variant_access
77+
v is X<20> = false, (v as X<20>) = bad variant access
7878

7979
## v as rvalue reference
8080

8181
v is empty = false
8282
v is std::monostate = false
83-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
84-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
83+
v is X< 0> = false, (v as X< 1>) = bad variant access
84+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
8585
v is X<19> = true, (v as X<19>).to_string() = X<19>
86-
v is X<20> = false, (v as X<20>) = bad_variant_access
86+
v is X<20> = false, (v as X<20>) = bad variant access
8787

8888
# X<20>
8989

9090
## v as lvalue reference
9191

9292
v is empty = false
9393
v is std::monostate = false
94-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
95-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
96-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
97-
v is X<20> = false, (v as X<20>) = bad_variant_access
94+
v is X< 0> = false, (v as X< 1>) = bad variant access
95+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
96+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
97+
v is X<20> = true, (v as X<20>) = works!
9898

9999
## v as const lvalue reference
100100

101101
v is empty = false
102102
v is std::monostate = false
103-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
104-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
105-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
106-
v is X<20> = false, (v as X<20>) = bad_variant_access
103+
v is X< 0> = false, (v as X< 1>) = bad variant access
104+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
105+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
106+
v is X<20> = true, (v as X<20>) = works!
107107

108108
## v as rvalue reference
109109

110110
v is empty = false
111111
v is std::monostate = false
112-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
113-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
114-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
115-
v is X<20> = false, (v as X<20>) = bad_variant_access
112+
v is X< 0> = false, (v as X< 1>) = bad variant access
113+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
114+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
115+
v is X<20> = true, (v as X<20>) = works!
116116

117117
# X<10>(std::exception)
118118

119119
## v as lvalue reference
120120

121-
v is empty = true
121+
v is empty = false
122122
v is std::monostate = false
123-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
124-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
125-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
126-
v is X<20> = false, (v as X<20>) = bad_variant_access
123+
v is X< 0> = false, (v as X< 1>) = bad variant access
124+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
125+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
126+
v is X<20> = true, (v as X<20>) = works!
127127

128128
## v as const lvalue reference
129129

130-
v is empty = true
130+
v is empty = false
131131
v is std::monostate = false
132-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
133-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
134-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
135-
v is X<20> = false, (v as X<20>) = bad_variant_access
132+
v is X< 0> = false, (v as X< 1>) = bad variant access
133+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
134+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
135+
v is X<20> = true, (v as X<20>) = works!
136136

137137
## v as rvalue reference
138138

139-
v is empty = true
139+
v is empty = false
140140
v is std::monostate = false
141-
v is X< 0> = false, (v as X< 1>) = bad_variant_access
142-
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
143-
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
144-
v is X<20> = false, (v as X<20>) = bad_variant_access
141+
v is X< 0> = false, (v as X< 1>) = bad variant access
142+
v is X< 1> = false, (v as X< 1>).to_string() = bad variant access
143+
v is X<19> = false, (v as X<19>).to_string() = bad variant access
144+
v is X<20> = true, (v as X<20>) = works!
145145

‎regression-tests/test-results/clang-15-c++20-libcpp/mixed-is-as-variant.cpp.execution

+3-3
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ v is std::monostate = false
9494
v is X< 0> = false, (v as X< 1>) = bad_variant_access
9595
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
9696
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
97-
v is X<20> = false, (v as X<20>) = bad_variant_access
97+
v is X<20> = true, (v as X<20>) = works!
9898

9999
## v as const lvalue reference
100100

@@ -103,7 +103,7 @@ v is std::monostate = false
103103
v is X< 0> = false, (v as X< 1>) = bad_variant_access
104104
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
105105
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
106-
v is X<20> = false, (v as X<20>) = bad_variant_access
106+
v is X<20> = true, (v as X<20>) = works!
107107

108108
## v as rvalue reference
109109

@@ -112,7 +112,7 @@ v is std::monostate = false
112112
v is X< 0> = false, (v as X< 1>) = bad_variant_access
113113
v is X< 1> = false, (v as X< 1>).to_string() = bad_variant_access
114114
v is X<19> = false, (v as X<19>).to_string() = bad_variant_access
115-
v is X<20> = false, (v as X<20>) = bad_variant_access
115+
v is X<20> = true, (v as X<20>) = works!
116116

117117
# X<10>(std::exception)
118118

‎regression-tests/test-results/clang-15-c++20/mixed-bounds-check.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
1+
../../../include/cpp2util.h(1103) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]

‎regression-tests/test-results/clang-15-c++20/mixed-bounds-safety-with-assert.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(819) : Bounds safety violation
1+
../../../include/cpp2util.h(915) : Bounds safety violation

‎regression-tests/test-results/clang-15-c++20/mixed-initialization-safety-3-contract-violation.cpp.execution

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
../../../include/cpp2util.h(819) : Contract violation: fill: value must contain at least count elements
1+
../../../include/cpp2util.h(915) : Contract violation: fill: value must contain at least count elements

0 commit comments

Comments
 (0)