committed: Ada updates
Laurent GUERBY
laurent@guerby.net
Fri Jan 23 19:18:00 GMT 2004
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.
More information about the Gcc-patches
mailing list