为何未定义gl_FragColor使用discard会触发WebGL浏览器警告？

问题重现 #

下面这段片段着色器代码：

void main() {
    discard;
}

在Chrome 110.0.5481.177中会触发如下警告：

[.WebGL-0x128c003e8d00] GL_INVALID_OPERATION: Active draw buffers with missing fragment shader outputs.

修复方法 #

给gl_FragColor加个赋值就能解决：

void main() {
    gl_FragColor = vec4(0.0);
    discard;
}

疑问与规范依据 #

GLSL规范里对discard的描述是：

discard关键字仅允许在片段着色器中使用。它用于放弃当前片段的处理操作，会导致该片段被丢弃，不会对任何缓冲区进行更新，同时控制流会退出着色器[...]

既然discard直接退出着色器且不更新任何缓冲区，为什么还必须先给gl_FragColor赋值？

原因解析 #

核心在于WebGL的着色器静态验证规则：
WebGL（基于OpenGL ES）的着色器验证阶段只做静态代码分析，不会追踪运行时的控制流路径。哪怕你在代码第一行就调用discard，验证器也只会机械检查：是否所有活跃的输出变量都被赋值了？

gl_FragColor是片段着色器的默认输出变量，属于“活跃输出”——验证器不管你之后会不会丢弃这个片段，只要静态检查时发现它没有被赋值，就判定违反规则，抛出警告。

而加上gl_FragColor = vec4(0.0);后，静态分析时就会认为这个输出变量已经被正确初始化，哪怕之后马上discard，验证器也不会再报错。

内容的提问来源于stack exchange，提问作者Sebastien Guimmara