1-- Copyright 2007-2016 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 16procedure Foo is 17begin 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 43end Foo; 44