diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 08:50:25 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 08:50:25 +0000 |
commit | 0cafb06692a9f2f52e222239c0c3d95835d240f2 (patch) | |
tree | d6b414dd132c799d806e53f7814358013c4f0e2f /gcc/ada/layout.adb | |
parent | 9d747a29123d3158418c9eebe80ec813b7a9229d (diff) | |
download | gcc-0cafb06692a9f2f52e222239c0c3d95835d240f2.tar.gz |
2011-08-04 Eric Botcazou <ebotcazou@adacore.com>
* bindgen.adb: Add comments.
2011-08-04 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads: Free Flag254 and make Formal_Proof_On a
synthesized flag.
* sem_prag.adb (Analyze_Pragma): record the pragma Annotate
(Formal_Proof, On/Off) in the Rep_Item list of the current subprogram.
2011-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, exp_ch6.adb, sem_ch3.adb, layout.adb, sem_ch5.adb,
osint-c.ads, sem_util.ads, gnat1drv.adb, targparm.ads, sem_ch6.adb,
sem_ch13.adb, s-pooloc.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177334 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/layout.adb')
-rw-r--r-- | gcc/ada/layout.adb | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/layout.adb b/gcc/ada/layout.adb index 7ae89b53f27..09d3ce1ac8d 100644 --- a/gcc/ada/layout.adb +++ b/gcc/ada/layout.adb @@ -1280,8 +1280,8 @@ package body Layout is end; end if; - -- Now set the dynamic size (the Value_Size is always the same - -- as the Object_Size for arrays whose length is dynamic). + -- Now set the dynamic size (the Value_Size is always the same as the + -- Object_Size for arrays whose length is dynamic). -- ??? If Size.Status = Dynamic, Vtyp will not have been set. -- The added initialization sets it to Empty now, but is this @@ -1305,6 +1305,7 @@ package body Layout is Lo : Node_Id; Hi : Node_Id; Res : Boolean := False; + begin -- Loop to process array indexes @@ -1323,9 +1324,10 @@ package body Layout is Hi := Type_High_Bound (Ityp); if (Nkind (Lo) = N_Identifier - and then Ekind (Entity (Lo)) = E_Discriminant) - or else (Nkind (Hi) = N_Identifier - and then Ekind (Entity (Hi)) = E_Discriminant) + and then Ekind (Entity (Lo)) = E_Discriminant) + or else + (Nkind (Hi) = N_Identifier + and then Ekind (Entity (Hi)) = E_Discriminant) then Res := True; end if; |