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

--- ai12s/ai12-0377-1.txt	2020/04/22 02:51:36	1.2
+++ ai12s/ai12-0377-1.txt	2020/04/28 03:47:33	1.3
@@ -704,3 +704,20 @@
 
 ****************************************************************
 
+From: Randy Brukardt
+Sent: Wednesday, April 22, 2020  1:44 PM
+
+FYI, I asked PTC (and received almost immediately) about their compilers 
+behavior on the test program. Both of their compilers behaved similarly to 
+the results I reported for Janus/Ada (including not supporting dynamic 
+accessibility on SAOAATs), with the exception of ObjectAda rejecting the 
+conversion in the first test case. Details are found in the posted AI (not the 
+one attached previously, I got an answer from PTC after I sent the previous 
+e-mail).
+
+I conclude that taking GNAT's behavior exactly would have a serious risk of 
+being run-time incompatible with existing code (a risk we shouldn't take). A 
+more limited form, however, seems to be the right solution (surely we don't 
+want the erroneous execution that all of the non-GNAT compilers have).
+
+****************************************************************