diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 10:59:17 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 10:59:17 +0100 |
| commit | 27bb79414764b83bf6c7208d6081afd01f98869f (patch) | |
| tree | 7d4352ec7e46dfe25c1751dc25b35754a8af9335 /gcc/ada/atree.adb | |
| parent | 9574e75fb0e65d9948437fee16ba9942bc6bce06 (diff) | |
| download | gcc-27bb79414764b83bf6c7208d6081afd01f98869f.zip gcc-27bb79414764b83bf6c7208d6081afd01f98869f.tar.gz gcc-27bb79414764b83bf6c7208d6081afd01f98869f.tar.bz2 | |
[multiple changes]
2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Add_Inherited_Tagged_DIC):
Pass the object parameters of both the parent and the derived
type DIC procedure to the reference replacement circuitry.
(Find_DIC_Type): Modify the circuitry to present the partial
view of a private type in case the private type defines its own
DIC pragma.
(Replace_Object_And_Primitive_References): Add two
optional formal parameters. Update the comment on usage. Update
the replacement of references to object parameters.
2017-01-13 Gary Dismukes <dismukes@adacore.com>
* einfo.adb, sem_ch6.adb, atree.adb: Minor reformatting and typo fix.
2017-01-13 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Actuals): Apply Scalar_Range_Check to
an out parameter that is a type conversion, independently of th
range check that may apply to the expression of the conversion,
for use in GNATProve.
2017-01-13 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Gnat1drv): Move the implicit with for System in
GNATprove_Mode here to Frontend.
* frontend.adb (Frontend): Move the implicit with for System
in GNATprove_Mode here as it ismore correct this way; the old
place only worked by chance, since there were no overloaded names.
* rtsfind.ads (RE_Id, RE_Unit_Table): Add RE_Tasking_State.
* sem_attr.adb (Analyze_Attribute): In GNATprove_Mode, for the
four attributes identified in SRM 9(18), add an implicit with
to Ada.Task_Identification.
* sem_ch8.adb (Analyze_Subprogram_Renaming.Build_Class_Wide_Wrapper):
Deal specially with the wrapper introduced for AI05-0071 in GNATprove
mode.
* checks.adb (Apply_Discriminant_Check,
Apply_Selected_Length_Checks, Apply_Selected_Range_Checks):
In GNATprove mode, we do not apply the checks, but we still
analyze the expression to possibly issue errors on SPARK
code when a run-time error can be detected at compile time.
(Selected_Length_Checks, Selected_Range_Checks): Perform analysis
in GNATprove mode.
From-SVN: r244398
Diffstat (limited to 'gcc/ada/atree.adb')
| -rw-r--r-- | gcc/ada/atree.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index 1444fcb..2e56371 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -556,7 +556,7 @@ package body Atree is -- information for the newly-allocated node is copied from it. procedure Fix_Parents (Ref_Node, Fix_Node : Node_Id); - -- Fixup parent pointers for the syntactic children of Fix_Node after a + -- Fix up parent pointers for the syntactic children of Fix_Node after a -- copy, setting them to Fix_Node when they pointed to Ref_Node. procedure Mark_New_Ghost_Node (N : Node_Or_Entity_Id); @@ -1430,7 +1430,7 @@ package body Atree is procedure Fix_Parents (Ref_Node, Fix_Node : Node_Id) is procedure Fix_Parent (Field : Union_Id); - -- Fixup one parent pointer. Field is checked to see if it points to + -- Fix up one parent pointer. Field is checked to see if it points to -- a node, list, or element list that has a parent that points to -- Ref_Node. If so, the parent is reset to point to Fix_Node. |