diff options
| author | Yong He <yonghe@outlook.com> | 2022-08-17 23:08:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-17 23:08:34 -0700 |
| commit | adaea0e993fd8db351b5dad92802e47ed6d0ec77 (patch) | |
| tree | dfad5201677b0202b0b890cbae066b5b2f3f033b /tests/bugs/generic-uint-value-param.slang | |
| parent | d65c6183c0d8b365aa182c3d9026ba85522531f2 (diff) | |
Warning on lossy implicit casts. (#2367)
* Warning on bool to float conversion.
* Fix test cases.
* Improve.
* LanguageServer: don't show constant value for non constant variables.
* Fix tests.
* Fix warnings in tests.
Co-authored-by: Yong He <yhe@nvidia.com>
Diffstat (limited to 'tests/bugs/generic-uint-value-param.slang')
| -rw-r--r-- | tests/bugs/generic-uint-value-param.slang | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/tests/bugs/generic-uint-value-param.slang b/tests/bugs/generic-uint-value-param.slang new file mode 100644 index 000000000..4d4059732 --- /dev/null +++ b/tests/bugs/generic-uint-value-param.slang @@ -0,0 +1,24 @@ +// generic-uint-value-param.slang + +//DIAGNOSTIC_TEST:SIMPLE: + +// Regression test to confirm that type checker +// doesn't report warnings for these constant coercions. + +struct BoolG<let v : bool> +{ } + +struct Test<let v : uint> +{ + int arr[v]; +} + +static const uint uv = 5; + +void t() +{ + BoolG<true> gt; + BoolG<bool(1)> gt2; + BoolG<1 != 2> gt3; + Test<uv> v; +}
\ No newline at end of file |