Re: committed: Ada updates

[Laurent GUERBY <laurent at guerby dot net>]

FYI, I run acats at -O3 in run_all.sh on x86-linux, and the patch (plus
other commits of the day) fixed 5 ICEs - Richard Kenner change probably,
but introduced a new failure cc70a01 which might be caused
by the same change since the code that fails at runtime involves a few
matrices and so probably alias sets.

Laurent

,.,. CC70A01 ACATS 2.5 04-01-23 14:03:33
---- CC70A01 Check that the visible part of a generic formal package
                includes the first list of basic declarative items of
                the package specification. Check for a generic package
                where formal package has (<>) actual part.
   * CC70A01 Unexpected exception raised - Block #1.
**** CC70A01 FAILED ****************************.

summary of results (run_all.sh
=== common 19
c24211a	c34005a	c34005d	c34005g	c34005j
c41103b	c94008c	cc3601a	cc51d02	cxb3010
cxb3014	cxb3015	cxg2006	cxg2007	cxg2008
cxg2018	cxg2019	cxg2020	cxg2021
=== fixed 5
c34005o	c34007g	c41325a	c43205i	c43214d
=== new 1
cc70a01


On Fri, 2004-01-23 at 11:32, Arnaud Charlet wrote:
> Tested on x86-linux
> --
> 2004-01-23  Robert Dewar  <dewar@gnat.com>
> 
> 	* exp_aggr.adb: Minor reformatting
> 
> 	* exp_ch9.adb: Minor code clean up
> 	Minor reformatting
> 	Fix bad character in comment
> 
> 	PR ada/13471
> 	* targparm.adb (Get_Target_Parameters): Give clean abort error on
> 	unexpected end of file, along with more detailed message.
> 
> 2004-01-23  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
> 
> 	* exp_pakd.adb (Install_PAT): Clear Freeze_Node for PAT and Etype of
> 	PAT.
> 
> 	* decl.c (copy_alias_set): New function.
> 	(gnat_to_gnu_entity, make_aligning_type, make_packable_type): Use it.
> 
> 2004-01-23  Doug Rupp  <rupp@gnat.com>
> 
> 	* Makefile.in (install-gnatlib): Change occurrences of lib$$file to
> 	lib$${file} in case subsequent character is not a separator.
> 
> 2004-01-23  Vincent Celier  <celier@gnat.com>
> 
> 	* 5vml-tgt.adb (Build_Dynamic_Library): Invoke gcc with -shared-libgcc
> 	when the GCC version is at least 3.
> 
> 	* make.adb: (Scan_Make_Arg): Pass -B to Scan_Make_Switches
> 	Remove all "Opt.", to prepare for opt split
> 
> 	* prj-part.adb (Parse_Single_Project): New Boolean out parameter
> 	Extends_All. Set to True when the project parsed is an extending all
> 	project. Fails for importing an extending all project only when the
> 	imported project is an extending all project.
> 	(Post_Parse_Context_Clause): Set Is_Extending_All to the with clause,
> 	depending on the value of Extends_All returned.
> 
> 	* prj-proc.adb (Process): Check that no project shares its object
> 	directory with a project that extends it, directly or indirectly,
> 	including a virtual project.
> 	Check that no project extended by another project shares its object
> 	directory with another also extended project.
> 
> 	* prj-tree.adb (Is_Extending_All, Set_Is_Extending_All): Allow for
> 	Kind = N_With_Clause
> 
> 	* prj-tree.ads: Minor reformatting
> 	Indicate that Flag2 also applies to N_With_Clause (Is_Extending_All).
> 
> 2004-01-23  Ed Schonberg  <schonberg@gnat.com>
> 
> 	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): If the attribute
> 	applies to a type with an incomplete view, use full view in Name of
> 	clause, for consistency with uses of Get_Attribute_Definition_Clause.
> 
> 2004-01-23  Arnaud Charlet  <charlet@act-europe.fr>
> 
> 	* 5itaprop.adb (Set_Priority): Reset the priority to 0 when using
> 	SCHED_RR, since other values are not supported by this policy.
> 	(Initialize): Move initialization of mutex attribute to package
> 	elaboration, to prevent early access to this variable.
> 
> 	* Makefile.in: Remove mention of Makefile.adalib, unused.
> 
> 	* Makefile.adalib: Removed, unused.