diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/loop_optimization14.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/loop_optimization14.adb | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/loop_optimization14.adb b/gcc/testsuite/gnat.dg/loop_optimization14.adb new file mode 100644 index 0000000000..c53c4840a7 --- /dev/null +++ b/gcc/testsuite/gnat.dg/loop_optimization14.adb @@ -0,0 +1,29 @@ +-- PR middle-end/55321 +-- { dg-do compile } +-- { dg-options "-O" } + +with Loop_Optimization14_Pkg; use Loop_Optimization14_Pkg; + +package body Loop_Optimization14 is + + procedure Finalize_Pool (Pool : in out Rec) is + Raised : Boolean := False; + begin + Pool.A := True; + + while not Pool.B loop + + begin + Proc (Pool.B); + + exception + when others => + if not Raised then + Raised := True; + end if; + end; + end loop; + + end; + +end Loop_Optimization14; |