Broken LLVM function when pushing dyn* item to Vec.

@rustbot

Code

#![feature(dyn_star)]
#![allow(incomplete_features)]

use core::fmt::Debug;

fn main() {
    let mut v = vec![];
    let i = 42_u8 as dyn* Debug;
    v.push(i);
}

Result:

Call parameter type does not match function signature!
i8 42
 i64  invoke void @"_ZN5alloc3vec16Vec$LT$T$C$A$GT$4push17h57979dab0e1643c2E"(ptr align 8 %3, i8 42, ptr align 8 @6)
          to label %14 unwind label %8, !dbg !2675
in function _ZN10playground4main17h68903ee09fbec9bcE
LLVM ERROR: Broken function found, compilation aborted!

Meta

1.66.0-nightly (2022-09-21 9062b780b32d2eab060b)

@rustbot label: +F-dyn_star +requires-nightly +A-LLVM

Miri actually reports this as a bug :)

error: Undefined Behavior: scalar size mismatch: expected 8 bytes but got 1 bytes instead
 --> src/main.rs:8:13
  |
8 |     let i = 42_u8 as dyn* Debug;
  |             ^^^^^^^^^^^^^^^^^^^ scalar size mismatch: expected 8 bytes but got 1 bytes instead
  |
  = 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: BACKTRACE:
  = note: inside `main` at src/main.rs:8:13

FYI: We currently have 0 checks that dyn* actually fit their size requirement currently.

Rollup merge of rust-lang#104338 - compiler-errors:pointer-sized, r=e…

Navigation Menu

Repository navigation

Broken LLVM function when pushing `dyn*` item to Vec. #102141

Code

Result:

Meta

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Broken LLVM function when pushing dyn* item to Vec. #102141

Description

Code

Result:

Meta

Activity

matthiaskrgr commented on Sep 22, 2022

compiler-errors commented on Sep 22, 2022

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Broken LLVM function when pushing `dyn*` item to Vec. #102141