* gnat.dg/ref_type.ads, gnat.dg/ref_type.adb: Fix test after proper
rule enforced by gnat on taft types.

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

Fix test after proper rule enforced by gnat on taft types.

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

2009-04-17  Ed Schonberg  <schonberg@adacore.com>

* atree.ads, atree.adb: Move New_Copy_Tree.to sem_util.

* nlists.ads, nlists.adb: Move New_Copy_List to sem_util.

* lib-load.adb: Use Copy_Separate_Tree rather than New_Copy_Tree

* sem_util.ads, sem_util.adb: New_Copy_Tree and New_Copy_List belong in
semantic units, because the handling of itypes in the copied tree
requires semantic information that does not belong in atree.

2009-04-17  Robert Dewar  <dewar@adacore.com>

* par-ch6.adb: Minor reformatting

* prj.adb: Minor reformatting

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

2009-04-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Subprogram_Definition): Additional checks on
illegal uses of incomplete types in formal parts and return types.

* sem_ch6.adb (Process_Formals): Taft-amendment types are legal in
access to subprograms.

* sem_ch7.adb (Uninstall_Declarations): diagnose attempts to use
Taft-amendment types as the return type of an access_to_function type.

* freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
type for access_to_subprograms. The check is performed on package exit.

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

2009-04-17  Gary Dismukes  <dismukes@adacore.com>

* par-ch6.adb (P_Subprogram): Overriding indicators should be allowed
on protected subprogram bodies, so exclude the case where Pf_Flags is
Pf_Decl_Pbod from the error check.

* par-ch9.adb (P_Protected_Operation_Items): Permit overriding
indicators on subprograms in protected bodies, and proceed with parsing
the subprogram.

* sem_ch6.adb (Verify_Overriding_Indicator): Exclude protected
subprograms from the check for primitiveness on subprograms with
overriding indicators.
(Check_Overriding_Indicator): Include protected subprograms in the
style check for missing overriding indicators.

2009-04-17  Tristan Gingold  <gingold@adacore.com>

* init.c: Fix stack checking for x86 Darwin.

2009-04-17  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New project level attribute Object_File_Suffix
(<language>).

* prj-nmsc.adb (Add_Source): Use the object file suffix to get the
object file name
(Process_Compiler): Process attribute Object_File_Suffix

* prj.adb (Object_Name): Use suffix Object_File_Suffix instead of
platform suffix, when specified.

* prj.ads (Language_Config): New component Object_File_Suffix,
defaulted to No_Name.
(Object_Name): New parameter Object_File_Suffix, defaulted to No_Name

* snames.ads-tmpl: New standard name Object_File_Suffix

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

2009-04-17  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation about No_Streams restriction

* sem_attr.adb (Check_Stream_Attribute): Exclude implicit stream
attributes when checking No_Streams restriction.

2009-04-17  Thomas Quinot  <quinot@adacore.com>

* rtsfind.ads (RE_Request_Destroy): New PolyORB s-parint entity.

* exp_dist.adb (PolyORB_Support.Build_General_Calling_Stubs): Add
missing calls to RE_Request_Destroy to deallocate request objects after
use.

2009-04-17  Nicolas Setton  <setton@adacore.com>

* link.c: Fix support for passing a response file under Darwin.

2009-04-17  Emmanuel Briot  <briot@adacore.com>

* prj.adb (Free): new subprogram.

2009-04-17  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: additional initialization on incomplete subtypes.

* sem_ch6.adb (Process_Formals): if the subprogram is in the private
part and one of the formals is an incomplete tagged type, attach to
list of private dependends of the type for later validation.

* sem_ch7.adb (Uninstall_Declarations): diagnose attempts to declare
primitive operations of a Taft-amendmment type.

* freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
type. The check is performed on package exit, possibly after the
subprogram is frozen.

2009-04-17  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Get_Directories): Get the object and exec directory
before looking for source directories, but make sure that there are nil
if they are not explicitely declared and there is explicitely no
sources in the project.

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

2009-04-17  Pascal Obry  <obry@adacore.com>

* initialize.c: Set gnat_argv with UTF-8 encoded strings on Windows.

* adaint.h, argv.c, bindgen.adb: Reverted to previous version.

2009-04-17  Robert Dewar  <dewar@adacore.com>

* a-except.adb, a-except-2005.adb: Add PE_Address_Of_Intrinsic

* sem_attr.adb (Analyze_Attribute, case Address): Use
PE_Address_Of_Intrinsic.

* types.ads: Add PE_Address_Of_Intrinsic

* types.h: Add PE_Address_Of_Intrinsic

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

2009-04-17  Nicolas Setton  <setton@adacore.com>

* gcc-interface/Makefile.in: Under darwin, build shared libraries
with install_name starting with "@rpath/".

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

2009-04-17  Pascal Obry  <obry@adacore.com>

* adaint.h, argv.c (__gnat_init_args): New routine used to initialize
command line arguments.

* bindgen.adb: Call __gnat_init_args instead of simple assignments of
argc, argv and envp parameters.

* init.c: Fix minor typo and style fix.

2009-04-17  Nicolas Setton  <setton@adacore.com>

* link.c: Add darwin section

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

PR testsuite/39792
* g++.dg/ext/complit11.C: Add empty dg-options.

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

* df.h: Include "timevar.h".
(struct df_problem): Change tv_id field to timevar_id_t.
* tree-pass.h: Include "timevar.h".
(struct opt_pass): Change tv_id field to timevar_id_t.
* timevar.h (timevar_id_t): Define TV_NONE.
* passes.c (execute_one_ipa_transform_pass): Check for tv_id !=
TV_NONE rather than tv_id != 0.
(execute_one_pass): Likewise.
* Makefile.in (DF_H): Add $(TIMEVAR_H).
(TREE_PASS_H): Define.  Change all instances of tree-pass.h in
dependencies to $(TREE_PASS_H).
* bt-load.c (pass_branch_target_load_optimize1): Set tv_id field
to TV_NONE.
(pass_branch_target_load_optimize2): Likewise.
* cfglayout.c (pass_into_cfg_layout_mode): Likewise.
(pass_outof_cfg_layout_mode): Likewise.
* cgraphbuild.c (pass_remove_cgraph_callee_edges): Likewise.
(pass_rebuild_cgraph_edges): Likewise.
(pass_remove_cgraph_callee_edges): Likewise.
* df-core.c (pass_df_initialize_opt): Likewise.
(pass_df_initialize_no_opt): Likewise.
(pass_df_finish): Likewise.
* emit-rtl.c (pass_unshare_all_rtl): Likewise.
* except.c (pass_set_nothrow_function_flags): Likewise.
(pass_convert_to_eh_region_ranges): Likewise.
* final.c (pass_compute_alignments): Likewise.
* function.c (pass_instantiate_virtual_regs): Likewise.
(pass_init_function): Likewise.
(pass_leaf_regs): Likewise.
(pass_match_asm_constraints): Likewise.
* gimple-low.c (pass_lower_cf): Likewise.
(pass_mark_used_blocks): Likewise.
* init-regs.c (pass_initialize_regs): Likewise.
* integrate.c (pass_initial_value_sets): Likewise.
* ira.c (pass_ira): Likewise.
* jump.c (pass_cleanup_barriers): Likewise.
* omp-low.c (pass_expand_omp): Likewise.
(pass_lower_omp): Likewise.
* matrix-reorg.c (pass_ipa_matrix_reorg): Likewise.
* recog.c (pass_split_all_insns): Likewise.
(pass_split_after_reload): Likewise.
(pass_split_before_regstack): Likewise.
(pass_split_before_sched2): Likewise.
(pass_split_for_shorten_branches): Likewise.
* reginfo.c (pass_reginfo_init): Likewise.
(pass_subregs_of_mode_init): Likewise.
(pass_subregs_of_mode_finish): Likewise.
* passes.c (pass_postreload): Likewise.
* stack-ptr-mod.c (pass_stack_ptr_mod): Likewise.
* tree-cfg.c (pass_remove_useless_stmts): Likewise.
(pass_warn_function_return): Likewise.
(pass_warn_function_noreturn): Likewise.
* tree-complex.c (pass_lower_complex): Likewise.
(pass_lower_complex_O0): Likewise.
* tree-if-conv.c (pass_if_conversion): Likewise.
* tree-into-ssa.c (pass_build_ssa): Likewise.
* tree-mudflap.c (pass_mudflap_1): Likewise.
(pass_mudflap_2): Likewise.
* tree-nomudflap.c (pass_mudflap_1): Likewise.
(pass_mudflap_2): Likewise.
* tree-nrv.c (pass_return_slot): Likewise.
* tree-object-size.c (pass_object_sizes): Likewise.
* tree-optimize.c (pass_all_optimizations): Likewise.
(pass_early_local_passes): Likewise.
(pass_all_early_optimizations): Likewise.
(pass_cleanup_cfg): Likewise.
(pass_cleanup_cfg_post_optimizing): Likewise.
(pass_free_datastructures): Likewise.
(pass_free_cfg_annotations): Likewise.
(pass_fixup_cfg): Likewise.
(pass_init_datastructures): Likewise.
* tree-ssa.c (pass_early_warn_uninitialized): Likewise.
(pass_late_warn_uninitialized): Likewise.
(pass_update_address_taken): Likewise.
* tree-ssa-ccp.c (pass_fold_builtins): Likewise.
* tree-ssa-math-opts.c (pass_cse_reciprocals): Likewise.
(pass_cse_sincos): Likewise.
(pass_convert_to_rsqrt): Likewise.
* tree-ssa-structalias.c (pass_build_alias): Likewise.
* tree-stdarg.c (pass_stdarg): Likewise.
* tree-tailcall.c (pass_tail_recursion): Likewise.
(pass_tail_calls): Likewise.
* tree-vect-generic.c (pass_lower_vector): Likewise.
(pass_lower_vector_ssa): Likewise.
* tree-vectorizer.c (pass_ipa_increase_alignment): Likewise.

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

Daily bump.

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

* config/mips/mips.c (mips_rtx_cost_data): Use SOFT_FP_COSTS in
XLR entry.
* config/mips/mips.h (MIPS_ISA_LEVEL_SPEC, MIPS_ARCH_FLOAT_SPEC):
Handle -march=xlr.
* config/mips/xlr.md (ir_xlr_alu): Also accept insn types move,
logical and signext.

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

PR target/39767
* config/sh/predicates.md (arith_operand): Check if the operand
of TRUNCATE is a REG.

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

* cfgrtl.c (delete_insn_chain_and_edges): Remove.
* rtl.h: Remove the prototype for delete_insn_chain_and_edges.

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

* tree-iterator.c (tsi_split_statement_list_after,
tsi_split_statement_list_before): Remove.
* tree-iterator.h: Remove the prototypes for
tsi_split_statement_list_after and
tsi_split_statement_list_before.

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

* tree-ssa-propagate.c (stmt_makes_single_load): Remove.
* tree-ssa-propagate.h: Remove the prototype for
stmt_makes_single_load.

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

* emit-rtl.c (set_mem_attrs_from_reg): Remove.
* rtl.h: Remove the prototype for set_mem_attrs_from_reg.

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

* tree-iterator.c (EXPR_LAST_BODY): Remove.

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

* except.c (eh_region_outer_p): Remove.
* except.h: Remove the prototype for eh_region_outer_p.

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

* function.c (current_function_assembler_name): Remove.
* function.h: Remove the prototype for
current_function_assembler_name.

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

2009-04-16  Andrew Pinski  <pinskia@gmail.com>

        PR C++/17570
        * g++.dg/template/defarg11.C: New test.

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

* cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
(tsubst_flags_t): Change typedef from enum type to int.

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

    * configure.ac: Add moxie support.
        * configure: Rebuilt.

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

2009-04-16  Andrew Pinski  <pinskia@gmail.com>

        PR C++/28766
        * g++.dg/ext/complit11.C: New testcase.

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

* rtlanal.c (alloc_reg_note): New function, broken out of
add_reg_note.
(add_reg_note): Call alloc_reg_note.
* rtl.h (alloc_reg_note): Declare.
* combine.c (try_combine): Use alloc_reg_note.
(recog_for_combine, move_deaths): Likewise.
(distribute_notes): Use alloc_reg_note and add_reg_note.
* haifa-sched.c (sched_create_recovery_edges): Use add_reg_note.
* combine-stack-adj.c (adjust_frame_related_expr): Likewise.
* reload1.c (eliminate_regs_1): Use alloc_reg_note.

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

2009-04-16  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/39762
* ira-int.h (ira_register_move_cost, ira_may_move_in_cost,
ira_may_move_out_cost): Add comments about way of their usage.
(ira_get_register_move_cost, ira_get_may_move_cost): New
functions.

* ira-conflicts.c (process_regs_for_copy): Use function
ira_get_register_move_cost instead of global
ira_register_move_cost.

* ira-color.c (update_copy_costs, calculate_allocno_spill_cost,
color_pass, move_spill_restore, update_curr_costs): Ditto.

* ira-lives.c (process_single_reg_class_operands): Ditto.

* ira-emit.c (emit_move_list): Ditto.

* ira-costs.c (copy_cost): Don't call ira_init_register_move_cost.
(record_reg_classes): Ditto.  Use functions
ira_get_register_move_cost and ira_get_may_move_cost instead of
global vars ira_register_move_cost, ira_may_move_out_cost and
ira_may_move_in_cost.
(record_address_regs): Don't call ira_init_register_move_cost.
Use function ira_get_may_move_cost instead of global
ira_may_move_in_cost.
(process_bb_node_for_hard_reg_moves): Use function
ira_get_register_move_cost instead of global
ira_register_move_cost.
(ira_costs): Don't call ira_init_register_move_cost.

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

2009-04-16  Richard Guenther  <rguenther@suse.de>

* tree-cfg.c (verify_gimple_assign_binary):
Allow POINTER_PLUS_EXPR-like PLUS_EXPR for vectors.
* ipa-struct-reorg.c (gen_size): Fold the built expressions.
(create_general_new_stmt): Note that this function is broken.

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

2009-04-16  Rafael Avila de Espindola  <espindola@google.com>

* common.opt (fhelp): Add Var(help_flag).
* gcc-plugin.h (plugin_info): Add help.
* plugin.c (plugin_name_args): Add help.
(register_plugin_info): Set plugin->help.
(print_help_one_plugin): New.
(print_plugins_help): New.
* plugin.h (print_plugins_help): New.
* toplev.c (toplev_main): Call print_plugins_help if needed.

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

ChangeLog for compare-all-tests addition

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

Add compare-all-tests.

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

2009-04-16  Richard Guenther  <rguenther@suse.de>

* gimple.c (gimple_copy): Do not clear addresses_taken bitmap.
(gimple_ior_addresses_taken_1): New function.
(gimple_ior_addresses_taken): Likewise.
* gimple.h (struct gimple_statement_with_ops_base): Remove
addresses_taken member.
(gimple_ior_addresses_taken): Declare.
(gimple_addresses_taken, gimple_addresses_taken_ptr,
gimple_set_addresses_taken): Remove.
* ipa-reference.c (mark_address): New function.
(scan_stmt_for_static_refs): Use it for marking addresses taken.
* tree-ssa-operands.c (add_to_addressable_set): Rename to ...
(mark_address_taken): ... this.  Just set TREE_ADDRESSABLE.
(gimple_add_to_addresses_taken): Remove.
(get_tmr_operands): Call mark_address_taken.
(get_asm_expr_operands): Likewise.
(get_expr_operands): Likewise.
(build_ssa_operands): Do not clear the addresses_taken bitmap.
(free_stmt_operands): Do not free it.
* tree-ssa.c (delete_tree_ssa): Likewise.
(execute_update_addresses_taken): Use gimple_ior_addresses_taken.

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

2009-04-16  Richard Guenther  <rguenther@suse.de>

* gimple.h (walk_stmt_load_store_addr_ops): Declare.
(walk_stmt_load_store_ops): Likewise.
* gimple.c (get_base_loadstore): New function.
(walk_stmt_load_store_addr_ops): Likewise.
(walk_stmt_load_store_ops): Likewise.
* ipa-pure-const.c (check_op): Simplify.
(check_load, check_store): New functions.
(check_stmt): Use walk_stmt_load_store_ops.
* ipa-reference.c (mark_load): Adjust signature.
(mark_store): Likewise.
(scan_stmt_for_static_refs): Use walk_stmt_load_store_addr_ops.

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

2009-04-16  Robert Dewar  <dewar@adacore.com>

* g-pehage.adb: Minor reformatting

* sem_ch12.adb: Minor reformatting

* exp_dist.adb: Minor reformatting

* bindgen.adb: Minor style fixes.

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Eval_Indexed_Component): Extend constant-folding of
indexed components to the case where the prefix is a static string
literal.

2009-04-16  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration): In case of build-in-place
objects avoid any further expansion of the expression initializing the
object.

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

2009-04-16  Rafael Avila de Espindola  <espindola@google.com>

* gcc-plugin.h (plugin_event): Add PLUGIN_INFO.
(plugin_info): New.
* opts.c (common_handle_option): Don't call print_version.
* plugin.c (plugin_name_args): Add version.
(register_plugin_info): New.
(register_callback): Handle PLUGIN_INFO.
(try_init_one_plugin): New.
(init_one_plugin): Use try_init_one_plugin. Only free plugin_name_args
if failed to init.
(finalize_one_plugin): New.
(finalize_plugins): New.
(print_one_plugin): New.
(print_plugins_versions): New.
* plugin.h (print_plugins_versions): New.
(finalize_plugins): New.
* toplev.c (compile_file): Don't call initialize_plugins.
(print_version): Call print_plugins_versions.
(toplev_main): Call initialize_plugins. Print version if needed.
Call finalize_plugins.

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

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Preanalyze_Actuals): If the instance is a child unit
that hides an outer homograph, make that homograph invisible when
analyzing the actuals, to to prevent illegal direct visibility on it.

2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>

* g-pehage.adb (Initialize): Fix off-by-one error.

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

Minor editing.

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

* tree.cc (_Rb_tree_increment, _Rb_tree_decrement,
_Rb_tree_rebalance_for_erase, _Rb_tree_black_count): Mark nothrow;
update uses of _Rb_tree_rotate_left, _Rb_tree_rotate_right.
(_Rb_tree_rotate_left, _Rb_tree_rotate_right): Make wrapper and break
out body to ...
(local_Rb_tree_rotate_left, local_Rb_tree_rotate_right): New static
functions.
* stl_tree.h (_Rb_tree_increment, _Rb_tree_decrement,
_Rb_tree_insert_and_rebalance, _Rb_tree_rebalance_for_erase,
_Rb_tree_black_count): Mark nothrow.

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

2009-04-16  Rafael Avila de Espindola  <espindola@google.com>

* common.opt (fversion): New.
* gcc.c (print_version): New.
(process_command): Don't print the version. Just set print_version.
(main): Print version. Call subprocesses if print_version and
verbose_flag are set.
* opts.c (common_handle_option): Handle OPT_fversion.

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

2009-04-16  Tristan Gingold  <gingold@adacore.com>

* init.c: Detect real stack overflow on Darwin.

* system-darwin-x86.ads: Use stack probing on darwin x86.

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Analyze_Attribute, case 'Address): It is illegal to
take the address of an intrinsic subprogram.

2009-04-16  Vincent Celier  <celier@adacore.com>

* g-trasym-unimplemented.ads, g-trasym-unimplemented.adb: New file.

* g-trasym.ads: Update comments.

2009-04-16  Vasiliy Fofanov  <fofanov@adacore.com>

* tracebak.c (STOP_FRAME): Verify validity of the current address
before dereferencing.

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

* gcc-interface/Makefile.in: Change g-trasym to g-trasym-unimplemented
for the targets where GNAT.Traceback.Symbolic is not supported.

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

2009-04-16  Richard Guenther  <rguenther@suse.de>
Ira Rosen  <irar@il.ibm.com>

PR tree-optimization/39698
* tree-vect-loop.c (get_initial_def_for_reduction): Use the
type of the reduction variable.  Only generate the def if
it is needed.

* omp-low.c (expand_omp_for_generic): When converting to a pointer
make sure to first convert to an integer of the same precision.
* tree-vect-loop-manip.c (vect_update_ivs_after_vectorizer): Retain
the type of the evolution correctly in computing the new
induction variable base.

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

2009-04-16  Tristan Gingold  <gingold@adacore.com>

* s-intman-susv3.adb: New file.

* init.c, s-osinte-darwin.ads: Fix stack checking in tasking mode

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

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

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

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sprint.adb (Write_Itype): If the itype is an array subtype, preserve
the original location of the index expressions and the index subtypes,
to prevent spurious out-of-scope references in gigi.

2009-04-16  Tristan Gingold  <gingold@adacore.com>

* init.c, s-osinte-darwin.ads, system-darwin-x86_64.ads:
Add support for stack checking on darwin.

2009-04-16  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New attribute Runtime_Source_Dir

* prj-nmsc.adb (Process_Project_Level_Array_Attributes): Process
attribute Runtime_Source_Dir.
(Check_Naming_Schemes): Give default values to out parameters to avoid
invalid data.

* prj.ads (Language_Config): New component Runtime_Source_Dir

* snames.ads-tmpl: New standard name Runtime_Source_Dir

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

2009-04-16  Pascal Obry  <obry@adacore.com>

* adaint.h, adaint.c (__gnat_rmdir): New routine.
Simple wrapper routines used to convert to proper encoding on
Windows.

* s-crtl.ads: Use __gnat_rmdir instead of direct call to the C library.

* g-dirope.adb (Remove_Dir): Fix a bug, the root directory was removed
twice.

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

2009-04-16  Pascal Obry  <obry@adacore.com>

* s-crtl.ads, s-os_lib.adb: Minor code clean-up.

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

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* snames.ads-tmpl (Name_Defined): New predefined name for use by the
integrated preprocessor.

* prep.ads, prep.adb (Setup_Hooks): New subprogram.
(Initialize): Split into two subprograms, Initialize (to be called
prior to compiler command line processing) and Setup_Hooks (to be called
later on when the first source file is loaded).

* gprep.adb: Change call to Prep.Initialize to call to Prep.Setup_Hooks.
Add call to Prep.Initialize.

* sinput-l.adb, prepcomp.adb: Change call to Prep.Initialize to call
to Prep.Setup_Hooks.

2009-04-16  Pascal Obry  <obry@adacore.com>

* adaint.h, adaint.c (__gnat_chdir): New routine.
Simple wrapper routines used to convert to proper encoding on
Windows.

* s-crtl.ads: Use __gnat_chdir instead of direct call to the C library.

* a-direct.adb, g-dirope.adb: Use chdir from System.CRTL.

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

2009-04-16  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/c++config: Revert inadvertent change.

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

2009-04-16  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/forward_list.h: Remove default std::allocator<_Tp>
from base classes.
* testsuite/23_containers/forward_list/capacity/1.cc: Adjust.

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

2009-04-16  Quentin Ochem  <ochem@adacore.com>

* sinput-p.adb (Clear_Source_File_Table): Use Sinput.Initialize instead
of Source.Init.

2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>

* a-convec.ads (Is_Empty): Mark inline.

2009-04-16  Nicolas Roche  <roche@adacore.com>

* init.c (__gnat_init_float): Initialize FPU on x86_64 windows

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* prepcomp.adb: Minor reformatting

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

2009-04-16  Jerome Lambourg  <lambourg@adacore.com>

* sem_prag.adb (Process_Import_Or_Interface): With .NET,
Access_Subprogram types can also be imported.
(Check_Form_Of_Interface_Name): Accept '/' character in entity CIL
names.

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
preserve homonym chain when the declaration is rewritten into a
renaming declaration, in order to preserve visibility structure.

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

2009-04-16  Richard Guenther  <rguenther@suse.de>

PR middle-end/39625
* tree-cfg.c (make_blocks): Split statements with to-be
abnormal SSA names on the lhs.

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

2009-04-16  Jerome Lambourg  <lambourg@adacore.com>

* sem_prag.adb (Analyze_Pragma): Make sure that pragma pack is not
taken into account for VM targets.

2009-04-16  Hristian Kirtchev  <kirtchev@adacore.com>

* g-calend.ads, g-calend.adb (Week_In_Year): Now calls
Year_Week_In_Year.
(Year_Week_In_Year): New routine which contains the original code from
Week_In_Year. Add the missing special case for January 1st falling on
a Monday.

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

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb (Build_From_Any_Call): For a subtype that is a generic
actual type, use the base type to build the To_Any function.
(Build_From_Any_Function): Remove junk, useless subtype conversion.

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* exp_ch9.adb, exp_code.adb, tbuild.adb, sem_case.adb,
restrict.adb: Minor code reorganization (use
Add_{Char,Str}_To_Name_Buffer instead of inlining it by hand).

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

2009-04-16  Bob Duff  <duff@adacore.com>

* exp_ch6.ads, exp_ch6.adb (Is_Build_In_Place_Function_Return): Remove,
unused.

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb: Minor reformatting

* adaint.c: Remove junk duplicated code.

* sem_ch3.adb: Minor reformatting

* exp_dist.adb: Minor comment rewording

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

* Make-lang.in: Add entries for s-conca?.o

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

2009-04-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document effect of Assume_No_Invalid_Values and -gnatVa
used together.

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Find_Equality_Types): Filter out types that are not
usable before calling Add_One_Interp, to resolve spurious ambiguities.

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

* exp_ch4.adb, opt.ads: Minor editing.

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

2009-04-16  Robert Dewar  <dewar@adacore.com>

* Makefile.rtl: Add entries for s-conca?

* debug.adb: Add debug flags -gnatd.c and -gnatd.C to control behavior
of concatenation expansion

* exp_ch4.adb (Expand_Concatenation): Generate calls for certain
string cases instead of expanding assignments inline.

* opt.ads (Optimize_Size): New flag

* s-conca2.ads, s-conca2.adb, s-conca3.adb, s-conca3.ads,
s-conca4.adb, s-conca4.ads, s-conca5.adb, s-conca5.ads, s-conca6.adb,
s-conca6.ads, s-conca7.ads, s-conca7.adb, s-conca8.adb, s-conca8.ads,
s-conca9.adb, s-conca9.ads: New file.

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

2009-04-16  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Add comments

* rtsfind.ads: Add entries for s-conca? routines

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

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

* gcc-interface/Makefile.in: Update translation for vms.

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

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Map_Formal_Package_Entities): renamed from Map_Entities
and made global, to be used when installing parents of a child
instance, to provide mappings for entities declared in formal packages
of ancestor units. Now called from Install_Formal_Packages.

2009-04-16  Doug Rupp  <rupp@adacore.com>

* s-taskin.adb (Initialize_ATCB): Initialize Debug_Events with others
notation for clarity.

* s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
s-taprop-mingw.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-posix.adb
(Initialize): Initialize Known_Tasks with Environment task.

* s-taskin.ads (Task_States): Move new states to end for the sake of
GDB compatibility.

* s-tassta.adb (Task_Wrapper): Fix comment about Enter_Task.

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

2009-04-16  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected
operation has an inline pragma, propagate the flag to the internal
unprotected subprogram.

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

2009-04-16  Doug Rupp  <rupp@adacore.com>

* s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-mingw.adb,
s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-irix.adb,
s-taprop-hpux-dce.adb, s-taprop-posix.adb
(Enter_Task): Move Known_Tasks initialization to s-tassta.adb

* s-taprop-vms.adb (Enter_Task): Likewise.
(Initialize): Import DBEXT, Debug_Register. Register DBGEXT callback.

* s-tassta.adb (Activate_Tasks): After task creation set state to
Activating, vice Runnable. Initialize Known_Tasks, moved here from
s-taprop.adb (Enter_Task). Set Debug_Event_Activating for debugger.
Set state to Runnable after above.
(Task_Wrapper): Set Debug_Event_Run. In exception block set
Debug_Event_Terminated.

* s-taskin.ads (Task_States): Add new states Activiting and
Activator_Delay_Sleep.
(Bit_Array, Debug_Event_Array): New types.
(Global_Task_Debug_Event_Set: New flag.
(Common_ATCB): New field Debug_Events.

* s-taskin.adb (Initialize_ATCB): Initialize Debug_Events.

* s-tasren.adb (Timed_Selective_Wait): Set Activator_Delay_Sleep vice
Activator_Sleep.

* s-tasini.adb (Locked_Abort_To_Level): Add case alternatives for when
Activating and when Acceptor_Delay_Sleep.

* s-tasdeb.ads: Add constants for Debug_Events.
(Debug_Event_Kind_Type): New subtype.
(Signal_Debug_Event): New subprogram.

* s-tasdeb.adb (Signal_Debug_Event): New null subprogram.

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

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* sem_elim.adb: Minor reformatting

* freeze.adb: Minor reformatting

* exp_ch4.adb: Minor reformatting

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

2009-04-16  Paolo Bonzini  <bonzini@gnu.org>

* c-common.c (vector_targets_convertible_p, vector_types_convertible_p):
Use TYPE_VECTOR_OPAQUE instead of targetm.vector_opaque_p.
* c-typeck.c (really_start_incremental_init): Likewise.
* target-def.h (TARGET_VECTOR_OPAQUE_P): Remove.
(TARGET_INITIALIZER): Remove it.
* target.h (struct target): Remove vector_opaque_p.
* tree.c (build_opaque_vector_type): New.
* tree.h (TYPE_VECTOR_OPAQUE): New.
(build_opaque_vector_type): Declare.
* doc/tm.texi (TARGET_VECTOR_OPAQUE_P): Remove.
* config/rs6000/rs6000.c (build_opaque_vector_type,
rs6000_is_vector_type, TARGET_VECTOR_OPAQUE_P): Remove.
(rs6000_init_builtins): Use build_opaque_vector_type for
opaque_V4SI_type_node.

cp:
2009-04-16  Paolo Bonzini  <bonzini@gnu.org>

* decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
instead of targetm.vector_opaque_p.

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

2009-04-16  Emmanuel Briot  <briot@adacore.com>

* prj-nmsc.adb (Path_Name_Of): fix memory leak

2009-04-16  Robert Dewar  <dewar@adacore.com>

* sinfo.ads (Backwards_OK, Forwards_OK): Clarify documentation

2009-04-16  Vincent Celier  <celier@adacore.com>

* fmap.adb (Initialize): Show the current line when the mapping file
is detected as "incorrectly formatted".

2009-04-16  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb: Minor reformatting

* sem_ch5.adb: Minor comment addition

* sem_util.adb: Minor reformatting

* sinput-p.adb: Minor reformatting
Add missing pragma Warnings (On)

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

2009-04-16  Ed Falis  <falis@adacore.com>

* s-vxwext-kernel.adb: (ERROR): deleted unused constant

2009-04-16  Vincent Celier  <celier@adacore.com>

* ali-util.adb: Minor comment spelling error fix

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

2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>

* exp_ch5.adb (Expand_Assign_Array): For the GCC back-end, do not
generate an assignment loop in case of overlap.

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

2009-04-16  Olivier Hainque  <hainque@adacore.com>

* gnat_ugn.texi (gnatmem description): Make it explicit that
gnatmem is designed to work in association with static runtime
library only.

2009-04-16  Thomas Quinot  <quinot@adacore.com>

* sem_type.adb: Minor reformatting

2009-04-16  Hristian Kirtchev  <kirtchev@adacore.com>

* s-osprim-darwin.adb, s-osprim-posix.adb (Clock): Add comment
concerning return codes of gettimeofday and return value check.

2009-04-16  Ed Falis  <falis@adacore.com>

* s-vxwext-kernel.ads (Int_Lock, Int_Unlock): set to convention C so
body can be renaming of imported routines.

2009-04-16  Vasiliy Fofanov  <fofanov@adacore.com>

* s-asthan-vms-alpha.adb: Disable warnings on alignment in a more
targeted fashion.

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

2009-04-15  Benjamin Kosnik  <bkoz@redhat.com>

* doc/html: Regenerate, remove un-needed.

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

Daily bump.

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

2009-04-15  Benjamin Kosnik  <bkoz@redhat.com>

* doc/html: Regenerate.

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

2009-04-15  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/status_cxx1998.xml: Update to new table style.

* doc/xml/gnu/gpl-3.0.xml: Add or adjust dbhtml markup.
* doc/xml/gnu/fdl-1.2.xml: Same.
* doc/xml/manual/numerics.xml: Same.
* doc/xml/manual/concurrency.xml: Same.
* doc/xml/manual/intro.xml: Same.
* doc/xml/manual/status_cxxtr1.xml: Same.
* doc/xml/manual/containers.xml: Same.
* doc/xml/manual/io.xml: Same.
* doc/xml/manual/utilities.xml: Same.
* doc/xml/manual/support.xml: Same.
* doc/xml/manual/using.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/locale.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/diagnostics.xml: Same.
* doc/xml/manual/status_cxx200x.xml: Same.

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

2009-04-15  Catherine Moore  <clm@codesourcery.com>

        * debug.h (set_name):  Declare.
        * dwarf2out.c (dwarf2out_set_name): Declare.
        (dwarf2_debug_hooks): Add set_name.
        (find_AT_string): New.
        (add_AT_string): Call find_AT_string.
        (dwarf2out_set_name): New.
        * cp/decl.c (grokdeclarator): Call set_name.
        * vmsdbgout.c (vmsdbg_debug_hooks): Add set_name_debug_nothing.
        * debug.c (do_nothing_debug_hooks):  Likewise.
        * dbxout.c (dbx_debug_hooks): Likewise.
        * sdbout.c (sdb_debug_hooks): Likewise.

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

Fix PR number for r146134

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

2009-04-15  Janne Blomqvist  <jb@gcc.gnu.org>

PR libfortran/38688
* io/transfer.c (finalize_transfer): Don't flush for advance='no'.

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

Add parens around expression.

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

    PR c++/39551
* gcc/cp/call.c (build_over_call): Set TREE_NO_WARNING on the
compiler-generated INDIRECT_REF expression.
* gcc/cp/cvt.c (convert_to_void): Emit warning when stripping off
INDIRECT_REF.
* gcc/testsuite/g++.dg/warn/Wunused-13.C: New testcase.

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

2009-04-15  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/status_cxxtr1.xml: Update to  new table style.
* doc/xml/manual/status_cxx200x.xml: Adjust.

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

Allows a single-precision FP register to contain a SImode value.
This is only active when TARGET_SINGLE_FPU is true (e.g., --target=powerpc-xilinx-eabi).

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

2009-04-15  Richard Guenther  <rguenther@suse.de>

* omp-low.c (lower_rec_input_clauses): Build correct address
expressions.
(expand_omp_for_generic): Fix multiplication type.
* tree-loop-distribution.c (build_size_arg): Build a
size_t argument.
(generate_memset_zero): Fix types.
* tree-profile.c (prepare_instrumented_value): Correctly
widen a pointer.

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

gcc/:
* c.opt (Wenum-compare): Enable for C and Objc.  Initialize to -1.
* c-opts.c (c_common_handle_option): For C, set warn_enum_compare
for -Wall and for -Wc++-compat.
(c_common_post_options): For C++, set warn_enum_compare if not
already set.
* c-tree.h (struct c_expr): Add field original_type.
(build_external_ref): Update declaration.
* c-parser.c (c_parser_braced_init): Set original_type.
(c_parser_initelt): Likewise.
(c_parser_expr_no_commas): Likewise.
(c_parser_conditional_expression): Likewise.
(c_parser_cast_expression): Likewise.
(c_parser_unary_expression): Likewise.  Pull setting of
original_code to top of function.
(c_parser_sizeof_expression): Set original_type.
(c_parser_alignof_expression): Likewise.
(c_parser_postfix_expression): Likewise.  Pull setting of
original_code to top of function.
(c_parser_postfix_expression_after_paren_type): Set
original_type.
(c_parser_postfix_expression_after_primary): Likewise.
(c_parser_expression): Likewise.
* c-typeck.c (build_external_ref): Add type parameter.  Change all
callers.
(c_expr_sizeof_expr): Set original_type field.
(parser_build_unary_op): Likewise.
(parser_build_binary_op): Likewise.  Optionally warn about
comparisons of enums of different types.
(digest_init): Set original_type field.
(really_start_incremental_init): Likewise.
(push_init_level, pop_init_level): Likewise.
* doc/invoke.texi (Warning Options): -Wenum-compare now
supported in C.
gcc/testsuite/:
* gcc.dg/Wenum-compare-1.c: New testcase.

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

2009-04-15  Richard Guenther  <rguenther@suse.de>

* tree-ssa-pre.c (eliminate): When replacing a PHI node carry
out a necessary conversion.
* tree-ssa-sccvn.c (run_scc_vn): Also assign value-ids to
names we didn't value number.
* tree-mudflap.c (mf_build_check_statement_for): Use correct types.

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

2009-04-15  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/39764
* tree-ssa-ccp.c (get_value): Canonicalize value with
canonicalize_float_value.

* g++.dg/torture/pr39764.C: New testcase.

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

* builtins.def (va_start, va_end, va_copy): Fix my previous commit.
Wrong version of patch.

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

* builtins.def (va_start, va_end, va_copy): Mark nothrow.

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

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch9.adb: Comment improvements.
(Build_Entry_Family_Name): Add parentheses around the index of a entry
family member.

2009-04-15  Bob Duff  <duff@adacore.com>

* sem_warn.adb (Check_Infinite_Loop_Warning): Catch cases like
"while X /= null loop" where X is unchanged inside the loop. We were
not warning in this case, because of the pointers -- we feared that the
loop variable could be updated via a pointer, if there are any pointers
around the place. But that is impossible in this case.

* sem_util.adb (May_Be_Lvalue): This routine was overly pessimistic in
the case of dereferences. In X.all, X cannot be an l-value. We now
catch that case (and implicit dereferences, too).

2009-04-15  Vincent Celier  <celier@adacore.com>

* sinput-p.ads, sinput-p.adb (Clear_Source_File_Table): New procedure

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Is_Actual_Of_Previous_Formal): Make fully recursive.
From code reading.
(Analyze_Package_Instantiation): If generic unit in child instance is
the same as generic unit in parent instance, look for an outer homonym
to locate the desired generic.

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

2009-04-15  Bob Duff  <duff@adacore.com>

* sem_ch5.adb (Analyze_Loop_Statement): Don't check for infinite loop
warnings unless the loop comes from source, because checking generated
loops is a waste of time, and makes it harder to debug
Check_Infinite_Loop_Warning.

* sem_warn.adb (Check_Infinite_Loop_Warning): If the local variable
tested in the while loop is a renaming, do not warn. Otherwise, we get
false alarms, because it's usually renaming something that we can't
deal with (an indexed component, a global variable, ...).

* gnat_rm.texi: Fix typo

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* sem_ch6.adb: Minor reformatting

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

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Expand_Ctrl_Function_Call): Check for the case where the
immediate parent of the controlled function call is a component
association.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): If the type is tagged, indicate that the
corresponding class-wide type is also in use.

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* frontend.adb: Minor comment fix

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

Reorganize code.

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

2009-04-15  Robert Dewar  <dewar@adacore.com>

* gnatchop.adb (BOM_Length): New global variable
(Write_Unit): Add new parameter Write_BOM
(Write_Chopped_Files): Check for BOM and set Write_BOM for call
to Write_Unit

* gnat_ugn.texi: Add note on propagation of BOM by gnatchop

2009-04-15  Geert Bosch  <bosch@adacore.com>

* system-mingw-x86_64.ads, system-darwin-x86_64.ads
(Backend_Overflow_Checks): Set to True.

2009-04-15  Gary Dismukes  <dismukes@adacore.com>

* par-ch3.adb (P_Type_Declaration): Issue an error if the synchronized
keyword is given in a record extension.

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Expand_Ctrl_Function_Call): Procede with the expansion
of a controlled function call in the context of a record aggregate.
This does not apply to array aggregates since the call will be expanded
into assignments.

2009-04-15  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks-kernel.adb, s-osinte-vxworks.adb,
s-osinte-vxworks.ads s-vxwext.ads, s-vxwext-kernel.adb,
s-vxwext-kernel.ads: Reorganize s-osinte-vxworks* and s-vxwext*.

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

* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/Makefile.in: Reorganization of s-osinte-vxworks*
and s-vxwext*.

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

Fix formatting

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

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Unchecked_Conversions): Store source location instead
of node for location for warning messages.

* gnatchop.adb: Minor reformatting

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb: additional guard for renaming declarations for in
parameters of an array type.

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

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb (Get_Static_Length): Go to origin node for array bounds
in case they were rewritten by expander (Force_Evaluation).

* targparm.adb (Get_Target_Parameters): Correct check for
Suppress_Exception_Locations.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call): If an in-parameter in a call to be
inlined  is of an array type that is not bit-packed, use a renaming
declaration to capture its value, rather than a constant declaration.

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

2009-04-15  Robert Dewar  <dewar@adacore.com>

* rtsfind.adb: Minor reformatting.

2009-04-15  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj-tree.adb, prj-tree.ads (Restore_And_Free): renames
Restore, and free the saved context.

2009-04-15  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Analyze_Private_Extension_Declaration): Move error check
for illegal private extension from a synchronized interface parent in
front of check for illegal limited extension so that limited extension
from a synchronized interface will be rejected.
(Check_Ifaces): Check that a private extension that has a synchronized
interface as a progenitor must be explicitly declared synchronized.
Also check that a record extension cannot derive from a synchronized
interface.

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

2009-04-15  Pascal Obry  <obry@adacore.com>

* adaint.h (__gnat_unlink): Add spec.
(__gnat_rename): Likewise.

2009-04-15  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb: Minor spelling error corrections in error messages

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Minor comment update

* opt.ads: Minor comment updates

* checks.adb (Enable_Overflow_Check): Do not set Do_Overflow_Check for
modular type.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_disp.ads, exp_disp.adb (Register_Primitive): Is now a function
that generates the code needed to update a dispatch table when a
primitive operation is declared with a subprogram body without previous
spec. Insertion of the generated code is responsibility of the caller.
(Make_DT): When building static tables, append the code created by
Register_Primitive to update a secondary table after it has been
constructed.

* exp_ch3.adb, exp_ch6.adb: use new version of Register_Primitive.

* sem_disp.adb (Check_Dispatching_Operation): Call Register_Primitive
on an overriding operation that implements an interface operation only
if not building static dispatch tables.

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* a-caldel-vms.adb (To_Duration): Declare a "safe" end of time which
does not cause overflow when converted to Duration. Use the safe value
as the maximum allowable time delay..

2009-04-15  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Set_Command_Line): When adding a switch with attached
parameter, specify that the delimiter is NUL, otherwise "-j2" will be
translated to "-j 2".

2009-04-15  Bob Duff  <duff@adacore.com>

* rtsfind.adb (Maybe_Add_With): Split out procedure to add implicit
with_clauses, to avoid code duplication. Change this processing so we
always add a with_clause on the main unit if needed.

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

2009-04-15  Pascal Obry  <obry@adacore.com>

Add support for Win32 native encoding for delete/rename routines.

* adaint.c (__gnat_unlink): New routine.
(__gnat_rename): New routine.
Simple wrapper routines used to convert to proper encoding on
Windows.

* s-os_lib.adb: Use __gnat_unlink and __gnat_rename instead of direct
call to the C library.

* g-sercom-mingw.adb, s-win32.ads: Update Win32 binding.

2009-04-15  Robert Dewar  <dewar@adacore.com>

* s-tassta.adb: Minor reformatting

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