diff options
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 70e9487..7e4e4a2 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -2714,10 +2714,11 @@ package body Contracts is procedure Append_Enabled_Item (Item : Node_Id; List : in out List_Id) is begin - -- Do not chain ignored or disabled pragmas + -- Do not chain ignored or disabled pragmas. Note that disabled + -- pragmas are also considered ignored. if Nkind (Item) = N_Pragma - and then (Is_Ignored (Item) or else Is_Disabled (Item)) + and then Is_Ignored_In_Codegen (Item) then null; |