diff options
| -rw-r--r-- | src/grt/grt-signals.adb | 4 | ||||
| -rw-r--r-- | src/ortho/mcode/ortho_code-x86-insns.adb | 10 |
2 files changed, 10 insertions, 4 deletions
diff --git a/src/grt/grt-signals.adb b/src/grt/grt-signals.adb index 2d4eae3b0..e5afe588a 100644 --- a/src/grt/grt-signals.adb +++ b/src/grt/grt-signals.adb @@ -519,6 +519,9 @@ package body Grt.Signals is end case; end Value_Equal; + procedure Error_Trans_Error (Trans : Transaction_Acc); + pragma No_Return (Error_Trans_Error); + procedure Error_Trans_Error (Trans : Transaction_Acc) is begin Error_C ("range check error on signal at "); @@ -527,7 +530,6 @@ package body Grt.Signals is Error_C (Natural (Trans.Line)); Error_E (""); end Error_Trans_Error; - pragma No_Return (Error_Trans_Error); function Find_Driver (Sig : Ghdl_Signal_Ptr) return Ghdl_Index_Type is 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. |