diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-21 11:58:50 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-21 11:58:50 +0200 |
| commit | 5162533940dff83f0a39246d1337a8ca090f3250 (patch) | |
| tree | 0ae0feb979251c85566cc2d776dcbd083f62c58a /gcc | |
| parent | 25e29378a7f781e861ed4efead33b7c62ef1eab3 (diff) | |
| download | gcc-5162533940dff83f0a39246d1337a8ca090f3250.zip gcc-5162533940dff83f0a39246d1337a8ca090f3250.tar.gz gcc-5162533940dff83f0a39246d1337a8ca090f3250.tar.bz2 | |
[multiple changes]
2010-10-21 Javier Miranda <miranda@adacore.com>
* exp_ch5.adb: Update comment.
2010-10-21 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Build_Invariant_Procedure): Remove commented out code
for interfaces, since invariants are not allowed on interfaces in any
case.
From-SVN: r165758
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 22 |
3 files changed, 12 insertions, 24 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 76b69a1..6677b86 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,15 @@ 2010-10-21 Javier Miranda <miranda@adacore.com> + * exp_ch5.adb: Update comment. + +2010-10-21 Robert Dewar <dewar@adacore.com> + + * sem_ch13.adb (Build_Invariant_Procedure): Remove commented out code + for interfaces, since invariants are not allowed on interfaces in any + case. + +2010-10-21 Javier Miranda <miranda@adacore.com> + * sem_attr.adb (Resolve_Attribute): After replacing the range attribute node with a range expression ensure that its evaluation will not have side effects. diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index 7c69d5e..42fcf15 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -562,8 +562,8 @@ package body Exp_Ch5 is -- cannot assign to elements of the array without this extra -- unchecked conversion. - -- Note: We must propagate Parent to the conversion node to allow - -- climbing the subtree if Insert_Action is invoked later. + -- Note: We propagate Parent to the conversion nodes to generate + -- a well-formed subtree. if Nkind (Act_Lhs) = N_Slice then Larray := Prefix (Act_Lhs); diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index fcef81d..88acedf 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -3679,28 +3679,6 @@ package body Sem_Ch13 is end loop; end; - -- Add invariants for inherited interfaces - -- (commented out because it blows up on simpleinv in J701-022) - --- declare --- Ifaces : Elist_Id; --- Iface : Elmt_Id; --- --- begin --- Collect_Interfaces --- (T => Typ, --- Ifaces_List => Ifaces, --- Exclude_Parents => True, --- Use_Full_View => True); --- --- loop --- Iface := First_Elmt (Ifaces); --- exit when Iface = No_Elmt; --- Add_Invariants (Node (Iface), Inherit => True); --- Remove_Elmt (Ifaces, Iface); --- end loop; --- end; - -- Build the procedure if we generated at least one Check pragma if Stmts /= No_List then |