[PATCH v14 3/8] vkd3d-shader/hlsl: Check for duplicate case statements.

[Nikolay Sivov]

From: Nikolay Sivov

Signed-off-by: Nikolay Sivov 
---
 libs/vkd3d-shader/hlsl.c | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/libs/vkd3d-shader/hlsl.c b/libs/vkd3d-shader/hlsl.c
index 2283f962..b5696b2e 100644
--- a/libs/vkd3d-shader/hlsl.c
+++ b/libs/vkd3d-shader/hlsl.c
@@ -1368,10 +1368,41 @@ struct hlsl_ir_switch_case *hlsl_new_switch_case(struct hlsl_ctx *ctx, struct hl
     return c;
 }

+static bool hlsl_switch_has_case(const struct hlsl_ir_switch_case *check, struct list *cases)
+{
+    struct hlsl_ir_switch_case *c;
+
+    if (check->is_default)
+        return false;
+
+    LIST_FOR_EACH_ENTRY(c, cases, struct hlsl_ir_switch_case, entry)
+    {
+        if (c->is_default) continue;
+        if (c->value == check->value && c != check)
+            return true;
+    }
+
+    return false;
+}
+
 struct hlsl_ir_node *hlsl_new_switch(struct hlsl_ctx *ctx, struct hlsl_ir_node *selector,
         struct list *cases, const struct vkd3d_shader_location *loc)
 {
+    struct hlsl_ir_switch_case *c;
     struct hlsl_ir_switch *s;
+    bool has_default = false;
+
+    /* Check for duplicated cases and multiple default statements. */
+    LIST_FOR_EACH_ENTRY(c, cases, struct hlsl_ir_switch_case, entry)
+    {
+        if (has_default && c->is_default)
+            hlsl_error(ctx, loc, VKD3D_SHADER_ERROR_HLSL_INVALID_SYNTAX, "Found multiple 'default' statements.");
+
+        if (hlsl_switch_has_case(c, cases))
+            hlsl_error(ctx, loc, VKD3D_SHADER_ERROR_HLSL_INVALID_SYNTAX, "Found duplicate 'case' statement.");
+
+        has_default |= c->is_default;
+    }

if (!(s = hlsl_alloc(ctx, sizeof(*s))))
         return NULL;