[Bug ada/35143] Serious regression on ACATS results since 4.2.3

[laurent at guerby dot net]

------- Comment #6 from laurent at guerby dot net  2008-02-09 09:00 -------
Surprising that it works whereas ACATS doesn't.

Could you try this one?

--BEGIN exceptiontest2.adb
with Ada.Text_IO; use Ada.Text_IO;

procedure ExceptionTest2 is
   function F return Boolean is
   begin
      raise Constraint_Error;
      return True;
   end F;
begin
   begin
      if F then
         Put_Line ("Not ok");
      else
         Put_Line ("Not ok and bad value");
      end if;
   exception
      when others =>
         Put_Line ("Caught Constraint_Error -- inner");
   end;
exception
   when others =>
     Put_Line ("Caught Constraint_Error -- outer -- not OK");
end ExceptionTest2;
--END exceptiontest2.adb


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35143