Re: GCC 4.4.0 Postcondition oddity.

[Samuel Tardieu <sam@rfc1149.net>]

>>>>> "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;