From 2743d81dfb1465ffec5c293b95139dbefe1f233e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 22 Aug 2008 16:56:55 +0200 Subject: [PATCH] opt.ads: Minor code reorganization (put entries in alpha order) 2008-08-22 Robert Dewar * opt.ads: Minor code reorganization (put entries in alpha order) From-SVN: r139481 --- gcc/ada/ChangeLog | 23 +++++++++++++++++------ gcc/ada/opt.ads | 8 ++++---- 2 files changed, 21 insertions(+), 10 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a14c6cd71c18..48e7ad00c572 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,14 +1,25 @@ +2008-08-22 Gary Dismukes + + * 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 + + * 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 + + * opt.ads: Minor code reorganization (put entries in alpha order) + 2008-08-22 Pascal Obry * initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn. -2008-08-22 Javier Miranda - - * 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 * gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index b0bde56b50df..1e68d70d2b80 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 -- 2.47.2