Home | History | Annotate | Line # | Download | only in catch-exception 
      1 --  Copyright 2023-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 with Pck; use Pck;
     17 
     18 procedure Prog is
     19 begin
     20 
     21    begin
     22       raise Program_Error;
     23    exception
     24       when others =>
     25          null;
     26    end;
     27 
     28    begin
     29       Global_Var := 23;
     30       raise Program_Error;
     31    exception
     32       when others =>
     33          null;
     34    end;
     35 
     36    begin
     37       pragma Assert (False);
     38       null;
     39    exception
     40       when others =>
     41          null;
     42    end;
     43 
     44 end Prog;
     45