SPIRV-Tools/source/val
Ehsan Nasiri 109ce225c9 Fixes bug #517.
entry_block_to_construct_ maps an entry block to its construct. The key
in this map (the entry block) is not unique, and therefore the entry for
the continue construct gets overwritten when the selection construct is
discovered.

Since a given block may be the entry block of different types of
constructs, the (basic_block, construct_type) pair should be able to
uniquely identify the construct.

Adds test:
- In this test, a basic block is the entry block of a continue construct
  as well as the entry block of a selection construct.
  It can be shown that this unit test would crash without the fix in this
  PR and passes with the fix in this PR.
2017-01-06 14:23:17 -05:00
..
basic_block.cpp Rename validation source files to comply with Google style guide. 2016-11-08 17:19:56 -08:00
basic_block.h Rename validation source files to comply with Google style guide. 2016-11-08 17:19:56 -08:00
construct.cpp Rename validation source files to comply with Google style guide. 2016-11-08 17:19:56 -08:00
construct.h Fixes bug #517. 2017-01-06 14:23:17 -05:00
function.cpp Fixes bug #517. 2017-01-06 14:23:17 -05:00
function.h Fixes bug #517. 2017-01-06 14:23:17 -05:00
instruction.cpp Rename validation source files to comply with Google style guide. 2016-11-08 17:19:56 -08:00
instruction.h Rename validation source files to comply with Google style guide. 2016-11-08 17:19:56 -08:00
validation_state.cpp Validation for struct nesting depth. 2016-12-07 16:15:56 -05:00
validation_state.h Validation for struct nesting depth. 2016-12-07 16:15:56 -05:00