Home | History | Annotate | Line # | Download | only in mi_catch_ex 
      1 --  Copyright 2007-2024 Free Software Foundation, Inc.
      2 --
      3 --  This program is free software; you can redistribute it and/or modify
      4 --  it under the terms of the GNU General Public License as published by
      5 --  the Free Software Foundation; either version 3 of the License, or
      6 --  (at your option) any later version.
      7 --
      8 --  This program is distributed in the hope that it will be useful,
      9 --  but WITHOUT ANY WARRANTY; without even the implied warranty of
     10 --  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     11 --  GNU General Public License for more details.
     12 --
     13 --  You should have received a copy of the GNU General Public License
     14 --  along with this program.  If not, see <http://www.gnu.org/licenses/>.
     15 
     16 procedure Foo is
     17 begin
     18 
     19    begin
     20       raise Constraint_Error;  -- SPOT1
     21    exception
     22       when others =>
     23          null;
     24    end;
     25 
     26    begin
     27       raise Program_Error;  -- SPOT2
     28    exception
     29       when others =>
     30          null;
     31    end;
     32 
     33    begin
     34       pragma Assert (False);  -- SPOT3
     35       null;
     36    exception
     37       when others =>
     38          null;
     39    end;
     40 
     41    raise Constraint_Error;  -- SPOT4
     42 
     43 end Foo;
     44