This patch adds a guard to the mechanism which determines whether finalization
was triggered by an abort.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-04 Hristian Kirtchev
* exp_ch7.adb (Build_Adjust_Or_Finalize_Statements): Update the comment
on the generated cod
This patch reimplements how finalization is carried out during an abort.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-03 Hristian Kirtchev
* a-except-2005.adb (Raise_From_Controlled_Operation): Add new formal
From_Abort. When finalization was triggered by an abort
