Alan Baker ea7239fa73 Structured switch checks ... Fixes #491 * Basic blocks now have a link to the terminator * Check all case sepecific rules * Missing check for branching into the middle of a case (#1618)		2018-06-13 15:04:47 -04:00
..
basic_block.cpp	Re-format files in source, source/opt, source/util, source/val and tools.	2017-11-08 14:03:08 -05:00
basic_block.h	Structured switch checks	2018-06-13 15:04:47 -04:00
construct.cpp	Check for invalid branches into construct body.	2018-06-11 19:23:44 -04:00
construct.h	Check for invalid branches into construct body.	2018-06-11 19:23:44 -04:00
decoration.h	Add Vulkan validation rules for BuiltIn variables	2018-03-23 14:02:42 -04:00
function.cpp	Fixes compile errors generated with -Wpedantic	2018-03-22 09:40:11 -04:00
function.h	Add barrier instructions validation pass	2018-02-05 13:14:55 -05:00
instruction.cpp	Rename validation source files to comply with Google style guide.	2016-11-08 17:19:56 -08:00
instruction.h	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
validation_state.cpp	Structured switch checks	2018-06-13 15:04:47 -04:00
validation_state.h	Validate static uses of interfaces	2018-06-13 10:56:14 -04:00