rguenth [Fri, 10 Jul 2009 11:45:40 +0000 (11:45 +0000)]
2009-07-10 Richard Guenther <rguenther@suse.de>
PR tree-optimization/40496
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
the PHI result with a compatible type.
* g++.dg/opt/pr40496.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149469
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:43:01 +0000 (09:43 +0000)]
2009-07-10 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Minor code reorganization (use N_Short_Circuit)
* exp_ch4.adb: Add ??? comment for conditional expressions on limited
types.
* checks.adb (In_Declarative_Region_Of_Subprogram_Body): New procedure,
replaces Safe_To_Capture_In_Parameter_Value, and properly handles the
case of conditional expressions that may not be elaborated.
* sem_util.adb (Safe_To_Capture_Value): Properly handle case of
conditional expression where we may not execute then then or else
branches.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149468
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:36:00 +0000 (09:36 +0000)]
2009-07-10 Arnaud Charlet <charlet@adacore.com>
* i-cexten.ads (bool): New type.
2009-07-10 Robert Dewar <dewar@adacore.com>
* sinfo.ads (N_Short_Circuit): New definition
* sem_ch13.adb, sem_ch6.adb, sem_eval.adb, sem_res.adb,
treepr.adb: Minor code reorganization (use N_Short_Circuit)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149467
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:30:44 +0000 (09:30 +0000)]
2009-07-10 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Expand_Freeze_Record_Type): Handle constructors of
non-tagged record types.
* sem_prag.adb
(Process_Import_Or_Interface): Allow the use of "pragma Import (CPP,..)"
with non-tagged types. Required to import C++ classes that have no
virtual primitives.
(Analyze_Pragma): For pragma CPP_Constructor. Allow the use of functions
returning non-tagged types. For backward compatibility, if the
constructor returns a class wide type we internally change the
returned type to the corresponding non class-wide type.
* sem_aggr.adb
(Valid_Ancestor_Type): CPP_Constructors code cleanup.
(Resolve_Extension_Aggregate): CPP_Constructors code cleanup.
(Resolve_Aggr_Expr): CPP_Constructors code cleanup.
(Resolve_Record_Aggregate): CPP_Constructors code cleanup.
* sem_ch3.adb
(Analyze_Object_Declaration): CPP_Constructors code cleanup.
* sem_ch5.adb (Analyze_Assignment): CPP_Constructors code cleanup.
* sem_util.adb (Is_CPP_Constructor_Call): Code cleanup.
* sem_res.adb (Resolve_Allocator): CPP_Constructors code cleanup.
* exp_ch4.adb (Expand_Allocator_Expression): CPP_Constructors code
cleanup.
* exp_aggr.adb (Build_Record_Aggr_Code): CPP_Constructors code clean up.
* gnat_rm.texi
(pragma CPP_Class): Document that it can be used now with non-tagged
record types.
(pragma CPP_Constructor): Document that it can be used now with
functions returning specific types. For backward compatibility
we also support functions returning class-wide types.
* gnat_ugn.texi
(Interfacing with C++ constructors): Update the examples to incorporate
the new syntax in which the functions used to import C++ constructors
return specific types.
(Interfacing with C++ at the Class Level): Update the examples to
incorporate the new syntax in which the functions used to import
C++ constructors return specific types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149466
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:21:34 +0000 (09:21 +0000)]
2009-07-10 Thomas Quinot <quinot@adacore.com>
* exp_disp.adb (Make_Disp_Asynchronous_Select_Body,
Make_Disp_Conditional_Select_Body,
Make_Disp_Timed_Select_Body): For the case of a type that is neither an
interface nor a concurrent type, the primitive body is empty. Generate
a null statement so that it remains well formed.
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Build_Record_Aggr_Code): If the type has discriminants,
replace references to them in defaulted component expressions with
references to the values of the discriminants of the target object.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149465
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:13:36 +0000 (09:13 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* exp_ch7.adb (Build_Final_List): If the list is being built for a
Taft-Amendment type, place the finalization list in the package body,
to ensure that the tree for the spec is identical whenever it is
compiled.
2009-07-10 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): Use the full-view when
inheriting attributes from a private Parent_Base.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149464
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:11:16 +0000 (09:11 +0000)]
2009-07-10 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Raise_Accessibility_Error): New procedure
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149463
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:57 +0000 (09:10 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb (analyze_raise_xxx_error): Remove consecutive raise
statements with the same condition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149462
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:43 +0000 (09:10 +0000)]
2009-07-10 Javier Miranda <miranda@adacore.com>
* exp_util.adb (Find_Interface_Tag): Reorder processing of incoming
Typ argument to ensure proper management of access types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149461
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:20 +0000 (09:10 +0000)]
2009-07-10 Vincent Celier <celier@adacore.com>
* make.adb: Do not include object directories or library ALI
directories of library projects in the object path.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149460
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:09:59 +0000 (09:09 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze pragma, case Task_Name): Analyze argument of
pragma, to capture global references if the context is generic.
* exp_ch2.adb (Expand_Discriminant): If a task type discriminant
appears within the initialization procedure for the corresponding
record, replace it with the proper discriminal.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149459
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Fri, 10 Jul 2009 07:27:32 +0000 (07:27 +0000)]
2009-07-10 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR 25509
PR 40614
* c.opt (Wunused-result): New.
* doc/invoke.texi: Document it.
* c-common.c (c_warn_unused_result): Use it.
testsuite/
* g++.dg/warn/unused-result1-Werror.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149458
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 05:03:01 +0000 (05:03 +0000)]
* targhooks.c (default_target_can_inline_p): Rename from
default_target_option_can_inline_p.
* targhooks.h (default_target_can_inline_p): Likewise.
* target-def.h (TARGET_CAN_INLINE_P): Rename from
TARGET_OPTION_CAN_INLINE_P.
* config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
* config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
(mep_target_can_inline_p): Rename from
mep_target_option_can_inline_p.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149457
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Fri, 10 Jul 2009 04:37:19 +0000 (04:37 +0000)]
2009-07-10 Paul Thomas <pault@gcc.gnu.org>
PR fortran/39334
* primary.c (match_kind_param): Return MATCH_NO if the symbol
has no value.
2009-07-10 Paul Thomas <pault@gcc.gnu.org>
PR fortran/39334
* gfortran.dg/recursive_parameter_1.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149456
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 01:31:45 +0000 (01:31 +0000)]
* config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
registers used to pass vectors.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149455
138bc75d-0d04-0410-961f-
82ee72b054a4
kargl [Fri, 10 Jul 2009 00:36:20 +0000 (00:36 +0000)]
2009-07-09 Steven G. Kargl <kargl@gcc.gnu.org>
* gfortran.dg/c_kind_tests_2.f03: clean-up leftover module(s).
* gfortran.dg/module_equivalence_6.f90: Ditto.
* gfortran.dg/alloc_comp_auto_array_2.f90: Ditto.
* gfortran.dg/nan_2.f90: Ditto.
* gfortran.dg/inquire_11.f90: Ditto.
* gfortran.dg/abstract_type_3.f03: Ditto.
* gfortran.dg/abstract_type_1.f90: Ditto.
* gfortran.dg/private_type_9.f90: Ditto.
* gfortran.dg/abstract_type_5.f03: Ditto.
* gfortran.dg/elemental_subroutine_6.f90: Ditto.
* gfortran.dg/derived_comp_array_ref_3.f90: Ditto.
* gfortran.dg/derived_sub.f90: Ditto.
* gfortran.dg/missing_optional_dummy_5.f90: Ditto.
* gfortran.dg/bounds_check_fail_2.f90: Ditto.
* gfortran.dg/maxloc_bounds_6.f90: Ditto.
* gfortran.dg/mvbits_6.f90: Ditto.
* gfortran.dg/abstract_type_2.f03: Ditto.
* gfortran.dg/abstract_type_4.f03: Ditto.
* gfortran.dg/bounds_check_9.f90: Ditto.
* gfortran.dg/optional_dim_3.f90: Ditto.
* gfortran.dg/pr32921.f: Ditto.
* gfortran.dg/entry_16.f90: Ditto.
* gfortran.dg/generic_16.f90: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149454
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 00:27:25 +0000 (00:27 +0000)]
* config/mep/mep.c (mep_option_can_inline_p): Remove error call.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149453
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Fri, 10 Jul 2009 00:16:51 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149452
138bc75d-0d04-0410-961f-
82ee72b054a4
simartin [Thu, 9 Jul 2009 21:57:54 +0000 (21:57 +0000)]
gcc/cp/
2008-07-08 Simon Martin <simartin@users.sourceforge.net>
Jason Merrill <jason@redhat.com>
* pt.c (perform_typedefs_access_check, get_types_needing_access_check,
append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149439
138bc75d-0d04-0410-961f-
82ee72b054a4
tromey [Thu, 9 Jul 2009 20:16:56 +0000 (20:16 +0000)]
2009-07-09 Jakub Jelinek <jakub@redhat.com>
* dwarf2.h (enum dwarf_location_atom): Add DW_OP_implicit_value
and DW_OP_stack_value.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149438
138bc75d-0d04-0410-961f-
82ee72b054a4
tromey [Thu, 9 Jul 2009 19:41:25 +0000 (19:41 +0000)]
gcc
* unwind-dw2-fde-darwin.c: Include dwarf2.h.
* config/mmix/mmix.c: Include dwarf2.h.
* config/rs6000/darwin-fallback.c: Include dwarf2.h.
* config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
* config/sh/sh.c: Include dwarf2.h.
* config/i386/i386.c: Include dwarf2.h.
* Makefile.in (DWARF2_H): Remove 'elf'.
* except.c: Include dwarf2.h.
* unwind-dw2.c: Include dwarf2.h.
* dwarf2out.c: Include dwarf2.h.
* unwind-dw2-fde-glibc.c: Include dwarf2.h.
* unwind-dw2-fde.c: Include dwarf2.h.
* dwarf2asm.c: Include dwarf2.h.
gcc/ada
* raise-gcc.c: Include dwarf2h (unconditionally).
include
* elf/dwarf2.h: Remove, renaming to...
* dwarf2.h: ... this.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149433
138bc75d-0d04-0410-961f-
82ee72b054a4
mkuvyrkov [Thu, 9 Jul 2009 18:15:22 +0000 (18:15 +0000)]
* haifa-sched.c (insn_finishes_cycle_p): New static function.
(max_issue): Use it.
* sched-int.h (struct sched_info: insn_finishes_block_p): New
scheduler hook.
* sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
(region_sched_info): Update.
* sched-ebb.c (ebb_sched_info): Update.
* modulo-sched.c (sms_sched_info): Update.
* sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149427
138bc75d-0d04-0410-961f-
82ee72b054a4
mkuvyrkov [Thu, 9 Jul 2009 18:09:23 +0000 (18:09 +0000)]
* varasm.c (build_constant_desc): Don't share RTL in pool entries.
* gcc.target/m68k/
20090709-1.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149426
138bc75d-0d04-0410-961f-
82ee72b054a4
bstarynk [Thu, 9 Jul 2009 17:57:14 +0000 (17:57 +0000)]
2009-07-09 Basile Starynkevitch <basile@starynkevitch.net>
* gcc/plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149424
138bc75d-0d04-0410-961f-
82ee72b054a4
dodji [Thu, 9 Jul 2009 17:56:44 +0000 (17:56 +0000)]
2009-07-09 Dodji Seketeli <dodji@redhat.com>
gcc/cp/ChangeLog:
PR c++/40684
* pt.c (type_unification_real): Use tsubst_template_arg instead
of tsubst to substitute default template arguments.
gcc/testsuite/ChangeLog:
PR c++/40684
* g++.dg/template/unify11.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149423
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Thu, 9 Jul 2009 16:48:50 +0000 (16:48 +0000)]
2008-07-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40629
* resolve.c (check_host_association): Use the existing
accessible symtree and treat function expressions with
symbols that have procedure flavor.
2008-07-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40629
* gfortran.dg/host_assoc_function_9.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149422
138bc75d-0d04-0410-961f-
82ee72b054a4
janis [Thu, 9 Jul 2009 16:45:47 +0000 (16:45 +0000)]
Fix typos in previous ChangeLog entry
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149421
138bc75d-0d04-0410-961f-
82ee72b054a4
janus [Thu, 9 Jul 2009 14:07:03 +0000 (14:07 +0000)]
2009-07-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/40646
* dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
* expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
(gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
(replace_comp,gfc_expr_replace_comp): New functions, analogous
to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
instead of symbols.
* gfortran.h (gfc_expr_replace_comp): New prototype.
(is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
* interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
* match.c (gfc_match_pointer_assignment): Ditto.
* primary.c (gfc_match_varspec): Handle array-valued procedure pointers
and procedure pointer components. Renamed 'is_proc_ptr_comp'.
* resolve.c (resolve_fl_derived): Correctly handle interfaces with
RESULT statement, and handle array-valued procedure pointer components.
(resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
'is_proc_ptr_comp'.
* trans-array.c (gfc_walk_function_expr): Ditto.
* trans-decl.c (gfc_get_symbol_decl): Security check for presence of
ns->proc_name.
* trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
pointer components. Renamed 'is_proc_ptr_comp'.
(conv_function_val,gfc_trans_arrayfunc_assign): Renamed
'is_proc_ptr_comp'.
(gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
make a copy of it.
* trans-io.c (gfc_trans_transfer): Handle array-valued procedure
pointer components.
2009-07-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/40646
* gfortran.dg/proc_ptr_22.f90: New.
* gfortran.dg/proc_ptr_comp_12.f90: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149419
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Thu, 9 Jul 2009 11:19:22 +0000 (11:19 +0000)]
PR middle-end/40692
* fold-const.c (fold_cond_expr_with_comparison): Don't replace
arg1 with arg01 if arg1 is already INTEGER_CST.
* gcc.c-torture/compile/pr40692.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149418
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 11:03:25 +0000 (11:03 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Install_Context): If the unit is a package body,
install the private with_clauses of the corresponding package
declaration.
2009-07-09 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* ug_words, gnat_ugn.texi: Move VMS equivalents of the last check in
into ug_words.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address):
Do not warn for a constant overlaying any constant object
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149417
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:59:19 +0000 (10:59 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Install_Context): If the unit is a package body,
install the private with_clauses of the corresponding package
declaration.
2009-07-09 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* ug_words, gnat_ugn.texi: Move VMS equivalents of the last check in
into ug_words.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address):
Do not warn for a constant overlaying any constant object
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149416
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:32:08 +0000 (10:32 +0000)]
2009-07-09 Thomas Quinot <quinot@adacore.com>
* g-socket.adb (Check_Selector): Do not create local copies of the
socket sets on the stack.
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* gnat_ugn.texi: Add missing VMS translations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149414
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:29:09 +0000 (10:29 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Precondition): Do not analyze the
condition, to prevent generation of visible code during expansion,
when Check is not enabled.
2009-07-09 Gary Dismukes <dismukes@adacore.com>
* checks.adb (Install_Static_Check): Call Possible_Local_Raise so that
the check gets registered for any available local handler
(Set_Local_Raise).
* sem_util.adb: Add with and use of Exp_Ch11.
(Apply_Compile_Time_Constraint_Error): Call Possible_Local_Raise so
that the check gets registered for any available local handler.
* exp_ch4.adb (Expand_N_Slice): Remove call to Enable_Range_Check
on slice ranges.
2009-07-09 Steve Baird <baird@adacore.com>
* exp_ch11.adb (Force_Static_Allocation_Of_Referenced_Objects): New
function.
(Expand_N_Exception_Declaration): Fix handling of exceptions
declared in a subprogram.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149413
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:22:49 +0000 (10:22 +0000)]
2009-07-09 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Find_Sources): Avoid error messages from gprbuild from
multi-unit files.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* freeze.adb: Minor reformatting
* exp_ch3.adb: Minor comment fix.
* sinfo.ads: Minor comment fix
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Conditional_Expression): Set Related_Expression.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149411
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:17:40 +0000 (10:17 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Expression): If the expression is the name of a
function in a call, and the function has not been frozen yet, create
extra formals for it to ensure that the proper actuals are created
when expanding the call.
2009-07-09 Emmanuel Briot <briot@adacore.com>
* prj-pp.adb (Print): Fix handling of source index when set on a
declaration node.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149408
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:14:30 +0000 (10:14 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb: New attribute Related_Expression, used to link
a temporary to the source expression whose value it captures.
* exp_util.adb (Remove_Side_Effects): Set Related_Expression as needed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149406
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Thu, 9 Jul 2009 09:42:34 +0000 (09:42 +0000)]
2009-07-09 Tobias Burnus <burnus@net-b.de>
PR fortran/40604
* intrinsic.c (gfc_convert_type_warn): Set sym->result.
* trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
for optional arguments.
2009-07-09 Tobias Burnus <burnus@net-b.de>
PR fortran/40604
* gfortran.dg/pointer_check_6.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149405
138bc75d-0d04-0410-961f-
82ee72b054a4
nemet [Thu, 9 Jul 2009 05:43:56 +0000 (05:43 +0000)]
* simplify-rtx.c (simplify_binary_operation_1) <AND>: Transform (and
(truncate)) into (truncate (and)).
testsuite/
* gcc.target/mips/truncate-5.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149402
138bc75d-0d04-0410-961f-
82ee72b054a4
nemet [Thu, 9 Jul 2009 05:32:21 +0000 (05:32 +0000)]
* combine.c (make_extraction): Check TRULY_NOOP_TRUNCATION before
creating LHS paradoxical subregs. Fix surrounding returns to
use NULL_RTX rather than 0.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149401
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Thu, 9 Jul 2009 02:22:37 +0000 (02:22 +0000)]
* config/mep/mep.c: (mep_option_can_inline_p): New.
(TARGET_OPTION_CAN_INLINE_P): Define.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149400
138bc75d-0d04-0410-961f-
82ee72b054a4
jvdelisle [Thu, 9 Jul 2009 01:54:47 +0000 (01:54 +0000)]
2009-07-08 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/40330
PR libfortran/40662
* gfortran.dg/fmt_cache_1.f: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149399
138bc75d-0d04-0410-961f-
82ee72b054a4
jvdelisle [Thu, 9 Jul 2009 01:20:23 +0000 (01:20 +0000)]
2009-07-08 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/40330
PR libfortran/40662
* io/io.h (st_parameter_dt): Define format_not_saved bit used to signal
whether the parsed format data was previously saved. Used to determine
if the current format data should be freed or not.
* io/transfer.c (st_read_done): Use the format_not_saved bit.
(st_write_done): Likewise.
* io/format.c (parse_format_list): Add boolean pointer to arg list. This
pointer is used to return status to the caller regarding whether it is
safe to cache the parsed format data. Currently, if a FMT_STRING token
is encounetered, it is not safe to cache. Also, added a local boolean
variable to hold this information as recursive calls to
parse_format_list are made. Remove previous save_format logic.
(parse_format): Do not use the format caching facility if the current
unit is an internal unit or if it is not safe to save parsed format
data.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149398
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Thu, 9 Jul 2009 00:16:39 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149396
138bc75d-0d04-0410-961f-
82ee72b054a4
janis [Wed, 8 Jul 2009 22:26:50 +0000 (22:26 +0000)]
PR libstdc++/40691
* include/bugs/valarray-after.h (_Expr::operator!): Fix return type.
* testsuite/26_numerics/valarray/40691.cc: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149393
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Wed, 8 Jul 2009 19:34:49 +0000 (19:34 +0000)]
2009-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/40675
* simplify.c (gfc_simplify_sign): Handle signed zero correctly.
* trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
-fno-sign-zero.
* invoke.texi (-fno-sign-zero): Add text regarding SIGN
* intrinsic.
2009-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/40675
* gfortran.dg/nosigned_zero_1.f90: New test.
* gfortran.dg/nosigned_zero_2.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149390
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Wed, 8 Jul 2009 19:00:17 +0000 (19:00 +0000)]
2008-07-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40683
* gfortran.dg/proc_ptr_21.f90: Initialize 'i'.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149383
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Wed, 8 Jul 2009 18:24:07 +0000 (18:24 +0000)]
Fix nits
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149378
138bc75d-0d04-0410-961f-
82ee72b054a4
mark [Wed, 8 Jul 2009 18:07:47 +0000 (18:07 +0000)]
2009-07-08 Mark Wielaard <mjw@redhat.com>
PR debug/40659
* dwarf2out.c (add_data_member_location_attribute): When we have
only a constant offset don't emit a new location description using
DW_OP_plus_uconst, but just add the constant with add_AT_int, when
dwarf_version > 2.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149377
138bc75d-0d04-0410-961f-
82ee72b054a4
rth [Wed, 8 Jul 2009 16:41:23 +0000 (16:41 +0000)]
PR target/38900
* config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move to i386.c.
(enum reg_class): Add CLOBBERED_REGS.
(REG_CLASS_NAMES, REG_CLASS_CONTENTS): Likewise.
* config/i386/i386.c (ix86_conditional_register_usage): Moved
from CONDITIONAL_REGISTER_USAGE; build CLOBBERED_REGS for 64-bit.
(ix86_function_ok_for_sibcall): Tidy. Disallow MS->SYSV sibcalls.
(ix86_expand_call): Use sibcall_insn_operand when needed. Don't
force 64-bit sibcalls into R11.
* config/i386/constraints.md (U): New constraint.
* config/i386/i386.md (sibcall_1, sibcall_value_1): Use it.
(sibcall_1_rex64, sibcall_value_1_rex64): Likewise.
(sibcall_1_rex64_v, sibcall_value_1_rex64_v): Remove.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149373
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Wed, 8 Jul 2009 12:58:36 +0000 (12:58 +0000)]
2009-07-08 Richard Guenther <rguenther@suse.de>
* gcc.dg/torture/ssa-pta-fn-1.c: Fix invalid testcase again.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149368
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Wed, 8 Jul 2009 12:41:59 +0000 (12:41 +0000)]
2009-07-08 Richard Guenther <rguenther@suse.de>
* gcc.dg/torture/ssa-pta-fn-1.c: Fix invalid testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149367
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Wed, 8 Jul 2009 11:35:18 +0000 (11:35 +0000)]
2009-07-08 Shujing Zhao <pearly.zhao@oracle.com>
* basic-block.h (dump_regset, debug_regset): Remove duplicate
prototypes.
* c-objc-common.h (c_initialize_diagnostics): Ditto.
* ebitmap.h (dump_ebitmap): Ditto.
* optabs.h (optab_libfunc): Ditto.
* tree.h (tree_expr_nonzero_warnv_p): Ditto.
* tree-flow.h (vect_can_force_dr_alignment_p,
get_vectype_for_scalar_type): Ditto.
(vectorize_loops): Move prototype to ...
* tree-vectorizer.h: ... here. Also, adjust comment.
(vect_set_verbosity_level): Remove duplicate prototype.
* tree-ssa-loop.c: Include tree-vectorizer.h.
* Makefile.in (tree-ssa-loop.o): Depend on tree-vectorizer.h.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149364
138bc75d-0d04-0410-961f-
82ee72b054a4
nickc [Wed, 8 Jul 2009 09:43:51 +0000 (09:43 +0000)]
* config/i386/unix.h (ASM_COMMENT_START): Add a space after the
forward slash.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149363
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Wed, 8 Jul 2009 04:38:06 +0000 (04:38 +0000)]
2008-07-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40591
* decl.c (match_procedure_interface): Correct the association
or creation of the interface procedure's symbol.
2008-07-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40591
* gfortran.dg/proc_ptr_21.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149362
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Wed, 8 Jul 2009 04:19:16 +0000 (04:19 +0000)]
* config/mep/mep-ivc2.cpu (cpmovtocsar0_C3, cpmovtocsar1_C3,
cpmovtocc_C3, cpmovtocsar0_P0S_P1, cpmovtocsar1_P0S_P1,
cpmovtocc_P0S_P1): Mark volatile. Note which registers are
written to.
* config/mep/intrinsics.md: Regenerated.
* config/mep/mep.c (mep_interrupt_saved_reg): Save IVC2 control
registers when asm() or calls are detected.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149361
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Wed, 8 Jul 2009 00:16:42 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149357
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 22:18:35 +0000 (22:18 +0000)]
2009-07-08 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR c++/31246
* gimplify.c (gimplify_expr): Propagate no_warning flag when
gimplifying.
* gimple (gimple_build_call_from_tree): Likewise.
* tree-cfg.c (remove_useless_stmts_warn_notreached): Check
no_warning flag before warning.
cp/
* init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
code.
* cp-gimplify.c (genericize_eh_spec_block): Likewise.
testsuite/
* g++.dg/warn/pr31246.C: New.
* g++.dg/warn/pr31246-2.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149354
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Tue, 7 Jul 2009 22:03:42 +0000 (22:03 +0000)]
PR c++/35828
* pt.c (tsubst_decl): Don't abort if we didn't change anything
in a TEMPLATE_DECL's args.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149351
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 21:52:01 +0000 (21:52 +0000)]
2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
* tree.c (set_expr_locus): Remove.
* tree.h (EXPR_LOCUS,SET_EXPR_LOCUS,set_expr_locus): Remove.
* c-typeck.c (c_finish_stmt_expr): Replace EXPR_LOCUS by
EXPR_LOCATION.
* gimplify.c (internal_get_tmp_var): Likewise.
(gimplify_call_expr): Likewise.
(gimplify_one_sizepos): Likewise.
objc/
* objc-act.c (next_sjlj_build_catch_list): Replace EXPR_LOCUS by
EXPR_LOCATION.
cp/
* semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
EXPR_LOCATION.
ada/
* gcc-interface/trans.c (gnat_gimplify_expr): Replace EXPR_LOCUS by
EXPR_LOCATION.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149350
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Tue, 7 Jul 2009 20:46:06 +0000 (20:46 +0000)]
PR debug/40666
* dbxout.c (dbxout_symbol) <PARM_DECL>: Deal with parameters pointing
to variables for debugging purposes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149346
138bc75d-0d04-0410-961f-
82ee72b054a4
rwild [Tue, 7 Jul 2009 19:57:15 +0000 (19:57 +0000)]
gcc/
2009-06-23 Mark Loeser <mark@halcy0n.com>
PR build/40010
* Makefile.in (gcc.pod): Depend on gcc-vers.texi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149345
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Tue, 7 Jul 2009 17:55:26 +0000 (17:55 +0000)]
PR c++/37816
* decl.c (build_enumerator): Don't add enumerators for a
scoped enum to the enclosing class.
PR c++/40639
* decl.c (start_enum): Allow dependent underlying type.
PR c++/40633
* decl.c (finish_enum): Finish scope even in a template.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149341
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 15:29:12 +0000 (15:29 +0000)]
2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
* pretty-print.c (pp_base_format): Remove %J.
* c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
gcc_cxxdiag_char_table): Likewise.
(init_dynamic_diag_info): Likewise.
testsuite/
* gcc.dg/format/gcc_diag-1.c: Remove tests for %J.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149334
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 15:23:46 +0000 (15:23 +0000)]
2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
* pretty-print.c (pp_base_format): Remove %H.
* c-format.c (gcc_diag_char_table, gcc_tdiag_char_table,
gcc_cxxdiag_char_table): Likewise.
(init_dynamic_diag_info): Likewise.
* config/mep/mep.c (mep_select_section): Likewise.
testsuite/
* gcc.dg/format/gcc_diag-1.c: Remove tests for %H.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149333
138bc75d-0d04-0410-961f-
82ee72b054a4
baldrick [Tue, 7 Jul 2009 14:52:01 +0000 (14:52 +0000)]
Give names to some currently nameless passes (this
is useful for referring to them from plugins).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149331
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Tue, 7 Jul 2009 14:25:58 +0000 (14:25 +0000)]
2009-07-07 H.J. Lu <hongjiu.lu@intel.com>
* config/ia64/ia64.c (ia64_handle_model_attribute): Remove
an extra 'decl' for error_at.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149330
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 13:38:45 +0000 (13:38 +0000)]
2009-07-07 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Actuals): Call Add_Call_By_Copy_Code for in out
parameters when the subtype of the actual is not known to be a subrange
of the formal's subtype.
(Expand_Call): Generate a range check only in the E_In_parameter case
(in out parameter range checks are now handled in Expand_Actuals).
* exp_ch4.adb (Expand_N_Slice): Restore code that calls
Enable_Range_Check.
2009-07-07 Robert Dewar <dewar@adacore.com>
* a-stwise.adb, a-stzsea.adb, a-strsea.adb: Add comments
2009-07-07 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Expand_Interface_Conversion): Handle access type whose
designated type comes from a limited views.
2009-07-07 Emmanuel Briot <briot@adacore.com>
* prj.ads, prj-nmsc.adb (Mark_Excluded_Sources): Fix handling of
locally removed files that are later made visible again in an importing
project.
2009-07-07 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Clarify documentation of Stream_Convert pragma
2009-07-07 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Add an example to the description of gnatcheck
'Style_Checks' rule option.
2009-07-07 Tristan Gingold <gingold@adacore.com>
* seh_init.c: Fix inline assembly statement in seh_init.c
2009-07-07 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Check_References): Do not emit warnings on formals of
an entry body. Only the formals of the entry declaration are traced.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149328
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 13:22:34 +0000 (13:22 +0000)]
2009-07-07 Robert Dewar <dewar@adacore.com>
* s-osprim-mingw.adb: Minor reformatting
Minor code reorganization
* a-stzsea.adb, a-stwise.adb, a-strsea.adb (Index): Redo previous change
(Ind should be Integer).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149327
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 13:17:29 +0000 (13:17 +0000)]
2009-07-07 Robert Dewar <dewar@adacore.com>
* prj-nmsc.adb: Minor reformatting
2009-07-07 Pascal Obry <obry@adacore.com>
* a-stwise.adb, a-stzsea.adb, a-strsea.adb (Index): properly handle
cases where Pattern is longer than Source.
2009-07-07 Pascal Obry <obry@adacore.com>
* s-osprim-mingw.adb (Get_Base_Time): Avoid infinite loop.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149326
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 13:12:32 +0000 (13:12 +0000)]
2009-07-07 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Process_Naming): canonicalize file suffixes read in the
project file.
2009-07-07 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Expand_Freeze_Record_Type): Add extra formals to
primitive operations, in case one of them is called in the
initialization procedure for the type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149325
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 12:42:43 +0000 (12:42 +0000)]
2009-07-07 Robert Dewar <dewar@adacore.com>
* a-calend.adb: Minor code reorganization (use conditional expressions)
* s-stusta.ads, s-interr-hwint.adb, g-expect-vms.adb, s-secsta.ads,
prj-nmsc.adb, a-teioed.adb, output.ads, prj-attr.ads, a-textio.adb,
s-taskin.ads, scans.ads, s-osinte-vms.adb, s-taprop-solaris.adb,
s-tpopsp-posix-foreign.adb, s-trafor-default.adb, gnat1drv.adb,
s-stchop-vxworks.adb, s-tpopsp-posix.adb, prj-env.adb, prj-env.ads,
g-comlin.adb, exp_ch11.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149320
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Tue, 7 Jul 2009 12:18:38 +0000 (12:18 +0000)]
PR middle-end/40669
* tree-tailcall.c (adjust_return_value_with_ops,
create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
if it has complex or vector type.
* gcc.dg/pr40669.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149319
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 10:52:14 +0000 (10:52 +0000)]
2009-07-07 Gary Dismukes <dismukes@adacore.com>
* checks.adb (Generate_Range_Check): Replace type conversions with
unchecked conversions to support the case of performing range checks
on Enum'Val (permits integer values to be converted to enumeration).
* exp_attr.adb (Expand_N_Attribute_Reference, cases Attribute_Pred,
Attribute_Succ): Set Do_Range_Check to False before calling
Expand_Pred_Succ, to prevent gigi from generating any range checks.
(Expand_N_Attribute_Reference, case Attribute_Val):
Generate a range check when needed (and set Do_Range_Check to False).
* exp_ch3.adb (Expand_N_Object_Declaration): Generate a range check on
scalar object initialization if needed.
* exp_ch4.adb (Expand_Allocator_Expression): Generate range checks
when needed on scalar allocators.
(Expand_N_Qualified_Expression): Generate range check when needed.
(Expand_N_Slice): Remove call to Enable_Range_Check on slice ranges.
Checks on slice ranges handled in Resolve_Slice.
* exp_ch5.adb (Expand_N_Assignment_Statement): Generate a range check,
when needed, for all scalar assignments, not just discrete.
(Expand_Simple_Function_Return): Resolve the conversion created for a
scalar function return so that the conversion will get expanded to
generate a possible constraint check.
* exp_ch6.adb (Expand_Actuals): Call Add_Call_By_Copy_Code for out and
in out scalar actuals when subtypes don't match, to ensure generation
of return checks (and set Do_Range_Check to False).
(Expand_Call): Uncomment code to perform range checks, but make it apply
only to in and in out parameters (checks on parameter returns are
handled in Expand_Actuals). If a scalar actual for a call to a derived
subprogram is marked as needing a range check, peform it here (and set
Do_Range_Check to False).
* sem_aggr.adb (Resolve_*_Aggregate.Resolve_Aggr_Expr): Generate a
range check on scalar component associations when needed.
* sem_eval.adb (In_Subrange_Of): Return False when the first type has
infinities but the second type does not, as these aren't compatible
floating-point types.
* sem_res.adb (Resolve_Slice): In the case where the prefix of the
slice is itself a slice, pick up the Etype of the prefix. This handles
the case where the prefix was an Image attribute expanded to a slice,
and ensures that we get the subtype with the slice constraint rather
than the unconstrained subbtype of the 'Image.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149318
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 10:40:14 +0000 (10:40 +0000)]
2009-07-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Conditional_Expression): handle properly
overloaded expressions in a conditional expressions.
* sem_res.adb (Resolve): Handle properly overloaded conditional
expressions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149317
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 7 Jul 2009 10:36:25 +0000 (10:36 +0000)]
2009-07-07 Robert Dewar <dewar@adacore.com>
* scng.adb: Minor reformattting
* par-ch2.adb (Scan_Pragma_Argument_Association): Pragma argument
association allows conditional expression without parens.
* par-ch4.adb (P_Name): Attribute arguments can be conditional
expressions without enclosing parentheses, and also as parameters,
indexing expressions etc.
(P_Conditional_Expression): New procedure
(P_Expression_If_OK): New procedure
* par.adb (P_Conditional_Expression): New procedure
(P_Expression_If_OK): New procedure
* sem_ch4.adb (Analyze_Conditional_Expression): Allow for two argument
form of conditional expression.
* sem_res.adb (Resolve_Conditional_Expression): Deal with supplying
missing True argument if ELSE argument missing.
* sinfo.adb (Is_Elsif): New flag
* sinfo.ads (N_Conditional_Expression): This node is now a syntactic
part of the language, and the documentation is modified accordingly.
(Is_Elsif): New flag
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149316
138bc75d-0d04-0410-961f-
82ee72b054a4
hainque [Tue, 7 Jul 2009 06:53:56 +0000 (06:53 +0000)]
* config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak
pthread symbols.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149314
138bc75d-0d04-0410-961f-
82ee72b054a4
bstarynk [Tue, 7 Jul 2009 06:07:59 +0000 (06:07 +0000)]
2009-07-07 Basile Starynkevitch <basile@starynkevitch.net>
* gcc/Makefile.in: added more lists of includes to PLUGIN_HEADERS.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149313
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 02:55:59 +0000 (02:55 +0000)]
2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
* cgraphunit.c: Replace %J by an explicit location. Update all
calls.
* c-decl.c: Likewise.
* function.c: Likewise.
* varasm.c: Likewise.
* tree-ssa.c: Likewise.
* c-common.c: Likewise.
* tree-cfg.c: Likewise.
* config/spu/spu.c: Likewise.
* config/ia64/ia64.c: Likewise.
* config/v850/v850.c: Likewise.
java/
* class.c: Replace %J by an explicit location. Update all calls.
objc/
* objc-act.c: Replace %J by an explicit location. Update all
calls.
cp/
* init.c: Replace %J by an explicit location. Update all calls.
* decl.c: Likewise.
* typeck2.c: Likewise.
* pt.c: Likewise.
* name-lookup.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149312
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Tue, 7 Jul 2009 02:33:47 +0000 (02:33 +0000)]
* config/mep/mep-core.cpu (fsft, ssarb): Mark as VOLATILE.
* config/mep/mep-ivc2.cpu (many): Add VOLATILE to more insns that make
unspecified accesses to control registers.
* config/mep/intrinsics.md: Regenerate.
* config/mep/intrinsics.h: Regenerate.
* config/mep/mep-intrin.h: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149311
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Tue, 7 Jul 2009 02:10:19 +0000 (02:10 +0000)]
2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
* c-lex.c: Replace %H by an explicit location. Update all calls.
* c-common.c: Likewise.
* c-decl.c: Likewise.
* c-typeck.c: Likewise.
* fold-const.c: Likewise.
* gimplify.c: Likewise.
* stmt.c: Likewise.
* tree-cfg.c: Likewise.
* tree-ssa-loop-niter.c: Likewise.
* tree-vrp.c: Likewise.
* value-prof.c: Likewise.
java/
* jcf-parse.c: Replace %H by an explicit location. Update all calls.
objc/
* objc-act.c: Replace %H by an explicit location. Update all calls.
testsuite/
* gcc.dg/plugin/selfassign.c: Replace %H by an explicit
location. Update all calls.
* g++.dg/plugin/selfassign.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149310
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Tue, 7 Jul 2009 00:16:41 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149307
138bc75d-0d04-0410-961f-
82ee72b054a4
bkoz [Mon, 6 Jul 2009 22:44:58 +0000 (22:44 +0000)]
2009-07-06 Benjamin Kosnik <bkoz@redhat.com>
* testsuite/21_strings/c_strings/wchar_t/3.cc: Add copyright.
* testsuite/21_strings/c_strings/char/3.cc: Same.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149300
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Mon, 6 Jul 2009 22:13:51 +0000 (22:13 +0000)]
* libsupc++/vmi_class_type_info.cc (__do_dyncast): Use src2dst hint
to defer searching bases that don't overlap the desired address.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149297
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Mon, 6 Jul 2009 18:06:55 +0000 (18:06 +0000)]
* configure.ac: Add missing comma in AC_ARG_WITH(boot-libs).
* configure: Rebuild.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149292
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Mon, 6 Jul 2009 17:07:32 +0000 (17:07 +0000)]
* tree-dfa.c (dump_variable): Write DECL_INITIAL for VAR
if it has one. Handle cases where VAR does not have an
annotation or cfun is NULL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149291
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Mon, 6 Jul 2009 17:06:26 +0000 (17:06 +0000)]
* tree.c: Include debug.h.
(initialize_tree_contains_struct): New.
(init_ttree): Call it.
(tree_node_structure_for_code): Factor out of ...
(tree_node_structure): ... here.
* treestruct.def (TS_PHI_NODE): Remove.
(TS_GIMPLE_STATEMENT): Remove.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149290
138bc75d-0d04-0410-961f-
82ee72b054a4
dnovillo [Mon, 6 Jul 2009 17:04:34 +0000 (17:04 +0000)]
* tree-pretty-print.c (dump_generic_node): Protect
against NULL op0.
(debug_tree_chain): Handle cycles.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149289
138bc75d-0d04-0410-961f-
82ee72b054a4
froydnj [Mon, 6 Jul 2009 15:15:53 +0000 (15:15 +0000)]
* lib/target-supports.exp
(check_effective_target_mips_newabi_large_long_double): New.
* gcc.target/mips/fpr-moves-5.c: Require mips_newabi_large_long_double
target.
* gcc.target/mips/fpr-moves-6.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149286
138bc75d-0d04-0410-961f-
82ee72b054a4
hainque [Mon, 6 Jul 2009 14:33:11 +0000 (14:33 +0000)]
* gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu,
setjmp_longjmp): Attach the exception propagation reraise fallback
to the sequence end label location when we have it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149285
138bc75d-0d04-0410-961f-
82ee72b054a4
nickc [Mon, 6 Jul 2009 13:55:09 +0000 (13:55 +0000)]
* config.sh/lib1funcs.h (FMOVD_WORKS): Only define if
__FMOVD_ENABLED__ is defined.
* config/sh/sh.h
(TARGET_FMOVD): Provide a default definition.
(MASK_FMOVD): Likewise.
(TARGET_CPU_CPP_BUILTINS): Define
__FMOVD_ENABLED__ if TARGET_FMOVD is true.
* config/sh/sh.md (movdf_i4): For alternative 0 use either one or
two fmov instructions depending upon whether TARGET_FMOVD is
enabled.
(split for DF load from memory into register): Also handle
MEMs which consist of REG+DISP addressing.
(split for DF store from register to memory): Likewise.
(movsf_ie): Always use single fp_mode.
* config/sh/sh.c (sh_override_options): Do not automatically
enable TARGET_MOVD for the SH2A when supporting doubles - leave
that to the -mfmovd command line switch.
(broken_move): Do not restrict fldi test to only the SH4 and SH4A.
(fldi_ok): Always allow.
* config/sh/sh.opt (mfmovd): Remove this switch.
* doc/invoke.texi (-mfmovd): Remove documentation of this switch.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149283
138bc75d-0d04-0410-961f-
82ee72b054a4
kkojima [Mon, 6 Jul 2009 13:28:22 +0000 (13:28 +0000)]
PR rtl-optimization/30807
* postreload.c (reload_combine): For every new use of REG_SUM,
record the use of BASE.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149282
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Mon, 6 Jul 2009 09:37:01 +0000 (09:37 +0000)]
* params.def: Revert my accidental commit at 2009-06-30.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149279
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Mon, 6 Jul 2009 09:09:47 +0000 (09:09 +0000)]
2009-07-06 Manuel López-Ibáñez <manu@gcc.gnu.org>
cp/
* decl.c: Replace %H by an explicit location. Update all calls.
* except.c: Likewise.
* semantics.c: Likewise.
* parser.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149277
138bc75d-0d04-0410-961f-
82ee72b054a4
simartin [Mon, 6 Jul 2009 04:55:20 +0000 (04:55 +0000)]
gcc/cp/
2009-07-06 Simon Martin <simartin@users.sourceforge.net>
PR c++/40557
* pt.c (perform_typedefs_access_check, get_types_needing_access_check,
append_type_to_template_for_access_check_1): Use
RECORD_OR_UNION_CODE_P.
gcc/testsuite/
2009-07-06 Simon Martin <simartin@users.sourceforge.net>
PR c++/40557
* g++.dg/template/union2.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149276
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Mon, 6 Jul 2009 00:16:43 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149268
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Sun, 5 Jul 2009 19:13:59 +0000 (19:13 +0000)]
2009-07-05 Paul Thomas <pault@gcc.gnu.org>
and Tobias Burnus <burnus@gcc.gnu.org>
PR fortran/40646
* gfortran.h : Change the compcall member of the 'value' union
in the gfc_expr structure so that its fields overlap with the
'function' member.
* resolve.c (resolve_compcall): Set the function.esym.
* trans-expr.c (gfc_trans_arrayfunc_assign): Use
is_proc_ptr_comp in the condition.
* dependency.c (gfc_full_array_ref_p): Ensure that 'contiguous'
retunrs a value if non-NULL.
2009-07-05 Paul Thomas <pault@gcc.gnu.org>
and Tobias Burnus <burnus@gcc.gnu.org>
PR fortran/40646
* gfortran.dg/func_assign_3.f90 : New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149262
138bc75d-0d04-0410-961f-
82ee72b054a4
jsm28 [Sun, 5 Jul 2009 17:59:29 +0000 (17:59 +0000)]
*
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stod.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stof.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stoi.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stol.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stold.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stoll.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stoul.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/stoull.cc,
testsuite/21_strings/basic_string/numeric_conversions/wchar_t/to_wstring.cc,
testsuite/ext/vstring/element_access/char/front_back.cc,
testsuite/ext/vstring/element_access/wchar_t/front_back.cc,
testsuite/ext/vstring/init-list.cc,
testsuite/ext/vstring/moveable.cc,
testsuite/ext/vstring/requirements/citerators.cc,
testsuite/ext/vstring/requirements/explicit_instantiation/char16_t/1.cc,
testsuite/ext/vstring/requirements/explicit_instantiation/char32_t/1.cc:
Use dg-require-string-conversions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149260
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Sun, 5 Jul 2009 02:09:15 +0000 (02:09 +0000)]
* pt.c (retrieve_specialization): Don't get confused by a
using-declaration that brings in another instance of this template
from a base class.
* ptree.c (cxx_print_type): Fix logic.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149247
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sun, 5 Jul 2009 00:16:40 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149246
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Sat, 4 Jul 2009 22:52:57 +0000 (22:52 +0000)]
PR target/40636
* config/i386/msformat-c.c (mingw_format_attributes): Declare as
EXPORTED_CONST.
(mingw_format_attribute_overrides): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149243
138bc75d-0d04-0410-961f-
82ee72b054a4