diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2017-01-23 11:29:17 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:29:17 +0100 |
| commit | ae33543ca51ec15393064ab2075fed28c33ce2d0 (patch) | |
| tree | 0d42deb5fa5f86755159535db76effcdd549b3f5 /gcc/ada/sinfo.adb | |
| parent | 13230c68da020c55d3369b489c0b49032637e242 (diff) | |
| download | gcc-ae33543ca51ec15393064ab2075fed28c33ce2d0.zip gcc-ae33543ca51ec15393064ab2075fed28c33ce2d0.tar.gz gcc-ae33543ca51ec15393064ab2075fed28c33ce2d0.tar.bz2 | |
scans.ads: New token At_Sign.
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* scans.ads: New token At_Sign. Remove '@' from list of illegal
characters for future version of the language. '@' is legal name.
* scng.ads, scng.adb (Scan): Handle '@' appropriately.
* scn.adb (Scan_Reserved_Identifier): An occurrence of '@'
denotes a Target_Name.
* par-ch4.adb (P_Name, P_Primary): Handle Target_Name.
* sinfo.ads, sinfo.adb (N_Target_Name): New non-terminal node.
(Has_Target_Names): New flag on N_Assignment_Statement, to
indicate that RHS has occurrences of N_Target_Name.
* sem.adb: Call Analyze_Target_Name.
* sem_ch5.ads, sem_ch5.adb (Analyze_Target_Name): New subpogram.
(urrent_LHS): Global variable that denotes LHS of assignment,
used in the analysis of Target_Name nodes.
* sem_res.adb (Resolve_Target_Name): New procedure.
* exp_ch5.adb (Expand_Assign_With_Target_Names): (AI12-0125):
N is an assignment statement whose RHS contains occurences of @
that designate the value of the LHS of the assignment. If the
LHS is side-effect free the target names can be replaced with
a copy of the LHS; otherwise the semantics of the assignment
is described in terms of a procedure with an in-out parameter,
and expanded as such.
(Expand_N_Assignment_Statement): Call
Expand_Assign_With_Target_Names when needed.
* exp_util.adb (Insert_Actions): Take into account N_Target_Name.
* sprint.adb: Handle N_Target_Name.
From-SVN: r244783
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 ef52116..d52c43c 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1606,6 +1606,14 @@ package body Sinfo is return Flag5 (N); end Has_Storage_Size_Pragma; + function Has_Target_Names + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Assignment_Statement); + return Flag8 (N); + end Has_Target_Names; + function Has_Wide_Character (N : Node_Id) return Boolean is begin @@ -4898,6 +4906,14 @@ package body Sinfo is Set_Flag5 (N, Val); end Set_Has_Storage_Size_Pragma; + procedure Set_Has_Target_Names + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Assignment_Statement); + Set_Flag8 (N, Val); + end Set_Has_Target_Names; + procedure Set_Has_Wide_Character (N : Node_Id; Val : Boolean := True) is begin |