2018-07-15 21:11:54 +00:00
|
|
|
error: unreachable statement
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/issue-7246.rs:7:5
|
2018-07-15 21:11:54 +00:00
|
|
|
|
|
2019-09-21 19:33:02 +00:00
|
|
|
LL | return;
|
|
|
|
| ------ any code following this expression is unreachable
|
2019-03-09 12:03:44 +00:00
|
|
|
LL | if *ptr::null() {};
|
2019-09-21 19:33:02 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^ unreachable statement
|
2018-07-15 21:11:54 +00:00
|
|
|
|
|
2020-01-22 23:57:38 +00:00
|
|
|
note: the lint level is defined here
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/issue-7246.rs:1:9
|
2018-07-15 21:11:54 +00:00
|
|
|
|
|
|
|
|
LL | #![deny(unreachable_code)]
|
|
|
|
| ^^^^^^^^^^^^^^^^
|
|
|
|
|
2021-07-21 03:23:22 +00:00
|
|
|
warning: dereferencing a null pointer
|
|
|
|
--> $DIR/issue-7246.rs:7:8
|
|
|
|
|
|
|
|
|
LL | if *ptr::null() {};
|
|
|
|
| ^^^^^^^^^^^^ this code causes undefined behavior when executed
|
|
|
|
|
|
|
|
|
= note: `#[warn(deref_nullptr)]` on by default
|
|
|
|
|
|
|
|
error: aborting due to previous error; 1 warning emitted
|
2018-07-15 21:11:54 +00:00
|
|
|
|