diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:24:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:24:47 +0200 |
| commit | 7a2c22774192312c94ad7809290aab6da33b40d7 (patch) | |
| tree | 542aa6635d05a7788fedc10cb0cc8f14ab489077 /gcc/ada/sinfo.adb | |
| parent | 28e18b4f5612d2578757dd65ccee6800324a59e9 (diff) | |
| download | gcc-7a2c22774192312c94ad7809290aab6da33b40d7.zip gcc-7a2c22774192312c94ad7809290aab6da33b40d7.tar.gz gcc-7a2c22774192312c94ad7809290aab6da33b40d7.tar.bz2 | |
[multiple changes]
2014-07-29 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Add section on Wide_Wide_Character encodings.
* erroutc.adb (Output_Error_Msgs): Take wide characters into
account in computing position of error flags.
* sinput.adb (Get_Column_Number): Take wide characters into
account.
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* par-ch3.adb (P_Access_Type_Definition): The subtype indication
in an access type definition can carry a null_exclusion indicator.
* sem_ch3.adb (Access_Type_Declaration): If the subtype indication
carries a null_exclusion indicator, verify that the subtype
indication denotes an access type, and create a null-excluding
subtype for it.
* sinfo.ads, sinfo.adb: New attribute Null_Excluding_Subtype,
defined on N_Access_To_Object_Definition to indicate that the
subtype indication carries a null_exclusion indicator.
2014-07-29 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Add_Extra_Actual): Do not construct
the extra actual by name, generate a reference instead.
2014-07-29 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Analyze_Pragma): Do not crash analyzing
Allow_Integer_Address if already set.
* a-except-2005.adb (Rcheck_PE_Stream_Operation_Not_Allowed):
Fix order, for consistency with Rmsg_xx declarations.
From-SVN: r213172
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 232e0bc..3ea385c 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2382,6 +2382,14 @@ package body Sinfo is return Flag13 (N); end Null_Present; + function Null_Excluding_Subtype + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Access_To_Object_Definition); + return Flag16 (N); + end Null_Excluding_Subtype; + function Null_Exclusion_Present (N : Node_Id) return Boolean is begin @@ -5565,6 +5573,14 @@ package body Sinfo is Set_Flag13 (N, Val); end Set_Null_Present; + procedure Set_Null_Excluding_Subtype + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Access_To_Object_Definition); + Set_Flag16 (N, Val); + end Set_Null_Excluding_Subtype; + procedure Set_Null_Exclusion_Present (N : Node_Id; Val : Boolean := True) is begin |