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/grt | |
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/grt')
-rw-r--r-- | src/grt/grt-signals.adb | 4 |
1 files changed, 3 insertions, 1 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 |