diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 10:29:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 10:29:46 +0200 |
| commit | b03d3f7390b5744c5fdf54a73fec6a28a8849a1b (patch) | |
| tree | 691d77965f13f8c705799f5af8dff2f0c25fc955 /gcc/ada/par.adb | |
| parent | 18e829474cbb8624570a9836ceee1d8544b0ace7 (diff) | |
[multiple changes]
2017-04-25 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Build_Initialization_Call): Handle
subtypes of private types when searching for the underlying full
view of a private type.
2017-04-25 Javier Miranda <miranda@adacore.com>
* sem_res.adb (Set_Mixed_Mode_Operand): A universal
real conditional expression can appear in a fixed-type context
and must be resolved with that context to facilitate the code
generation to the backend.
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* einfo.adb, einfo.ads (Body_Needed_For_Inlining): New flag,
to indicate whether during inline processing, when some unit U1
appears in the context of a unit U2 compiled for instantiation
or inlining purposes, the body of U1 needs to be compiled as well.
* sem_prag.adb (Process_Inline): Set Body_Needed_For_Inlining if
context is a package declaration.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration,
Analyze_Generic_Package_Declaration): ditto.
* inline.adb (Analyze_Inlined_Bodies): Check
Body_Needed_For_Inlining.
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* par.adb (Current_Assign_Node): Global variable use to record
the presence of a target_name in the right hand side of the
assignment being parsed.
* par-ch4.adb (P_Name): If the name is a target_name, mark the
enclosing assignment node accordingly.
* par-ch5.adb (P_Assignment_Statement): Set Current_Assign_Node
appropriately.
* sem_ch5.adb (Analyze_Assignment): Disable expansion before
analyzing RHS if the statement has target_names.
* sem_aggr.adb (Resolve_Iterated_Component_Association): Handle
properly choices that are subtype marks.
* exp_ch5.adb: Code cleanup.
2017-04-25 Bob Duff <duff@adacore.com>
* s-memory.adb: Add a comment regarding efficiency.
* atree.adb: Fix the assertion, and combine 2 assertions into one,
"the source has an extension if and only if the destination does."
* sem_ch3.adb, sem_ch13.adb: Address ??? comments.
2017-04-25 Arnaud Charlet <charlet@adacore.com trojanek>
* a-tasatt.adb (Set_Value): Fix handling of 32bits -> 64bits
conversion.
2017-04-25 Doug Rupp <rupp@adacore.com>
* init.c (__gnat_error_handler) [vxworks]: Turn on sigtramp
handling for ppc64-vx7.
* sigtramp-vxworks-target.inc
[SIGTRAMP_BODY]: Add section for ppc64-vx7.
From-SVN: r247146
Diffstat (limited to 'gcc/ada/par.adb')
| -rw-r--r-- | gcc/ada/par.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index d3c069a04a9..6c39e330dc7 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -595,6 +595,12 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is -- this may not be worth the effort. Also we could deal with the same -- situation for EXIT with a label, but for now don't bother with that. + Current_Assign_Node : Node_Id := Empty; + -- This is the node of the current assignment statement being compiled. + -- It is used to record the presence of target_names on its RHS. This + -- context-dependent trick simplifies the analysis of such nodes, where + -- the RHS must first be analyzed with expansion disabled. + --------------------------------- -- Parsing Routines by Chapter -- --------------------------------- |