diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 16:56:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 16:56:55 +0200 |
| commit | 2743d81dfb1465ffec5c293b95139dbefe1f233e (patch) | |
| tree | 57db6b5aa270f2334341a8be44514f1ed69c434a /gcc/ada | |
| parent | 9f4e488138d23660082c4ecd744dd0ae7a5db028 (diff) | |
| download | gcc-2743d81dfb1465ffec5c293b95139dbefe1f233e.zip gcc-2743d81dfb1465ffec5c293b95139dbefe1f233e.tar.gz gcc-2743d81dfb1465ffec5c293b95139dbefe1f233e.tar.bz2 | |
opt.ads: Minor code reorganization (put entries in alpha order)
2008-08-22 Robert Dewar <dewar@adacore.com>
* opt.ads: Minor code reorganization (put entries in alpha order)
From-SVN: r139481
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 23 | ||||
| -rw-r--r-- | gcc/ada/opt.ads | 8 |
2 files changed, 21 insertions, 10 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a14c6cd..48e7ad0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,14 +1,25 @@ +2008-08-22 Gary Dismukes <dismukes@adacore.com> + + * exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the + component expression copies rather than directly setting Etype and + Is_Static_Expression. + +2008-08-22 Gary Dismukes <dismukes@adacore.com> + + * sem_util.adb (Has_Preelaborable_Initialization): Revise checking of + private types to allow for types derived from a private type with + preelaborable initialization, but return False for a private extension + (unless it has the pragma). + +2008-08-22 Robert Dewar <dewar@adacore.com> + + * opt.ads: Minor code reorganization (put entries in alpha order) + 2008-08-22 Pascal Obry <obry@adacore.com> * initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn. -2008-08-22 Javier Miranda <miranda@adacore.com> - - * exp_ch3.adb (Build_Init_Statements): Transfer to the body of the - init procedure all the expanded code associated with the spec of - task types and protected types. - 2008-08-22 Geert Bosch <bosch@adacore.com> * gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index b0bde56..1e68d70 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -144,10 +144,6 @@ package Opt is -- Set to non null when Bind_Alternate_Main_Name is True. This value -- is modified as needed by Gnatbind.Scan_Bind_Arg. - Assertions_Enabled : Boolean := False; - -- GNAT - -- Enable assertions made using pragma Assert - ASIS_Mode : Boolean := False; -- GNAT -- Enable semantic checks and tree transformations that are important @@ -158,6 +154,10 @@ package Opt is -- Back_Annotate_Rep_Info flag in this case. At the moment this does not -- make very much sense, because GNSA cannot do back annotation). + Assertions_Enabled : Boolean := False; + -- GNAT + -- Enable assertions made using pragma Assert + Back_Annotate_Rep_Info : Boolean := False; -- GNAT -- If set True, enables back annotation of representation information |