diff options
| -rw-r--r-- | src/vhdl/translate/trans-chap9.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index bbad1754a..8f88ca0ee 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -1585,8 +1585,13 @@ package body Trans.Chap9 is (Sig_Node, Get_Type (Sig), Init_Node); else Sig_Node := Chap6.Translate_Name (Sig, Mode_Signal); + + -- At least GNAT GPL 2017 reports this warning: + -- 'others choices is redundant' + pragma Warnings (Off); Gen_Add_Port_Driver_Default (Sig_Node, Get_Type (Sig), (others => <>)); + pragma Warnings (On); end if; else Register_Signal (Chap6.Translate_Name (Sig, Mode_Signal), |