yum-mirror/slang

git clone https://git.yummers.dev/yum-mirror/slang

CopilotAdd bounds checking for out-of-bounds array access with constant indices (#7814)85edfb1782025-07-17

//TEST:SIMPLE(filecheck=SPV): -target spirv
//TEST:SIMPLE(filecheck=HLSL): -target hlsl -profile cs_6_0 -entry computeMain

struct MyData
{
    int a[0][0][0];
}

uniform MyData* myData;
uniform int * output;

[numthreads(1, 1, 1)]
void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
{
    // These are all ill-formed, but we want to still ensure our backend
    // can handle them gracefully without crashing.
    // In actual user code, any access to 0-sized arrays should be protected
    // by a `if` statement that checks the size before accessing.
    // The condition would then evaluate to false and causing all the accessing
    // code to be optimized out.
    
    // Use runtime values to access the 0-sized array to avoid triggering
    // the new out-of-bounds diagnostic for constant indices
    uint runtimeIndex = dispatchThreadID.x;
    InterlockedAdd(myData.a[runtimeIndex][runtimeIndex][runtimeIndex], 1);
    myData.a[runtimeIndex][runtimeIndex][runtimeIndex] += 1;
    output[0] = myData.a[runtimeIndex][runtimeIndex][runtimeIndex];
}

//SPV: OpEntryPoint
//SPV-NOT: OpAtomic
//SPV-NOT: OpStore
//SPV-NOT: OpLoad

//HLSL: computeMain