Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
The Miri Conjob Bot committed Feb 8, 2024
1 parent c232e94 commit 964a576
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,7 @@ extern "C" {
static _dispatch_queue_attr_concurrent: [u8; 0];
}

static DISPATCH_QUEUE_CONCURRENT: &'static [u8; 0] =
unsafe { &_dispatch_queue_attr_concurrent };
static DISPATCH_QUEUE_CONCURRENT: &'static [u8; 0] = unsafe { &_dispatch_queue_attr_concurrent };

fn main() {
let _val = *DISPATCH_QUEUE_CONCURRENT; //~ERROR: is not supported
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/tests/pass/align_offset_symbolic.rs
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,7 @@ fn vtable() {

let ptr: &dyn Send = &0;
let parts: (*const (), *const u8) = unsafe { mem::transmute(ptr) };
let vtable = parts.1 ;
let vtable = parts.1;
let offset = vtable.align_offset(mem::align_of::<TWOPTR>());
let _vtable_aligned = vtable.wrapping_add(offset) as *const [TWOPTR; 0];
// FIXME: we can't actually do the access since vtable pointers act like zero-sized allocations.
Expand Down

0 comments on commit 964a576

Please sign in to comment.