Rua

#1353 seems to be a duplicate of this problem, but it applies to x86_32. So it's not just specific to ARM.

Out of curiosity I tried compiling on both x86-32 and x86-64. I noticed that they produced different definitions of `va_list`: On x86-64: ```rust pub type va_list = __gnuc_va_list; pub type...

Does Vulkano give you a validation error if you hardcode the size in the shader?

That's strange. How can it know the value of `gl_MaxComputeWorkGroupSize` on the target machine that the shader will run on?

In any case, if the workgroup size is too high for the limits of the device, and it's not erroring out when building the pipeline, then that is a Vulkano...

I tried this out and got this: ``` $ nix run github:Chobbes/c2rust/nix-fixed -- transpile -o . --overwrite-existing compile_commands.json i_sound.c:27:10: fatal error: 'errno.h' file not found ``` Building `c2rust` succeeds, but...

I added the flags in `NIX_CFLAGS_COMPILE` to the JSON (replacing with -I as needed like in the script) and that got it a bit further. But it can't find `stddef.h`...

Ok, finally figured it out! Turns out I was almost there, I just needed to change this arg ``` -I/nix/store/qnwxpk0in4bm43q2qnykvkjxa9qhqd0z-gcc-14.3.0/lib/gcc/x86_64-unknown-linux-gnu/14.3.0/include-fixed ``` to say `include` at the end instead.

Is this ready to be merged now? I'm on Nix, and have a few PRs going that are really awkward to work with without these fixes! :D

@Chobbes When running some of the tests, I get errors saying it can't find `stdlib.h`. Is that something you can fix? EDIT: I think it's in this function somewhere, which...