tree bc977b5e4b93d2a098ba7497ad4a85887641bc07
parent fd1526bd335e14427bbbac21cd0759d208925156
author David Neto <dneto@google.com> 1587577980 +0000
committer David Neto <dneto@google.com> 1587577980 +0000

[spirv-reader] Check terminators are sane

Each basic block must have a terminator, and if the terminator branches
to another block, that block must name a label in the same function.

Bug: tint:3
Change-Id: If22bece6a8041fef362c02b05e4dfee999a3e5bf
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/20046
Reviewed-by: dan sinclair <dsinclair@google.com>