diff options
Diffstat (limited to 'tests/diagnostics')
| -rw-r--r-- | tests/diagnostics/mismatching-types.slang | 77 | ||||
| -rw-r--r-- | tests/diagnostics/mismatching-types.slang.expected | 35 |
2 files changed, 112 insertions, 0 deletions
diff --git a/tests/diagnostics/mismatching-types.slang b/tests/diagnostics/mismatching-types.slang new file mode 100644 index 000000000..15fc1d0e3 --- /dev/null +++ b/tests/diagnostics/mismatching-types.slang @@ -0,0 +1,77 @@ +// mismatching-types.slang +//DIAGNOSTIC_TEST:SIMPLE:-target hlsl + +Texture1D<float> tex; + +struct GenericOuter<T> +{ + struct GenericInner<Q> + { + T val; + }; + + struct NonGenericInner + { + T val; + }; + + GenericInner<T> g; + NonGenericInner ng; +}; + +struct NonGenericOuter +{ + struct GenericInner<T> + { + T val; + + struct ReallyNested + { + T val; + }; + + ReallyNested n; + }; + + GenericInner<int> i; + GenericInner<float> f; +}; + + +[shader("compute")] +[numthreads(1, 1, 1)] +void main(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + GenericOuter<int> a; + GenericOuter<float> b; + NonGenericOuter c; + NonGenericOuter.GenericInner<int> d; + + // expected an expression of type 'GenericOuter<int>', got 'int' + a = 0; + // expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'int' + a.g = 0; + // expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'int' + a.ng = 0; + // expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'GenericOuter<float>.GenericInner<float>' + a.g = b.g; + // expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'GenericOuter<float>.NonGenericInner' + a.ng = b.ng; + // expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'int' + c.i = 0; + // expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'NonGenericOuter.GenericInner<float>' + c.i = c.f; + // expected an expression of type 'NonGenericOuter.GenericInner<int>.ReallyNested', got 'int' + c.i.n = 0; + // OK + c.i.n.val = 0; + // OK + d.val = 0; + // OK + c.i = d; + + // expected an expression of type 'Texture1D<int>', got 'Texture1D<float>' + Texture1D<int> t1 = tex; + // expected an expression of type 'Texture2D<float>', got 'Texture1D<float>' + Texture2D<float> t2 = tex; +}
\ No newline at end of file diff --git a/tests/diagnostics/mismatching-types.slang.expected b/tests/diagnostics/mismatching-types.slang.expected new file mode 100644 index 000000000..2186a8d10 --- /dev/null +++ b/tests/diagnostics/mismatching-types.slang.expected @@ -0,0 +1,35 @@ +result code = -1 +standard error = { +tests/diagnostics/mismatching-types.slang(51): error 30019: expected an expression of type 'GenericOuter<int>', got 'int' + a = 0; + ^ +tests/diagnostics/mismatching-types.slang(53): error 30019: expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'int' + a.g = 0; + ^ +tests/diagnostics/mismatching-types.slang(55): error 30019: expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'int' + a.ng = 0; + ^ +tests/diagnostics/mismatching-types.slang(57): error 30019: expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'GenericOuter<float>.GenericInner<float>' + a.g = b.g; + ^ +tests/diagnostics/mismatching-types.slang(59): error 30019: expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'GenericOuter<float>.NonGenericInner' + a.ng = b.ng; + ^ +tests/diagnostics/mismatching-types.slang(61): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'int' + c.i = 0; + ^ +tests/diagnostics/mismatching-types.slang(63): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'NonGenericOuter.GenericInner<float>' + c.i = c.f; + ^ +tests/diagnostics/mismatching-types.slang(65): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>.ReallyNested', got 'int' + c.i.n = 0; + ^ +tests/diagnostics/mismatching-types.slang(74): error 30019: expected an expression of type 'Texture1D<int>', got 'Texture1D<float>' + Texture1D<int> t1 = tex; + ^~~ +tests/diagnostics/mismatching-types.slang(76): error 30019: expected an expression of type 'Texture2D<float>', got 'Texture1D<float>' + Texture2D<float> t2 = tex; + ^~~ +} +standard output = { +} |