diff options
Diffstat (limited to 'tests/diagnostics')
| -rw-r--r-- | tests/diagnostics/inout-never-written.slang | 74 |
1 files changed, 0 insertions, 74 deletions
diff --git a/tests/diagnostics/inout-never-written.slang b/tests/diagnostics/inout-never-written.slang deleted file mode 100644 index f4d4bce7e..000000000 --- a/tests/diagnostics/inout-never-written.slang +++ /dev/null @@ -1,74 +0,0 @@ -//TEST:SIMPLE(filecheck=CHK): -target spirv - -struct State -{ - float3 v; - float3 n; - int rnd; -}; - -//CHK-DAG: ([[# @LINE + 1]]): warning 41022: inout parameter 'x' is never written to -void int_never_assigned(inout int x) {} - -//CHK-DAG: ([[# @LINE + 1]]): warning 41022: inout parameter 'state' is never written to -void state_never_assigned(inout State state, inout float v) -{ - v = state.v.x; -} - -void state_assigned(inout State state) -{ - state.rnd = (int) dot(state.v, state.n); -} - -struct A -{ - int state; - - //CHK-DAG: ([[# @LINE + 1]]): warning 41023: method marked `[mutable]` but never modifies `this` - [mutating] int next() { return state; } - - [mutating] int progress() - { - unmodified(state); - return state; - } -}; - -__generic <T> -struct B -{ - int state; - - //CHK-DAG: ([[# @LINE + 1]]): warning 41023: method marked `[mutable]` but never modifies `this` - [mutating] int next() { return state; } -}; - -// Sometimes an inOutImplicitCast is done, -// this needs to be tracked as an alias; -// none of the following functions should -// generate warnings -uint lcg(inout uint prev) -{ - const uint LCG_A = 1664525u; - const uint LCG_C = 1013904223u; - prev = (LCG_A * prev + LCG_C); - return prev & 0x00FFFFFF; -} - -float rnd(inout uint prev) -{ - return ((float) lcg(prev) / (float) 0x01000000); -} - -float3 sample(inout int seed) -{ - float3 xi; - xi.x = rnd(seed); - xi.y = rnd(seed); - xi.z = rnd(seed); - return xi.z; -} - -//CHK-NOT: warning 41022 -//CHK-NOT: warning 41023 |
