Skip to content

Commit 7f0f83a

Browse files
committed
remove redundant test
1 parent c288414 commit 7f0f83a

File tree

2 files changed

+12
-20
lines changed

2 files changed

+12
-20
lines changed

src/test/ui/lint/lint-deref-nullptr.rs

+2-4
Original file line numberDiff line numberDiff line change
@@ -24,14 +24,12 @@ fn f() {
2424
//~^ ERROR dereferencing a null pointer
2525
let ub = &*ptr::null::<i32>();
2626
//~^ ERROR dereferencing a null pointer
27+
let ub = &*ptr::null_mut::<i32>();
28+
//~^ ERROR dereferencing a null pointer
2729
ptr::addr_of!(*ptr::null::<i32>());
2830
//~^ ERROR dereferencing a null pointer
2931
ptr::addr_of_mut!(*ptr::null_mut::<i32>());
3032
//~^ ERROR dereferencing a null pointer
31-
let ub = *ptr::null::<i32>();
32-
//~^ ERROR dereferencing a null pointer
33-
let ub = *ptr::null_mut::<i32>();
34-
//~^ ERROR dereferencing a null pointer
3533
let offset = ptr::addr_of!((*ptr::null::<Struct>()).field);
3634
//~^ ERROR dereferencing a null pointer
3735
}

src/test/ui/lint/lint-deref-nullptr.stderr

+10-16
Original file line numberDiff line numberDiff line change
@@ -41,34 +41,28 @@ LL | let ub = &*ptr::null::<i32>();
4141
| ^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
4242

4343
error: dereferencing a null pointer
44-
--> $DIR/lint-deref-nullptr.rs:27:23
44+
--> $DIR/lint-deref-nullptr.rs:27:19
45+
|
46+
LL | let ub = &*ptr::null_mut::<i32>();
47+
| ^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
48+
49+
error: dereferencing a null pointer
50+
--> $DIR/lint-deref-nullptr.rs:29:23
4551
|
4652
LL | ptr::addr_of!(*ptr::null::<i32>());
4753
| ^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
4854

4955
error: dereferencing a null pointer
50-
--> $DIR/lint-deref-nullptr.rs:29:27
56+
--> $DIR/lint-deref-nullptr.rs:31:27
5157
|
5258
LL | ptr::addr_of_mut!(*ptr::null_mut::<i32>());
5359
| ^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
5460

5561
error: dereferencing a null pointer
56-
--> $DIR/lint-deref-nullptr.rs:31:18
57-
|
58-
LL | let ub = *ptr::null::<i32>();
59-
| ^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
60-
61-
error: dereferencing a null pointer
62-
--> $DIR/lint-deref-nullptr.rs:33:18
63-
|
64-
LL | let ub = *ptr::null_mut::<i32>();
65-
| ^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
66-
67-
error: dereferencing a null pointer
68-
--> $DIR/lint-deref-nullptr.rs:35:36
62+
--> $DIR/lint-deref-nullptr.rs:33:36
6963
|
7064
LL | let offset = ptr::addr_of!((*ptr::null::<Struct>()).field);
7165
| ^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
7266

73-
error: aborting due to 11 previous errors
67+
error: aborting due to 10 previous errors
7468

0 commit comments

Comments
 (0)