skia2/tests/sksl/shared/Functions.metal
John Stiles 3f37322d71 Fix const function-parameter assertion discovered by fuzzer.
During constant-folding, we baked in an assertion stating that any
const-typed variable reference ought to have an initial value, because
you can't declare a const variable without assigning a value. However,
function parameters are an exception to this rule! They are variable
references and are allowed to be const, but will not have an initial
value. (In this case, `const` just means you can't alter the value.)

In this case, all we needed to do was remove the assertion; we already
treated this case defensively and with the appropriate care.

Change-Id: I61242c6d08c59886c6992898f195771e6334f2b4
Bug: oss-fuzz:37465
Reviewed-on: https://skia-review.googlesource.com/c/skia/+/441239
Commit-Queue: John Stiles <johnstiles@google.com>
Commit-Queue: Brian Osman <brianosman@google.com>
Auto-Submit: John Stiles <johnstiles@google.com>
Reviewed-by: Brian Osman <brianosman@google.com>
2021-08-23 19:28:29 +00:00

36 lines
888 B
Metal

#include <metal_stdlib>
#include <simd/simd.h>
using namespace metal;
struct Uniforms {
float4 colorGreen;
float4 colorRed;
};
struct Inputs {
};
struct Outputs {
float4 sk_FragColor [[color(0)]];
};
void bar_vf(thread float& x);
void _skOutParamHelper0_bar_vf(thread float& x) {
float _var0 = x;
bar_vf(_var0);
x = _var0;
}
float foo_ff2(const float2 v) {
return v.x * v.y;
}
void bar_vf(thread float& x) {
array<float, 2> y;
y[0] = x;
y[1] = x * 2.0;
x = foo_ff2(float2(y[0], y[1]));
}
fragment Outputs fragmentMain(Inputs _in [[stage_in]], constant Uniforms& _uniforms [[buffer(0)]], bool _frontFacing [[front_facing]], float4 _fragCoord [[position]]) {
Outputs _out;
(void)_out;
float x = 10.0;
_skOutParamHelper0_bar_vf(x);
_out.sk_FragColor = x == 200.0 ? _uniforms.colorGreen : _uniforms.colorRed;
return _out;
}