Re: GCC 4.4.0 Postcondition oddity.

[xorque <xorquewasp@googlemail.com>]

Samuel Tardieu wrote:
> >>>>> "xorque" == xorque  <xorquewasp@googlemail.com> writes:
>
> xorque> Looks like I'll be filing a bug report...
>
> Out of curiosity, what does the output of "gcc -gnatadg" look like?
>
> Here, it is: (with a recent FSF GCC)
>
> % gcc -c -gnatadg p.adb
> with system.system__assertions;
>
> package body p is
>
>    procedure p__x (a : out natural) is
>
>       procedure p__x___postconditions is
>       begin
>          if not (a >= 10) then
>             $system__assertions__raise_assert_failure (
>               "Postcondition failed at p.ads:4");
>          end if;
>          return;
>       end p__x___postconditions;
>    begin
>       a := 20;
>       p__x___postconditions;
>       return;
>    end p__x;
> begin
>    null;
> end p;

On my system:

       a := 20;
       p__x___postconditions;
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      return;

Is missing. I'll try compiling trunk!

Thanks.