2018-07-15 14:11:54 -07:00
|
|
|
error: unreachable statement
|
2018-12-25 08:56:47 -07:00
|
|
|
--> $DIR/issue-7246.rs:7:5
|
2018-07-15 14:11:54 -07:00
|
|
|
|
|
2019-09-21 12:33:02 -07:00
|
|
|
LL | return;
|
|
|
|
| ------ any code following this expression is unreachable
|
2019-03-09 15:03:44 +03:00
|
|
|
LL | if *ptr::null() {};
|
2019-09-21 12:33:02 -07:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^ unreachable statement
|
2018-07-15 14:11:54 -07:00
|
|
|
|
|
2020-01-22 23:57:38 +00:00
|
|
|
note: the lint level is defined here
|
2018-12-25 08:56:47 -07:00
|
|
|
--> $DIR/issue-7246.rs:1:9
|
2018-07-15 14:11:54 -07:00
|
|
|
|
|
|
|
|
LL | #![deny(unreachable_code)]
|
|
|
|
| ^^^^^^^^^^^^^^^^
|
|
|
|
|
2021-07-20 23:23:22 -04: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 14:11:54 -07:00
|
|
|
|