The code [looks like][1] it means to apply `NoContraction` on `dot()`, but doesn't actually. Test case: [1]: https://github.com/KhronosGroup/glslang/blob/master/glslang/MachineIndependent/propagateNoContraction.cpp#L178 ``` #version 450 core precise gl_Position; float u; void main() { vec4 v = vec4(u); precise float f = dot(v, v); gl_Position = vec4(f); } ``` The above doesn't generate any `NoContraction` decorations.