<!DOCTYPE html>
<html>
<meta charset=utf-8>
<meta name="timeout" content="long">
<title>correct pointer usage.</title>
<script src="js/test-harness.js"></script>
<script src="../js/webgpu-functions.js"></script>
<script src="../../resources/testharness.js"></script>
<script src="../../resources/testharnessreport.js"></script>
<script>
const whlslTests = {};

whlslTests.noPointersInStructOrArray = async () => {
    await checkFail(`
        struct S { int x; thread int* ptr; }
        void foo() { }
    `);

    await checkFail(`
        typedef T = thread int*;
        struct S { int x; T ptr; }
        void foo() { }
    `);

    await checkFail(`
        struct S { thread int*[42] arr; }
        void foo() { }
    `);


    await checkFail(`
        void foo() {
            thread int*[42] arr;
        }
    `);

    await checkFail(`
        typedef T = thread int*;
        void foo() {
            T[42] arr;
        }
    `);

    await checkFail(`
        typedef T = thread int*[42];
        void foo() { }
    `);

    await checkFail(`
        void foo() {
            int x;
            thread int* ptr = &x;
            (&ptr);
        }
    `);

    await checkFail(`
        typedef T = thread int*[];
        void foo() { }
    `);

    await checkFail(`
        typedef I = int;
        typedef T = thread I*[];
        void foo() { }
    `);

    await checkFail(`
        typedef I = thread int*;
        typedef T = thread I[];
        void foo() { }
    `);

    await checkFail(`
        typedef I = thread int[];
        typedef T = thread I[];
        void foo() { }
    `);

    await checkFail(`
        typedef I = thread int*;
        typedef T = thread I*;
        void foo() { }
    `);

    await checkFail(`
        void foo() {
            int x;
            thread int[] arr = @x;
            (@arr);
        }
    `);

    await checkFail(`
        void foo() {
            int x;
            thread int[] arr = @x;
            (&arr);
        }
    `);

    await checkFail(`
        typedef I = thread int[];
        typedef T = thread I*;
        void foo() { }
    `);
};

runTests(whlslTests);
</script>
</html>