diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-02-06 08:32:00 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-02-06 08:32:00 +0100 |
commit | e27f10a33792285471c66dd2b5f97bc47a93efc9 (patch) | |
tree | 276a43062a50c034f4a5695eb4b18895e6cc675c | |
parent | b93ac813080a942f799e8bbd0f1b4245d2765166 (diff) | |
download | ghdl-e27f10a33792285471c66dd2b5f97bc47a93efc9.tar.gz ghdl-e27f10a33792285471c66dd2b5f97bc47a93efc9.tar.bz2 ghdl-e27f10a33792285471c66dd2b5f97bc47a93efc9.zip |
Apply No_Return pragma only on specs. Create specs if needed.
-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. |