Arnaud Charlet [Fri, 10 Apr 2009 15:57:48 +0000 (17:57 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Low_Bound_Tested): New name for Low_Bound_Known
* sem_prag.adb (Analyze_Pragma, case Check): Remove check for lower
bound tested, since this is now done more generally in Sem_Res.
* sem_res.adb (Resolve_Comparison_Op): Add call to
Check_Lower_Bound_Tested.
(Resolve_Equality_Op): Add call to Check_Lower_Bound_Tested
* sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): New procedure
(Low_Bound_Tested): New name for Low_Bound_Known flag
* exp_ch5.adb: Minor reformatting
* exp_ch4.adb:
Add comments on copying the Comes_From_Source flag for allocators
* sinfo.ads:
Add comments on copying the Comes_From_Source flag for allocators
* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Copy
Comes_From_Source flag from old allocator to new one.
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.ads: Address missing documentation query
2009-04-10 Vincent Celier <celier@adacore.com>
* prj-attr.adb:
Add new Linker attributes Max_Command_Line_Length, Response_File_Format
and Response_File_Switches.
* prj-nmsc.adb (Process_Linker): Process new attributes
Max_Command_Line_Length, Response_File_Format and
Response_File_Switches.
* prj.ads (Response_File_Format): New enumeration type
(Project_Configuration): New componants Max_Command_Line_Length,
Resp_File_Format and Resp_File_Options.
* snames.ads-tmpl: Add new standard names for linking response files
for gprbuild: GNU, None, Object_List, Option_List,
Max_Command_Line_Length, Response_File_Format and
Response_File_Switches.
2009-04-10 Geert Bosch <bosch@adacore.com>
* system-aix.ads, system-darwin-ppc.ads, system-darwin-x86.ads,
system-freebsd-x86.ads, system-hpux.ads, system-hpux-ia64.ads,
system-irix-n32.ads, system-irix-o32.ads, system-linux-alpha.ads,
system-linux-hppa.ads, system-linux-ia64.ads, system-linux-ppc.ads,
system-linux-s390.ads, system-linux-s390x.ads, system-linux-sh4.ads,
system-linux-sparc.ads, system-linux-x86_64.ads, system-linux-x86.ads,
system-mingw.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads,
system-solaris-x86.ads, system-tru64.ads, system-vms_64.ads,
system-vms.ads, system-vms-ia64.ads, system-vms-zcx.ads,
system-vxworks-arm.ads, system-vxworks-m68k.ads,
system-vxworks-mips.ads, system-vxworks-ppc.ads,
system-vxworks-sparcv9.ads, system-vxworks-x86.ads
(Backend_Overflow_Checks): Set to True.
From-SVN: r145924
Arnaud Charlet [Fri, 10 Apr 2009 15:27:27 +0000 (17:27 +0200)]
[multiple changes]
2009-04-10 Thomas Quinot <quinot@adacore.com>
* exp_attr.adb: Minor reformatting
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
analyze the expression for a postcondition, even if the compiler mode
is Generate_Code.
From-SVN: r145923
Robert Dewar [Fri, 10 Apr 2009 15:23:41 +0000 (15:23 +0000)]
sem_aux.adb: Minor reformatting
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
From-SVN: r145922
Arnaud Charlet [Fri, 10 Apr 2009 15:20:30 +0000 (17:20 +0200)]
Complete previous change.
From-SVN: r145921
Ed Falis [Fri, 10 Apr 2009 15:18:04 +0000 (15:18 +0000)]
init.c: Change VxWorks 6 stack overflow checking for kernel apps.
2009-04-10 Ed Falis <falis@adacore.com>
* init.c: Change VxWorks 6 stack overflow checking for kernel apps.
* system-vxworks-ppc.ads, system-vxworks-x86.ads: Update header.
From-SVN: r145920
Thomas Quinot [Fri, 10 Apr 2009 15:12:15 +0000 (15:12 +0000)]
sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal.
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
undocumented formal.
Minor reformatting
* a-direio.ads: Fix typo in comment
* sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
Use uniform phrasing for comment at start of subprogram body.
* xsnamest.adb: Add note to explain why we use specific names for the
newly generated files instead of generating snames.{ads,adb,h} directly
From-SVN: r145918
Arnaud Charlet [Fri, 10 Apr 2009 15:01:10 +0000 (17:01 +0200)]
[multiple changes]
2009-04-10 Sergey Rybin <rybin@adacore.com>
* vms_data.ads:
Add qualifier for new gnatstub option '--no-exception'
* gnat_ugn.texi:
Add the description of the new gnatstub option '--no-exception'
2009-04-10 Robert Dewar <dewar@adacore.com>
* rtsfind.adb: Minor reformatting
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_disp.adb: Minor reformatting.
Add comment pointing to RM clause for the case of warning against a
(failed) attempt at declaring a primitive operation elsewhere than in a
package spec.
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Denotes_Formal_Package): Check whether the package is
an actual for a previous formal package of the current instance.
From-SVN: r145917
Arnaud Charlet [Fri, 10 Apr 2009 14:54:21 +0000 (16:54 +0200)]
[multiple changes]
2009-04-10 Bob Duff <duff@adacore.com>
* rtsfind.adb (RTE): Put implicit with_clauses on whatever unit needs
them first, rather than on the extended main unit.
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Discriminant_Conformance): If discriminant
specification of full view carries a null exclusion indicator, create
an itype for it, to check for conformance with partial view.
From-SVN: r145916
Arnaud Charlet [Fri, 10 Apr 2009 14:48:28 +0000 (16:48 +0200)]
[multiple changes]
2009-04-10 Bob Duff <duff@adacore.com>
* rtsfind.ads: Minor code change: make RE_Unit_Table constant.
* rtsfind.adb: Minor comment changes, and remove useless code.
* sinfo.ads: Add ??? comment.
2009-04-10 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add missing GNAT SYNC VMS qualifiers -main= and -U
From-SVN: r145914
Arnaud Charlet [Fri, 10 Apr 2009 14:43:28 +0000 (16:43 +0200)]
[multiple changes]
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, case 'Tag): If the tagged
type is a synchronized type, retrieve tag information from the
corresponding record, which has the dispatch table link.
2009-04-10 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (Group_Analysis): Take care of switches that might be
decomposed afterwards, but are present as-is in the command line
configuration, and thus should be kept as-is.
From-SVN: r145913
Arnaud Charlet [Fri, 10 Apr 2009 14:39:18 +0000 (16:39 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document that postconditions are tested on implicit
returns.
* sem_aux.adb: Minor reformatting
2009-04-10 Gary Dismukes <dismukes@adacore.com>
* itypes.adb (Create_Null_Excluding_Itype): Apply Base_Type when
setting Etype.
* par-ch3.adb (P_Access_Type_Definition): Set new attribute
Null_Exclusion_In_Return_Present when an access-to-function type has a
result type with an explicit not null.
* sem_ch3.adb (Access_Subprogram_Definition): If a null exclusion is
given on the result type, then create a null-excluding itype for the
function.
* sem_ch6.adb (Analyze_Return_Type): Create a null-excluding itype in
the case where a null exclusion is imposed on a named access type.
(Analyze_Subprogram_Specification): Push and pop the scope of the
function around the call to Analyze_Return_Type in the case of no
formals, for consistency with handling when formals are present
(Process_Formals does this). Ensures that any itype created for the
return type will be associated with the proper scope.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): If a null
exclusion is given on a generic function's result type, then create a
null-excluding itype for the generic function.
(Instantiate_Object): Set Null_Exclusion_Present of a constant created
for an actual for a formal in object according to the setting on the
formal. Ensures null exclusion checks are done when the association is
elaborated.
* sinfo.ads: Add new flag Null_Exclusion_In_Return_Present on
N_Access_Function_Definition.
* sinfo.adb: Add Get_ and Set_ operations for
Null_Exclusion_In_Return_Present.
From-SVN: r145912
H.J. Lu [Fri, 10 Apr 2009 14:30:48 +0000 (14:30 +0000)]
parser.c (cp_parser_class_specifier): Remove the unused has_trailing_semicolon.
2008-04-10 H.J. Lu <hongjiu.lu@intel.com>
* parser.c (cp_parser_class_specifier): Remove the unused
has_trailing_semicolon.
From-SVN: r145911
Daniel Franke [Fri, 10 Apr 2009 14:12:01 +0000 (10:12 -0400)]
re PR fortran/38709 (ICE on zero-sized array in initialization expression)
gcc/fortran/:
2009-04-10 Daniel Franke <franke.daniel@gmail.com>
PR fortran/38709
* expr.c (find_array_section): Leave early on zero-sized arrays.
gcc/testsuite/:
2009-04-10 Daniel Franke <franke.daniel@gmail.com>
PR fortran/38709
* gfortran.dg/zero_sized_6.f90: New.
From-SVN: r145909
Arnaud Charlet [Fri, 10 Apr 2009 14:08:58 +0000 (16:08 +0200)]
Fix runtime license text.
From-SVN: r145908
Bob Duff [Fri, 10 Apr 2009 14:03:49 +0000 (14:03 +0000)]
exp_ch5.adb, [...]: Move the code that creates a call to the _Postconditions procedure in the case...
2009-04-10 Bob Duff <duff@adacore.com>
* exp_ch5.adb, exp_ch6.adb, sem_ch6.adb: Move the code that creates a
call to the _Postconditions procedure in the case of implicit returns
from analysis to expansion. This eliminates some duplicated code. Use
the Postcondition_Proc to find the identity of this procedure during
expansion.
From-SVN: r145906
Robert Dewar [Fri, 10 Apr 2009 13:48:37 +0000 (13:48 +0000)]
sem_ch6.adb: Minor code clean up.
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb: Minor code clean up.
* einfo.ads, sem_attr.adb: Minor comment fixes.
* sem_ch8.adb: Minor reformatting
From-SVN: r145905
Robert Dewar [Fri, 10 Apr 2009 13:44:18 +0000 (13:44 +0000)]
einfo.ads, einfo.adb (Postcondition_Proc): New attribute for procedures.
2009-04-10 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Postcondition_Proc): New attribute for
procedures.
* sem_ch6.adb: Minor code clean up.
From-SVN: r145903
Arnaud Charlet [Fri, 10 Apr 2009 13:33:37 +0000 (15:33 +0200)]
Update to GPL v3+
From-SVN: r145902
Arnaud Charlet [Fri, 10 Apr 2009 13:32:09 +0000 (15:32 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* mlib-tgt-specific-xi.adb: Minor reformatting
2009-04-10 Bob Duff <duff@adacore.com>
* einfo.ads: Minor comment fixes
2009-04-10 Vincent Celier <celier@adacore.com>
* snames.ads-tmpl: Remove names that are no longer used in the
Project Manager.
Mark specifically those that are used only in gprbuild
2009-04-10 Eric Botcazou <ebotcazou@adacore.com>
* init.c: Adjust EH support code on Alpha/Tru64.
2009-04-10 Bob Duff <duff@adacore.com>
* sem_ch6.adb (Process_PPCs): Add a call to the _Postconditions
procedure on every path that could return implicitly (not via a return
statement) from a procedure.
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Build_Master_Entity): An extended return statement is a
valid scope for a task declarations and therefore for a master id.
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
2009-04-10 Vincent Celier <celier@adacore.com>
* scn.adb (Obsolescent_Check_Flag): New Boolean flag, initialized to
True.
(Obsolescent_Check): Do nothing if Obsolescent_Check_Flag is False
(Set_Obsolescent_Check): New procedure to change the value of
Obsolescent_Check_Flag.
* scn.ads (Set_Obsolescent_Check): New procedure to control
Obsolescent_Check.
* sinput-l.adb (Load_File): Do not check for pragma Restrictions on
obsolescent features while preprocessing.
From-SVN: r145901
Arnaud Charlet [Fri, 10 Apr 2009 13:27:31 +0000 (15:27 +0200)]
Make-lang.in: Stabilize new stamp-snames rule.
* Make-lang.in: Stabilize new stamp-snames rule.
Deal with relative source directories.
From-SVN: r145900
Arnaud Charlet [Fri, 10 Apr 2009 13:22:14 +0000 (15:22 +0200)]
Minor clean up.
From-SVN: r145899
Arnaud Charlet [Fri, 10 Apr 2009 13:20:52 +0000 (15:20 +0200)]
[multiple changes]
2009-04-10 Thomas Quinot <quinot@adacore.com>
* xsnamest.adb: Use XUtil to have uniform line endings (UNIX style) in
generated files on all platforms.
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): Handle properly the case of a
protected function with formals that returns an anonymous access type.
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_disp.adb: Minor reformatting
2009-04-10 Vasiliy Fofanov <fofanov@adacore.com>
* seh_init.c: Do not use the 32-bit specific implementation of
__gnat_install_SEH_handler on 64-bit Windows target (64-bit specific
version TBD).
2009-04-10 Jose Ruiz <ruiz@adacore.com>
* mlib-tgt-specific-xi.adb (Get_Target_Prefix): Target_Name may contain
a '/' at the end so we better use the complete target name to determine
whether it is a PowerPC 55xx target.
From-SVN: r145898
Arnaud Charlet [Fri, 10 Apr 2009 13:18:26 +0000 (15:18 +0200)]
Make-lang.in: Add dependency on xutil to build xsnamest Add dependency of sem_aux.o on snames.ads.
* Make-lang.in: Add dependency on xutil to build xsnamest
Add dependency of sem_aux.o on snames.ads.
From-SVN: r145897
H.J. Lu [Fri, 10 Apr 2009 13:13:28 +0000 (13:13 +0000)]
darwin-vecsave.asm: Remove extra "*/".
2009-04-10 H.J. Lu <hongjiu.lu@intel.com>
* config/rs6000/darwin-vecsave.asm: Remove extra "*/".
From-SVN: r145896
Arnaud Charlet [Fri, 10 Apr 2009 13:11:14 +0000 (15:11 +0200)]
Update comments.
From-SVN: r145895
Thomas Quinot [Fri, 10 Apr 2009 13:10:46 +0000 (13:10 +0000)]
sem_eval.adb: Minor reformatting
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb: Minor reformatting
From-SVN: r145894
Arnaud Charlet [Fri, 10 Apr 2009 13:09:53 +0000 (15:09 +0200)]
Makefile.in: (stamp-tools): Add handling of snames.ad[sb]
2009-04-10 Thomas Quinot <quinot@adacore.com>
gnattools/
* Makefile.in: (stamp-tools): Add handling of snames.ad[sb]
ada/
* snames.h, snames.ads, snames.adb: Remove files, now generated from
templates.
* snames.h-tmpl, snames.ads-tmpl, snames.adb-tmpl: Templates for the
above.
* xsnamest.adb: New file.
* gcc-interface/Make-lang.in: New target for automated generation of
snames.ads, snames.adb and snames.h
From-SVN: r145893
Manuel López-Ibáñez [Fri, 10 Apr 2009 12:47:58 +0000 (12:47 +0000)]
2009-04-10 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR c++/20118
cp/
* parser.c (cp_parser_check_template_parameters): Take a
cp_declarator parameter.
(cp_parser_elaborated_type_specifier): Update to
cp_parser_check_template_parameters.
(cp_parser_class_head): Likewise.
(cp_parser_check_declarator_template_parameters): Likewise.
(cp_parser_check_template_parameters): Handle first the non-error
conditions. Give more accurate diagnostics if a declarator is
given.
testsuite/
* g++.dg/parse/pr20118.C: New.
* g++.dg/template/spec16.C: Update.
From-SVN: r145892
Tristan Gingold [Fri, 10 Apr 2009 12:36:00 +0000 (12:36 +0000)]
Makefile.in, utils.c: Include "rtl.h" to avoid compile time warnings.
2009-04-10 Tristan Gingold <gingold@adacore.com>
* gcc-interface/Makefile.in, gcc-interface/utils.c: Include "rtl.h" to
avoid compile time warnings.
Do not add gcc/config in include search list while compiling the RTS.
Pragma Thread_Local_Storage is available on any target.
From-SVN: r145891
Bob Duff [Fri, 10 Apr 2009 12:34:46 +0000 (12:34 +0000)]
sem.ads, [...]: Minor comment fixes.
2009-04-10 Bob Duff <duff@adacore.com>
* sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.
From-SVN: r145890
Arnaud Charlet [Fri, 10 Apr 2009 11:07:42 +0000 (13:07 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_prag.adb: Minor reformatting
* exp_util.adb (Make_Non_Empty_Check): New function
(Silly_Boolean_Array_Not_Test): Add call to Make_Non_Empty_Check
(Silly_Boolean_Array_Xor_Test): Use Make_Non_Empty_Check
2009-04-10 Arnaud Charlet <charlet@adacore.com>
* make.adb, gnatlink.adb: Rename JGNAT toolchain.
2009-04-10 Jose Ruiz <ruiz@adacore.com>
* mlib-tgt-specific-xi.adb (Get_Target_Prefix): Insert the appropriate
tool prefix for AVR and PowerPC 55xx targets.
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_warn.adb (Within_Postcondition): New function
(Check_Unset_Reference): Use Within_Postcondition to stop bad warning
From-SVN: r145889
Tristan Gingold [Fri, 10 Apr 2009 11:07:23 +0000 (13:07 +0200)]
init.c: Install signal handler on Darwin.
2009-04-10 Tristan Gingold <gingold@adacore.com>
* init.c: Install signal handler on Darwin.
From-SVN: r145888
Arnaud Charlet [Fri, 10 Apr 2009 10:41:08 +0000 (12:41 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_warn.adb: Minor reformatting
* make.adb: Minor reformatting.
2009-04-10 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb (Find_Final_List): When creating a finalization-chain
entity and the scope is a subprogram, retrieve the Sloc of the
subprogram's body rather than using the sloc of the spec, for better
line-stepping behavior in gdb.
(Wrap_Transient_Declaration): For the Sloc of nodes created with a list
controller, use the Sloc of the first declaration of the containing list
rather than that of the node that triggered creation of the list
controller.
From-SVN: r145887
Arnaud Charlet [Fri, 10 Apr 2009 10:35:01 +0000 (12:35 +0200)]
[multiple changes]
2009-04-10 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Check_Naming_Schemes): Initialize local variable Casing
to avoid gcc warning.
2009-04-10 Robert Dewar <dewar@adacore.com>
* g-comlin.adb: Add ??? comment
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Check_Unused_Withs): Do not emit message about
unreferenced entities for a package with no visible declarations.
2009-04-10 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb: Minor reformatting
From-SVN: r145886
Arnaud Charlet [Fri, 10 Apr 2009 10:30:37 +0000 (12:30 +0200)]
[multiple changes]
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb: Minor reformatting
2009-04-10 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb:
(Check_Library_Attributes): For a project qualified as a library project
that is not a library project, indicate in the error message which
attributes are missing (Library_Dir and/or Library_Name).
From-SVN: r145885
Arnaud Charlet [Fri, 10 Apr 2009 10:27:06 +0000 (12:27 +0200)]
Minor reformatting.
From-SVN: r145884
Bob Duff [Fri, 10 Apr 2009 10:26:25 +0000 (10:26 +0000)]
exp_ch5.adb, [...]: Avoid use of No_Position in Sloc of generated nodes...
2009-04-10 Bob Duff <duff@adacore.com>
* exp_ch5.adb, exp_ch9.adb: Avoid use of No_Position in Sloc of
generated nodes, because it might confuse various circuits in the FE.
From-SVN: r145883
Arnaud Charlet [Fri, 10 Apr 2009 10:21:44 +0000 (12:21 +0200)]
[multiple changes]
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Task_Name): Do not expand argument
of pragma. It will be recopied and analyzed when used in call to
Create_Task.
* sem_res.adb (Resolve_Call): Clarify use of secondary stack within
initialization operations and recognize use of it in procedure calls
within init_procs.
* exp_ch9.adb (Make_Task_Create_Call): Copy full tree of Task_Name
argument, because it may have side-effects.
* exp_ch2.adb: Remove obsolete comments on default functions
2009-04-10 Jose Ruiz <ruiz@adacore.com>
* adaint.c (RTX section): Do for RTX the same thing as we do for
Windows (include ctype.h and define a fallback ISALPHA if IN_RTS).
From-SVN: r145882
Robert Dewar [Fri, 10 Apr 2009 09:58:35 +0000 (09:58 +0000)]
sem_aux.ads, [...] (Nearest_Current_Scope): New function.
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.ads, sem_aux.adb (Nearest_Current_Scope): New function.
* sem_res.adb (Resolve_Call): Fix test for
Suppress_Value_Tracking_On_Call (was wrong for the case of a call from
a non-dynamic scope).
From-SVN: r145881
Arnaud Charlet [Fri, 10 Apr 2009 09:54:58 +0000 (11:54 +0200)]
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* make.adb: Add comment.
Minor reformatting
2009-04-10 Nicolas Setton <setton@adacore.com>
* s-osprim-darwin.adb: New file.
* s-osinte-darwin.adb, s-osinte-darwin.ads: Fix binding to timespec.
2009-04-10 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Add comment clarifying alignment requirement for Fd_Set
From-SVN: r145880
Janne Blomqvist [Fri, 10 Apr 2009 08:26:56 +0000 (11:26 +0300)]
io.h (move_pos_offset): Remove prototype.
2009-04-10 Janne Blomqvist <jb@gcc.gnu.org>
* io/io.h (move_pos_offset): Remove prototype.
* io/transfer.c (formatted_transfer_scalar_read): Use sseek
instead of move_pos_offset.
* io/unix.c (move_pos_offset): Remove.
From-SVN: r145876
Janne Blomqvist [Fri, 10 Apr 2009 07:23:25 +0000 (10:23 +0300)]
PR libfortran/39665 libfortran/39702 libfortran/39709
2009-04-10 Janne Blomqvist <jb@gcc.gnu.org>
PR libfortran/39665 libfortran/39702 libfortran/39709
* io/io.h (st_parameter_dt): Revert aligned attribute from u.p.value.
* io/list_read.c (read_complex): Read directly into user pointer.
(read_real): Likewise.
(list_formatted_read_scalar): Update read_complex and read_real calls.
(nml_read_obj): Read directly into user pointer.
From-SVN: r145875
H.J. Lu [Fri, 10 Apr 2009 00:30:50 +0000 (00:30 +0000)]
re PR testsuite/35621 (gcc.target/i386/ssse3-*.c violates C/C++ aliasing rules)
2009-04-09 H.J. Lu <hongjiu.lu@intel.com>
PR testsuite/35621
* gcc.target/i386/avx-vpabsb-1.c: Add -fno-strict-aliasing.
* gcc.target/i386/avx-vpabsb-1.c: Likewise.
* gcc.target/i386/avx-vpabsd-1.c: Likewise.
* gcc.target/i386/avx-vpabsw-1.c: Likewise.
* gcc.target/i386/avx-vpalignr-1.c: Likewise.
* gcc.target/i386/avx-vphaddd-1.c: Likewise.
* gcc.target/i386/avx-vphaddsw-1.c: Likewise.
* gcc.target/i386/avx-vphaddw-1.c: Likewise.
* gcc.target/i386/avx-vphsubd-1.c: Likewise.
* gcc.target/i386/avx-vphsubsw-1.c: Likewise.
* gcc.target/i386/avx-vphsubw-1.c: Likewise.
* gcc.target/i386/avx-vpmaddubsw-1.c: Likewise.
* gcc.target/i386/avx-vpmulhrsw-1.c: Likewise.
* gcc.target/i386/avx-vpshufb-1.c: Likewise.
* gcc.target/i386/avx-vpsignb-1.c: Likewise.
* gcc.target/i386/avx-vpsignd-1.c: Likewise.
* gcc.target/i386/avx-vpsignw-1.c: Likewise.
From-SVN: r145871
GCC Administrator [Fri, 10 Apr 2009 00:16:52 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r145870
Paolo Carlini [Thu, 9 Apr 2009 23:37:08 +0000 (23:37 +0000)]
PR libstdc++/39629 (final bits)
2009-04-09 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/39629 (final bits)
* include/bits/random.h (subtract_with_carry_engine<>::_S_modulus):
Remove, consistently use __detail::_Shift<_UIntType, __w>::__value.
* include/bits/random.tcc (shuffle_order_engine<>::operator()()):
Fix formula for __j.
* include/bits/random.tcc (operator==(const normal_distribution<>&,
const normal_distribution<>&): Remove.
* include/bits/random.h (operator==(const uniform_int_distribution<>&,
const uniform_int_distribution<>&), operator==(const
uniform_real_distribution<>&, const uniform_real_distribution<>&),
operator==(const normal_distribution<>&, const normal_distribution<>&),
operator==(const lognormal_distribution<>&,
const lognormal_distribution<>&), operator==(const
chi_squared_distribution<>&, const chi_squared_distribution<>&),
operator==(const cauchy_distribution<>&, const cauchy_distribution<>&),
operator==(const fisher_distribution<>&, const fisher_distribution<>&),
operator==(const student_t_distribution<>&,
const student_t_distribution<>&), operator==(const
bernoulli_distribution<>&, const bernoulli_distribution<>&),
operator==(const binomial_distribution<>&, const
binomial_distribution<>&), operator==(const geometric_distribution<>&,
const geometric_distribution<>&), operator==(const
negative_binomial_distribution<>&, const
negative_binomial_distribution<>&), operator==(const
poisson_distribution<>&, const poisson_distribution<>&),
operator==(const exponential_distribution<>&,
const exponential_distribution<>&), operator==(const
gamma_distribution<>&, const gamma_distribution<>&), operator==(const
weibull_distribution<>&, const weibull_distribution<>&),
operator==(const extreme_value_distribution<>&,
const extreme_value_distribution<>&), operator==(const
discrete_distribution<>&, const discrete_distribution<>&),
operator==(const piecewise_constant_distribution<>&,
const piecewise_constant_distribution<>&), operator==(const
piecewise_linear_distribution<>&, const
piecewise_linear_distribution<>&)): Remove.
* testsuite/26_numerics/random/uniform_real_distribution/operators/
serialize.cc: Remove.
* testsuite/26_numerics/random/piecewise_constant_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/chi_squared_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/normal_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/uniform_int_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/poisson_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/bernoulli_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/discrete_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/weibull_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/negative_binomial_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/cauchy_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/gamma_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/fisher_f_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/exponential_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/lognormal_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/binomial_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/extreme_value_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/piecewise_linear_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/student_t_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/geometric_distribution/operators/
serialize.cc: Likewise.
* include/bits/random.h (linear_congruential_engine<>::seed(_Gen&,
true_type), linear_congruential_engine<>::seed(_Gen&, false_type),
mersenne_twister_engine<>::seed(_Gen&,
true_type), mersenne_twister_engine<>::seed(_Gen&, false_type),
subtract_with_carry_engine<>::seed(_Gen&,
true_type), subtract_with_carry_engine<>::seed(_Gen&, false_type)):
Remove, unused.
* include/bits/random.tcc (linear_congruential_engine<>::
seed(_Gen&, false_type): Likewise.
From-SVN: r145867
H.J. Lu [Thu, 9 Apr 2009 22:58:51 +0000 (22:58 +0000)]
re PR target/39678 (complex type isn't passed correctly)
gcc/
2009-04-09 H.J. Lu <hongjiu.lu@intel.com>
PR target/39678
* config/i386/i386.c (classify_argument): Handle SCmode with
(bit_offset % 64) != 0.
gcc/testsuite/
2009-04-09 H.J. Lu <hongjiu.lu@intel.com>
PR target/39678
* g++.dg/torture/pr39678.C: New.
* gcc.dg/compat/struct-complex-2.h: Likewise.
* gcc.dg/compat/struct-complex-2_main.c: Likewise.
* gcc.dg/compat/struct-complex-2_x.c: Likewise.
* gcc.dg/compat/struct-complex-2_y.c: Likewise.
* gcc.dg/torture/pr39678.c: Likewise.
* gcc.target/i386/pr39678.c: Likewise.
* gcc.dg/compat/struct-complex-1_x.c: Add -Wno-psabi.
* gcc.dg/compat/struct-complex-1_y.c: Likewise.
* gcc.target/x86_64/abi/test_passing_structs.c: Include
<complex.h>. Add tests for structure with complex float.
From-SVN: r145865
Sandra Loosemore [Thu, 9 Apr 2009 22:48:03 +0000 (18:48 -0400)]
invoke.texi (Optimize Options): Add cross-reference to -Q --help=optimizers examples.
2009-04-09 Sandra Loosemore <sandra@codesourcery.com>
gcc/
* doc/invoke.texi (Optimize Options): Add cross-reference to
-Q --help=optimizers examples.
From-SVN: r145864
Jack Howarth [Thu, 9 Apr 2009 21:51:57 +0000 (21:51 +0000)]
configure.host: Restore match for darwin9 or later.
2009-04-09 Jack Howarth <howarth@bromo.med.uc.edu>
* configure.host: Restore match for darwin9 or later.
* configure.ac: Likewise.
* configure: Regenerate.
From-SVN: r145861
Jack Howarth [Thu, 9 Apr 2009 21:50:14 +0000 (21:50 +0000)]
configure.ac: Restore match for darwin9 or later.
2009-04-09 Jack Howarth <howarth@bromo.med.uc.edu>
* configure.ac: Restore match for darwin9 or later. Use double
brackets since regeneration eats one pair.
* configure: Regenerate.
From-SVN: r145860
Ben Elliston [Thu, 9 Apr 2009 21:26:44 +0000 (21:26 +0000)]
re PR target/36800 (va_arg for _Decimal128 on 32-bit Power mishandled in certain cases)
PR target/36800
PR target/36800
* config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Do not set
regalign for the reg == fpr and TDmode case.
testsuite/
* gcc.dg/dfp/pr36800.c: New.
Co-Authored-By: Joseph Myers <joseph@codesourcery.com>
From-SVN: r145859
David Ayers [Thu, 9 Apr 2009 21:08:18 +0000 (21:08 +0000)]
re PR objc/29200 (%s substituted with "methods"/"selectors" can't be properly translated)
gcc/
2009-04-09 David Ayers <ayers@fsfe.org>
PR objc/29200
* objc/objc-act.c (warn_with_method): Remove helper function.
(check_duplicates): Call warning and inform directly.
(really_start_method): Likewise.
From-SVN: r145857
Uros Bizjak [Thu, 9 Apr 2009 20:52:30 +0000 (22:52 +0200)]
ChangeLog: Fix ChangeLog.
* gcc/ChangeLog: Fix ChangeLog.
* gcc/testsuite/ChangeLog: Ditto.
From-SVN: r145855
Eric Botcazou [Thu, 9 Apr 2009 17:46:52 +0000 (17:46 +0000)]
Fix entry
From-SVN: r145853
Janne Blomqvist [Thu, 9 Apr 2009 17:44:23 +0000 (20:44 +0300)]
re PR libfortran/39665 (Fortran IO using unaligned accesses to read/write doubles.)
2009-04-09 Janne Blomqvist <jb@gcc.gnu.org>
PR fortran/39665
* io/io.h (st_parameter_dt): Add aligned attribute to u.p.value.
* io/read.c (convert_real): Add note about alignment requirements.
From-SVN: r145852
Ralf Wildenhues [Thu, 9 Apr 2009 17:23:18 +0000 (17:23 +0000)]
help.exp: New file.
gcc/testsuite/
* gcc.misc-tests/help.exp: New file.
* lib/options.exp: New file.
Co-Authored-By: Rafael Avila de Espindola <espindola@google.com>
From-SVN: r145851
Janis Johnson [Thu, 9 Apr 2009 16:58:34 +0000 (16:58 +0000)]
re PR libobjc/36610 (objc_msg_sendv is broken for targets which pass argument via registers)
PR libobjc/36610
* objc/execute/forward-1.x: New.
From-SVN: r145849
Paolo Bonzini [Thu, 9 Apr 2009 16:07:43 +0000 (16:07 +0000)]
expmed.c (expand_divmod): Always use a comparison for a division by a large unsigned integer.
2009-04-09 Paolo Bonzini <bonzini@gnu.org>
* expmed.c (expand_divmod): Always use a comparison for a division
by a large unsigned integer.
* fold-const.c (tree_single_nonzero_warnv_p): Always treat decls
for things others than variables or functions as nonzero.
testsuite:
2009-04-09 Paolo Bonzini <bonzini@gnu.org>
* gcc.dg/pr27150-1.c: Change to a link test.
From-SVN: r145846
H.J. Lu [Thu, 9 Apr 2009 15:52:21 +0000 (08:52 -0700)]
Move gcc ChangeLog entry in revision 145415 to gcc/ChangeLog.
From-SVN: r145844
H.J. Lu [Thu, 9 Apr 2009 15:47:39 +0000 (08:47 -0700)]
Change spaces to tab.
From-SVN: r145843
H.J. Lu [Thu, 9 Apr 2009 15:44:05 +0000 (08:44 -0700)]
re PR c++/10039 ([macosx] gcc hangs at a c++-Constructor with switch "-Os")
2009-04-09 H.J. Lu <hongjiu.lu@intel.com>
PR gas/10039
* configure.ac: Require texinfo 4.7.
* configure: Regenerated.
From-SVN: r145842
Jakub Jelinek [Thu, 9 Apr 2009 15:00:19 +0000 (17:00 +0200)]
Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.
From-SVN: r145841
Richard Guenther [Thu, 9 Apr 2009 13:36:57 +0000 (13:36 +0000)]
re PR testsuite/39696 (gcc.dg/tree-ssa/ssa-ccp-25.c scan-tree-dump doesn't work on Linux/ia32)
2009-04-09 Richard Guenther <rguenther@suse.de>
PR testsuite/39696
* ssa-ccp-25.c: Adjust pattern.
From-SVN: r145839
Arnaud Charlet [Thu, 9 Apr 2009 13:11:10 +0000 (15:11 +0200)]
[multiple changes]
2009-04-09 Nicolas Setton <setton@adacore.com>
* s-osinte-darwin.ads: Fix wrong binding to struc timeval.
* s-osinte-darwin.adb (To_Timeval): Adapt to fixed implementation of
struct_timeval.
2009-04-09 Bob Duff <duff@adacore.com>
* exp_ch5.adb, exp_ch9.adb: Correct miscellaneous Slocs in
internally-generated nodes related to select statements to avoid
confusing the debugger.
2009-04-09 Pascal Obry <obry@adacore.com>
* make.adb: Ensure that all linker arguments are duplicated.
From-SVN: r145838
Arnaud Charlet [Thu, 9 Apr 2009 12:57:47 +0000 (14:57 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* sem_ch5.adb: Minor reformatting
2009-04-09 Vincent Celier <celier@adacore.com>
* vms_data.ads:
Change GNAT CHECK qualifier /DIAGNOSIS_LIMIT to /DIAGNOSTIC_LIMIT
New qualifier /LEXPAND_SOURCE=nnn for -gnatGnnn
New qualifier /LXDEBUG=nnn for -gnatDnnn
For H820-010
* gnat_ugn.texi:
Update documentation for VMS qualifiers equivalent to -gnatGnn and
-gnatDnn
2009-04-09 Nicolas Setton <setton@adacore.com>
* s-osinte-darwin.ads: (Pad_Type): Make this an array of unsigned_long,
to match layout of siginfo_t in sys/signal.h.
* gcc-interface/Makefile.in: Add section for x86_64 darwin.
2009-04-09 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: (Fd_Set): Use Interfaces.C.long alignment.
2009-04-09 Nicolas Setton <setton@adacore.com>
* s-oscons-tmplt.c: Allow long lines in the generated spec.
Add generation of Darwin-specific constants needed when binding to the
pthread library.
From-SVN: r145837
Robert Dewar [Thu, 9 Apr 2009 12:56:35 +0000 (14:56 +0200)]
2009-04-09 Robert Dewar <dewar@adacore.com>
* checks.adb:
(Insert_Valid_Check): Avoid unnecessary generation of junk declaration
when no invalid values exist, Avoid duplicate read of atomic variable.
* cstand.adb (Build_Signed_Integer_Type): Set Is_Known_Valid
(Standard_Unsigned): Set Is_Known_Valid
* sem_ch3.adb (Analyze_Subtype_Declaration): Copy Is_Known_Valid on
subtype declaration if no constraint.
(Set_Modular_Size): Set Is_Known_Valid if appropriate
(Build_Derived_Numeric_Type): Copy Is_Known_Valid if no constraint
From-SVN: r145836
Arnaud Charlet [Thu, 9 Apr 2009 12:37:33 +0000 (14:37 +0200)]
Minor editing.
From-SVN: r145835
Arnaud Charlet [Thu, 9 Apr 2009 12:34:42 +0000 (14:34 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* switch-c.adb, gnat_ugn.texi, vms_data.ads, switch.adb,
switch.ads: for numeric switches, an optional equal sign is always
allowed.
2009-04-09 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Get_Unit): Do not consider Casing on platform where
the case of file names is not significant.
From-SVN: r145834
Arnaud Charlet [Thu, 9 Apr 2009 12:29:20 +0000 (14:29 +0200)]
New file.
From-SVN: r145833
Arnaud Charlet [Thu, 9 Apr 2009 12:28:57 +0000 (14:28 +0200)]
[multiple changes]
2009-04-09 Vincent Celier <celier@adacore.com>
* errout.adb: Remove dependency on package Style
* style.ads, styleg.adb, styleg.ads (RM_Column_Check): Remove function,
moved to Stylesw.
* stylesw.ads, stylesw.adb (RM_Column_Check): New function, moved from
Styleg.
* errutil.adb, par.adb: Import Stylesw
2009-04-09 Arnaud Charlet <charlet@adacore.com>
* opt.ads: Fix typos.
2009-04-09 Robert Dewar <dewar@adacore.com>
* einfo.adb: Minor reformatting
From-SVN: r145832
Robert Dewar [Thu, 9 Apr 2009 12:22:41 +0000 (12:22 +0000)]
Make-lang.in, [...]: Reorganize style units.
2009-04-09 Robert Dewar <dewar@adacore.com>
* gcc-interface/Make-lang.in, style.ads, style.adb: Reorganize style
units.
* styleg-c.ads, styleg-c.adb: Removed, no longer used.
From-SVN: r145831
Arnaud Charlet [Thu, 9 Apr 2009 12:10:15 +0000 (14:10 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* g-comver.adb: Minor reformatting.
2009-04-09 Thomas Quinot <quinot@adacore.com>
* lib-load.ads (Load_Unit): Update documentation.
2009-04-09 Ed Schonberg <schonberg@adacore.com>
* lib-load.adb (Load_Unit): When loading the parent of a child unit
named in a with_clause, retain the with_clause to preserve a
limited_with indication.
From-SVN: r145829
Paolo Bonzini [Thu, 9 Apr 2009 10:57:03 +0000 (10:57 +0000)]
i386.md (cmpcc): New.
2009-04-09 Paolo Bonzini <bonzini@gnu.org>
* config/i386/i386.md (cmpcc): New.
* config/i386/sync.md (sync_compare_and_swap*): Set FLAGS_REG.
(sync_compare_and_swap_cc*): Delete.
* config/s390/s390.c (s390_compare_emitted): Remove.
(s390_emit_compare): Handle MODE_CC s390_compare_op0 like
s390_compare_emitted used to be handled. Assert that modes match.
(s390_emit_compare_and_swap): Use s390_emit_compare, do not
refer to sync_compare_and_swap_ccsi.
* config/s390/s390.h (s390_compare_emitted): Remove.
* config/s390/s390.md (seq): Look for MODE_CC s390_compare_op0
instead of s390_compare_emitted.
(stack_protect_test, sync_compare_and_swap_cc): Set s390_compare_op0
instead of s390_compare_emitted.
* config/s390/s390.md (cmpcc): New.
(sync_compare_and_swapqi, sync_compare_and_swaphi): Clobber
CC_REGNUM, do not pretend it's set.
(sync_compare_and_swap_cc*): Delete.
* config/s390/predicates.md (cc_reg_operand): New.
* expr.c (sync_compare_and_swap_cc): Delete.
* optabs.h (sync_compare_and_swap_cc): Delete.
* optabs.c (prepare_cmp_insn): Ignore which specific CCmode
is being used with can_compare_p.
(emit_cmp_and_jump_insn_1): Likewise when looking in the optab.
(find_cc_set): New.
(expand_bool_compare_and_swap): Do not use sync_compare_and_swap_cc,
look for a MODE_CC set instead. Use emit_store_flag.
(expand_compare_and_swap_loop): Likewise, with some additional
complication to avoid a force_reg when useless. Use
emit_cmp_and_jump_insns.
* genopinit.c (optabs): Delete sync_compare_and_swap_cc.
* doc/md.texi (sync_compare_and_swap_cc): Merge with
sync_compare_and_swap documentation.
java:
2009-04-09 Paolo Bonzini <bonzini@gnu.org>
* builtins.c (compareAndSwapLong_builtin,
compareAndSwapInt_builtin, compareAndSwapObject_builtin,
VMSupportsCS8_builtin): Do not look at sync_compare_and_swap_cc.
From-SVN: r145825
Arnaud Charlet [Thu, 9 Apr 2009 10:46:19 +0000 (12:46 +0200)]
Minor reformatting.
From-SVN: r145824
Robert Dewar [Thu, 9 Apr 2009 10:45:44 +0000 (10:45 +0000)]
sem_ch7.adb, [...]: Code clean up...
2009-04-09 Robert Dewar <dewar@adacore.com>
* sem_ch7.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, sem_util.adb,
exp_ch13.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb,
sem_cat.adb: Code clean up: use Is_Package_Or_Generic_Package where
possible to replace an OR of two separate tests.
From-SVN: r145823
Robert Dewar [Thu, 9 Apr 2009 10:38:54 +0000 (10:38 +0000)]
binderr.adb, [...]: New circuitry for handling Maximum_Messages.
2009-04-09 Robert Dewar <dewar@adacore.com>
* binderr.adb, errout.adb, errutil.adb: New circuitry for handling
Maximum_Messages.
* erroutc.adb, erroutc.ads (Warnings_Suppressed): Now tests global
warning status as well.
* opt.ads (Maximum_Messages): New name for Maximum_Errors.
* switch-b.adb, switch-c.adb: Change name Maximum_Errors to
Maximum_Messages.
* bindusg.adb, usage.adb: Update line for -gnatm switch
* gnat_ugn.texi: Update documentation for -gnatmnn compiler switch and
-mnn binder switch.
* sem_ch10.adb: Minor reformatting.
From-SVN: r145822
Arnaud Charlet [Thu, 9 Apr 2009 10:29:07 +0000 (12:29 +0200)]
[multiple changes]
2009-04-09 Bob Duff <duff@adacore.com>
* exp_ch11.adb (Expand_Exception_Handlers, Prepend_Call_To_Handler):
Set Sloc of generated nodes for calls to Undefer_Aborts and
Save_Occurrence to No_Location, so the debugger ignores them and
therefore does not jump back and forth when single stepping.
2009-04-09 Robert Dewar <dewar@adacore.com>
* switch-b.adb: Minor reformatting.
From-SVN: r145821
Robert Dewar [Thu, 9 Apr 2009 10:27:10 +0000 (10:27 +0000)]
sem_aggr.adb, [...]: Reorganize einfo/sem_aux, moving routines from einfo to sem_aux
2009-04-09 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, exp_atag.adb, layout.adb,
sem_dist.adb, exp_ch7.adb, sem_ch5.adb, sem_type.adb, exp_imgv.adb,
exp_util.adb, sem_aux.adb, sem_aux.ads, exp_attr.adb, exp_ch9.adb,
sem_ch7.adb, inline.adb, fe.h, sem_ch9.adb, exp_code.adb, einfo.adb,
einfo.ads, exp_pakd.adb, checks.adb, sem_ch12.adb, exp_smem.adb,
tbuild.adb, freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb,
exp_dbug.adb, sem_case.adb, exp_tss.adb, exp_ch4.adb, exp_ch6.adb,
sem_smem.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, exp_disp.adb,
sem_ch8.adb, exp_aggr.adb, sem_eval.adb, sem_cat.adb, exp_dist.adb,
sem_ch13.adb, exp_strm.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb:
Reorganize einfo/sem_aux, moving routines from einfo to sem_aux
From-SVN: r145820
Robert Dewar [Thu, 9 Apr 2009 10:15:20 +0000 (10:15 +0000)]
exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
2009-04-09 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
* atree.h: Add Elist26
* gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc
backends.
From-SVN: r145818
Janus Weil [Thu, 9 Apr 2009 09:39:09 +0000 (11:39 +0200)]
re PR fortran/36704 (Procedure pointer as function result)
2009-04-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/36704
* decl.c (add_hidden_procptr_result): New function for handling
procedure pointer return values by adding a hidden result variable.
(variable_decl,match_procedure_decl,gfc_match_function_decl,
gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
return values.
* parse.c (parse_interface): Add EXTERNAL attribute only after
FUNCTION/SUBROUTINE declaration is complete.
* primary.c (replace_hidden_procptr_result): New function for replacing
function symbol by hidden result variable.
(gfc_match_rvalue,match_variable): Replace symbol by hidden result
variable.
* resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
resolve_symbol): Allow for procedure pointer function results.
(resolve_fl_procedure): Conflict detection moved here from
'check_conflict'.
* symbol.c (gfc_check_function_type): Allow for procedure pointer
function results.
(check_conflict): Move some conflict detection to resolution stage.
* trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
result variables.
2009-04-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/36704
* gfortran.dg/external_procedures_1.f90: Modified.
* gfortran.dg/proc_ptr_result_1.f90: New.
* gfortran.dg/proc_ptr_result_2.f90: New.
* gfortran.dg/proc_ptr_result_3.f90: New.
From-SVN: r145815
Arnaud Charlet [Thu, 9 Apr 2009 09:36:25 +0000 (11:36 +0200)]
Minor reformatting.
From-SVN: r145813
Arnaud Charlet [Thu, 9 Apr 2009 09:35:59 +0000 (11:35 +0200)]
Minor reformatting.
From-SVN: r145812
Javier Miranda [Thu, 9 Apr 2009 09:35:24 +0000 (09:35 +0000)]
exp_disp.adb (Export_DT): Addition of a new argument (Index)...
2009-04-09 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Export_DT): Addition of a new argument (Index); used to
retrieve from the Dispatch_Table_Wrappers list the external name.
Addition of documentation.
(Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is
used to export secondary dispatch tables (in the previous version of
the frontend only primary dispatch tables were exported). Addition of
documentation.
(Import_DT): New subprogram (internal of Make_Tags). Used to import a
dispatch table of a given tagged type.
(Make_Tags): Modified to import secondary dispatch tables.
* sem_ch3.adb (Analyze_Object_Declaration): Code cleanup.
(Constant_Redeclaration): Code cleanup.
* einfo.ads (Dispatch_Table_Wrapper): Renamed to
Dispatch_Table_Wrappers. Update documentation.
* einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper):
Renamed to Dispatch_Table_Wrappers.
* sem_util.adb (Collect_Interface_Components): Improve handling of
private types.
* atree.ads (Elist26, Set_Elist26): New subprograms
* atree.adb (Elist26, Set_Elist26): New subprograms
From-SVN: r145811
Arnaud Charlet [Thu, 9 Apr 2009 08:52:04 +0000 (10:52 +0200)]
[multiple changes]
2009-04-09 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): Fix typo.
(Derive_Progenitor_Subprograms): Handle interfaces in subtypes of
tagged types.
2009-04-09 Robert Dewar <dewar@adacore.com>
* s-direio.adb: Minor reformatting
* exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String
From-SVN: r145808
Arnaud Charlet [Thu, 9 Apr 2009 08:45:55 +0000 (10:45 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads,
s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads,
a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads,
a-filico.ads: Add some missing overriding keywords.
From-SVN: r145807
Jan Hubicka [Thu, 9 Apr 2009 08:26:01 +0000 (10:26 +0200)]
except.c (find_prev_try): Break out from ....
* except.c (find_prev_try): Break out from ....
(duplicate_eh_regions): ... here; properly update prev_try pointers
when duplication part of tree.
(dump_eh_tree): Improve dumping.
(verify_eh_region): New.
(verify_eh_tree): Use it.
From-SVN: r145805
Arnaud Charlet [Thu, 9 Apr 2009 08:25:13 +0000 (10:25 +0200)]
[multiple changes]
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb,
a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads,
a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor
reformatting.
2009-04-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on
missing overriding indicator if the new declaration is not seen as
primitive.
From-SVN: r145804
Arnaud Charlet [Thu, 9 Apr 2009 08:21:08 +0000 (10:21 +0200)]
[multiple changes]
2009-04-09 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle
overflows in computation of bounds.
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some
typos in comment.
From-SVN: r145803
Arnaud Charlet [Thu, 9 Apr 2009 08:15:14 +0000 (10:15 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Check_Stream_Attribute): Check violation of
restriction No_Streams
* gnat_rm.texi: Clarify No_Streams restriction
* g-socket.adb: Minor reformatting.
2009-04-09 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces.
2009-04-09 Geert Bosch <bosch@adacore.com>
* exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument.
(Set_Result): Likewise.
(Expand_Convert_Float_To_Fixed): Have Set_Result truncate the
conversion, as required by RM 4.6(31).
From-SVN: r145801
Richard Guenther [Thu, 9 Apr 2009 08:07:31 +0000 (08:07 +0000)]
c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC &ARRAY addresses by adjusting their types and...
2009-04-09 Richard Guenther <rguenther@suse.de>
* c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC
&ARRAY addresses by adjusting their types and prepending
a conversion.
* tree-cfg.c (verify_gimple_assign_single): Verify that
addresses are correct.
* gcc.dg/vect/vect-54.c: Make constant input data file-scope
to prevent constant propagation.
* gcc.dg/vect/vect-56.c: Likewise.
* gcc.dg/vect/vect-58.c: Likewise.
* gcc.dg/vect/vect-60.c: Likewise.
* gcc.dg/vect/no-vfa-vect-57.c: Likewise.
* gcc.dg/vect/no-vfa-vect-61.c: Likewise.
* gcc.dg/tree-prof/stringop-2.c: Adjust expected outcome.
From-SVN: r145800
Richard Guenther [Thu, 9 Apr 2009 08:05:43 +0000 (08:05 +0000)]
tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant indices into an array reference if possible.
2009-04-09 Richard Guenther <rguenther@suse.de>
* tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant
indices into an array reference if possible.
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Fold POINTER_PLUS_EXPR statements with invariant address.
* gcc.dg/tree-ssa/ssa-ccp-25.c: New testcase.
* gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.
From-SVN: r145799
Alan Modra [Thu, 9 Apr 2009 04:47:05 +0000 (04:47 +0000)]
re PR target/39634 (powerpc64 libgcc contains useless softfp functions)
PR target/39634
* config.gcc (powerpc64-*-linux*): Always build biarch.
From-SVN: r145795
Joseph Myers [Thu, 9 Apr 2009 00:20:08 +0000 (01:20 +0100)]
re PR c/39613 (gcc
20090331 produces an error at mce64.c in kernel 2.6.29)
PR c/39613
* c-typeck.c (do_case): If case label is not an INTEGER_CST, fold
it and pedwarn if this results in an INTEGER_CST.
testsuite:
* gcc.dg/case-const-1.c, gcc.dg/case-const-2.c,
gcc.dg/case-const-3.c: New tests.
From-SVN: r145793
GCC Administrator [Thu, 9 Apr 2009 00:16:37 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r145791
Ian Lance Taylor [Wed, 8 Apr 2009 23:58:31 +0000 (23:58 +0000)]
hashtable.h (erase): Correctly handle erasing a reference to an entry in the hash table.
* include/backward/hashtable.h (erase): Correctly handle erasing a
reference to an entry in the hash table.
* testsuite/backward/hash_map/25896.cc: New.
* testsuite/backward/hash_set/25896.cc: New.
From-SVN: r145788
Adam Nemet [Wed, 8 Apr 2009 21:47:24 +0000 (21:47 +0000)]
baseline_symbols.txt: Regenerate.
* config/abi/post/mips64-linux-gnu/baseline_symbols.txt:
Regenerate.
* config/abi/post/mips64-linux-gnu/64/baseline_symbols.txt: New
file.
From-SVN: r145779
Joseph Myers [Wed, 8 Apr 2009 21:02:17 +0000 (22:02 +0100)]
c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-7.c, gcc.dg/c99-stdint-8.c: New tests.
From-SVN: r145778
Joseph Myers [Wed, 8 Apr 2009 20:40:43 +0000 (21:40 +0100)]
* zh_CN.po: Update.
From-SVN: r145776
Kaveh R. Ghazi [Wed, 8 Apr 2009 20:25:10 +0000 (20:25 +0000)]
configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure: Regenerate.
gcc:
* doc/install.texi: Update minimum GMP version. Remove obsolete
text in MPFR section.
From-SVN: r145774
Jakub Jelinek [Wed, 8 Apr 2009 20:04:45 +0000 (22:04 +0200)]
re PR middle-end/39573 (Linking fails on AMD with -march=native and -fopenmp, works with generic x86_64)
PR middle-end/39573
* omp-low.c (expand_omp_taskreg): Finalize taskreg static local_decls
variables.
* libgomp.c++/pr39573.C: New test.
From-SVN: r145772
Jakub Jelinek [Wed, 8 Apr 2009 20:02:43 +0000 (22:02 +0200)]
trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't contain TYPE_STRING_FLAG types.
* trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
contain TYPE_STRING_FLAG types.
From-SVN: r145771