OSDN Git Service

10 years ago * config/rs6000/linux64.h (SET_CMODEL): Don't expand to empty.
amodra [Fri, 18 Jun 2010 10:57:21 +0000 (10:57 +0000)]
* config/rs6000/linux64.h (SET_CMODEL): Don't expand to empty.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160978 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Geert Bosch <bosch@adacore.com>
charlet [Fri, 18 Jun 2010 10:19:44 +0000 (10:19 +0000)]
2010-06-18  Geert Bosch  <bosch@adacore.com>

* i-forbla-darwin.adb: Include -lgnala and -lm in linker options for

2010-06-18  Robert Dewar  <dewar@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set Use_Expression_With_Actions
true for gcc.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sprint.adb: Minor format change for N_Expression_With_Actions.
* repinfo.adb: Minor reformatting.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_elim.adb (Check_Eliminated): If within a subunit, use
Defining_Entity to obtain the name of the entity in the proper body, to
properly handle both separate packages and subprograms.

2010-06-18  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Check_File): New parameter Display_Path.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160976 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Thomas Quinot <quinot@adacore.com>
charlet [Fri, 18 Jun 2010 10:07:36 +0000 (10:07 +0000)]
2010-06-18  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (Null_Selector): New object.

2010-06-18  Pascal Obry  <obry@adacore.com>

* gnat_ugn.texi: Minor clarification.

2010-06-18  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Find_Source_Dirs): Minor refactoring to avoid duplicate
code when using the project dir as the source dir.
(Search_Directories): use the normalized name for the source directory,
where symbolic names have potentially been resolved.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Conditional_Expression): Clear Actions field
when we create N_Expression_With_Actions node.
(Expand_Short_Circuit): Ditto.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_util.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160975 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Thomas Quinot <quinot@adacore.com>
charlet [Fri, 18 Jun 2010 09:53:00 +0000 (09:53 +0000)]
2010-06-18  Thomas Quinot  <quinot@adacore.com>

* types.ads: Clean up obsolete comments
* tbuild.adb: Minor reformatting.
* exp_ch5.adb, sem_intr.adb, sem_ch10.adb, rtsfind.adb, s-shasto.adb,
exp_strm.adb, aa_drive.adb: Minor reformatting.
* sem_res.adb (Is_Predefined_Operator): An operator that is an imported
intrinsic with an Interface_Name denotes an imported back-end builtin,
and must be rewritten into a call, not left in the tree as an operator,
so return False in that case.

2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>

* exp_util.adb (Remove_Side_Effects): Make a copy for an allocator.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* scos.ads: Add proposed output for case expression

2010-06-18  Jose Ruiz  <ruiz@adacore.com>

* gnat_ugn.texi: Document that, when using the RTX compiler to generate
RTSS modules, we need to use the Microsoft linker.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160974 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Robert Dewar <dewar@adacore.com>
charlet [Fri, 18 Jun 2010 09:41:49 +0000 (09:41 +0000)]
2010-06-18  Robert Dewar  <dewar@adacore.com>

* checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case
expression (cannot count on a particular branch being executed).
* exp_ch4.adb (Expand_N_Case_Expression): New procedure.
* exp_ch4.ads (Expand_N_Case_Expression): New procedure.
* exp_util.adb (Insert_Actions): Deal with proper insertion of actions
within case expression.
* expander.adb (Expand): Add call to Expand_N_Case_Expression
* par-ch4.adb Add calls to P_Case_Expression at appropriate points
(P_Case_Expression): New procedure
(P_Case_Expression_Alternative): New procedure
* par.adb (P_Case_Expression): New procedure
* par_sco.adb (Process_Decisions): Add dummy place holder entry for
* sem.adb (Analyze): Add call to Analyze_Case_Expression
* sem_case.ads (Analyze_Choices): Also used for case expressions now,
this is a documentation change only.
* sem_ch4.ads, sem_ch4.adb (Analyze_Case_Expression): New procedure.
* sem_ch6.adb (Fully_Conformant_Expressions): Add handling of case
* sem_eval.ads, sem_eval.adb (Eval_Case_Expression): New procedure.
* sem_res.adb (Resolve_Case_Expression): New procedure.
* sem_scil.adb (Find_SCIL_Node): Add processing for
* sinfo.ads, sinfo.adb (N_Case_Expression): New node.
(N_Case_Expression_Alternative): New node.
* sprint.adb (Sprint_Node_Actual): Add processing for new nodes
N_Case_Expression and N_Case_Expression_Alternative.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor reformatting.
* gnat1drv.adb: Fix typo.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* par-prag.adb (Prag, case Style_Checks): All_Checks sets gnat style
for -gnatg.
* sem_prag.adb (Analyze_Pragma, case Style_Checks): All_Checks sets
gnat style for -gnatg.
* gnat_rm.texi: Add documentation for ALL_CHECKS in GNAT mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160971 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Thomas Quinot <quinot@adacore.com>
charlet [Fri, 18 Jun 2010 09:28:45 +0000 (09:28 +0000)]
2010-06-18  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb (Test_In_Range): New subprogram, factoring duplicated
code between...
(Is_In_Range, Is_Out_Of_Range): Reimplement in terms of call to

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sprint.adb: Minor change in output format for expression wi actions.
* par-ch3.adb: Minor code reorganization.  Minor reformatting.
* sem_ch5.adb: Minor comment fix.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* debug.adb: New debug flag -gnatd.L to control
* exp_ch4.adb (Expand_N_Conditional_Expression): Let back end handle
limited case if Back_End_Handles_Limited_Types is True.
(Expand_N_Conditional_Expression): Use N_Expression_With_Actions to
simplify expansion if Use_Expression_With_Actions is True.
* gnat1drv.adb (Adjust_Global_Switches): Set
* opt.ads (Back_End_Handles_Limited_Types): New flag.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Rewrite_Operator_As_Call): Do not rewrite user-defined
intrinsic operator if expansion is not enabled, because in an
instantiation the original operator must be present to verify the
legality of the operation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160969 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gnat.dg/class_wide2.adb: Remove bogus message, no longer generated.
charlet [Fri, 18 Jun 2010 09:28:22 +0000 (09:28 +0000)]
* gnat.dg/class_wide2.adb: Remove bogus message, no longer generated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160968 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Robert Dewar <dewar@adacore.com>
charlet [Fri, 18 Jun 2010 09:09:40 +0000 (09:09 +0000)]
2010-06-18  Robert Dewar  <dewar@adacore.com>

* exp_disp.adb, sem_ch12.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160967 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Ed Schonberg <schonberg@adacore.com>
charlet [Fri, 18 Jun 2010 09:05:37 +0000 (09:05 +0000)]
2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Make_Subtype_From_Expr): If the unconstrained type is
the class-wide type for a private extension, and the completion is a
subtype, set the type of the class-wide type to the base type of the
full view.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* g-socket.ads, sem_aggr.adb, einfo.ads, sem_elim.adb,
sem_intr.adb, sem_eval.adb: Minor reformatting

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_type.adb (Is_Ancestor): If either type is private, examine full

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160966 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Thomas Quinot <quinot@adacore.com>
charlet [Fri, 18 Jun 2010 08:59:39 +0000 (08:59 +0000)]
2010-06-18  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (Check_Selector): Make Selector an IN
parameter rather than IN OUT.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160965 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Ed Schonberg <schonberg@adacore.com>
charlet [Fri, 18 Jun 2010 08:49:38 +0000 (08:49 +0000)]
2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb: Add extra guard.

2010-06-18  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Object_Access_Level): For Ada 2005, determine the
accessibility level of a function call from the level of the innermost
enclosing dynamic scope.
(Innermost_Master_Scope_Depth): New function to find the depth of the
nearest dynamic scope enclosing a node.

2010-06-18  Tristan Gingold  <gingold@adacore.com>

* adaint.c: Make ATTR_UNSET static as it is not used outside this file.

2010-06-18  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160964 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Vincent Celier <celier@adacore.com>
charlet [Fri, 18 Jun 2010 08:25:27 +0000 (08:25 +0000)]
2010-06-18  Vincent Celier  <celier@adacore.com>

* make.adb (Must_Compile): New Boolean global variable
(Main_On_Command_Line): New Boolean global variable
(Collect_Arguments_And_Compile): Do compile if Must_Compile is True,
even when the project is externally built.
(Start_Compile_If_Possible): Compile in -aL directories if
Check_Readonly_Files is True. Do compile if Must_Compile is True, even
when the project is externally built.
(Gnatmake): Set Must_Compile and Check_Readonly_Files to True when
invoked with -f -u and one or several mains on the command line.
(Scan_Make_Arg): Set Main_On_Command_Line to True when at least one main
is specified on the command line.

2010-06-18  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Build_Body_For_Inline): Handle extended_return_statements
* exp_ch6.adb (Expand_Inlined_Call): when possible, inline a body
containing extented_return statements.
* exp_util.adb (Make_CW_Equivalent_Type): If the root type is already
constrained, do not build subtype declaration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160962 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-18 Robert Dewar <dewar@adacore.com>
charlet [Fri, 18 Jun 2010 08:17:48 +0000 (08:17 +0000)]
2010-06-18  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Analyze_Indexed_Component, Analyze_Selected_Component):
Warn on assigning to packed atomic component.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sem_util.ads: Minor reformatting
* einfo.ads, einfo.adb: Minor doc clarification (scope of decls in
* snames.ads-tmpl: Minor comment fix

2010-06-18  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb (Diagnose_Multiple_Pragmas): New procedure
(Set_Imported): Use Import_Interface_Present to control message output
* sinfo.ads, sinfo.adb (Import_Interface_Present): New flag
* gnat_rm.texi: Document that we can have pragma Import and pragma
Interface for the same subprogram.

2010-06-18  Robert Dewar  <dewar@adacore.com>

* lib-xref.adb (Generate_Reference): Fix bad reference to
Has_Pragma_Unreferenced (clients should always use Has_Unreferenced).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160961 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR target/43740
danglin [Fri, 18 Jun 2010 00:23:51 +0000 (00:23 +0000)]
PR target/43740
config/pa/pa.c (emit_move_sequence): Don't infer REG_POINTER flag for
SET source operand from SET destination operand.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160955 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoDaily bump.
gccadmin [Fri, 18 Jun 2010 00:17:39 +0000 (00:17 +0000)]
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160954 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
ebotcazou [Thu, 17 Jun 2010 22:22:51 +0000 (22:22 +0000)]
* gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
(gnat_to_gnu) <N_Expression_With_Actions>: New case.
Use set_gnu_expr_location_from_node to set location information on the

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160949 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Janus Weil <janus@gcc.gnu.org>
janus [Thu, 17 Jun 2010 22:15:30 +0000 (22:15 +0000)]
2010-06-17  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44558
* resolve.c (resolve_typebound_function,resolve_typebound_subroutine):
Return directly in case of an error.

2010-06-17  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44558
* gfortran.dg/typebound_call_15.f03: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160948 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR rtl-optimization/39871
bernds [Thu, 17 Jun 2010 21:51:55 +0000 (21:51 +0000)]
PR rtl-optimization/39871
* reload1.c (init_eliminable_invariants): For flag_pic, disable
equivalences only for constants that aren't LEGITIMATE_PIC_OPERAND_P.
(function_invariant_p): Rule out a plus of frame or arg pointer with
* ira.c (find_reg_equiv_invariant_const): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160947 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/rs6000/rs6000.c (print_operand) <'K'>: Also use
froydnj [Thu, 17 Jun 2010 19:54:16 +0000 (19:54 +0000)]
* config/rs6000/rs6000.c (print_operand) <'K'>: Also use
print_operand_address and puts to output the operand for CONST.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160945 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR debug/44572
jakub [Thu, 17 Jun 2010 19:15:51 +0000 (19:15 +0000)]
PR debug/44572
* dwarf2out.c (dwarf2out_debug_hooks): Add entry for begin_epilogue

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160944 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * v850-protos.h (print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:18:41 +0000 (18:18 +0000)]
* v850-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* v850.h (PRINT_OPERAND): Delete.
* v850.c (print_operand_address): Rename to...
(v850_print_operand_address): ...this.  Make static. Call
(print_operand): Rename to...
(v850_print_operand): ...this.  Make static.  Call
(v850_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160943 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/sh/sh-protos.h (print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:16:31 +0000 (18:16 +0000)]
* config/sh/sh-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/sh/sh.h (PRINT_OPERAND): Delete.
* config/sh/sh.c (sh_print_operand_address): Make static.
(sh_print_operand): Make static.  Call sh_print_operand_address
and sh_print_operand.
(sh_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160942 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/mcore/mcore-protos.h (mcore_print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:15:39 +0000 (18:15 +0000)]
* config/mcore/mcore-protos.h (mcore_print_operand): Delete.
(mcore_print_operand_address): Delete.
* config/mcore/mcore.h (PRINT_OPERAND): Delete.
* config/mcore/mcore.c (mcore_print_operand_address): Make static.
(mcore_print_operand): Make static.
(mcore_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160941 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/m68hc11/m68hc11-protos.h (print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:14:45 +0000 (18:14 +0000)]
* config/m68hc11/m68hc11-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/m68hc11/m68hc11.h (PRINT_OPERAND): Delete.
* config/m68hc11/m68hc11.c (m68hc11_print_operand_address): Make
(m68hc11_print_operand): Make static.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160940 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/m32r/m32r-protos.h (m32r_print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:13:51 +0000 (18:13 +0000)]
* config/m32r/m32r-protos.h (m32r_print_operand): Delete.
(m32r_print_operand_address): Delete.
* config/m32r/m32r.h (m32r_punct_chars): Delete.
* config/m32r/m32r.c (m32r_punct_chars): Make static.
(m32r_print_operand_address): Make static.
(m32r_print_operand): Make static.
(m32r_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160939 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/iq2000/iq2000-protos.h (print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:13:03 +0000 (18:13 +0000)]
* config/iq2000/iq2000-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/iq2000/iq2000.h (PRINT_OPERAND): Delete.
(iq2000_print_operand_punct): Delete.
* config/iq2000/iq2000.c (iq2000_print_operand_punct): Make static.
(iq2000_print_operand_address): Make static.
(iq2000_print_operand): Make static.
(iq2000_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160938 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/frv/frv-protos.h (frv_print_operand): Delete.
froydnj [Thu, 17 Jun 2010 18:11:45 +0000 (18:11 +0000)]
* config/frv/frv-protos.h (frv_print_operand): Delete.
(frv_print_operand_address): Delete.
* config/frv/frv.h (PRINT_OPERAND): Delete.
* config/frv/frv.c (frv_print_operand_address): Make static.
(frv_print_operand): Make static.
(frv_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160937 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agogcc/
froydnj [Thu, 17 Jun 2010 17:26:28 +0000 (17:26 +0000)]
* tree.h (vec_member): Declare.
* tree.c (vec_member): Define.

* name-lookup.c (struct arg_lookup): Convert namespaces and
classes fields to VEC.
(arg_assoc_namespace): Adjust for new type of namespaces.
(arg_assoc_class): Adjust for new type of classes.
(lookup_arg_dependent): Use make_tree_vector and
* typeck2.c (build_x_arrow): Use vec_member.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160936 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Richard Guenther <rguenther@suse.de>
rguenth [Thu, 17 Jun 2010 16:14:41 +0000 (16:14 +0000)]
2010-06-17  Richard Guenther  <rguenther@suse.de>

* tree-flow-inline.h (array_ref_contains_indirect_ref): Remove.
* tree-flow.h (array_ref_contains_indirect_ref): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160933 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoUpdate dependencies.
charlet [Thu, 17 Jun 2010 16:11:21 +0000 (16:11 +0000)]
Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160932 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 16:04:52 +0000 (16:04 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Atomic_Object): Predicate does not apply to

2010-06-17  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi, gnat_ugn.texi: Clean up documentation on warning and
style check messages.
* sem_res.adb (Resolve_Call): Don't call
Check_For_Eliminated_Subprogram if we are analyzing within a spec

2010-06-17  Robert Dewar  <dewar@adacore.com>

* debug.adb: Add documentation for debug flags .X and .Y
* exp_ch4.adb (Expand_Short_Circuit_Operator): Use
* gnat1drv.adb (Adjust_Global_Switches): Set
* opt.ads (Use_Expression_With_Actions): New switch.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160931 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 15:58:10 +0000 (15:58 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_intr.adb: Minor code reorganization (use UI_Max)
* sem_intr.adb: use underlying type to check legality.
* einfo.adb (Known_Static_Esize): False for generic types
(Known_Static_RM_Size): False for generic types
* einfo.ads (Known_Static_Esize): False for generic types
(Known_Static_RM_Size): False for generic types

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160930 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 15:50:40 +0000 (15:50 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_ch4.ads: Minor code reorganization (specs in alpha order).

2010-06-17  Robert Dewar  <dewar@adacore.com>

* debug.adb: New debug flag -gnatd.X to use Expression_With_Actions
node when expanding short circuit form with actions present for right
* exp_ch4.adb: Minor reformatting
(Expand_Short_Circuit_Operator): Use new Expression_With_Actions node if
right opeand has actions present, and debug flag -gnatd.X is set.
* exp_util.adb (Insert_Actions): Handle case of Expression_With_Actions
* nlists.adb (Prepend_List): New procedure
(Prepend_List_To): New procedure
* nlists.ads (Prepend_List): New procedure
(Prepend_List_To): New procedure
* sem.adb: Add processing for Expression_With_Actions
* sem_ch4.adb (Analyze_Expression_With_Actions): New procedure
* sem_ch4.ads (Analyze_Expression_With_Actions): New procedure
* sem_res.adb: Add processing for Expression_With_Actions.
* sem_scil.adb: Add processing for Expression_With_Actions
* sinfo.ads, sinfo.adb (N_Expression_With_Actions): New node.
* sprint.ads, sprint.adb: Add processing for Expression_With_Actions

2010-06-17  Doug Rupp  <rupp@adacore.com>

* sem_intr.adb (Check_Intrinsic_Operator): Check that the types
involved both have underlying integer types.
* exp_intr.adb (Expand_Binary_Operator) New subprogram to expand a call
to an intrinsic operator when the operand types or sizes are not
* s-auxdec-vms_64.ads: Revert "+" "-" ops back to Address now that
64/32 Address/Integer works.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160929 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 15:41:23 +0000 (15:41 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Mark_Context): Refine placement of Withed_Body flag, so
that it marks a unit as needed by a spec only if the corresponding
instantiation appears in that spec (and not in the corresponding body).
* sem_elim.adb (Check_Eliminated): If we are within a subunit, the name
in the pragma Eliminate has been parsed as a child unit, but the
current compilation unit is in fact the parent in which the subunit is

2010-06-17  Vincent Celier  <celier@adacore.com>

* gnat_rm.texi: Fix typo

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160928 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 15:35:09 +0000 (15:35 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* sem_util.adb: Minor reformatting

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
instance, the clause now denotes the instance body. Traverse the
corresponding spec because there may be no other dependence that will
force the traversal of its own context.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160925 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 15:29:21 +0000 (15:29 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Is_Ancestor_Unit): Subsidiary to
Install_Limited_Context_Clauses, to determine whether a limited_with in
some parent of the current unit designates some other parent, in which
case the limited_with clause must not be installed.
(In_Context): Refine test.

2010-06-17  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Collect_Primitive_Operations): In the of an untagged
type with a dispatching equality operator that is overridden (for a
tagged full type), don't include the overridden equality in the list of
primitives. The overridden equality is detected by testing for an
Aliased field that references the overriding equality.

2010-06-17  Robert Dewar  <dewar@adacore.com>

* freeze.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160924 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker>
charlet [Thu, 17 Jun 2010 15:23:55 +0000 (15:23 +0000)]
2010-06-17  Joel Brobecker  <brobecker@adacore.com brobecker>

* gnat_ugn.texi: Add a section introducing gdbserver.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb, sem_ch4.adb, s-stoele.adb, par-labl.adb: Minor

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_aggr.adb (Valid_Ancestor_Type): handle properly the case of a
constrained discriminated parent that is a private type.
(Analyze_Record_Aggregate): when collecting inherited discriminants,
handle properly an ancestor type that is a constrained private type.

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Enclosing_Subprogram): If the called subprogram is
protected, use the protected_subprogram_body only if the original
subprogram has not been eliminated.

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Expression): The designated type of an
access_to_suprogram type can only be frozen if all types in its profile
are fully defined.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160923 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR bootstrap/44512
amylaar [Thu, 17 Jun 2010 15:20:20 +0000 (15:20 +0000)]
    PR bootstrap/44512
        * c-cppbuiltin.c (builtin_define_with_hex_fp_value): Add cast
        for C++ standard compliance.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160922 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 14:26:42 +0000 (14:26 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* par.adb: Minor comment fix
* sem_aggr.adb, sem_ch3.adb: Minor reformatting

2010-06-17  Doug Rupp  <rupp@adacore.com>

* s-auxdec-vms_64.ads: Revert Integer to Long_Integer change, instead
change Address to Short_Address in functions where both must be the
same size for intrinsics to work.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb (Analyze_Selected_Component): A selected component may
not denote a (private) component of a protected object.

2010-06-17  Bob Duff  <duff@adacore.com>

* par-labl.adb (Try_Loop): Test whether the label and the goto are in
the same list.

2010-06-17  Joel Brobecker  <brobecker@adacore.com brobecker>

* gnat_ugn.texi: Update the documentation about GDB re: exception

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160919 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gnatvsn.ads: Bump to 4.6 version.
charlet [Thu, 17 Jun 2010 13:37:49 +0000 (13:37 +0000)]
* gnatvsn.ads: Bump to 4.6 version.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160916 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 13:35:24 +0000 (13:35 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): The
designated type of the generated pointer is the type of the original
expression, not that of the function call itself, because the return
type may be an untagged  derived type and the function may be an
inherited operation.

2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160915 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 13:29:28 +0000 (13:29 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sinfo.ads, sinfo.adb (Inherited_Discriminant): New flag on
N_Component_Association nodes, to indicate that a component association
of an extension aggregate denotes the value of a discriminant of an
ancestor type that has been constrained by the derivation.
* sem_aggr.adb (Discr_Present): use Inherited_Discriminant to prevent a
double expansion of the aggregate appearing in a context that delays
expansion, to prevent double insertion of discriminant values when the
aggregate is reanalyzed.

2010-06-17  Arnaud Charlet  <charlet@adacore.com>

* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not use
Allocator as the Related_Node of Return_Obj_Access in call to
Make_Temporary below as this would create a sort of infinite

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160914 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ben Brosgol <brosgol@adacore.com>
charlet [Thu, 17 Jun 2010 13:23:55 +0000 (13:23 +0000)]
2010-06-17  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Incomplete_Type_Declaration): If there is an
incomplete view of the type that is not tagged, and the full type is a
tagged extension, create class_wide type now, and warn that the
incomplete view should be tagged as well.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160913 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Vincent Celier <celier@adacore.com>
charlet [Thu, 17 Jun 2010 13:14:44 +0000 (13:14 +0000)]
2010-06-17  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Non_VMS_Usage): Do not issue usage for gnat sync.
Update the last line of the usage, indicating what commands do not
accept project file switches.
* vms_conv.adb: Do not issue usage line for GNAT SYNC
* vms_data.ads: Fix errors in the qualifiers /LOGFILE and /MAIN of
* gnat_ugn.texi: Document the relaxed rules for library directories in
externally built library projects.

2010-06-17  Doug Rupp  <rupp@adacore.com>

* s-auxdec-vms_64.ads: Make boolean and arithmetic operations intrinsic
where possible.
* s-auxdec-vms-alpha.adb: Remove kludges for aforemention.
* gcc-interface/Makefile.in: Update VMS target pairs.

2010-06-17  Vasiliy Fofanov  <fofanov@adacore.com>

* adaint.c: Reorganized in order to avoid use of GetProcessId to stay
compatible with Windows NT 4.0 which doesn't provide this function.

2010-06-17  Vincent Celier  <celier@adacore.com>

* ali-util.adb (Time_Stamp_Mismatch): In Verbose mode, if there is
different timestamps but the checksum is the same, issue a short
message saying so.

2010-06-17  Arnaud Charlet  <charlet@adacore.com>

* s-interr.adb (Finalize): If the Abort_Task signal is set to system,
it means that we cannot reset interrupt handlers since this would
require potentially sending the abort signal to the Server_Task.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160911 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Richard Guenther <rguenther@suse.de>
rguenth [Thu, 17 Jun 2010 13:10:45 +0000 (13:10 +0000)]
2010-06-17  Richard Guenther  <rguenther@suse.de>

* tree-inline.c (declare_return_variable): Remove bogus code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160910 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 13:03:27 +0000 (13:03 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb: expand NOT for VMS types.
* sem_util.adb: Use OpenVMS_On_Target for IS_VMS_Operator.

2010-06-17  Sergey Rybin  <rybin@adacore.com>

* vms_data.ads: Add qualifier for '--no-elim-dispatch' gnatelim option.
* gnat_ugn.texi (gnatelim): add description for --no-elim-dispatch

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160908 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 13:00:26 +0000 (13:00 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Call): Do not expand a call to an internal
protected operation if the subprogram has been eliminated.

2010-06-17  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Library_Attributes): Allow the different
directories associated with a library to be any directory when the
library project is externally built.

2010-06-17  Vincent Celier  <celier@adacore.com>

* make.adb (Check): If switch -m is used, deallocate the memory that
may be allocated when computing the checksum.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160907 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Eric Botcazou <ebotcazou@adacore.com>
charlet [Thu, 17 Jun 2010 12:52:58 +0000 (12:52 +0000)]
2010-06-17  Eric Botcazou  <ebotcazou@adacore.com>

* g-socthi-mingw.adb (C_Recvmsg): Add 'use type' clause for C.size_t;
(C_Sendmsg): Likewise.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Update comments.

2010-06-17  Vincent Celier  <celier@adacore.com>

* back_end.adb (Scan_Compiler_Arguments): Process last argument.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160906 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 12:26:10 +0000 (12:26 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_ch3.adb, exp_ch6.adb, exp_smem.adb, exp_util.adb: Use Ekind_In.
* layout.adb, freeze.adb: Use Make_Temporary.

2010-06-17  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch11.adb (Expand_N_Raise_Statement): Expand raise statements in
.NET/JVM normally as this is now perfectly supported by the backend.

2010-06-17  Pascal Obry  <obry@adacore.com>

* gnat_rm.texi: Fix minor typo, remove duplicate blank lines.

2010-06-17  Vincent Celier  <celier@adacore.com>

* make.adb (Collect_Arguments_And_Compile): Create include path file
only when -x is specified.
(Gnatmake): Ditto
* opt.ads (Use_Include_Path_File): New Boolean flag, initialized to
* prj-env.adb (Set_Ada_Paths): New Boolean parameters Include_Path and
Objects_Path, defaulted to True. Only create include path file if
Include_Path is True, only create objects path file if Objects_Path is
* prj-env.ads (Set_Ada_Paths): New Boolean parameters Include_Path and
Objects_Path, defaulted to True.
* switch-m.adb (Scan_Make_Switches): Set Use_Include_Path_File to True
when -x is used.

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
determine whether it has the controlling type, when the formal is an
access parameter.

2010-06-17  Eric Botcazou  <ebotcazou@adacore.com>

* s-crtl.ads (ssize_t): New type.
(read): Fix signature.
(write): Likewise.
* g-socthi.ads: Add 'with System.CRTL' clause.  Remove ssize_t and
'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
(C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
(C_Sendmsg): Likewise.
* g-socthi.adb (Syscall_Recvmsg): Likewise.
(Syscall_Sendmsg): Likewise.
(C_Recvmsg): Likewise.
(C_Sendmsg): Likewise.
* g-socthi-mingw.ads: Add 'with System.CRTL' clause.  Remove ssize_t
and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
(C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
(C_Sendmsg): Likewise.
* g-socthi-mingw.adb (C_Recvmsg): Likewise.
(C_Sendmsg): Likewise.
* g-socthi-vms.ads: Add 'with System.CRTL' clause.  Remove ssize_t and
'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
(C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
(C_Sendmsg): Likewise.
* g-socthi-vms.adb (C_Recvmsg): Likewise.
(C_Sendmsg): Likewise.
* g-socthi-vxworks.ads Add 'with System.CRTL' clause.  Remove ssize_t
and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
(C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
(C_Sendmsg): Likewise.
* g-socthi-vxworks.adb (C_Recvmsg): Likewise.
(C_Sendmsg): Likewise.
* g-sercom-linux.adb (Read): Use correct types to call 'read'.
(Write): Likewise to call 'write'.
* s-os_lib.adb (Read): Use correct type to call System.CRTL.read.
(Write): Use correct type to call System.CRTL.write.
* s-tasdeb.adb (Write): Likewise.

2010-06-17  Vincent Celier  <celier@adacore.com>

* prj-proc.adb (Copy_Package_Declarations): Change argument name
Naming_Restricted to Restricted. If Restricted is True, do not copy the
value of attribute Linker_Options.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160905 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Richard Guenther <rguenther@suse.de>
rguenth [Thu, 17 Jun 2010 12:22:22 +0000 (12:22 +0000)]
2010-06-17  Richard Guenther  <rguenther@suse.de>

* gimplify.c (gimplify_bind_expr): Always promote complex
and vector variables to registers if possible.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160903 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Richard Guenther <rguenther@suse.de>
rguenth [Thu, 17 Jun 2010 12:16:19 +0000 (12:16 +0000)]
2010-06-17  Richard Guenther  <rguenther@suse.de>

* expr.c (get_inner_reference): Use double_int for bit_offset

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160902 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gcc-interface/trans.c (push_stack, pop_stack): Delete.
ebotcazou [Thu, 17 Jun 2010 10:48:22 +0000 (10:48 +0000)]
* gcc-interface/trans.c (push_stack, pop_stack): Delete.
(Case_Statement_to_gnu): Adjust.
(Loop_Statement_to_gnu): Likewise.
(Subprogram_Body_to_gnu): Likewise.
(Handled_Sequence_Of_Statements_to_gnu): Likewise.
(Compilation_Unit_to_gnu): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160898 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 10:45:18 +0000 (10:45 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_fixd.adb, exp_imgv.adb, exp_intr.adb, exp_pakd.adb, exp_prag.adb,
exp_sel.adb, exp_util.adb, sem_ch10.adb, sem_ch12.adb, sem_ch13.adb,
sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb, sem_ch9.adb,
sem_dist.adb, sem_util.adb: Use Make_Temporary
* itypes.ads, tbuild.ads: Minor comment update
* exp_ch9.adb, exp_dist.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160897 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Thomas Quinot <quinot@adacore.com>
charlet [Thu, 17 Jun 2010 10:20:27 +0000 (10:20 +0000)]
2010-06-17  Thomas Quinot  <quinot@adacore.com>

* exp_imgv.adb, exp_ch7.ads: Minor reformatting.

2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_ch9.adb, exp_disp.adb, exp_dist.adb: Use Make_Temporary.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* sprint.adb (pg): Set Dump_Freeze_Null, to be consistent with -gnatdg.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160895 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 10:15:35 +0000 (10:15 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb, exp_ch7.adb, exp_ch5.adb: Use Make_Temporary
* tbuild.ads (Make_Temporary): More comment updates
* tbuild.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160894 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 10:07:53 +0000 (10:07 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* checks.adb, exp_aggr.adb, exp_atag.adb, exp_attr.adb, exp_ch11.adb,
exp_ch3.adb, exp_ch4.adb: Minor code reorganization.
Use Make_Temporary.
* tbuild.ads, tbuild.adb (Make_Temporary): Clean up, use Entity_Id
instead of Node_Id.
(Make_Temporary): Add more extensive documentation

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160893 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 09:57:32 +0000 (09:57 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* sem_intr.adb, sem_prag.adb, sem_res.adb, sem_type.adb, sem_util.adb,
sem_warn.adb, sem_eval.adb: Minor reformatting.  Use Ekind_In.
(Set_Slice_Subtype): Explicitly freeze the slice's itype at the point
where the slice's actions are inserted.
(Decompose_Expr): Account for possible rewriting of slice bounds
resulting from side effects suppression caused by the above freezing,
so that folding of bounds is preserved by such rewriting.

2010-06-17  Robert Dewar  <dewar@adacore.com>

* einfo.ads, einfo.adb (Get_Record_Representation_Clause): New function.
* freeze.adb (Freeze_Record_Type): Add call to
* sem_ch13.adb (Check_Record_Representation_Clause): New function
(Analyze_Record_Representation_Clause): Split out overlap code into this
new function.
(Check_Component_Overlap): Moved inside
* sem_ch13.ads (Check_Record_Representation_Clause): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160892 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 09:32:20 +0000 (09:32 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* back_end.adb, sem_res.adb, switch-c.adb, sem_scil.adb: Minor
* sem_attr.adb, sem_cat.adb, sem_disp.adb, sem_elab.adb, sem_elim.adb,
sem_eval.adb: Use Ekind_In

2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb: better error message for illegal inherited discriminant

2010-06-17  Vincent Celier  <celier@adacore.com>

* bindusg.adb: Remove lines for -A and -C
* gnat_ugn.texi: Remove all documentation and examples of switches -A
and -C for gnatbind and gnatlink.
* gnatlink.adb (Usage): Remove lines for -A and -C
* switch-b.adb (Scan_Binder_Switches): Issue warning when switch -C is
* gcc-interface/Make-lang.in: Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160891 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Vincent Celier <celier@adacore.com>
charlet [Thu, 17 Jun 2010 09:06:41 +0000 (09:06 +0000)]
2010-06-17  Vincent Celier  <celier@adacore.com>

* back_end.adb (Scan_Compiler_Arguments): Put all arguments in new
local Argument_List variable Args.
* switch-c.adb (Scan_Front_End_Switches): New Argument_List argument
(Switch_Subsequently_Cancelled): New Argument_List argument Args. Look
for subsequent switches in Args.
* switch-c.ads (Scan_Front_End_Switches): New Argument_List argument
* gcc-interface/Make-lang.in: Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160890 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 08:56:40 +0000 (08:56 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* einfo.adb: Minor code fix, allow E_Class_Wide_Type for
Equivalent_Type to match documentation.

2010-06-17  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb, sem_ch7.adb: Minor reformatting.
* sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_ch10.adb, sem_ch12.adb,
sem_ch4.adb, sem_ch8.adb, sem_ch13.adb: Make use of Ekind_In.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb (Set_Slice_Subtype): Always freeze the slice's itype.

2010-06-17  Thomas Quinot  <quinot@adacore.com>

* freeze.adb (Freeze_Expression): Short circuit operators are valid
freeze node insertion points.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160889 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 08:49:10 +0000 (08:49 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* switch-c.ads, switch-c.adb, sem_ch13.adb: Minor reformatting.
* sem_ch12.adb: Add pragmas Assert and Check to previous change.

2010-06-17  Gary Dismukes  <dismukes@adacore.com>

* layout.adb (Layout_Type): Broaden test for setting an array type's
Component_Size to include all scalar types, not just discrete types
(components of real types were missed).
* sem_ch3.adb (Constrain_Index): Add missing setting of First_Literal
on the itype created for an index (consistent with Make_Index and
avoids possible Assert_Failures).

2010-06-17  Robert Dewar  <dewar@adacore.com>

* atree.ads, atree.adb: Add 6-parameter version of Ekind_In
* einfo.adb: Minor code reformatting (use Ekind_In)

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160887 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 08:42:42 +0000 (08:42 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Test_Ref): Abandon scan if access subprogram parameter

2010-06-17  Vincent Celier  <celier@adacore.com>

* back_end.adb: Minor comment updates
* switch-c.adb: Remove dependencies on gcc C sources
        * gcc-interface/Make-lang.in: Add a-comlin.o to the object file list
for the compiler.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160884 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Thu, 17 Jun 2010 08:34:17 +0000 (08:34 +0000)]
2010-06-17  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/stl_uninitialized.h (__uninitialized_default,
__uninitialized_default_n, __uninitialized_default_a,
__uninitialized_default_n_a): Add.

* include/bits/stl_uninitialized.h (uninitialized_copy,
uninitialized_fill, uninitialized_fill_n): Use __is_trivial
instead of __is_pod.
* include/bits/valarray_array.h: Likewise.
* include/bits/stl_algobase.h (__copy_move_backward_a,
__copy_move_a): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160882 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Ed Schonberg <schonberg@adacore.com>
charlet [Thu, 17 Jun 2010 07:42:04 +0000 (07:42 +0000)]
2010-06-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: propagate Pragma_Enabled flag to generic.
* get_scos.adb: Set C2 flag in decision entry of pragma to 'e' (enabled)
* par_sco.ads, par_sco.adb (Set_SCO_Pragma_Enabled): New procedure
Remove use of Node field in SCOs table
(Output_Header): Set 'd' to initially disable pragma entry
* put_scos.adb (Put_SCOs): New flag indicating if pragma is enabled
* scos.ads, scos.adb: Remove Node field from internal SCOs table.
Use C2 field of pragma decision header to indicate enabled.
* sem_prag.adb: Add calls to Set_SCO_Pragma_Enabled.
* gcc-interface/Make-lang.in: Update dependencies.

2010-06-17  Vincent Celier  <celier@adacore.com>

* back_end.adb (Next_Arg): Moved to procedure Scan_Compiler_Arguments
(Scan_Compiler_Arguments): Call Scan_Front_End_Switches with Next_Arg
(Switch_Subsequently_Cancelled): Function moved to the body of Switch.C
* back_end.ads (Scan_Front_End_Switches): Function moved to the body of
* switch-c.adb: Copied a number of global declarations from back_end.adb
(Len_Arg): New function copied from back_end.adb
(Switch_Subsequently_Cancelled): New function moved from back_end.adb
(Scan_Front_End_Switches): New parameter Arg_Rank used to call
* switch-c.ads (Scan_Front_End_Switches): New parameter Arg_Rank.
* gcc-interface/Makefile.in: Add line so that shared libgnat is linked
with -lexc on Tru64.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160878 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Manuel López-Ibáñez <manu@gcc.gnu.org>
manu [Thu, 17 Jun 2010 07:28:21 +0000 (07:28 +0000)]
2010-06-17  Manuel López-Ibáñez  <manu@gcc.gnu.org>

PR c++/44486
* error.c (dump_decl): Better wording for anonymous namespace.
* g++.dg/pr44486.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160877 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Robert Dewar <dewar@adacore.com>
charlet [Thu, 17 Jun 2010 07:18:19 +0000 (07:18 +0000)]
2010-06-17  Robert Dewar  <dewar@adacore.com>

* prj.ads, prj.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160876 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-17 Thomas Quinot <quinot@adacore.com>
charlet [Thu, 17 Jun 2010 07:11:13 +0000 (07:11 +0000)]
2010-06-17  Thomas Quinot  <quinot@adacore.com>

* put_scos.adb: Do not generate a blank line in SCOs when omitting the
CP line for a disabled pragma.

2010-06-17  Emmanuel Briot  <briot@adacore.com>

* prj-proc.adb, prj.adb, prj.ads (Check_Or_Set_Typed_Variable): New
(Process_Declarative_Item): An invalid value in an typed variable
declaration is no longer always fatal.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160875 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoDaily bump.
gccadmin [Thu, 17 Jun 2010 00:17:08 +0000 (00:17 +0000)]
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160869 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago* common.opt (-fstrict-volatile-bitfields): new.
dj [Wed, 16 Jun 2010 22:52:25 +0000 (22:52 +0000)]
* common.opt (-fstrict-volatile-bitfields): new.
* doc/invoke.texi: Document it.
* fold-const.c (optimize_bit_field_compare): For volatile
bitfields, use the field's type to determine the mode, not the
field's size.
* expr.c (expand_assignment): Likewise.
(get_inner_reference): Likewise.
(expand_expr_real_1): Likewise.
* expmed.c (store_fixed_bit_field): Likewise.
(extract_bit_field_1): Likewise.
(extract_fixed_bit_field): Likewise.

* gcc.target/i386/volatile-bitfields-1.c: New.
* gcc.target/i386/volatile-bitfields-2.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160865 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Richard Guenther <rguenther@suse.de>
rguenth [Wed, 16 Jun 2010 20:28:24 +0000 (20:28 +0000)]
2010-06-16  Richard Guenther  <rguenther@suse.de>

* tree-inline.c (remap_gimple_op_r): Recurse using

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160860 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agofix Wnoexcept typo
jason [Wed, 16 Jun 2010 20:21:17 +0000 (20:21 +0000)]
fix Wnoexcept typo

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160859 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoThis patch adds the end prologue and begin epilogue markers in Dwarf2
rupp [Wed, 16 Jun 2010 19:40:46 +0000 (19:40 +0000)]
This patch adds the end prologue and begin epilogue markers in Dwarf2
that are needed by the VMS debugger on I64.

* config/ia64/vms.h (ASM_OUTPUT_DWARF_DELTA_UNITS): Remove.
(ASM_OUTPUT_DWARF_VMS_DELTA: Define new macro.
* dbxout.c (gcc_debug_hooks): New entry begin_epilogue.
* debug.c: Likewise.
* sdbout.c: Likewise.
* vmsdbgout.c: Likewise.
* debug.h: Likewise. (dwarf2out_vms_{begin,end}_prologue): Declare.
* doc/tm.texi (ASM_OUTPUT_DWARF_VMS_DELTA): Document.
* dwarf2asm.c (dw2_asm_output_vms_delta): New function.
* dwarf2asm.h (dw2_asm_output_vms_delta): Declare.
* dwarf2out.c (dw_fde_struct): New fields
(dwarf2out_begin_prologue): Set dw_fde_struct defaults for above.
(dwarf2out_vms_end_prologue): New function.
(dwarf2out_vms_begin_epilogue): New function.
(dw_val_struct): New value dw_val_class_vms_delta.
(gcc_debug_hooks): New entry begin_epilogue. Set end_prologue,
begin_epilogue for VMS.
(AT_vms_delta1, AT_vms_delta2, add_AT_vms_delta): Declare
new static functions.
(dwarf_attr_name): New cases DW_AT_HP_{prologue,epilogue}.
(AT_vms_delta1, AT_vms_delta2, add_AT_vms_delta): New
static functions.
(print_die): New case dw_val_class_vms_delta.
(attr_checksum): Likewise.
(same_dw_val_p: Likewise.
(size_of_die): Likewise.
(value_format): Likewise.
(output_die): Likewise.
(gen_subprogram_die): Call add_AT_vms_delta on VMS.
(dwarf2out_begin_epilogue): Rename to dwarf2out_cfi_begin_epilogue
* dwarf2out.h (dwarf2out_begin_epilogue): Rename to
* final.c (final_scan_insn): Likewise. Call begin_epilogue.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160858 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/cris/cris-protos.h (cris_print_operand): Delete.
froydnj [Wed, 16 Jun 2010 18:10:06 +0000 (18:10 +0000)]
* config/cris/cris-protos.h (cris_print_operand): Delete.
(cris_print_operand_address): Delete.
* config/cris/cris.h (PRINT_OPERAND): Delete.
* config/cris/cris.c (cris_print_operand_address): Make static.
(cris_print_operand): Make static.
(cris_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160857 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * class.c (build_vtbl_initializer): Adjust computation of new_position
froydnj [Wed, 16 Jun 2010 18:07:09 +0000 (18:07 +0000)]
* class.c (build_vtbl_initializer): Adjust computation of new_position
and which entry to add padding for.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160856 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoadd missed ChangeLog for previous commit
froydnj [Wed, 16 Jun 2010 18:03:50 +0000 (18:03 +0000)]
add missed ChangeLog for previous commit

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160855 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/arm/arm-protos.h (arm_print_operand): Delete.
froydnj [Wed, 16 Jun 2010 18:02:58 +0000 (18:02 +0000)]
* config/arm/arm-protos.h (arm_print_operand): Delete.
(arm_print_operand_address): Delete.
* config/arm/arm.h (PRINT_OPERAND): Delete.
(THUMB_PRINT_OPERAND_ADDRESS): Delete and move code to...
* config/arm/arm.c (arm_print_operand_address): ...here.  New
(arm_print_operand): Make static.
(arm_print_operand_punct_valid_p): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160854 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoUpdate dependencies.
charlet [Wed, 16 Jun 2010 16:31:41 +0000 (16:31 +0000)]
Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160850 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * get_scos.adb, par_sco.adb, par_sco.ads, put_scos.adb, scos.adb,
charlet [Wed, 16 Jun 2010 16:30:48 +0000 (16:30 +0000)]
* get_scos.adb, par_sco.adb, par_sco.ads, put_scos.adb, scos.adb,
scos.ads, exp_ch4.adb, sem_warn.adb: Code clean up, update

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160849 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoComplete previous change.
charlet [Wed, 16 Jun 2010 16:24:42 +0000 (16:24 +0000)]
Complete previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160848 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Javier Miranda <miranda@adacore.com>
charlet [Wed, 16 Jun 2010 16:22:44 +0000 (16:22 +0000)]
2010-06-16  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Expand_Dispatching_Call): Adjust the decoration of the
node referenced by the SCIL node of dispatching "=" to skip the tags

2010-06-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Exit_Statement): Return if no enclosing loop,
to prevent cascaded errors and compilation aborts.

2010-06-16  Robert Dewar  <dewar@adacore.com>

* back_end.adb (Switch_Subsequently_Cancelled): New function
Move declarations to package body level to support this change
* back_end.ads (Switch_Subsequently_Cancelled): New function
* gnat_ugn.texi: Document -gnat-p switch
* switch-c.adb (Scan_Front_End_Switches): Implement -gnat-p switch
* ug_words: Add entry for -gnat-p (UNSUPPRESS_ALL)
* usage.adb: Add line for -gnat-p switch
* vms_data.ads: Add entry for UNSUPPRESS_ALL (-gnat-p)

2010-06-16  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Check_Infinite_Loop_Warning): Declaration counts as

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160847 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/rx/constraints.md (NEGint4): New constraint.
nickc [Wed, 16 Jun 2010 16:04:27 +0000 (16:04 +0000)]
    * config/rx/constraints.md (NEGint4): New constraint.
        * config/rx/rx.md (attr cc): Add set_zsc.
        (cbranchsf4): Only test for -fnon-call-exceptions if cfun has been
        (cmpsf): Likewise.
        (call_internal): Clobber the cc0 register.
        (call_value_internal): Likewise.
        (cstoresi4): Likewise.
        (movsieq): Likewise.
        (movsine): Likewise.
        (addsi3): Add alternative to handle small negative constants.
        (sunsi3): Likewise.
        (addsi3): Do not set the O bit in the cc0 register.
        (adddi3): Likewise.
        (subsi3): Likewise.
        (subdi3): Likewise.
        (andsi3): Reorder alternatives to prefer shorter forms.
        (mulsi3): Likewise.
        (iorsi3): Likewise.
        (negsi2): Note that the cc0 flags are set.
        (rotlsi3): Note that only the Z and S bits are set in cc0.
        (lshrsi3): Likewise.
        (ashlsi3): Likewise.
        (subsf3): Use %Q for the MEM operand.
        (fix_truncsfsi2): Likewise.
        (floatsisf2): Likewise.
        (bitset): Remove early clobber from destination.
        (bitset_in_memory): Likewise.
        (lrintsf2): Clobber the cc0 register.
        * config/rx/rx.c (rx_notice_update_cc):
        Handle CC_SET_ZSC.
        (rx_print_operand): Handle %N.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160846 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * df-core.c (df_compact_blocks): Free problem_temps vector.
hubicka [Wed, 16 Jun 2010 16:00:35 +0000 (16:00 +0000)]
* df-core.c (df_compact_blocks): Free problem_temps vector.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160845 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Robert Dewar <dewar@adacore.com>
charlet [Wed, 16 Jun 2010 15:53:09 +0000 (15:53 +0000)]
2010-06-16  Robert Dewar  <dewar@adacore.com>

* exp_disp.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160844 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 16 Jun 2010 15:47:23 +0000 (15:47 +0000)]
2010-06-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Complete_Private_Subtype): Inherit class_wide type from
base type only if it was not previously created for the partial view.

2010-06-16  Thomas Quinot  <quinot@adacore.com>

* tbuild.ads: Minor comment fix

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160843 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * c.opt: Add -Wnoexcept.
jason [Wed, 16 Jun 2010 15:45:36 +0000 (15:45 +0000)]
* c.opt: Add -Wnoexcept.
* except.c (check_noexcept_r): Return the problematic function.
(finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
* pt.c (tsubst_copy_and_build): Pass it.
* parser.c (cp_parser_unary_expression): Likewise.
* cp-tree.h: Adjust prototype.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160842 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * method.c (defaulted_late_check): Give the defaulted method
jason [Wed, 16 Jun 2010 15:45:22 +0000 (15:45 +0000)]
* method.c (defaulted_late_check): Give the defaulted method
the same exception specification as the implicit declaration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160841 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Richard Guenther <rguenther@suse.de>
rguenth [Wed, 16 Jun 2010 14:11:03 +0000 (14:11 +0000)]
2010-06-16  Richard Guenther  <rguenther@suse.de>

PR c/44555
* c-common.c (c_common_truthvalue_conversion): Remove
premature and wrong optimization concering ADDR_EXPRs.

* gcc.c-torture/execute/pr44555.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160836 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Janus Weil <janus@gcc.gnu.org>
janus [Wed, 16 Jun 2010 12:54:54 +0000 (12:54 +0000)]
2010-06-16  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44549
* gfortran.h (gfc_get_typebound_proc): Modified Prototype.
* decl.c (match_procedure_in_type): Give a unique gfc_typebound_proc
structure to each procedure in a procedure list.
* module.c (mio_typebound_proc): Add NULL argument to
* symbol.c (gfc_get_typebound_proc): Add a new argument, which is used
to initialize the new structure.

2010-06-16  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44549
* gfortran.dg/typebound_proc_16.f03: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160834 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Wed, 16 Jun 2010 12:26:24 +0000 (12:26 +0000)]
2010-06-16  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/stl_construct.h (_Construct): Change to variadic in
C++0x mode, consistently with allocator::construct.
* include/bits/stl_uninitialized.h (__uninitialized_copy_n): Use
(__uninitialized_construct_range): Move to...
* include/bits/stl_tempbuf.h (__uninitialized_construct_buf): ... here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160833 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Martin Jambor <mjambor@suse.cz>
jamborm [Wed, 16 Jun 2010 12:21:56 +0000 (12:21 +0000)]
2010-06-16  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/43905
* tree-sra.c: Include tree-inline.h.
(create_abstract_origin): Removed.
(modify_function): Version the call graph node instead of creating
abstract origins and dealing with same_body aliases.
* tree-sra.c (ipa_sra_preliminary_function_checks): Check whether the
function is versionable.
* Makefile.in (tree-sra.o): Add TREE_INLINE_H to dependencies.

* testsuite/g++.dg/torture/pr43905.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160832 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Mikael Pettersson <mikpe@it.uu.se>
rguenth [Wed, 16 Jun 2010 11:04:08 +0000 (11:04 +0000)]
2010-06-16  Mikael Pettersson  <mikpe@it.uu.se>

PR testsuite/44538
* gcc.dg/vect/slp-perm-5.c (main): Prevent
initialization loop from being vectorized.
* gcc.dg/vect/slp-perm-6.c (main): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160827 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/mips/linux64.h (BIONIC_DYNAMIC_LINKERN32): Define.
mkuvyrkov [Wed, 16 Jun 2010 08:08:18 +0000 (08:08 +0000)]
* config/mips/linux64.h (BIONIC_DYNAMIC_LINKERN32): Define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160824 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-16 Matthias Klose <doko@ubuntu.com>
doko [Wed, 16 Jun 2010 06:02:37 +0000 (06:02 +0000)]
2010-06-16  Matthias Klose  <doko@ubuntu.com>

        * src/compatibility.cc: Export long double versions of "C" math
        library for arm-linux-gnueabi, m68k-linux-gnu (ColdFire),
        mips*-linux-gnu (o32 ABI), sh*-linux-gnu (32 bit).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160823 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR tree-optimization/44507
amodra [Wed, 16 Jun 2010 04:22:36 +0000 (04:22 +0000)]
PR tree-optimization/44507
* gcc.dg/vect/pr44507.c (seeIf256ByteArrayIsConstant): Correct cast.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160821 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gcc-interface/trans.c (gnu_stack_free_list): Delete.
froydnj [Wed, 16 Jun 2010 03:46:12 +0000 (03:46 +0000)]
* gcc-interface/trans.c (gnu_stack_free_list): Delete.
(gnu_except_ptr_stack): Change type to VEC.  Update comment.
(gnu_elab_proc_stack): Likewise.
(gnu_return_label_stack): Likewise.
(gnu_loop_label_stack): Likewise.
(gnu_switch_label_stack): Likewise.
(gnu_constraint_label_stack): Likewise.
(gnu_storage_error_label_stack): Likewise.
(gnu_program_error_label_stack): Likewise.
(push_exception_label_stack): Take a VEC ** instead of a tree *.
(push_stack): Likewise.  Remove unused second parameter.  Update
(pop_stack): Take a VEC * instead of a tree *.  Update callers.
(gigi): Initialize stacks as VECs.
(Identifier_to_gnu): Use VEC_last instead of TREE_VALUE.
(Case_Statement_to_gnu): Likewise.
(Subprogram_Body_to_gnu): Likewise.
(call_to_gnu): Likewise.
(Exception_Handler_to_gnu_sjlj): Likewise.
(gnat_to_gnu): Likewise.
(get_exception_label): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160820 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoDaily bump.
gccadmin [Wed, 16 Jun 2010 00:17:36 +0000 (00:17 +0000)]
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160818 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * g++.dg/overload/arg3.C: Adjust error locations.
jason [Tue, 15 Jun 2010 21:45:49 +0000 (21:45 +0000)]
* g++.dg/overload/arg3.C: Adjust error locations.
* g++.dg/overload/copy1.C: Likewise.
* g++.dg/tc1/dr152.C: Likewise.
* g++.dg/template/incomplete4.C: Likewise.
* g++.dg/template/incomplete5.C: Likewise.
* g++.old-deja/g++.bob/inherit2.C: Likewise.
* g++.old-deja/g++.pt/auto_ptr.C: Likewise.
* g++.old-deja/g++.pt/crash9.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160814 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/i386/i386.c (*prefetch_sse_<mode>): Macroize insn from
uros [Tue, 15 Jun 2010 21:14:48 +0000 (21:14 +0000)]
* config/i386/i386.c (*prefetch_sse_<mode>):  Macroize insn from
*prefetch_sse and *prefetch_sse_rex using P mode iterator.
(*prefetch_3dnow_<mode>): Ditto from *prefetch_3dnow and

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160813 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * testsuite/lib/libstdc++.exp: Set additional_prunes.
jason [Tue, 15 Jun 2010 21:05:22 +0000 (21:05 +0000)]
* testsuite/lib/libstdc++.exp: Set additional_prunes.
(libstdc++-dg-test): Don't prune here.
* testsuite/lib/prune.exp (dg-prune-output): New.
(libstdc++-dg-prune): Rename from prune_g++_output.
Add a bunch of prunes from gcc's prune.exp.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160812 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * target.h (struct asm_out):Add declare_constant_name field.
aesok [Tue, 15 Jun 2010 21:01:57 +0000 (21:01 +0000)]
* target.h (struct asm_out):Add declare_constant_name field.
* target-def.h (TARGET_ASM_DECLARE_CONSTANT_NAME): Define.
* output.h (default_asm_declare_constant_name): Declare.
(assemble_label): Update prototype.
* varasm.c (assemble_constant_contents): Use
targetm.asm_out.declare_constant_name target hook.
(assemble_label): Add 'file' argument.
(default_asm_declare_constant_name): New function.
* system.h (ASM_DECLARE_CONSTANT_NAME): Poison.
* doc/tm.texi (ASM_DECLARE_CONSTANT_NAME): Remove.

* config/darwin-protos.h (darwin_asm_declare_constant_name): Declare.
* config/darwin.c (darwin_asm_declare_constant_name): New function.
(machopic_output_indirection): Update assemble_label argument list.
* config/darwin.h (ASM_DECLARE_CONSTANT_NAME): Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160811 138bc75d-0d04-0410-961f-82ee72b054a4