Rust: Rustc hängt während des llvm-Codegens beim Verweisen auf ein [großes] Array mit std::ptr::read_volatile

Erstellt am 27. Aug. 2018 · 3Kommentare · Quelle: rust-lang/rust

Dieses Problem wurde auf Stable und Nightly unter Windows, OSX und Linux reproduziert:

cargo 1.28.0 (96a2c7d16 2018-07-13)
release: 1.28.0
commit-hash: 96a2c7d16249cb47c61c887fc95ca8be60e7ef0a
commit-date: 2018-07-13

cargo 1.29.0-nightly (6a7672ef5 2018-08-14)
release: 1.29.0
commit-hash: 6a7672ef5344c1bb570610f2574250fbee932355
commit-date: 2018-08-14

Code:

fn main() {
    let x = [0u8; 128 * 128 * 4];
    let _y = unsafe { std::ptr::read_volatile(&x) };
}

Danke an @talchas für die minimale Repro. Ich glaube, sie konnten es auch ohne _volatile reproduzieren.

A-LLVM

Quelle

rlabrecque

Hilfreichster Kommentar

Um genau zu sein, habe ich es nicht ohne _volatile in Rost nachgebildet; mein System llc (und somit vermutlich von einer anderen Version) hing beim Versuch, die Ausgabe von --emit llvm-ir zu kompilieren, aber beim Versuch, entweder zu kompilieren, einen Segfault

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load volatile [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

oder

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

was ein verwandtes Problem sein könnte oder nicht.

talchas am 27. Aug. 2018

❤1 👍1

Alle 3 Kommentare

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load volatile [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

oder

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

was ein verwandtes Problem sein könnte oder nicht.

talchas am 27. Aug. 2018

❤1 👍1

https://bugs.llvm.org/show_bug.cgi?id=37000 ist der LLVM-Fehler, den Sie hier sehen.