630c7596e9
NVPTX does not support cycles in static initializers. LLVM produces an error when attempting to codegen such constructs (like self referential structs). To not produce LLVM UB we instead emit a post-monomorphization error on Rust side before reaching codegen. This is achieved by analysing a subgraph of the "mono item graph" that only contains statics: 1. Calculate the strongly connected components (SCCs) of the graph 2. Check for cycles (more than one node in a SCC or exactly one node which references itself)
29 lines
731 B
Rust
29 lines
731 B
Rust
//@ add-minicore
|
|
//@ needs-llvm-components: nvptx
|
|
//@ compile-flags: --target nvptx64-nvidia-cuda --emit link
|
|
//@ ignore-backends: gcc
|
|
#![crate_type = "rlib"]
|
|
#![feature(no_core)]
|
|
#![no_std]
|
|
#![no_core]
|
|
|
|
extern crate minicore;
|
|
use minicore::*;
|
|
|
|
struct Foo(&'static Foo);
|
|
impl Sync for Foo {}
|
|
|
|
static A: Foo = Foo(&A); //~ ERROR static initializer forms a cycle involving `A`
|
|
|
|
static B0: Foo = Foo(&B1); //~ ERROR static initializer forms a cycle involving `B0`
|
|
static B1: Foo = Foo(&B0);
|
|
|
|
static C0: Foo = Foo(&C1); //~ ERROR static initializer forms a cycle involving `C0`
|
|
static C1: Foo = Foo(&C2);
|
|
static C2: Foo = Foo(&C0);
|
|
|
|
struct Bar(&'static u32);
|
|
impl Sync for Bar {}
|
|
|
|
static BAR: Bar = Bar(&INT);
|
|
static INT: u32 = 42u32;
|