Open
Description
I tried this code:
// run-pass
// compile-flags: --test
#![feature(start)]
#[start]
fn start(_: isize, _: *const *const u8) -> isize { panic!(); }miri reports:
thread '<unnamed>' panicked at 'explicit panic', src/main.rs:7:52
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: Undefined Behavior: unwinding past the topmost frame of the stack
--> src/main.rs:7:1
|
7 | fn start(_: isize, _: *const *const u8) -> isize { panic!(); }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unwinding past the topmost frame of the stack
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
= note: inside `start` at src/main.rs:7:1
error: aborting due to previous error
which does not happen when I just panic!() without a #[start] fn
miri 0.1.0 (3b8b6aa 2022-05-06)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment