exp_ch4.adb (Expand_Allocator_Expression): add check if null exclusion indicator...

2008-08-08  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch4.adb (Expand_Allocator_Expression): add check if null
	exclusion indicator is present

From-SVN: r138870

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be092505283ae6b96ca9dbb719e18f21bc68db35..e275cd38897558bdc1f2e82e7cdb09f20444bb7a 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,20 @@
+2008-08-08  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch4.adb (Expand_Allocator_Expression): add check if null
+       exclusion indicator is present
+
+2008-08-08  Robert Dewar  <dewar@adacore.com>
+
+       * g-comlin.adb: Minor code reorganization
+       Minor reformatting
+
+       * g-comlin.ads: Minor reformatting
+
+       * s-fileio.adb: Minor reformatting
+
+       * sem_attr.adb: Minor code reorganization (use Nkind_In)
+       Minor reformatting
+
 2008-08-06  Samuel Tardieu  <sam@rfc1149.net>
 
        * gcc-interface/Make-lang.in: Use GCC_FOR_TARGET when dealing

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index d0b60f313f7c88a99397fc25376125f499816ea4..d4c0407bb0a4ba6b390c1722507e1009e2b6a30f 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -944,6 +944,11 @@ package body Exp_Ch4 is
          Rewrite (N, New_Reference_To (Temp, Loc));
          Analyze_And_Resolve (N, PtrT);
 
+      elsif Is_Access_Type (T)
+        and then Can_Never_Be_Null (T)
+      then
+         Install_Null_Excluding_Check (Exp);
+
       elsif Is_Access_Type (DesigT)
         and then Nkind (Exp) = N_Allocator
         and then Nkind (Expression (Exp)) /= N_Qualified_Expression