gcc-dg.exp (gcc-dg-prune): Make linker message check less strict so it also works with auto-overlay support.

* lib/gcc-dg.exp (gcc-dg-prune): Make linker message check
less strict so it also works with auto-overlay support.
* lib/gcc-defs.exp (${tool}_check_unsupported_p): Add check
for "exceeds local store" linker errors on the SPU.

* lib/gfortran.exp: Include target-supports.exp.
(gfortran_init): On SPU targets where automatic overlay support
is available, use it to build all Fortran test cases.

* gfortran.dg/pr20257.f90: Skip on spu-*-* targets.

From-SVN: r146242

configure.ac: Test for -ffunction-sections -fdata-sections and set SECTION_FLAGS accordingly.

* configure.ac: Test for -ffunction-sections -fdata-sections and
set SECTION_FLAGS accordingly.
* configure: Regenerate.

* Makefile.am: Add SECTION_FLAGS to AM_CFLAGS.
* Makefile.in: Regenerate.

From-SVN: r146241

re PR tree-optimization/39746 (Fail pr34513.c and pr34513.C at -O1 and above)

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

PR tree-optimization/39746
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Remove
special-casing for builtins and static variable use/def.
(call_may_clobber_ref_p_1): Likewise.

From-SVN: r146240

[multiple changes]

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

* sinfo.ads, exp_aggr.adb, exp_aggr.ads: Minor reformatting

* exp_ch7.adb: Minor reformatting

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

* exp_ch4.adb (Expand_Allocator_Expression): In an initialized
allocator, check that the expression of the qualified expression obeys
the constraints of the subtype of the qualified expression.

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

* sprint.adb (Write_Itype): Add handling of enumeration subtypes.

From-SVN: r146239

[multiple changes]

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

* exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
aggregate, using context imposed by subtype mark in allocator.

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

* gnat_rm.texi: Document GNAT_CODE_PAGE environment variable

From-SVN: r146238

[multiple changes]

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

* initialize.c (__gnat_initialize): remove MAX_PATH limitation on each
argument length.

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

* sem_elim.adb (Eliminate_Error_Msg): Minor change to error message to
cover both calls and attribute references ("call" => "reference").

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

* sem_ch3.adb (Analyze_Subtype_Declaration): A subtype of an access
type for which Storage_Size is set to 0 is legal in a pure unit.

From-SVN: r146237

[multiple changes]

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

* exp_ch7.adb: Minor reformatting

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

* restrict.adb (Check_Restriction_No_Dependence): Don't check
restriction if outside main extended source unit.

* sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction
for parents of child units as well as the child unit itself.

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

* checks.ads: Minor comment fix

* exp_aggr.ads: Minor comment fix

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

* adaint.c: Improve cross compiler detection and handling.

From-SVN: r146236

[multiple changes]

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

* exp_ch4.adb (Expand_Concatenation): Do not use calls at -Os.

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

* mingw32.h: Add S2WSC and WS2SC macros to convert to/from
CurrentCodePage.

* adaint.h: Encoding_Unspecified is now defined. Corresponds to the
value when no encoding form paramter is set on Text_IO services.

* adaint.c: CurrentCodePage new variable on Windows.
Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
ones.

* mkdir.c: Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
ones.

* initialize.c: Initialize CurrentCodePage depending on GNAT_CODE_PAGE
environment variable value. Default is UTF-8.

* s-crtl.ads: Filename_Encoding add Unspecified in the enumeration type.
fopen and freopen encoding parameter is now set to Unspecified.
The default value is in this case UTF-8 (as it was before) but
use the new macros that convert to/from the code page set
at runtime (CurrentCodePage).

* s-fileio.adb: When no encoding specified use Unspecified value.

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

* atree.adb, atree.ads: Remove dead code.

From-SVN: r146235

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

From-SVN: r146234

Adjust previous check-in, which set the wrong install_name for libgnarl
under Darwin.

From-SVN: r146233

ref_type.ads, [...]: Fix test after proper rule enforced by gnat on taft types.

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

From-SVN: r146232

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

From-SVN: r146231

[multiple changes]

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

From-SVN: r146230

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

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.

From-SVN: r146229

[multiple changes]

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

From-SVN: r146228

[multiple changes]

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.

From-SVN: r146227

[multiple changes]

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

From-SVN: r146226

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

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

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

From-SVN: r146225

[multiple changes]

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

From-SVN: r146224

re PR testsuite/39792 (g++.dg/ext/complit11.C failed)

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

From-SVN: r146223

df.h: Include "timevar.h".

* 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.

From-SVN: r146222

Daily bump.

From-SVN: r146221

mips.c (mips_rtx_cost_data): Use SOFT_FP_COSTS in XLR entry.

* 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.

From-SVN: r146217

re PR target/39767 (libgcc2.c:562: internal compiler error: RTL check: expected code 'reg', have 'ashiftrt' in rhs_regno, at rtl.h:1005)

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

From-SVN: r146216

cfgrtl.c (delete_insn_chain_and_edges): Remove.

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

From-SVN: r146215

tree-iterator.c (tsi_split_statement_list_after, [...]): Remove.

* 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.

From-SVN: r146214

tree-ssa-propagate.c (stmt_makes_single_load): Remove.

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

From-SVN: r146213

emit-rtl.c (set_mem_attrs_from_reg): Remove.

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

From-SVN: r146212

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

From-SVN: r146211

except.c (eh_region_outer_p): Remove.

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

From-SVN: r146210

function.c (current_function_assembler_name): Remove.

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

From-SVN: r146209

re PR c++/17570 (Extension to incorporate default parameters in signature of templates breaks valid program)

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

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

From-SVN: r146206

cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.

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

From-SVN: r146205

configure.ac: Add moxie support.

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

From-SVN: r146204

re PR c++/28766 (compound literal expression vs templates)

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

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

From-SVN: r146203

rtlanal.c (alloc_reg_note): New function, broken out of add_reg_note.

* 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.

From-SVN: r146201

re PR rtl-optimization/39762 (IRA ICE with -msoft-float)

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.

From-SVN: r146198

tree-cfg.c (verify_gimple_assign_binary): Allow POINTER_PLUS_EXPR-like PLUS_EXPR for vectors.

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.

From-SVN: r146197

common.opt (fhelp): Add Var(help_flag).

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.

From-SVN: r146195

ChangeLog for compare-all-tests addition

From-SVN: r146194

Add compare-all-tests.

From-SVN: r146193

gimple.c (gimple_copy): Do not clear addresses_taken bitmap.

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.

From-SVN: r146191

gimple.h (walk_stmt_load_store_addr_ops): Declare.

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.

From-SVN: r146190

[multiple changes]

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.

From-SVN: r146189

gcc-plugin.h (plugin_event): Add PLUGIN_INFO.

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.

From-SVN: r146187

[multiple changes]

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.

From-SVN: r146186

Minor editing.

From-SVN: r146185

tree.cc (_Rb_tree_increment, [...]): Mark nothrow; update uses of _Rb_tree_rotate_left, _Rb_tree_rotate_right.

* 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.

From-SVN: r146184

common.opt (fversion): New.

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.

From-SVN: r146183

[multiple changes]

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.

From-SVN: r146182

Makefile.in: Change g-trasym to g-trasym-unimplemented for the targets where...

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

From-SVN: r146181

re PR tree-optimization/39698 (wrong types for vectorized reduction)

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.

Co-Authored-By: Ira Rosen <irar@il.ibm.com>
From-SVN: r146180

s-intman-susv3.adb: New file.

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

From-SVN: r146179

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

From-SVN: r146178

[multiple changes]

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

From-SVN: r146177

adaint.h, adaint.c (__gnat_rmdir): New routine.

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.

From-SVN: r146176

s-crtl.ads, [...]: Minor code clean-up.

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

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

From-SVN: r146175

[multiple changes]

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.

From-SVN: r146174

c++config: Revert inadvertent change.

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

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

From-SVN: r146172

forward_list.h: Remove default std::allocator<_Tp> from base classes.

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.

From-SVN: r146171

[multiple changes]

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

From-SVN: r146170

[multiple changes]

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.

From-SVN: r146169

re PR middle-end/39625 (Revision 145338 breaks ability to build Ada)

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.

From-SVN: r146168

[multiple changes]

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.

From-SVN: r146167

exp_dist.adb (Build_From_Any_Call): For a subtype that is a generic actual type...

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).

From-SVN: r146166

[multiple changes]

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

From-SVN: r146165

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

From-SVN: r146164

[multiple changes]

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.

From-SVN: r146163

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

From-SVN: r146162

Makefile.rtl: Add entries for s-conca?

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.

From-SVN: r146161

exp_ch6.adb: Add comments

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

* exp_ch6.adb: Add comments

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

From-SVN: r146160

Make-lang.in: Update dependencies.

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

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

From-SVN: r146159

[multiple changes]

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.

From-SVN: r146158

exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected operation has an inline pragma...

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.

From-SVN: r146156

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.

From-SVN: r146155

sem_elim.adb: Minor reformatting

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

* sem_elim.adb: Minor reformatting

* freeze.adb: Minor reformatting

* exp_ch4.adb: Minor reformatting

From-SVN: r146154

c-common.c (vector_targets_convertible_p, [...]): Use TYPE_VECTOR_OPAQUE instead of targetm.vector_opaque_p.

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.

From-SVN: r146153

[multiple changes]

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)

From-SVN: r146152

[multiple changes]

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

From-SVN: r146151

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

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.

From-SVN: r146150

[multiple changes]

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.

From-SVN: r146149

html: Regenerate, remove un-needed.

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

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

From-SVN: r146145

Daily bump.

From-SVN: r146143

html: Regenerate.

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

* doc/html: Regenerate.

From-SVN: r146140

status_cxx1998.xml: Update to new table style.

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.

From-SVN: r146139

debug.h (set_name): Declare.

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.

From-SVN: r146137

Fix PR number for r146134

From-SVN: r146135

re PR libfortran/38668 (advance="no": no buffering, truncate and seek)

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

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

From-SVN: r146134

Add parens around expression.

From-SVN: r146133

re PR c++/39551 (C++ frontend not warn about unused dereference operator with -Wunused-value)

        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.

From-SVN: r146132

status_cxxtr1.xml: Update to new table style.

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.

From-SVN: r146131

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).

From-SVN: r146130

omp-low.c (lower_rec_input_clauses): Build correct address expressions.

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.

From-SVN: r146129

c.opt (Wenum-compare): Enable for C and Objc.

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.

From-SVN: r146127

tree-ssa-pre.c (eliminate): When replacing a PHI node carry out a necessary conversion.

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.

From-SVN: r146121

re PR tree-optimization/39764 (ICE in set_lattice_value, at tree-ssa-ccp.c:468 with -ffinite-math-only)

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.

From-SVN: r146120

builtins.def (va_start, [...]): Fix my previous commit.

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

From-SVN: r146117

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

From-SVN: r146113

[multiple changes]

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.

From-SVN: r146112

[multiple changes]

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

From-SVN: r146111