From e27f10a33792285471c66dd2b5f97bc47a93efc9 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 6 Feb 2017 08:32:00 +0100 Subject: Apply No_Return pragma only on specs. Create specs if needed. --- src/ortho/mcode/ortho_code-x86-insns.adb | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/ortho') diff --git a/src/ortho/mcode/ortho_code-x86-insns.adb b/src/ortho/mcode/ortho_code-x86-insns.adb index 9fe2218e8..8d6e5be69 100644 --- a/src/ortho/mcode/ortho_code-x86-insns.adb +++ b/src/ortho/mcode/ortho_code-x86-insns.adb @@ -325,6 +325,10 @@ package body Ortho_Code.X86.Insns is return N; end Insert_Move; + procedure Error_Gen_Insn (Stmt : O_Enode; Reg : O_Reg); + procedure Error_Gen_Insn (Stmt : O_Enode; Mode : Mode_Type); + pragma No_Return (Error_Gen_Insn); + procedure Error_Gen_Insn (Stmt : O_Enode; Reg : O_Reg) is use Ada.Text_IO; @@ -344,8 +348,6 @@ package body Ortho_Code.X86.Insns is raise Program_Error; end Error_Gen_Insn; - pragma No_Return (Error_Gen_Insn); - Cur_Block : O_Enode; type O_Inum is new Int32; @@ -449,6 +451,9 @@ package body Ortho_Code.X86.Insns is pragma Unreferenced (Dump_Regs); + procedure Error_Reg (Msg : String; Stmt : O_Enode; Reg : O_Reg); + pragma No_Return (Error_Reg); + procedure Error_Reg (Msg : String; Stmt : O_Enode; Reg : O_Reg) is use Ada.Text_IO; @@ -465,7 +470,6 @@ package body Ortho_Code.X86.Insns is --Dump_Regs; raise Program_Error; end Error_Reg; - pragma No_Return (Error_Reg); -- Free_XX -- Mark a register as unused. -- cgit v1.2.3