(&self, errors: &mut VerifierErrors)
| 1291 | } |
| 1292 | |
| 1293 | fn check_entry_not_cold(&self, errors: &mut VerifierErrors) -> VerifierStepResult { |
| 1294 | if let Some(entry_block) = self.func.layout.entry_block() { |
| 1295 | if self.func.layout.is_cold(entry_block) { |
| 1296 | return errors |
| 1297 | .fatal((entry_block, format!("entry block cannot be marked as cold"))); |
| 1298 | } |
| 1299 | } |
| 1300 | errors.as_result() |
| 1301 | } |
| 1302 | |
| 1303 | fn typecheck(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult { |
| 1304 | let inst_data = &self.func.dfg.insts[inst]; |
no test coverage detected