2009-06-29  Richard Guenther  <rguenther@suse.de>

PR middle-end/14187
* tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
flag.
(pt_solutions_same_restrict_base): Declare.
* tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
flag.
(new_var_info): Initialize is_global_var properly for SSA_NAMEs.
(make_constraint_from, make_copy_constraint): Move earlier.
(make_constraint_from_heapvar): New function.
(make_constraint_from_restrict): Likewise.
(handle_lhs_call): Use it.
(find_func_aliases): Use it to track conversions to restrict
qualified pointers.
(struct fieldoff): Add only_restrict_pointers flag.
(push_fields_onto_fieldstack): Initialize it.
(create_variable_info_for): Track global restrict qualified pointers.
(intra_create_variable_infos): Use make_constraint_from_heapvar.
Track restrict qualified pointer arguments.
(set_uids_in_ptset): Use varinfo is_global_var flag.
(find_what_var_points_to): Set the vars_contains_restrict flag.
Always create the points-to solution for sets including restrict tags.
(pt_solutions_same_restrict_base): New function.
* tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
qualified pointers use pt_solutions_same_restrict_base as
additional source for disambiguation.

* gcc.dg/tree-ssa/restrict-1.c: New testcase.
* gcc.dg/tree-ssa/restrict-2.c: Likewise.
* gcc.dg/tree-ssa/restrict-3.c: Likewise.
* gcc.c-torture/execute/20090623-1.c: Likewise.
* gcc.dg/tree-ssa/ldist-13.c: Likewise.
* gcc.dg/tree-ssa/ldist-14.c: Likewise.

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

2009-06-29  Richard Guenther  <rguenther@suse.de>

PR middle-end/38212
* alias.c (find_base_decl): Remove.
(get_deref_alias_set_1): Remove restrict handling.
* c-common.c (c_apply_type_quals_to_decl): Do not set
DECL_POINTER_ALIAS_SET.
* gimplify.c (find_single_pointer_decl_1): Remove.
(find_single_pointer_decl): Likewise.
(internal_get_tmp_var): Remove restrict handling.
(gimple_regimplify_operands): Likewise.
* omp-low.c (expand_omp_atomic_pipeline): Do not set
DECL_POINTER_ALIAS_SET. Use ref-all pointers.
* print-tree.c (print_node): Do not print DECL_POINTER_ALIAS_SET.
* tree.c (restrict_base_for_decl): Remove.
(init_ttree): Do not allocate it.
(make_node_stat): Do not set DECL_POINTER_ALIAS_SET.  Set
LABEL_DECL_UID for label decls.
(copy_node_stat): Do not copy restrict information.
(decl_restrict_base_lookup): Remove.
(decl_restrict_base_insert): Likewise.
(print_restrict_base_statistics): Likewise.
(dump_tree_statistics): Do not call print_restrict_base_statistics.
* tree.h (DECL_POINTER_ALIAS_SET): Remove.
(DECL_POINTER_ALIAS_SET_KNOWN_P): Likewise.
(struct tree_decl_common): Rename pointer_alias_set to label_decl_uid.
(LABEL_DECL_UID): Adjust.
(DECL_BASED_ON_RESTRICT_P): Remove.
(DECL_GET_RESTRICT_BASE): Likewise.
(SET_DECL_RESTRICT_BASE): Likewise.
(struct tree_decl_with_vis): Remove based_on_restrict_p flag.

* config/i386/i386.c (ix86_gimplify_va_arg): Use ref-all pointers
instead of DECL_POINTER_ALIAS_SET.
* config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
* config/s390/s390.c (s390_gimplify_va_arg): Likewise.
* config/spu/spu.c (spu_gimplify_va_arg_expr): Likewise.

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

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

2009-06-29  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/40579
* tree-vrp.c (vrp_evaluate_conditional): Bail out early if
the IL to simplify has constants that overflowed.

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

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

Daily bump.

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

PR tree-optimization/40550
* tree-vect-generic.c (expand_vector_operations_1): Compute in
vector_compute_type only when the size of vector_compute_type is
less than the size of type.

testsuite/ChangeLog:

PR tree-optimization/40550
* gcc.dg/pr40550.c: New test.

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

* fold-const.c (contains_label_1): Fix comments.
(contains_label_p): Do not walk trees multiple time.

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

2009-06-28  Tobias Burnus  <burnus@net-b.de>
    Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>

PR fortran/34112
* symbol.c (gfc_add_ext_attribute): New function.
(gfc_get_sym_tree): New argument allow_subroutine.
(gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
gen_shape_param,generate_isocbinding_symbol): Use it.
* decl.c (find_special): New argument allow_subroutine.
(add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
match_procedure_in_type,gfc_match_final_decl): Use it.
(gfc_match_gcc_attributes): New function.
* gfortran.texi (Mixed-Language Programming): New section
"GNU Fortran Compiler Directives".
* gfortran.h (ext_attr_t): New struct.
(symbol_attributes): Use it.
(gfc_add_ext_attribute): New prototype.
(gfc_get_sym_tree): Update pototype.
* expr.c (gfc_check_pointer_assign): Check whether call
convention is the same.
* module.c (import_iso_c_binding_module, create_int_parameter,
use_iso_fortran_env_module): Update gfc_get_sym_tree call.
* scanner.c (skip_gcc_attribute): New function.
(skip_free_comments,skip_fixed_comments): Use it.
(gfc_next_char_literal): Support !GCC$ lines.
* resolve.c (check_host_association): Update
gfc_get_sym_tree call.
* match.c (gfc_match_sym_tree,gfc_match_call): Update
gfc_get_sym_tree call.
* trans-decl.c (add_attributes_to_decl): New function.
(gfc_get_symbol_decl,get_proc_pointer_decl,
gfc_get_extern_function_decl,build_function_decl: Use it.
* match.h (gfc_match_gcc_attributes): Add prototype.
* parse.c (decode_gcc_attribute): New function.
(next_free,next_fixed): Support !GCC$ lines.
* primary.c (match_actual_arg,check_for_implicit_index,
gfc_match_rvalue,gfc_match_rvalue): Update
gfc_get_sym_tree call.

2009-06-28  Tobias Burnus  <burnus@net-b.de>

PR fortran/34112
* gfortran.dg/compiler-directive_1.f90: New test.
* gfortran.dg/compiler-directive_2.f: New test.

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

2009-06-28  Paolo Bonzini  <bonzini@gnu.org>

        * config/i386/i386.h (enum ix86_fpcmp_strategy): New.
        * config/i386/i386.md (cbranchxf4, cstorexf4, cbranch<MODEF>4,
        cstore<MODEF>4, mov<X87MODEF>cc): Change predicate to
        ix86_fp_comparison_operator.
        (*fp_jcc_1_mixed, *fp_jcc_1_sse, *fp_jcc_1_387, *fp_jcc_2_mixed,
        *fp_jcc_2_sse, *fp_jcc_2_387): Delete
        (*fp_jcc_3_387, *fp_jcc_4_387, *fp_jcc_5_387, *fp_jcc_6_387,
        *fp_jcc_7_387, *fp_jcc_8<MODEF>_387): Eliminate call to
        !ix86_use_fcomi_compare, change ix86_fp_jump_nontrivial_p call
        to !TARGET_CMOVE, change predicate to ix86_fp_comparison_operator.
        (related splits): Change predicate to ix86_fp_comparison_operator.
        * config/i386/predicates.md: Use ix86_trivial_fp_comparison_operator
        instead of ix86_fp_comparison_codes.
        (ix86_trivial_fp_comparison_operator,
        ix86_fp_comparison_operator): New.
        * config/i386/i386-protos.h (ix86_fp_comparison_strategy): New.
        (ix86_expand_compare): Eliminate last two parameters.
        (ix86_fp_jump_nontrivial_p): Kill.
        * config/i386/i386.c (put_condition_code): Eliminate call to
        ix86_fp_comparison_codes and subsequent assertion.
        (ix86_fp_comparison_codes): Eliminate.
        (ix86_fp_swap_condition): New.
        (ix86_fp_comparison_arithmetics_cost, ix86_fp_comparison_fcomi_cost,
        ix86_fp_comparison_sahf_cost, ix86_use_fcomi_compare): Consolidate
        into ix86_fp_comparison_cost and ix86_fp_comparison_strategy.
        (ix86_prepare_fp_compare_args): Use ix86_fp_comparison_strategy
        and ix86_fp_swap_condition.
        (ix86_expand_fp_compare): Eliminate code for second jump/bypass jump.
        Use ix86_fp_comparison_strategy.
        (ix86_expand_compare): Likewise.  Eliminate last two arguments.
        (ix86_fp_jump_nontrivial_p): Eliminate.
        (ix86_expand_branch): Treat SFmode/DFmode/XFmode as simple.  Adjust
        call to ix86_expand_compare.
        (ix86_split_fp_branch, ix86_expand_setcc,
        ix86_expand_carry_flag_compare, ix86_expand_int_movcc,
        ix86_expand_fp_movcc): Eliminate code for second jump/bypass jump.

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

2009-06-28  Paolo Bonzini  <bonzini@gnu.org>

        * config/arm/arm.c (arm_final_prescan_ins): Eliminate code
        related to jump_clobbers.
        * config/arm/arm.md (conds): Remove jump_clob case.
        (addsi3_cbranch, addsi3_cbranch_scratch, subsi3_cbranch, two
        splits): Change comparison_operator to arm_comparison_operator.
        (*arm_buneq, *arm_bltgt, *arm_buneq_reversed, *arm_bltgt_reversed):
        Eliminate.

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

2009-06-28  Paolo Bonzini  <bonzini@gnu.org>

        * dojump.c (do_compare_rtx_and_jump): Try swapping the
        condition for floating point modes.
        * expmed.c (emit_store_flag_1): Move here a bigger part
        of emit_store_flag.
        (emit_store_flag): Try swapping the condition for floating point
        modes.
        * optabs.c (emit_cmp_and_jump_insns): Cope with constant op0 better.

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

2009-06-28  Paolo Bonzini  <bonzini@gnu.org>

        * expr.c (expand_expr_real_1): Just use do_store_flag.
        (do_store_flag): Drop support for TRUTH_NOT_EXPR.  Use
        emit_store_flag_force.
        * expmed.c (emit_store_flag_force): Copy here trick
        previously in expand_expr_real_1.  Try reversing the comparison.
        (emit_store_flag_1): Work if target is NULL.
        (emit_store_flag): Work if target is NULL, using the result mode
        from the comparison.  Use split_comparison, restructure final part
        to simplify conditionals.

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

2009-06-28  Paolo Bonzini  <bonzini@gnu.org>

        * builtins.c (expand_errno_check): Use do_compare_rtx_and_jump.
        * dojump.c (do_jump): Change handling of floating-point
        ops to use just do_compare_and_jump.
        (split_comparison): New.
        (do_compare_rtx_and_jump): Add here logic coming previously
        in do_jump, using split_comparison.

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

gcc/fortran:

* gfortran.h: Define HAVE_mpc_pow.
* arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
don't define these functions.
(arith_power): If HAVE_mpc_pow, use mpc_pow.

gcc/testsuite:
* gfortran.dg/integer_exponentiation_4.f90: Temporarily
comment out some values and add some cases.

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

Daily bump.

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

2009-06-27  Laurent GUERBY  <laurent@guerby.net>

* tb-gcc.c (trace_callback): Add casts to silence warning.

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

* tb-gcc.c: Fix copyright notice.

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

2009-06-27  H.J. Lu  <hongjiu.lu@intel.com>

PR target/40489
* config/ia64/ia64.c (ia64_reorg): Check NULL insn.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

* tree-ssa-alias.c: Fix unintentional commit.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

* passes.c (execute_one_pass): Fix unintentional commit.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

        * df-problems.c (df_set_seen, df_unset_seen): Delete.
        (df_rd_local_compute, df_md_local_compute): Inline them.

        (df_md_scratch): New.
        (df_md_alloc, df_md_free): Allocate/free it.
        (df_md_local_compute): Only include live registers in init.
        (df_md_transfer_function): Prune the in-set computed by
        the confluence function, and the gen-set too.

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

2009-06-07  Paolo Bonzini  <bonzini@gnu.org>

PR rtl-optimization/26854
        * timevar.def: Remove TV_DF_RU, add TV_DF_MD.
        * df-problems.c (df_rd_add_problem): Fix comment.
        (df_md_set_bb_info, df_md_free_bb_info, df_md_alloc,
        df_md_simulate_artificial_defs_at_top,
        df_md_simulate_one_insn, df_md_bb_local_compute_process_def,
        df_md_bb_local_compute, df_md_local_compute, df_md_reset,
        df_md_transfer_function, df_md_init, df_md_confluence_0,
        df_md_confluence_n, df_md_free, df_md_top_dump, df_md_bottom_dump,
        problem_MD, df_md_add_problem): New.
        * df.h (DF_MD, DF_MD_BB_INFO, struct df_md_bb_info, df_md,
        df_md_get_bb_info): New.
        DF_LAST_PROBLEM_PLUS1): Adjust.

        * Makefile.in (fwprop.o): Include domwalk.h.
        * fwprop.c: Include domwalk.h.
        (reg_defs, reg_defs_stack): New.
        (bitmap_only_bit_between): Remove.
        (process_defs): New.
        (process_uses): Use reg_defs and local_md instead of
        bitmap_only_bit_between and local_rd.
        (single_def_use_enter_block): New, from build_single_def_use_links.
        (single_def_use_leave_block): New.
        (build_single_def_use_links): Remove code moved to
        single_def_use_enter_block, invoke domwalk.
        (use_killed_between): Adjust comment.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

* bitmap.h (bitmap_ior_and_into): New.
* bitmap.c (bitmap_ior_and_into): New.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

        * domwalk.h (struct dom_walk_data): Remove all callbacks except
        before_dom_children_before_stmts and after_dom_children_after_stmts.
        Rename the two remaining callbacks to just before_dom_children and
        after_dom_children. Remove other GIMPLE statement walking bits.
        * domwalk.c (walk_dominator_tree): Remove now unsupported features.
        * graphite.c: Do not include domwalk.h.
        * tree-into-ssa.c (interesting_blocks): New global.
        (struct mark_def_sites_global_data): Remove it and names_to_rename.
        (mark_def_sites, rewrite_stmt, rewrite_add_phi_arguments,
        rewrite_update_stmt, rewrite_update_phi_arguments): Simplify
        now that they're not domwalk callbacks.
        (rewrite_initialize_block): Rename to...
        (rewrite_enter_block): ... this, place after called functions.  Test
        interesting_blocks, call rewrite_stmt and rewrite_add_phi_arguments.
        (rewrite_finalize_block): Rename to...
        (rewrite_leave_block): ... this, place after called functions.
        (rewrite_update_init_block): Rename to...
        (rewrite_update_enter_block): ... this, place after called functions.
        Test interesting_blocks, call rewrite_update_stmt and
        rewrite_update_phi_arguments.
        (rewrite_update_fini_block): Rename to...
        (rewrite_leave_block): ... this, place after called functions.
        (rewrite_blocks): Remove last argument, simplify initialization of
        walk_data.
        (mark_def_sites_initialize_block): Rename to...
        (mark_def_sites_block): ... this, call mark_def_sites.
        (mark_def_sites_blocks): Remove argument, simplify initialization of
        walk_data.
        (rewrite_into_ssa): Adjust for interesting_blocks_being a global.
        (update_ssa): Likewise.
        * tree-ssa-dom.c (optimize_stmt): Simplify now that it's not a domwalk
        callback.
        (tree_ssa_dominator_optimize): Simplify initialization of walk_data.
        (dom_opt_initialize_block): Rename to...
        (dom_opt_enter_block): ... this, place after called functions.  Walk
        statements here, inline propagate_to_outgoing_edges.
        (dom_opt_finalize_block): Rename to...
        (dom_opt_leave_block): ... this, place after called functions.
        * tree-ssa-dse.c (dse_optimize_stmt): Simplify now that it's not a
        domwalk callback.
        (dse_enter_block, dse_record_phi): New.
        (dse_record_phis): Delete.
        (dse_finalize_block): Rename to...
        (dse_leave_block): ... this.
        (tree_ssa_dse): Simplify initialization of walk_data.
        * tree-ssa-loop-im.c (determine_invariantness, move_computations):
        Adjust initialization of walk_data.
        * tree-ssa-loop-unswitch.c: Do not include domwalk.h.
        * tree-ssa-loop-phiopt.c (get_non_trapping):
        Adjust initialization of walk_data.
        * tree-ssa-loop-threadedge.c: Do not include domwalk.h.
        * tree-ssa-uncprop.c (uncprop_into_successor_phis): Simplify now that
        it's not a domwalk callback.
        (uncprop_initialize_block): Rename to...
        (dse_enter_block): ... this, call uncprop_into_successor_phis.
        (dse_finalize_block): Rename to...
        (dse_leave_block): ... this.
        (tree_ssa_uncprop): Simplify initialization of walk_data.
        * Makefile.in: Adjust dependencies.

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

* init.c (__gnat_set_globals): Add prototype.
* adaint.c (__gnat_binder_supports_auto_init): Likewise.
(__gnat_sals_init_using_constructors): Likewise.
* gcc-interface/utils.c (gnat_pushlevel): Likewise.
(get_block_jmpbuf_decl): Likewise.
(gnat_poplevel): Likewise.
(merge_sizes): Rename local variable.
(copy_type): Likewise.
(build_vms_descriptor32): Likewise.
(build_vms_descriptor): Likewise.
(convert_vms_descriptor64): Likewise.
(convert_vms_descriptor32): Likewise.
(convert_to_fat_pointer): Likewise.
(maybe_unconstrained_array): Likewise.
(def_fn_type): Use promoted type with va_arg.
* gcc-interface/decl.c (gnat_to_gnu_entity): Add declaration.
(substitute_in_type): Rename local variable.
* gcc-interface/Make-lang.in (ada-warn): Use STRICT_WARN.

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

2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

PR testsuite/40567
* gcc.dg/vect/vect.exp: Fix lappend syntax.

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

* arm.md (casesi): Fix test for Thumb1.
(thumb1_casesi_internal_pic): Likewise.
(thumb1_casesi_dispatch): Likewise.

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

Fix nits

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

PR testsuite/40565
* gcc.dg/vect/vect.exp: Add -fno-ipa-cp-clone to -O3 tests.
* gcc.target/i386/local.c: Pass a non-constant to T.

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

Daily bump.

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

2009-06-26  Janus Weil  <janus@gcc.gnu.org>

PR fortran/39997
PR fortran/40541
* decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
result.
* expr.c (gfc_check_pointer_assign): Enable interface check for
procedure pointer assignments where the rhs is a function returning a
procedure pointer.
* resolve.c (resolve_symbol): If an external procedure with unspecified
return type can not be implicitly typed, it must be a subroutine.

2009-06-26  Janus Weil  <janus@gcc.gnu.org>

PR fortran/39997
PR fortran/40541
* gfortran.dg/proc_ptr_15.f90: Fixed and extended.
* gfortran.dg/proc_ptr_common_1.f90: Fixed invalid test case.
* gfortran.dg/proc_ptr_result_1.f90: Ditto.
* gfortran.dg/proc_ptr_result_5.f90: New.

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

2009-06-26  Daniel Gutson  <dgutson@codesourcery.com>

* config/arm/arm-cores.def: Added core cortex-m0.
* config/arm/arm-tune.md: Regenerated.
* doc/invoke.texi: Added entry for cpu ARM Cortex-M0.

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

* config/mep/mep.opt (mfar): Remove -mfar as it doesn't do anything.

* config/mep/mep.c (mep_bundle_insns): Account for the fact that
the scheduler doesn't tag jump insns.

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

2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>

* c-decl.c (merge_decls): Re-indent.

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

2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>

* decl.c (duplicate_decls): Re-indent.

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

PR c/39902
* tree.c (real_zerop, real_onep, real_twop, real_minus_onep):
Special-case decimal float constants.

* gcc.dg/dfp/pr39902.c: New test.

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

* function.h (struct function): Add cannot_be_copied_reason,
and cannot_be_copied_set.
* tree-inline.c (has_label_address_in_static_1): Rename from
inline_forbidden_p_2; don't set inline_forbidden_reason here.
(cannot_copy_type_1): Rename from inline_forbidden_p_op; likewise
don't set inline_forbidden_reason.
(copy_forbidden): New function, split out of inline_forbidden_p.
(inline_forbidden_p_stmt): Don't check for nonlocal labels here.
(inline_forbidden_p): Use copy_forbidden.
(tree_versionable_function_p): Likewise.
(inlinable_function_p): Merge into tree_inlinable_function_p.
(tree_function_versioning): Remap cfun->nonlocal_goto_save_area.
* ipa-cp.c (ipcp_versionable_function_p): New function.
(ipcp_cloning_candidate_p): Use it.
(ipcp_node_modifiable_p): Likewise.

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

* builtins.c (expand_builtin_alloca): Handle builtin alloca
that is marked not to be inlined. Remove flag_mudflap use.
* tree-mudflap.c: Rename mf_xform_derefs to mf_xfrom_statements.
(mf_xform_statements): Mark builtin alloca calls as un-inlineable.

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

2009-06-26  Steve Ellcey  <sje@cup.hp.com>

PR bootstrap/40338
* config/pa/t-pa-hpux10 (TARGET_LIBGCC2_CFLAGS): Add -frandom-seed.
* config/pa/t-pa-hpux11 (TARGET_LIBGCC2_CFLAGS): Ditto.

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

2009-06-26  Steve Ellcey  <sje@cup.hp.com>

PR bootstrap/40338
* configure.ac (comparestring): Create new variable.
* Makefile.tpl (comparestring): Use to skip some comparisions.
* configure: Regenerate.
* Makefile.in: Regenerate.

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

changelog for:
* Makefile.def (host_modules): Add cgen.
* Makefile.in: Regenerate.
* configure.ac (host_tools): Add cgen.
* configure: Regenerate.

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

* Makefile.def (host_modules): Add cgen.
* Makefile.in: Regenerate.
* configure.ac (host_tools): Add cgen.
* configure: Regenerate.

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

2009-06-26  Laurent GUERBY  <laurent@guerby.net>

* tb-gcc.c (trace_callback): Use char* instead of void*.
* gcc-interface/misc.c (enumerate_modes): Make loop compatible
with C++.
* gcc-interface/trans.c (parm_attr): Rename to parm_attr_d.
Change all uses.
* gcc-interface/utils.c (new, class, template): Rename to be
compatible with C++. Change all uses.
* gcc-interface/decl.c (new): Likewise.

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

2009-06-26  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/mingw-tls.c (__mingwthr_key_dtor): Remove for none
        shared libgcc.
        (__mingwthr_remove_key_dtor): Likewise.

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

2009-06-26  Richard Guenther  <rguenther@suse.de>

* tree-ssa-structalias.c (do_ds_constraint): Simplify escape
handling.

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

PR testsuite/40532
* gcc.dg/builtins-65.c: Require c99 runtime.

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

* gcc-interface/decl.c (cannot_be_superflat_p): New predicate.
(gnat_to_gnu_entity) <E_Array_Subtype>: Use it to build the expression
of the upper bound of the index types.

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

Fix oversight

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Factor
out common predicate.  Use the maximum to compute the upper bound of
the index type only when it is not wider than sizetype.  Perform the
comparison in the index type for the generic expression.  Use real
precision to decide whether to generate special types for debugging
information.

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

2009-06-26  Matthew Gingell  <gingell@adacore.com>

* adaint.c: Do not use the dummy version of convert_addresses on LynxOS

2009-06-26  Vincent Celier  <celier@adacore.com>

* prj.ads (No_Language_Config): Value of Dependency_Kind is None by
default.

2009-06-26  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb, gnatcmd.adb, make.adb: Minor reformatting

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Pass
correct arguments to create_field_decl.  Remove redundant iteration.
Rewrite computation of the maximum size.
<E_Array_Subtype>: Reorder and simplify handling of special cases.
Rewrite computation of the maximum size.  Use consistent naming.
* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Length>: Swap
comparison order for consistency.  Use generic integer node to
build the operator and fold the result.

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

PR middle-end/40525
* ifcvt.c (dead_or_predicable): If predicating MERGE_BB fails,
try the non-cond_exec path also.

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

PR target/40468
* pa.c (branch_to_delay_slot_p, branch_needs_nop_p): New functions.
(output_cbranch): Use new functions.
(output_lbranch, output_bb, output_bvb, output_dbra, output_movb):
Likewise.

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

Daily bump.

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

power7 patch #2: add bswap64; add preliminary VSX register support; add more -mdebug=* support

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

Fix formatting

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

cp/:
* call.c (avoid_sign_compare_warnings): New static function.
(build_new_op): Call it.
* typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
TREE_NO_WARNING is set on either operand.
testsuite/:
* g++.dg/warn/Wsign-compare-3.C: New testcase.

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

cp/:
* g++spec.c (SKIPOPT): define.
(lang_specific_driver): Handle -static-libstdc++.  Only add
LIBSTDCXX_STATIC if we add LIBSTDCXX.
./:
* doc/invoke.texi (Option Summary): Mention -static-libstdc++.
(Link Options): Document -static-libstdc++.

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

cp/:
* cvt.c (convert_to_void): Only warn about COND_EXPR if neither
the second nor third operand has side effects.
testsuite/:
* g++.dg/warn/Wunused-16.C: New testcase.

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

cp/:
* parser.c (cp_parser_binary_expression): Increment
c_inhibit_evaluation_warnings while parsing the right hand side of
"true || x" or "false && x".
* typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
if c_inhibit_evaluation_warnings is zero.
testsuite/:
* g++.dg/warn/skip-2.C: New testcase.

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

2009-06-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/38731
        * config/rs6000/rs6000.c (LOCAL_ALIGNMENT): Redefine to just use
        DATA_ALIGNMENT instead.

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

2009-06-25  Richard Guenther  <rguenther@suse.de>

* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Disambiguate
indirect references against the callused/escaped solutions.
(call_may_clobber_ref_p_1): Likewise.

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

2009-06-25  Steve Ellcey  <sje@cup.hp.com>

* gcc.c-torture/execute/20090618-1.c: add dg-run and
dg-skip-if and move to ...
* gcc.dg/torture/20090618-1.c.

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

* config/mh-ppc-aix (BOOT_ADAFLAGS): Remove -mminimal-toc.

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

2009-06-25  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/40493
* tree-sra.c (sra_modify_expr): Correct BIT_FIELD_REF argument numbers.
(enum unscalarized_data_handling): New type.
(handle_unscalarized_data_in_subtree): Return what has been done.
(load_assign_lhs_subreplacements): Handle left flushes differently.
(sra_modify_assign): Use unscalarized_data_handling, simplified
condition determining whether to remove the statement.

* testsuite/gcc.c-torture/execute/pr40493.c: New test.

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

2009-06-25  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Minor comment change

2009-06-25  Gary Dismukes  <dismukes@adacore.com>

* exp_ch5.adb (Expand_N_Extended_Return_Statement): Don't build an
assignment statement to targeting a caller-provided object when the
result type is an interface type.

* exp_ch6.adb (Expand_Call): Remove redundant test of
Is_Limited_Interface (Is_Inherently_Limited is sufficient).
(Is_Build_In_Place_Function): Remove test for Is_Limited_Interface.

* sem_aggr.adb (Check_Expr_OK_In_Limited_Aggregate): Add type in call
to OK_For_Limited_Init.

* sem_aux.adb (Is_Inherently_Limited_Type): Revise limited type
condition so that True is returned for all limited interfaces, not
just synchronized ones. Ignore components of an interface type when
checking for limited components (such a component can be a parent
component).

* sem_ch3.ads (OK_For_Limited_Init_In_05): Add type parameter.
(OK_For_Limited_Init): Add type parameter.

* sem_ch3.adb (Check_Initialization): Add type in call to
OK_For_Limited_Init.
(OK_For_Limited_Init): Add new type param in call to
OK_For_Limited_Init_In_05.
(OK_For_Limited_Init_In_05): Permit arbitrary expressions of a
nonlimited type when the context type is a limited interface. Add type
on recursive calls.

* sem_ch4.adb (Analyze_Allocator): Add type in call to
OK_For_Limited_Init.

* sem_ch6.adb (Check_Limited_Return): Add type in call to
OK_For_Limited_Init.

* sem_ch12.adb (Analyze_Formal_Object_Declaration): Add type in call to
OK_For_Limited_Init.
(Instantiate_Object): Add type in call to OK_For_Limited_Init.

* sem_type.adb (Interface_Present_In_Ancestor): In the case of a
class-wide interface, get the base type before applying Etype, in order
to account for class-wide subtypes.

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

2009-06-25  Emmanuel Briot  <briot@adacore.com>

* gnatcmd.adb, prj-proc.adb, make.adb, prj.adb, prj.ads, prj-nmsc.adb,
prj-util.adb, prj-env.adb, prj-env.ads: Merge handling of naming_data
between gnatmake and gprbuild.
(Naming_Data): Removed, no longer used
(Naming_Table, Project_Tree_Ref.Namings): Removed, since this is only
needed locally in one subprogram, no need to store forever in the
structure.
(Check_Naming_Scheme, Check_Package_Naming): Merged, since they play
a similar role.
(Body_Suffix_Of, Body_Suffix_Id_Of, Register_Default_Naming_Scheme,
Same_Naming_Scheme, Set_Body_Suffix, Set_Spec_Suffix, Spec_Suffix_Of,
Spec_Suffix_Id_Of): removed, no longer used.

2009-06-25  Javier Miranda  <miranda@adacore.com>

* sem_res.adb (Resolve_Allocator): Skip test requiring exact match of
types on qualified expression in calls to imported C++ constructors.

* exp_ch4.adb (Expand_Allocator_Expression): Add missing support for
imported C++ constructors.

2009-06-25  Sergey Rybin  <rybin@adacore.com>

* vms_data.ads: Add qualifier for new gnatcheck '-t' option.

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

2009-06-25  Vincent Celier  <celier@adacore.com>

* s-os_lib.adb (Normalize_Pathname.Get_Directory): If directory
provided, on Windows change all '/' to '\'.

* fmap.ads, fmap.adb (Remove_Forbidden_File_Name): Remove, no longer
used. Minor comment changes

* prj-nmsc.adb: Do not call Fmap.Add_Forbidden_File_Name or
Remove_Forbidden_File_Name.

2009-06-25  Quentin Ochem  <ochem@adacore.com>

* prj.ads (Unit_Index): Now general access type.

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

2009-06-25  Pascal Obry  <obry@adacore.com>

* a-stwise.adb, a-stzsea.adb: Fix confusion between 'Length and 'Last.

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

2009-06-25  Emmanuel Briot  <briot@adacore.com>

* fmap.ads, make.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-env.adb,
prj-env.ads (Source_Data.Get_Object): Field removed, since it can be
computed efficiently from the other fields.
(Object_To_Global_Archive): New subprogram
(Create_Mapping): Remove unneeded call to Remove_Forbidden_File_Name.
(Override_Kind): Fix handling of separates in Ada.
(Create_Mapping_File): Remove duplicate code
(Naming_Data.Implementation_Exception, Specification_Exception):
field removed, since never used.
(Naming_Data.Specs, .Bodies): field removed, since this is only
used while processing the project and is not needed once the tree
is in memory. This brings Naming_Data and Lang_Naming_Data
closer (same content now, but different use still).

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

2009-06-25  Pascal Obry  <obry@adacore.com>

* sem_ch4.adb: Minor reformatting.

* a-strsea.adb: Fix confusion between 'Length and 'Last.

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

2009-06-25  Ed Schonberg  <schonberg@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference, case 'Access and
Unchecked_Access): If the context is an interface type, and the prefix
is of the corresponding class-wide type, do not insert a conversion
because the pointer displacement has already taken place, and we must
retain the class-wide type in a dispatching context.

2009-06-25  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb, prj-env.adb (Override_Kind): Unset the unit field of
the previous source file.
(Create_Mapping): Iterate on sources rather than on units.

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

2009-06-25  Emmanuel Briot  <briot@adacore.com>

* gnatcmd.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, prj-nmsc.adb,
prj-env.adb, prj-env.ads (Slash): removed, no longer used
(Source_Data): no longer use Path.Name to point to a locally removed
file. Instead we use the field Locally_Removed which is clearer

2009-06-25  Arnaud Charlet  <charlet@adacore.com>

* gcc-interface/Make-lang.in: Remove references to sem_maps.o

* sem_maps.adb, sem_maps.ads: Removed, not used.

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

2009-06-25  Ed Falis  <falis@adacore.com>

* s-vxwext-rtp.ads: Add missing declaration

2009-06-25  Matthew Gingell  <gingell@adacore.com>

* a-stwise.adb, a-stzsea.adb (Count, Index): Avoid local copy on stack,
speed up unmapped case.

2009-06-25  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check): Change error message for illegal abstract
projects.

2009-06-25  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add note on use of -gnatct for ASIS

2009-06-25  Emmanuel Briot  <briot@adacore.com>

* fmap.ads: Add documentation on mapping files

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

2009-06-25  Basile Starynkevitch  <basile@starynkevitch.net>
* doc/plugins.texi (Building GCC plugins): Corrected typo in
Makefile excerpt - @ should be doubled for texinfo.

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

2009-06-25  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb, g-socket.ads, g-socket.adb, sem_ch3.adb: Minor
reformatting

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

* config/arc/arc.c: Include "df.h".
(arc_attribute_table): Make static.  Move higher in file.
(arc_address_cost): Call SMALL_INT on INTVAL, not rtx.
(output_shift): Initialize n later to avoid warning.
* config/arm/arm.c (arm_attribute_table): Make static.  Move
higher in file.
* config/avr/avr.c (avr_attribute_table): Make static.  Move
higher in file.
(reg_class_tab): Change array type from int to enum reg_class.
(avr_jump_mode): Change GET_MODE to GET_CODE when checking for
LABEL_REF.
(out_tsthi, ashlhi3_out): Don't use AS2 with "or" or "and".
(lshrhi3_out): Likewise.
(class_likely_spilled_p): Change return type to bool.
(avr_rtx_costs): Use local code variable with enum type.
* config/avr/avr.md (movmemhi): Use add_reg_note.
(andhi3, andsi3): Don't use AS2 with "and".
(iorhi3, iorsi3): Don't use AS2 with "or".
* config/avr/avr-protos.h (class_likely_spilled_p): Update
declaration.
* config/crx/crx.c: Include "df.h".
(crx_attribute_table): Make static.
* config/m32r/m32r.c: Include "df.h".
(m32r_attribute_table): Make static.  Move higher in file.
(pop): Use add_reg_note.
(block_move_call): Change 0 to LCT_NORMAL in function call.
* config/m32r/m32r.md (movsi_insn): Remove unused local value.
* config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Likewise.
* config/m32r/m32r-protos.h (m32r_compute_function_type): Always
declare, not just when TREE_CODE is defined.
* config/m68hc11/m68hc11.c: Include "expr.h".
(m68hc11_attribute_table): Make static.  Move higher in file.
(m68hc11_small_indexed_indirect_p): Change 0 to VOIDmode in
function call.
(m68hc11_register_indirect_p): Likewise.
(m68hc11_function_arg_padding): Change return type to enum
direction.
(emit_move_after_reload): Use add_reg_note.
(m68hc11_emit_logical): Change code parameter to enum rtx_code.
(m68hc11_split_logical): Likewise.
(m68hc11_rtx_costs): Add local code_and outer_code variables with
enum type.
* config/m68hc11/predicates.md (reg_or_some_mem_operand): Change 0
to VOIDmode in function call.
* config/m68hc11/m68hc11-protos.h: Don't check TREE_CODE to see if
tree is defined.
(m68hc11_split_logical): Update declaration.
(m68hc11_function_arg_padding): Update declaration.
* config/mcore/mcore.c (regno_reg_class): Change form array of int
to array of enum reg_class.
(mcore_attribute_table): Make static.  Move higher in file.
(mcore_rtx_costs): Add cast to enum type.
* config/mcore/mcore.h (regno_reg_class): Update declaration.
(GO_IF_LEGITIMATE_INDEX): Add cast to avoid warning.
* config/sh/sh.c (sh_attribute_table): Make static.  Move higher
in file.
* config/sh/predicates.md (trapping_target_operand): Rename and to
and_expr.
* config/sparc/sparc.c (sparc_attribute_table): Make static.  Move
higher in file.
* config/spu/spu.c (spu_attribute_table): Make static.  Move
higher in file.
* config/v850/v850.c (v850_attribute_table): Make static.  Move
higher in file.
(v850_rtx_costs): Use local code with enum type.
(expand_epilogue): Add cast.
* config/v850/v850-c.c (ghs_pragma_section): Initialize repeat.

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

* doc/invoke.texi (SH Options): Document -m2a, -m2a-single,
-m2a-single-only and -m2a-nofpu.
* config/sh/sh.opt: Document m2a generates FPU code.

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

Daily bump.

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

* defaults.h (CAN_ELIMINATE): Provide default.
* doc/tm.texi (CAN_ELIMINATE): Revise documentation.
* config/alpha/alpha.h (CAN_ELIMINATE): Delete.
* config/m32c/m32c.h (CAN_ELIMINATE): Delete.
* config/spu/spu.h (CAN_ELIMINATE): Delete.
* config/xtensa/xtensa.h (CAN_ELIMINATE): Delete.
* config/moxie/moxie.h (CAN_ELIMINATE): Delete.
* config/cris/cris.h (CAN_ELIMINATE): Delete.
* config/mn10300/mn10300.h (CAN_ELIMINATE): Delete.
* config/pa/pa64-linux.h (CAN_ELIMINATE): Delete.
* config/mmix/mmix.h (CAN_ELIMINATE): Delete.

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

Update copyright year

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

* error.c (dump_decl): Do say "typedef" for the injected class name.

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

* pt.c (lookup_template_class): Use currently_open_class,
compare template args later.

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

Oops, missed deletion.

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

* mep-ext-cop.cpu: Fix copyright notice.
* mep-default: Fix copyright notice.
* mep-core: Fix copyright notice.
* mep: Fix copyright notice.
* mep-ivc2: Fix copyright notice.
* mep-c5: Fix copyright notice.

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

PR c++/40342
* decl.c (decls_match): Check DECL_TI_TEMPLATE too.
* class.c (resolve_address_of_overloaded_function): Fix typo.

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

* doc/contrib.texi (Contributors):

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

2009-06-24  Janus Weil  <janus@gcc.gnu.org>

PR fortran/40427
* gfortran.h (gfc_component): New member 'formal_ns'.
(gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
* interface.c (gfc_ppc_use): New function, analogous to
gfc_procedure_use, but for procedure pointer components.
* module.c (MOD_VERSION): Bump module version.
(mio_component): Treat formal arguments.
(mio_formal_arglist): Changed argument from gfc_symbol to
gfc_formal_arglist.
(mio_symbol): Changed argument of mio_formal_arglist.
* resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
to check actual arguments and treat formal args correctly.
(resolve_fl_derived): Copy formal args of procedure pointer components
from their interface.
* symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
gfc_copy_formal_args, but for procedure pointer components.

2009-06-24  Janus Weil  <janus@gcc.gnu.org>

PR fortran/40427
* gfortran.dg/proc_ptr_comp_11.f90: New.

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

2009-06-24  Robert Dewar  <dewar@adacore.com>

* prj-nmsc.adb, prj-nmsc.ads, prj-proc.adb, prj.adb: Minor reformatting

* a-strsea.adb (Count): Avoid local copy on stack, speed up unmapped
case.
(Index): Ditto.

2009-06-24  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_One_Call): Check that at least one actual is
present when checking whether a call may be interpreted as an indexing
of the result of a call.

* exp_ch9.adb (Expand_N_Subprogram_Declaration): Place the generated
body for a null procedure on the freeze actions for the procedure, so
that it will be analyzed at the proper place without premature freezing
of actuals.

* sem_ch3.adb (Check_Completion): Code cleanup.
Do not diagnose a null procedure without a body, if previous errors
have disabled expansion.

2009-06-24  Doug Rupp  <rupp@adacore.com>

* init.c [VMS] Resignal C$_SIGKILL

2009-06-24  Ed Falis  <falis@adacore.com>

* s-vxwext.adb, s-vxwext-kernel.adb: Add s-vxwext body for VxWorks 5
Define ERROR in body for VxWorks 6 kernel

2009-06-24  Pascal Obry  <obry@adacore.com>

* g-socket.adb, g-socket.ads: Fix possible unexpected constraint error
in [Send/Receive]_Socket.

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

2009-06-24  Emmanuel Briot  <briot@adacore.com>

* prj-proc.adb, prj-proc.ads, prj.ads, prj-nmsc.adb, prj-nmsc.ads,
prj-conf.adb, prj-conf.ads (Allow_Duplicate_Basenames): New parameter
to several subprograms.
(Source_Data.Other_Part): Removed, since can be computed from the
language.
(Other_Part): New subprogram.

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

2009-06-24  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi, prj-nmsc.adb (Suffix_Matches): A suffix can also match
the full base name of the file when the suffix doesn't start with a '.'.

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

2009-06-24  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check): A project declared abstract is legal if no
attribute Source_Dirs, Source_Files, Source_List_File or Languages is
declared.

2009-06-24  Robert Dewar  <dewar@adacore.com>

* clean.adb, gnatcmd.adb, make.adb, mlib-prj.adb,
prj-env.adb: Minor reformatting

2009-06-24  Ed Falis  <falis@adacore.com>

* s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-vxwext.ads,
s-vxwext-kernel.adb, s-vxwext-kernel.ads, s-vxwext-rtp.adb,
s-tasinf-vxworks.ads, gcc-interface/Makefile.in: Add processor affinity
support for VxWorks SMP.

* gcc-interface/Make-lang.in: Update dependencies

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

2009-06-24  Emmanuel Briot  <briot@adacore.com>

* gnatcmd.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, clean.adb,
prj-nmsc.adb, prj-env.adb, prj-proc.adb (Units_Table): Removed, since
no longer useful.
(Source_Data.Lang_Kind): Removed, since it duplicates information
already available through Language.Config.
(Source_Data.Compile): Removed, since information is already available
through the language.
(Is_Compilable): New subprogram.
(Source_Data.Dependency): Removed, since already available through
the language.
(Source_Data.Object_Exist, Object_Linked): Removed since available
through the language already.
(Unit_Data.File_Names): Is now also set in multi_language mode, to
bring the two modes closer in the resulting data structures.
(Source_Data.Unit): Now a direct pointer to the unit data, rather than
just the name that would point into a hash table.
(Get_Language_From_Name): New subprogram.

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

2009-06-24  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb (Expand_N_Type_Conversion): Handle entities that are
visible through limited-with context clauses. In addition, avoid an
extra tag check that is not required when the class-wide
designated types of the operand and target types are
the same entity.
(Tagged_Membership): Handle entities from the limited view.

2009-06-24  Emmanuel Briot  <briot@adacore.com>

* gnatcmd.adb, make.adb, mlib-prj.adb, prj.ads, clean.adb,
prj-nmsc.adb, prj-env.adb (File_Name_Data): removed
(Spec_Or_Body): now a subtype of Source_Kind, to avoid using two
different vocabularies for similar concepts (Impl/Body_Part and
Spec/Specification).
(Unit_Data): now points directly to a Source_Id, rather than duplicating
some of the information in File_Name_Data. This also saves a bit of
memory. However, since we are now using a pointer we need to test
for null explicitly in several places of the code

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

2009-06-24  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb (Expand_N_Type_Conversion): return immediately
from processing the type conversion when the node is
replaced by an N_Raise_Program_Error node.

2009-06-24  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb (Designates_From_With_Type): New routine.
(Process_Formals): Since anonymous access types are no longer flagged
as from with types, traverse the designated type to determine whether
it is coming from a limited view.

* sem_res.adb: Remove with and use clauses for Sem_Ch10.
(Full_Designated_Type): Use Available_View to extract the non-limited /
full view of a type.

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

2009-06-24  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Minor reformatting

* layout.adb: Minor reformatting

* make.adb: Minor reformatting

2009-06-24  Thomas Quinot  <quinot@adacore.com>

* sem_ch10.adb: Minor code reorganization.

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

2009-06-24  Eric Botcazou  <ebotcazou@adacore.com>

* ttypes.ads: Minor editing.

2009-06-24  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb (Expand_Actuals): Use Is_Volatile, not Treat_As_Volatile
in deciding to do call-by-copy code.

2009-06-24  Vincent Celier  <celier@adacore.com>

* make.adb (Gnatmake): To decide if an executable should be rebuilt,
check if an externally built library file is more current than the
executable.

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

Fix nits

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

2009-06-24  Jonathan Wakely  <jwakely.gcc@gmail.com>

* include/std/future (shared_future): Adjust doxygen comment.

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

2009-06-24  Jonathan Wakely  <jwakely.gcc@gmail.com>

PR libstdc++/40297
* include/bits/atomic_0.h: Reverse debug assertions.
* include/bits/atomic_2.h: Likewise.

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

2009-06-24  Andreas Krebbel  <krebbel1@de.ibm.com>

PR middle-end/40501
* tree-ssa-math-opts.c (execute_optimize_bswap): Convert the bswap
src and dst operands if necessary.

2009-06-24  Andreas Krebbel  <krebbel1@de.ibm.com>

* gcc.dg/pr40501.c: New testcase.

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