blob: ef25f400b70652b04a376efb1c2106f967f103da [file] [log] [blame]
void deref_const() {
int a[10] = (int[10])0;
int b = a[0u];
a[0u] = int(42);
}
void no_deref_const() {
int a[10] = (int[10])0;
int b = a[0u];
a[0u] = int(42);
}
void deref_let() {
int a[10] = (int[10])0;
int i = int(0);
int b = a[i];
a[0u] = int(42);
}
void no_deref_let() {
int a[10] = (int[10])0;
int i = int(0);
int b = a[i];
a[0u] = int(42);
}
void deref_var() {
int a[10] = (int[10])0;
int i = int(0);
uint v = min(uint(i), 9u);
int b = a[v];
a[0u] = int(42);
}
void no_deref_var() {
int a[10] = (int[10])0;
int i = int(0);
uint v_1 = min(uint(i), 9u);
int b = a[v_1];
a[0u] = int(42);
}
[numthreads(1, 1, 1)]
void main() {
deref_const();
no_deref_const();
deref_let();
no_deref_let();
deref_var();
no_deref_var();
}