diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/exp_disp.adb | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index fd02931..a076730 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-07-17 Bob Duff <duff@adacore.com> + + * exp_disp.adb (Build_Class_Wide_Check): Return early if the + precondition is supposed to be ignored. + 2018-07-17 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Check_Untagged_Equality): Extend check to operations diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index dbccfed..b022815 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -809,7 +809,7 @@ package body Exp_Disp is Prec := Next_Pragma (Prec); end loop; - if No (Prec) then + if No (Prec) or else Is_Ignored (Prec) then return; end if; |