-
Notifications
You must be signed in to change notification settings - Fork 390
Closed
rust-lang/rust
#74984Labels
A-concurrencyArea: affects our concurrency (multi-thread) supportArea: affects our concurrency (multi-thread) supportC-bugCategory: This is a bug.Category: This is a bug.I-ICEImpact: makes Miri crash with some ICEImpact: makes Miri crash with some ICE
Description
The following test ICEs, but should report UB instead:
// ignore-windows: Concurrency on Windows is not supported yet.
// Unwinding past the top frame of a stack is Undefined Behavior.
#![feature(rustc_private)]
extern crate libc;
use std::{mem, ptr};
extern "C" fn thread_start(_null: *mut libc::c_void) -> *mut libc::c_void {
panic!()
}
fn main() {
unsafe {
let mut native: libc::pthread_t = mem::zeroed();
let attr: libc::pthread_attr_t = mem::zeroed();
// assert_eq!(libc::pthread_attr_init(&mut attr), 0); FIXME: this function is not yet implemented.
assert_eq!(libc::pthread_create(&mut native, &attr, thread_start, ptr::null_mut()), 0);
assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);
}
}
Cc @vakaras
Metadata
Metadata
Assignees
Labels
A-concurrencyArea: affects our concurrency (multi-thread) supportArea: affects our concurrency (multi-thread) supportC-bugCategory: This is a bug.Category: This is a bug.I-ICEImpact: makes Miri crash with some ICEImpact: makes Miri crash with some ICE