From 45af2467289bd39baff0269bb7de8a538f617dec Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 17 Dec 2024 22:30:22 -0800 Subject: Add verification logic on push and specialization constants. (#5887) * Add verification logic on push and specialization constants. * format code --------- Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> --- tests/diagnostics/specialization-constants.slang | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/diagnostics/specialization-constants.slang (limited to 'tests/diagnostics') diff --git a/tests/diagnostics/specialization-constants.slang b/tests/diagnostics/specialization-constants.slang new file mode 100644 index 000000000..30f3a5f95 --- /dev/null +++ b/tests/diagnostics/specialization-constants.slang @@ -0,0 +1,16 @@ +//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -target spirv + +struct T { int x; int y; } + +// CHECK: ([[# @LINE+1]]): error 31218 +[vk::constant_id(1)] +const T st; + +[vk::constant_id(1)] +// CHECK: ([[# @LINE+1]]): error 31219 +static const int x = 2; + +[push_constant] +[vk::constant_id(1)] +// CHECK: ([[# @LINE+1]]): error 31220 +const int y; \ No newline at end of file -- cgit v1.2.3