449     ValidationState_t& _, BasicBlock* target_block, uint32_t* case_fall_through,  in FindCaseFallThrough()  argument
453   stack.push_back(target_block);  in FindCaseFallThrough()
455   bool target_reachable = target_block->reachable();  in FindCaseFallThrough()
456   int target_depth = function->GetBlockDepth(target_block);  in FindCaseFallThrough()
466         target_block->dominates(*block)) {  in FindCaseFallThrough()
480         return _.diag(SPV_ERROR_INVALID_CFG, target_block->label())  in FindCaseFallThrough()
482                << _.getIdName(target_block->id())  in FindCaseFallThrough()
489         if (target_block != block) {  in FindCaseFallThrough()
494         return _.diag(SPV_ERROR_INVALID_CFG, target_block->label())  in FindCaseFallThrough()
496                << _.getIdName(target_block->id())  in FindCaseFallThrough()
536       const auto target_block = function->GetBlock(target).first;  in StructuredSwitchChecks()  local
538       if (header->reachable() && target_block->reachable() &&  in StructuredSwitchChecks()
539           !header->dominates(*target_block)) {  in StructuredSwitchChecks()
546       if (auto error = FindCaseFallThrough(_, target_block, &case_fall_through,  in StructuredSwitchChecks()