Message ID | 20180717082408.GA1488@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Assertion_Policy for class-wide precondition | expand |
--- gcc/ada/exp_disp.adb +++ 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;