CVS difference for ai12s/ai12-0189-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0189-1.txt

--- ai12s/ai12-0189-1.txt	2016/12/28 04:20:39	1.6
+++ ai12s/ai12-0189-1.txt	2017/01/14 02:55:52	1.7
@@ -1774,3 +1774,20 @@
 something.
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Thursday, December 22, 2016  7:11 AM
+
+> ... P.S. I'm dubious about the alternative of using ATC, even 
+> forgetting the finalization issue. I don't think that I would expect 
+> an exit to make objects in the loop abnormal; that's always a risk 
+> once abort gets involved with something.
+
+I was not suggesting that ATC per-se be used.  There is nothing asynchronous
+about an "exit."  So nothing would become abnormal.  GNAT uses something like
+an "invisible" exception to implement "abort" I believe.  What causes the
+trouble with abort and ATC is not typically the unwinding mechanism, which
+could be very similar to exception propagation, but rather the fact that it
+is triggered from outside the running task.  That is not happening here.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent