tree 9d974e774faa74255756aa2b7663a8c2bebabfc3
parent ed0527a016a079e276fd873ca3ab700b0efb281f
author Sarah Mashayekhi <sarahmashay@google.com> 1599748637 +0000
committer Commit Bot service account <commit-bot@chromium.org> 1599748637 +0000

[validation] validate switch statement

This CL adds validation for the following rules:
v-switch01: switch statement selector expression must be of a scalar integer type
v-0008: switch statement must have exactly one default clause
v-switch03: the case selector values must have the same type as the selector expression the case selectors for a switch statement
v-switch04: a literal value must not appear more than once in the case selectors for a switch statement
v-switch05: a fallthrough statement must not appear as the last statement in last clause of a switch

Bug: tint: 6
Change-Id: I264d5079cc6cb31075965c8721651dc76f3e2a24
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/28062
Commit-Queue: David Neto <dneto@google.com>
Reviewed-by: David Neto <dneto@google.com>