[Migrated] GEP not implemented for type struct [_; 0]

Issue automatically imported from old repo: https://github.com/EmbarkStudios/rust-gpu/issues/1075
Old labels: t: bug
Originally creatd by kevinboulain on 2023-06-16T09:49:20Z

Expected Behaviour

This compiles fine with rustc (I guess this bit is probably eliminated?).

Example & Steps To Reproduce

I was using const generic parameters to determine the length of some arrays. At some point, a base case ended up declaring a zero-length array, like so:

#![cfg_attr(target_arch = "spirv", no_std)]
use spirv_std::spirv;

fn example<const LENGTH: usize>() {
    let mut array = [0; LENGTH];
    for i in 0..array.len() {
        array[i] += i;
    }
}

#[spirv(compute(threads(1, 1, 1)))]
pub fn compute() {
    example::<0>();
}

Resulting in:

error: GEP not implemented for type struct [usize; 0] {  }
 --> examples/shaders/compute-shader/src/lib.rs:7:9
  |
7 |         array[i] += i;
  |         ^^^^^^^^^^^^^

System Info

• rustc: 1.71.0-nightly (1a5f8bce7 2023-05-26)
• rust-gpu: b2e5eb7

Riproduci il malfunzionamento di examples/shaders/compute-shader/src/lib.rs usando l’esempio const-generic con LENGTH = 0. Inizia tracciando la gestione GEP segnalata per il tipo array di lunghezza zero e considera l’issue completata quando l’esempio viene compilato senza l’errore “GEP not implemented”, preservando il comportamento esistente per le lunghezze diverse da zero.