diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-08 14:22:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-08 14:22:51 +0200 |
| commit | 51e4c4b9dc795be27cdfdc1ce73e3995c94888a3 (patch) | |
| tree | 999048a5c9acbc3151c3f608d55acafa840cf51a /gcc | |
| parent | 11f746c63bee0c3d67f8e05ca09fa1e802be8e77 (diff) | |
| download | gcc-51e4c4b9dc795be27cdfdc1ce73e3995c94888a3.zip gcc-51e4c4b9dc795be27cdfdc1ce73e3995c94888a3.tar.gz gcc-51e4c4b9dc795be27cdfdc1ce73e3995c94888a3.tar.bz2 | |
exp_ch4.adb (Expand_Allocator_Expression): add check if null exclusion indicator is present
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 17 | ||||
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 5 |
2 files changed, 22 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index be09250..e275cd3 100644 --- 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 d0b60f3..d4c0407 100644 --- 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 |