| 395 | if (spv_result_t rcode = ASSERT_FUNC(_, TARGET)) return rcode |
| 396 | |
| 397 | spv_result_t FirstBlockAssert(ValidationState_t& _, uint32_t target) { |
| 398 | if (_.current_function().IsFirstBlock(target)) { |
| 399 | return _.diag(SPV_ERROR_INVALID_CFG, _.FindDef(_.current_function().id())) |
| 400 | << "First block " << _.getIdName(target) << " of function " |
| 401 | << _.getIdName(_.current_function().id()) << " is targeted by block " |
| 402 | << _.getIdName(_.current_function().current_block()->id()); |
| 403 | } |
| 404 | return SPV_SUCCESS; |
| 405 | } |
| 406 | |
| 407 | spv_result_t MergeBlockAssert(ValidationState_t& _, uint32_t merge_block) { |
| 408 | if (_.current_function().IsBlockType(merge_block, kBlockTypeMerge)) { |
nothing calls this directly
no test coverage detected