glsl: fails to reject shaders that use array-of-void

[dneto0]

Glslang compiles this to SPIR-V.

#version 320 es
void[2] foo() { }
void main() { foo(); }

The GLSL ES 3.2 spec says:

Functions that do not return a value must be declared as void. There is no default function return type. The keyword void cannot be used in any other declarations (except for empty formal or actual parameter lists), or an error results.

Glslang should fail compilation of the shader, and emit an error.

(In the generated spir-v foo returns an OpUndef of type array-of-two-void)

Glslang (correctly) rejects this shader:

void[2] bar() { }
void[2] foo() { return bar(); }
void main() { foo(); }

producing this error:

b.comp
ERROR: b.comp:3: 'return' : void function cannot return a value 
ERROR: b.comp:3: '' : compilation terminated 
ERROR: 2 compilation errors.  No code generated.

The error is not quite right, because it implies foo is a 'void function'. That quality of the message was quite secondary.

This is super low priority for me. I was just messing around. :-)