+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * make.adb, makeutl.adb, makeutl.ads (Make): major refactoring.
+ Create several new subprograms to move code out of Make. This makes the
+ code more readable, removes code duplication, and is a preparation work
+ for adding support for aggregate projects.
+
+2011-08-04 Tristan Gingold <gingold@adacore.com>
+
+ * s-po32gl.ads, s-po32gl.adb: New files.
+ * exp_ch7.ads (Get_Global_Pool_For_Access_Type): New function.
+ * exp_ch7.adb (Get_Global_Pool_For_Access_Type): New function.
+ (Build_Finalization_Collection): Use it.
+ * exp_ch4.adb (Complete_Controlled_Allocation): Ditto.
+ * rtsfind.ads: System_Pool_32_Global, Re_Global_Pool_32_Object: New
+ literals.
+ * gcc-interface/Makefile.in: Use s-po32gl.o on VMS.
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * makeutl.adb (Complete_Mains): add support for specs with no suffix on
+ the command line.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * make.adb, makeutl.adb (Complete_Mains): if a main specified on the
+ command line is not a file name, also check whether it could be a unit
+ name.
+
+2011-08-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * bindgen.adb (Gen_Finalize_Library_Ada): Factor out code to generate
+ the header of the finalization routine.
+ If the unit has no finalizer but is a body whose spec has one, then
+ generate the decrement of the elaboration entity only.
+ If the unit has a finalizer and is a spec, then do not generate the
+ decrement of the elaboration entity.
+ (Gen_Finalize_Library_C): Likewise.
+
+2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch7.adb (Alignment_Of): New subsidiary routine.
+ (Bounds_Size_Expression): Removed.
+ (Double_Alignment_Of): New subsidiary routine.
+ (Make_Finalize_Address_Stmts): New local variable Index_Typ. Account
+ for a hole in the dope vector of unconstrained arrays due to different
+ index and element alignments.
+
+2011-08-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Allocator): diagnose task allocator that will
+ raise program_error because body has not been seen yet.
+
+2011-08-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch10.adb (Analyze_With_Clause): Protect against child unit with
+ an unresolved name.
+
+2011-08-04 Vincent Celier <celier@adacore.com>
+
+ * makeutl.adb (Do_Complete): Check absolute paths in canonical forms
+
+2011-08-04 Yannick Moy <moy@adacore.com>
+
+ * alfa.adb, alfa.ads (Unique_Defining_Entity): move function from here
+ * sem_util.adb, sem_util.ads (Unique_Defining_Entity): ...to here
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch12.adb (Analyze_Package_Instantiation): Do not omit body for
+ instantiation in RCI.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * make.adb: Share more code with gprbuild
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * projects.texi: Added documentation for the IDE'Gnat project file
+ attribute.
+
+2011-08-04 Nicolas Roche <roche@adacore.com>
+
+ * gnat_rm.texi: Minor editing.
+
+2011-08-04 Javier Miranda <miranda@adacore.com>
+
+ * bindgen.adb (Gen_Adafinal_Ada): Do not differentiate the main case
+ and the library case for VM targets.
+ (Gen_Adainit_Ada): Likewise.
+
+2011-08-04 Robert Dewar <dewar@adacore.com>
+
+ * g-altive.ads: Minor comment updates.
+ * prj-nmsc.adb: Minor reformatting.
+
+2011-08-04 Javier Miranda <miranda@adacore.com>
+
+ * opt.ads
+ (Normalize_Scalars_Config): Value of the configuration switch set by
+ pragma Normalize_Scalars when it appears in the gnat.adc file.
+ (Normalize_Scalars): New field for record Config_Switches_Type. Used
+ to save and restore settings of this pragma.
+ * opt.adb
+ (Register_Opt_Config_Switches, Save_Opt_Config_Switches,
+ Restore_Opt_Config_Switches): Add missing support for Normalize_Scalars.
+
+2011-08-04 Vincent Celier <celier@adacore.com>
+
+ * gnat_ugn.texi: Document gnatlink options -M and -M=mapfile
+
+2011-08-04 Arnaud Charlet <charlet@adacore.com>
+
+ * makeutl.adb: Minor reformatting.
+
+2011-08-04 Olivier Hainque <hainque@adacore.com>
+
+ * g-altive.ads: Update comments to reflect that only the soft
+ binding is available today.
+
+2011-08-04 Robert Dewar <dewar@adacore.com>
+
+ * bindgen.adb, einfo.adb, sem_ch12.adb, s-tasren.adb, sem_res.adb,
+ makeutl.adb, prj-nmsc.adb, opt.ads, prj-env.adb: Minor reformatting
+ * gcc-interface/Make-lang.in: Update dependencies.
+
+2011-08-04 Arnaud Charlet <charlet@adacore.com>
+
+ * prj-env.adb: Remove local debug traces.
+
+2011-08-04 Yannick Moy <moy@adacore.com>
+
+ * checks.adb (Apply_Float_Conversion_Check): correct a typo where Lo_OK
+ was used instead of Hi_OK, which could cause a read of an uninitialized
+ value later on. Detected while working on the new warning.
+ * exp_ch9.adb (Expand_N_Entry_Declaration): remove useless assignment
+ to local variable.
+ * sem_ch5.adb (Analyze_Assignment): set the last assignment component
+ in more cases, in order to detect more unreferenced values.
+ * sem_util.adb, sem_util.ads (Get_Enclosing_Object): return enclosing
+ object for expression, if any.
+
+2011-08-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_intr.adb (Expand_Binary_Operator_Call): Look at the RM size of
+ the operand types instead of the Esize.
+
+2011-08-04 Steve Baird <baird@adacore.com>
+
+ * switch-b.adb (Scan_Binder_Switches): Add -P binder switch, used to
+ enable CodePeer_Mode.
+ * bindusg.adb (Display): Add help message describing -P binder switch.
+ * gnat_ugn.texi: Document -P binder switch.
+ * bindgen.adb (Gen_Main_Ada): If CodePeer_Mode is set, then call the
+ user-defined main program directly.
+ (Gen_Output_File_Ada): If CodePeer_Mode is set, generate a with of the
+ user-defined main program in the context clause of the package body.
+
+2011-08-04 Yannick Moy <moy@adacore.com>
+
+ * alfa.adb, alfa.ads (Get_Entity_For_Decl): remove function, partial
+ duplicate of Defining_Entity
+ (Get_Unique_Entity_For_Decl): rename function into
+ Unique_Defining_Entity
+ * einfo.adb, einfo.ads (Is_In_ALFA, Body_Is_In_ALFA): remove flags
+ (Formal_Proof_On): remove synthesized flag
+ * cstand.adb, sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb,
+ sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_res.adb, sem_util.adb,
+ sem_util.ads, stand.ads: Remove treatment associated to entities in ALFA
+ * sem_prag.adb (Analyze_Pragma): remove special treatment for pragma
+ Annotate (Formal_Proof)
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * prj-env.adb (Create_Config_Pragmas_File): fix handling of multi-unit
+ source files with non-standard naming schemes, in imported projects
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * makeutl.adb (Complete_Mains): when a multi-unit source file is
+ specified on the gprbuild command line, we need to compile all units
+ within that file, not just the first one we find
+ Fix error message for mains that are not found.
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch6.adb: Update comment.
+ * sem_ch12.adb: Minor reformatting.
+
+2011-08-04 Bob Duff <duff@adacore.com>
+
+ * s-tasren.adb (Task_Do_Or_Queue): Previous code was reading
+ Acceptor.Terminate_Alternative without locking Acceptor, which causes a
+ race condition whose symptom is to fail to lock Parent. That, in turn,
+ causes Parent.Awake_Count to be accessed without locking Parent, which
+ causes another race condition whose symptom is that Parent.Awake_Count
+ can be off by 1 (either too high or too low). The solution is to lock
+ Parent unconditionally, and then lock Acceptor, before reading
+ Acceptor.Terminate_Alternative.
+
+2011-08-04 Arnaud Charlet <charlet@adacore.com>
+
+ * debug.adb: Update comment.
+
+2011-08-04 Robert Dewar <dewar@adacore.com>
+
+ * par_sco.adb, exp_util.adb, make.adb, a-tags.adb, sem_prag.adb,
+ sem_util.adb, sem_attr.adb, exp_ch4.adb, g-comlin.adb, g-comlin.ads,
+ exp_ch6.adb: Minor reformatting.
+
+2011-08-04 Gary Dismukes <dismukes@adacore.com>
+
+ * gnat_ugn.texi: Add sentence about the case of compile-time-detected
+ checks for -gnateE.
+
+2011-08-04 Ed Schonberg <schonberg@adacore.com>
+
+ * gnat_rm.texi: update Ravenscar desription to reflect Ada2012 RM.
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * sinfo.ads: Minor reformatting.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * makeutl.adb, makeutl.ads, prj-nmsc.adb (Complete_Mains): report error
+ even if there is no location.
+
+2011-08-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb, sem_ch4.adb: move check for restriction
+ No_Task_Hierarchy to resolve_allocator.
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * sinfo.adb, sinfo.ads, sem_prag.adb, sem_ch12.adb (Pragma_Enabled):
+ This flag of N_Pragma nodes is not used, remove it as well as all of
+ the associated circuitry.
+
+2011-08-04 Javier Miranda <miranda@adacore.com>
+
+ * exp_disp.adb (Make_DT): Switch -gnatdQ disables the generation of the
+ runtime check on duplicated externa tags
+ * debug.adb Document switch -gnatdQ.
+
+2011-08-04 Gary Dismukes <dismukes@adacore.com>
+
+ * a-fihema.ads: Minor typo fix.
+
+2011-08-04 Yannick Moy <moy@adacore.com>
+
+ * sem_ch10.adb: Minor comment update.
+
+2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * einfo.adb: Update the node field usage to reflect the renaming of
+ Return_Flag to Return_ Flag_Or_Transient_Decl.
+ (Return_Flag): Renamed to Return_Flag_Or_Transient_Decl.
+ (Set_Return_Flag): Renamed to Set_Return_Flag_Or_Transient_Decl.
+ (Write_Field15_Name): Change Return_Flag to
+ Return_Flag_Or_Transient_Decl.
+ * einfo.ads: Rename node field Return_Flag to
+ Return_Flag_Or_Transient_Decl. Update the associated comment and all
+ occurrences in entities.
+ (Return_Flag): Renamed to Return_Flag_Or_Transient_Decl. Update
+ associated Inline pragma.
+ (Set_Return_Flag): Renamed to Set_Return_Flag_Or_Transient_Decl. Update
+ associated Inline pragma.
+ * exp_ch4.ads, exp_ch4.adb (Expand_N_Expression_With_Actions): New
+ routine.
+ * exp_ch6.adb (Expand_N_Extended_Return_Statement): Update the calls to
+ Return_Flag and Set_Return_Flag.
+ * exp_ch7.adb (Process_Declarations): Add code to recognize hook
+ objects generated for controlled transients declared inside an
+ Exception_With_Actions. Update the calls to Return_Flag.
+ (Process_Object_Declaration): Add code to add a null guard for hook
+ objects generated for controlled transients declared inside an
+ Exception_With_Actions. Update related comment.
+ * exp_util.adb (Has_Controlled_Objects): Add code to recognize hook
+ objects generated for controlled transients declared inside an
+ Exception_With_Actions. Update the calls to Return_Flag.
+ * expander.adb (Expand): Add new case for N_Expression_With_Actions.
+
+2011-08-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_util.adb:(Wrong_Type): Improve error message on a one-element
+ positional aggregate.
+
+2011-08-04 Vincent Celier <celier@adacore.com>
+
+ * par_sco.adb (Process_Decisions.Output_Header): Check and record pragma
+ SLOC only for pragmas.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * projects.texi: Minor typo fix.
+
+2011-08-04 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb (Check_File): Minor change to traces, to help debugging
+ on case-sensitive file systems.
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * put_scos.adb (Put_SCOs): Do not emit decision SCO for an X decision
+ nested in a disabled pragma.
+ * scos.ads, scos.adb, par_sco.ads, par_sco.adb: Record sloc of
+ enclosing pragma, if any, for X decisions.
+
+2011-08-04 Thomas Quinot <quinot@adacore.com>
+
+ * sem_prag.adb: Minor reformatting.
+
+2011-08-04 Vincent Celier <celier@adacore.com>
+
+ * a-tags.adb (Check_TSD): Avoid concatenation of strings, as it is not
+ allowed in no run time mode.
+
+2011-08-04 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Check): When -gnatc is used, check for the source file
+ inside the ALI file with a canonical case file name.
+
2011-08-04 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb, g-comlin.ads (Add_Switch): Put back support for