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 /src/ortho/mcode/ortho_code-x86-insns.adb | |
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.
Diffstat (limited to 'src/ortho/mcode/ortho_code-x86-insns.adb')
-rw-r--r-- | src/ortho/mcode/ortho_code-x86-insns.adb | 10 |
1 files changed, 7 insertions, 3 deletions
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. |