[multiple changes]

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

* a-calend.adb: Remove types char_Pointer, int, tm and tm_Pointer.
(localtime_tzoff): This routine no longer accepts an actual of type
tm_Pointer.
(UTC_Time_Offset): Remove local variable Secs_TM.

* sysdep.c (__gnat_localtime_tzoff): This routine no longer accepts an
actual of type struct tm*. Add local variable of type struct tm for all
targets that provide localtime_r and need to invoke it.

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

* s-oscons-tmplt.c, g-socket.adb, g-socket.ads
(GNAT.Sockets.Resolve_Error): Add case of EPIPE
Add case of EAGAIN for platforms where it is not equal to EWOULDBLOCK

From-SVN: r146369

[multiple changes]

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

* sem_ch3.adb: Minor reformatting

* lib-load.adb: Minor reformatting

* sem_ch4.adb: Minor reformatting

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

* namet-sp.ads, namet-sp.adb (Is_Bad_Spelling_Of): Implement new spec
(equal values => False).

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

* exp_ch6.adb (Is_Null_Procedure): predicate is global, so that calls
to null procedures can be inlined unconditionally.

From-SVN: r146368

trans.c (call_to_gnu): When creating the copy for a non-addressable parameter passed by reference...

* gcc-interface/trans.c (call_to_gnu): When creating the copy for a
non-addressable parameter passed by reference, do not convert the
actual if its type is already the nominal type, unless it is of
self-referential size.

From-SVN: r146367

[multiple changes]

2009-04-20  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Fix typos.

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

* debug.adb, gnat1drv.adb, sem_ch13.adb: Add circuitry to
Validate_Unchecked_Warnings to suppress warnings about size or
alignment or extra bits if either type involved has pragma Warnings
(Off) set for the type entity.

From-SVN: r146366

Daily bump.

From-SVN: r146363

cygwin-stdint.h (INTPTR_TYPE): Remove "long".

* config/i386/cygwin-stdint.h (INTPTR_TYPE):  Remove "long".
(UINTPTR_TYPE):  Likewise.

From-SVN: r146360

re PR c/37481 (-pedantic accepts flexible array member = "string" initialization)

PR c/37481
* c-typeck.c (digest_init): Check for initializing an array with a
string literal.

testsuite:
* gcc.dg/c99-flex-array-7.c: New test.

From-SVN: r146359

re PR c/19771 (VLA deallocation)

PR c/19771
* c-semantics.c (pop_stmt_list): Propagate
STATEMENT_LIST_HAS_LABEL to parent statement list.

testsuite:
* gcc.c-torture/execute/vla-dealloc-1.c: New test.

From-SVN: r146358

mips.h (mips_tune_attr): New macro.

* config/mips/mips.h (mips_tune_attr): New macro.
* config/mips/mips.md (cpu): Use it.

From-SVN: r146357

re PR c/38243 (Restrict constraint violation not an error with -pedantic-errors)

PR c/38243
* c-decl.c (shadow_tag_warned): Diagnose use of restrict when
declaring a tag.

testsuite:
* gcc.dg/c99-restrict-3.c: New test.

From-SVN: r146356

toplev.c (compile_file): Move call to coverage_finish ...

* toplev.c (compile_file): Move call to coverage_finish ...
* cgraphunit.c (ipa_passes): ... here.
Call cgraph_process_new_functions.
* ipa-utils.c (get_base_var): Handle CONSTRUCTOR.
* Makefile.in (cgraphunit.o): Add dependency on COVERAGE_H.

From-SVN: r146354

re PR preprocessor/20078 (Gcc doesn't complain about non-benign macro definitions)

libcpp:
PR preprocessor/20078
* include/cpp-id-data.h (struct cpp_macro): Add extra_tokens
field.
* include/cpplib.h (SP_DIGRAPH, SP_PREV_WHITE): Define.
(struct cpp_token): Change flags to unsigned short.
* lex.c (_cpp_lex_direct): Initialize arg_no for CPP_PASTE tokens.
(_cpp_equiv_tokens): Check arg_no for CPP_PASTE tokens.
(cpp_token_val_index): Return CPP_TOKEN_FLD_ARG_NO for CPP_PASTE
tokens.
* macro.c (macro_real_token_count): New.
(enter_macro_context, replace_args): Use macro_real_token_count.
(create_iso_definition): Record whitespace surrounding and digraph
spelling of # and ## tokens using SP_PREV_WHITE and SP_DIGRAPH.
Set extra_tokens and save CPP_PASTE tokens with arg_no set for
multiple consecutive ## tokens.
(_cpp_create_definition): Initialize extra_tokens.
(cpp_macro_definition): Use macro_real_token_count.

gcc/testsuite:
* gcc.dg/cpp/paste16.c, gcc.dg/cpp/redef4.c: New tests.

From-SVN: r146352

cgraph.c (cgraph_create_edge, [...]): Set proper cfun.

* cgraph.c (cgraph_create_edge, cgraph_set_call_stmt): Set proper cfun.
(dump_cgraph_node): Dump can throw external flag.
* ipa-pure-const.c (propagate): Fix propagation of nothrow flags.

From-SVN: r146349

stdatomic.h (__atomic_flag_for_address): Use _GLIBCXX_NOTHROW.

* include/c_compatibility/stdatomic.h (__atomic_flag_for_address): Use
_GLIBCXX_NOTHROW.

From-SVN: r146348

trans.c (gigi): Make the special IA-64 descriptor type a builtin type and give it a name.

* gcc-interface/trans.c (gigi): Make the special IA-64 descriptor type
a builtin type and give it a name.

From-SVN: r146347

gnat.exp (local_find_gnatmake): Pass --LINK to gnatlink.

* lib/gnat.exp (local_find_gnatmake): Pass --LINK to gnatlink.
Do not pass -B$root after -margs.

From-SVN: r146345

re PR c/32061 ((Wlogical-op) wording of warning of constant logicials need improvement)

2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>

PR c/32061
PR c++/36954
* doc/invoke.texi: Add -Wlogical-op to -Wextra.
* common.opt (Wlogical-op): Move from here...
* c.opt (Wlogical-op): ... to here.
* c-typeck.c (parser_build_binary_op): Update call to
warn_logical_operator.
* c-opts.c (c_common_post_options): Enable warn_logical_op with
extra_warnings.
* c-common.c (warn_logical_op): Update.
* c-common.h (warn_logical_op): Update declaration.
cp/
* call.c (build_new_op): Save the original codes of operands
before folding.

testsuite/
* gcc.dg/pr32061.c: New.
* gcc.dg/Wlogical-op-1.c: Update.
* g++.dg/warn/Wlogical-op-1.C: Update.
* g++.dg/warn/pr36954.C: New.

From-SVN: r146344

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

Trim last ChangeLog entry.

From-SVN: r146343

Fix changelog entry.

From-SVN: r146342

stdatomic.h (atomic_flag_test_and_set_explicit, [...]): Use _GLIBCXX_NOTHROW.

* c_compatibility/stdatomic.h (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit): Use
_GLIBCXX_NOTHROW.
* bits/c++config (_GLIBCXX_NOTHROW): New.

From-SVN: r146341

* tree.c (protected_set_expr_location): Fix formatting.

From-SVN: r146340

Daily bump.

From-SVN: r146339

re PR c/27676 (gcc is overly strict in assignment to read-only data)

PR c/27676
* c-typeck.c (readonly_warning): new.
(build_unary_op, build_modify_expr): Use readonly_warning for
storing into something readonly but not const-qualified.

testsuite:
* gcc.dg/lvalue-5.c: New test.

From-SVN: r146336

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

Trim overlong ChangeLog entry.

From-SVN: r146334

re PR c/22367 (constraints on '&' not fully implemented)

PR c/22367
* c-typeck.c (build_unary_op): Check for taking address of
expression of type void.

testsuite:
* gcc.dg/lvalue-6.c, gcc.dg/lvalue-7.c: New tests.

From-SVN: r146332

* eh_type.cc (__cxa_current_exception_type) Mark throw().

* unwind-cxx.h (__cxa_get_globals, __cxa_get_globals_fast): Mark const.
(__cxa_get_exception_ptr): Mark pure.
(__cxa_bad_cast, __cxa_bad_typeid): Mark noreturn
(__terminate): Makr throw ().
* exception (terminate): Mark throw().
(uncaught_exception): Mark pure.
* eh_ptr.cc (_M_safe_bool_dummy): Mark throw().
* guard.cc (__cxa_guard_abort, __cxa_guard_release): Mark throw().
* eh_terminate.cc (__terminate, terminate): Mark throw().
* vec.cc (__cxa_vec_cleanup): Mark throw().
* cxxabi.h (__cxa_vec_cleanup, __cxa_guard_release, __cxa_guard_abort): Mark throw ().
(__cxa_pure_virtual): Mark noreturn.
(__cxa_current_exception_type): Mark throw and pure.
* exception_ptr.h (operator ==, !=, _M_get, !, ==,
__cxa_exception_type): Mark pure.
(_M_safe_bool_dummy): Mark pure and const.

From-SVN: r146331

pool_allocator.cc (_M_get_free_list, [...]): Mark throw ()

* src/pool_allocator.cc (_M_get_free_list, _M_get_mutex): Mark throw ()
* src/mt_allocator.cc (_M_reclaim_block, _M_reclaim_block,
_M_destroy_thread_key): Mark throw ()
* debug.cc (_M_get_mutex, _M_attach_single, _M_detach_single,
_M_singular, _M_can_compare _M_get_mutex, _M_message,
_M_get_max_length): Mark throw ().
* include/debug/formatter.h (_M_message, _M_format_word,
_M_get_max_length): Mark throw ().
* include/debug/safe_base.h (_M_get_mutex, _M_attach_single,
_M_detach_single): Mark throw ().
(_M_singular, _M_can_compare, _M_get_mutex): Mark pure and throw ().
* include/ext/pool_allocator.h (_M_get_free_list): Mark const and
throw ()
(_M_get_mutex): Mark throw ().
* include/ext/mt_allocator.h (_M_reclaim_block): Mark throw ();
(_M_destroy_thread_key): Mark CONST and throw.
* include/bits/stl_list.h (swap, transfer, reverse, hook, unhook): Mark
throw ().

From-SVN: r146330

condition_variable.cc (condition_variable, [...]): Mark throw()

* src/condition_variable.cc (condition_variable,
condition_variable_any constructors): Mark throw()
* src/hash.cc (operator() for long double, string, and wstring): Mark
throw ().
* src/strstream.cc (strstreambuf constructors, freeze, str, pcount,
_M_setup, rdbuf, str): Mark throw ().
* src/chrono.cc (new): Mark throw ().
* include/std/system_error (system_category, generic_category): Mark
throw () and const.
* include/std/chrono (now): Mark throw ().
* include/std/condition_variable (condition_variable,
~condition_variable, condition_variable_any,
~condition_variable_any): Mark throw ().
* include/std/mutex (mutex): Mark throw ().
* include/bits/stl_list.h (swap, transfer, reverse, hook, unhook): Mark
throw.
* include/bits/functional_hash.h (operator()  on size_t): Mark pure and throw ().
* include/bits/locale_facets.tcc (__verify_grouping): Mark pure.
* include/bits/locale_classes.h (_S_initialize_once,
_S_clone_c_locale): Mark throw ().
(_S_get_c_name): Mark const and throw ().
(_M_id, _M_compare, _M_transform, _M_compare, _M_transform): Mark throw ().
* include/bits/locale_facets.h (__convert_to_v explicit instances):
Mark throw ().
(_M_convert_to_wmask, _M_initialize_ctype, _S_format_float): Mark throw ().
* include/bits/ios_base.h (_M_dispose_callbacks, _M_init, imbue,
ios_base): Mark throw ()
* include/bits/locale_facets_nonio.h (_M_put): Mark throw.
* include/backward/strstream (strstreambuf constructors): Mark throw ().
(str, freeze, _M_setupf): Mark throw ().
(pcount): Mark pure and throw ().
(rdbuf): Mark const and throw ().

From-SVN: r146328

directives.c (parse_include): Pass true to check_eol.

libcpp:
* directives.c (parse_include): Pass true to check_eol.

gcc/testsuite:
* gcc.dg/cpp/include5.c: New test.

From-SVN: r146327

cp-tree.h: Remove the prototype for insert_block.

* cp-tree.h: Remove the prototype for insert_block.
* decl.c (insert_block): Remove.

From-SVN: r146326

re PR c/35210 (gcc incorrectly allows calling function returning "const void")

PR c/35210
* c-typeck.c (build_function_call): Check for calling a function
with qualified void return types.  Call require_complete_type when
generating a trap.

testsuite:
* gcc.dg/call-diag-2.c: New test.

From-SVN: r146324

re PR libstdc++/39802 (std::num_get fails to parse negative zero input correctly)

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

PR libstdc++/39802
* include/bits/locale_facets.tcc (num_get<>::_M_extract_int
(_InIter, _InIter, ios_base&, ios_base::iostate&, _ValueT&)):
Always accept negative values, for unsigned types too.
* testsuite/22_locale/num_get/get/char/39802.cc: New.
* testsuite/22_locale/num_get/get/wchar_t/39802.cc: Likewise.

From-SVN: r146323

cgraph.c (cgraph_make_edge, [...]): Set nothrow flag.

* cgraph.c (cgraph_make_edge, dump_cgraph_node, cgraph_set_call_stmt):
Set nothrow flag.
* cgraph.h (struct function): Reduce loop_nest to 30 bits; add
can_throw_external flag.
* ipa-reference.c (ipa_utils_reduced_inorder): Update call.
* ipa-pure-const.c (ignore_edge): New function.
(propagate): Compute order for NOTHROW computation; set NOTHROWs
only over can_throw_external edges.
(local_pure_const): Add nothrow flag.
* ipa-utils.c (searchc): Add ignore_edge callback.
(ipa_utils_reduced_inorder): Add ignore_edge callback.
* ipa-utils.h (ipa_utils_reduced_inorder): Update prototype.
(set_nothrow_function_flags): Update cgraph.
* tree-cfg.c (verify_stmt): Relax nothrow checking when in IPA mode.

From-SVN: r146322

re PR preprocessor/39646 (__FILE__ breaks for empty file name)

libcpp:
PR preprocessor/39646
* include/line-map.h (enum lc_reason): Add LC_RENAME_VERBATIM.
* line-map.c (linemap_add): Handle LC_RENAME_VERBATIM.
* directives.c (do_line, do_linemarker): Use LC_RENAME_VERBATIM in
place of LC_RENAME.

gcc/testsuite:
* gcc.dg/cpp/line8.c: New test.

From-SVN: r146319

formater.h: Include bits/c++config.h.

* include/debug/formater.h: Include bits/c++config.h.
(_M_error): Mark noreturn.
* include/bits/c++config (_GLIBCXX_PURE, _GLIBCXX_CONST,
_GLIBCXX_NORETURN): New.
* include/bits/stl_tree.h (_Rb_tree_increment, _Rb_tree_increment,
_Rb_tree_decrement, _Rb_tree_decrement, _Rb_tree_black_count): Mark pure.
* include/c_compatibility/stdatomic.h (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit,
__atomic_flag_for_address): Mark by throw ().
* src/atomic.cc (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit,
__atomic_flag_for_address): Mark by throw ().

From-SVN: r146317

re PR preprocessor/39647 (Syntax checks in #line not quite right)

libcpp:
PR preprocessor/39647
* directives.c (check_eol): Add parameter expand.
(do_undef, parse_include, do_line, do_linemarker, do_ident,
do_pragma_once, do_pragma_system_header, do_ifdef, do_ifndef,
do_else, do_endif, do_assert, do_unassert): All callers changed.
Pass true from do_line, false elsewhere.

gcc/testsuite:
* gcc.dg/cpp/line7.c: New test.

From-SVN: r146316

re PR tree-optimization/39804 (internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754)

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

PR middle-end/39804
* tree-ssa-ccp.c (fold_stmt_1): New function factored from ...
(fold_stmt): ... this and ...
(fold_stmt_inplace): ... this.
(fold_stmt_1): Fold references in calls and asms.
* tree-cfg.c (remove_useless_stmts_cond): Use fold_stmt.

* gcc.target/i386/pr39804.c: New testcase.

From-SVN: r146314

tree-vrp.c (ssa_name_nonzero_p): Remove.

* tree-vrp.c (ssa_name_nonzero_p): Remove.
* tree.h: Remove the prototype for ssa_name_nonzero_p.

From-SVN: r146313

tree.c (function_args_count): Remove.

* tree.c (function_args_count): Remove.
* tree.h: Remove the prototype for function_args_count.

From-SVN: r146312

tree-iterator.c (expr_only): Remove.

* tree-iterator.c (expr_only): Remove.
* tree.h: Remove the prototype for expr_only.

From-SVN: r146311

reginfo.c (cannot_change_mode_set_regs): Remove.

* reginfo.c (cannot_change_mode_set_regs): Remove.
* rtl.h: Remove the prototype for cannot_change_mode_set_regs.

From-SVN: r146310

avr.md (*rotlsi3_8, [...]): Check whether operands 0 and 1 overlaps.

* config/avr/avr.md (*rotlsi3_8, *rotlsi3_16, *rotlsi3_24 ): Check
whether operands 0 and 1 overlaps.

From-SVN: r146309

re PR fortran/39782 (IO depends on uninitialised value)

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

PR libfortran/39782
* io/transfer.c (data_transfer_init): Don't flush before seek.
(finalize_transfer): Remove extra flush.

From-SVN: r146308

pr39496.c: Compile with -mtune=i686.

* gcc.target/i386/pr39496.c: Compile with -mtune=i686.
* g++.dg/other/pr39496.C: Likewise.

From-SVN: r146306

re PR middle-end/36902 (Array bound warning with dead code after optimization)

2009-04-18  Manuel López-Ibáñez  <manu@gcc.gnu.org>

PR middle-end/36902
* tree-vrp.c (check_array_ref): Pass a location_t instead of a
pointer. Use warning_at instead of warning.
(search_for_addr_array): Likewise.
(check_array_bounds): Likewise.
(check_all_array_refs): Check that the incoming edge is not in the
list of edges to be removed.
(check_all_array_refs): Avoid the temporal pointer.
(vrp_visit_cond_stmt): Fix typo.
(simplify_switch_using_ranges): Handle the case where the switch
index is an integer constant.
testsuite/
* gcc.dg/pr36902.c: New.

From-SVN: r146305

* config/mips/mips.c (mips_final_postscan_insn): Make it static.

From-SVN: r146304

* doc/extend.texi, doc/invoke.texi: Fix typos.

From-SVN: r146303

Daily bump.

From-SVN: r146302

* tree-flow-inline.h (get_lineno): Fix inverted test.

From-SVN: r146299

tree-ssa-pre.c (create_expression_by_pieces): Remove assertion for AVAIL_OUT.

* tree-ssa-pre.c (create_expression_by_pieces): Remove
assertion for AVAIL_OUT.

From-SVN: r146298

re PR target/38627 (SuperH libgcc.a lacks .note.GNU-stack markings in math funcs)

PR target/38627
* config/sh/lib1funcs.asm [__ELF__ && __linux__]: Add .note.GNU-stack.
* config/sh/linux-atomic.asm: Likewise.

From-SVN: r146297

except.c (debug_eh_tree): New.

* except.c (debug_eh_tree): New.
(struct eh_region, struct eh_status): Move ...
* except.h: ... here.
(add_type_for_runtime): Declare extern.
(lookup_type_for_runtime): Likewise.
(debug_eh_tree): Declare.
* Makefile.in (GTFILES): List except.h before except.c

From-SVN: r146296

omp-low.c (create_omp_child_function): Set DECL_CONTEXT for DECL.

* omp-low.c (create_omp_child_function): Set DECL_CONTEXT
for DECL.
* cgraphunit.c (cgraph_build_static_cdtor): Likewise.
* tree-dfa.c (find_referenced_vars_in): Factor out of ...
(find_vars_r): ... here.
* tree-flow.h (find_referenced_vars_in): Declare.
* tree-ssa-pre.c (create_expression_by_pieces): Assert
that AVAIL_OUT exists for BLOCK.
* Makefile.in (CGRAPH_H): Add dependency on cif-code.def
(tree-loop-distribution.o): Fix dependency on TREE_VECTORIZER_H.
(tree-parloops.o): Likewise.

testsuite/ChangeLog

* gcc.c-torture/execute/builtins/strlen-3.c: Fix ODR
violation for variable 'inside_main'.

From-SVN: r146295

toplev.c (default_tree_printer): Add handling for %E format.

2009-04-17  Simon Baldwin  <simonb@google.com>

* toplev.c (default_tree_printer): Add handling for %E format.

From-SVN: r146294

tree-pretty-print.c (dump_generic_node): Add break after TREE_BINFO handler.

* tree-pretty-print.c (dump_generic_node): Add break
after TREE_BINFO handler.
Handle COMPLEX_TYPE, REAL_TYPE and FIXED_POINT_TYPE
Handle NULL TREE_TYPEs.
Handle METHOD_TYPE and FUNCTION_TYPE together.
Call print_struct_decl when printing structures and
TDF_SLIM is not given.
(print_struct_decl): Fix logic for detecting recursion.

From-SVN: r146293

re PR other/31567 (cc1, cc1plus, etc. don't support @file mechanism)

PR 31567
* gcc.c (create_at_file): New.
(compile_input_file_p): New.
(do_spec_1): Use @args files for %i. Use create_at_file for %o.
* main.c (main): Update call to toplev_main.
* toplev.c (toplev_main): Change signature. Call expandargv.
* toplev.h (toplev_main): Change signature.

From-SVN: r146292

dwarf2out.c (field_byte_offset): Use the type size as the field size if the latter is not constant.

* dwarf2out.c (field_byte_offset): Use the type size as the field size
if the latter is not constant.

From-SVN: r146291

* dbxout.c (xcoff_debug_hooks): Add set_name_debug_nothing.

From-SVN: r146290

dbxout.c (dbxout_block): Reinstate test on TREE_USED.

* dbxout.c (dbxout_block): Reinstate test on TREE_USED.
* tree-ssa-live.c (remove_unused_scope_block_p): Update TREE_USED bit. * dbxout.c (dbxout_block): Reinstate test on TREE_USED.
* tree-ssa-live.c (remove_unused_scope_block_p): Update TREE_USED bit.

From-SVN: r146289

tree-ssa-structalias.c (get_constraint_for_component_ref): Handle component references view-converting an invariant address.

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

* tree-ssa-structalias.c (get_constraint_for_component_ref):
Handle component references view-converting an invariant address.

From-SVN: r146288

io.h (is_preconnected): Remove prototype.

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

* io/io.h (is_preconnected): Remove prototype.
* io/unix.c (is_preconnected): Remove function.

From-SVN: r146287

tm.texi (TARGET_DEFAULT_TARGET_FLAGS, [...]): Use @deftypevr rather than @deftypevar.

* doc/tm.texi (TARGET_DEFAULT_TARGET_FLAGS,
TARGET_MIN_ANCHOR_OFFSET, TARGET_MAX_ANCHOR_OFFSET,
TARGET_HAVE_SRODATA_SECTION, TARGET_HAVE_TLS,
TARGET_UNWIND_TABLES_DEFAULT, TARGET_TERMINATE_DW2_EH_FRAME_INFO):
Use @deftypevr rather than @deftypevar.

From-SVN: r146286

tree-ssa-forwprop.c (get_prop_dest_stmt): Clean up tuplification.

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

* tree-ssa-forwprop.c (get_prop_dest_stmt): Clean up
tuplification.
(get_prop_source_stmt): Likewise.
(can_propagate_from): Likewise.

From-SVN: r146281

configure.ac: Add new AC_SUBST for TM_ENDIAN_CONFIG...

2009-04-17  Andrew Stubbs  <ams@codesourcery.com>

* configure.ac: Add new AC_SUBST for TM_ENDIAN_CONFIG,
TM_MULTILIB_CONFIG and TM_MULTILIB_EXCEPTIONS_CONFIG.
(--with-multilib-list): Add default value.
* configure: Regenerate.
* Makefile.in (TM_ENDIAN_CONFIG): Define.
(TM_MULTILIB_CONFIG, TM_MULTILIB_EXCEPTIONS_CONFIG): Define.
* config.gcc (sh-*-*): Switch to using TM_ENDIAN_CONFIG,
TM_MULTILIB_CONFIG, and TM_MULTILIB_EXCEPTIONS_CONFIG.
Don't add default cpu to multilib list unnecessarily, but do enable
the relevant compiler option..
Add support for --with-multilib-list=<blank> and
--with-multilib-list=!<somelib> to supress unwanted multilibs.
* config/sh/t-sh (DEFAULT_ENDIAN, OTHER_ENDIAN): New variables.
(MULTILIB_ENDIAN, MULTILIB_CPUS): Delete variables.
(MULTILIB_OPTIONS): Redefine using OTHER_ENDIAN and
TM_MULTILIB_CONFIG.
(MULTILIB_EXCEPTIONS): Add TM_MULTILIB_EXCEPTIONS_CONFIG.
(MULTILIB_OSDIRNAMES): New variable.
* config/sh/t-1e: Delete file.
* config/sh/t-mlib-sh1: Delete file.
* config/sh/t-mlib-sh2: Delete file.
* config/sh/t-mlib-sh2a: Delete file.
* config/sh/t-mlib-sh2a-nofpu: Delete file.
* config/sh/t-mlib-sh2a-single: Delete file.
* config/sh/t-mlib-sh2a-single-only: Delete file.
* config/sh/t-mlib-sh2e: Delete file.
* config/sh/t-mlib-sh3e: Delete file.
* config/sh/t-mlib-sh4: Delete file.
* config/sh/t-mlib-sh4-nofpu: Delete file.
* config/sh/t-mlib-sh4-single: Delete file.
* config/sh/t-mlib-sh4-single-only: Delete file.
* config/sh/t-mlib-sh4a: Delete file.
* config/sh/t-mlib-sh4a-nofpu: Delete file.
* config/sh/t-mlib-sh4a-single: Delete file.
* config/sh/t-mlib-sh4a-single-only: Delete file.
* config/sh/t-mlib-sh4al: Delete file.
* config/sh/t-mlib-sh5-32media: Delete file.
* config/sh/t-mlib-sh5-32media-nofpu: Delete file.
* config/sh/t-mlib-sh5-64media: Delete file.
* config/sh/t-mlib-sh5-64media-nofpu: Delete file.
* config/sh/t-mlib-sh5-compact: Delete file.
* config/sh/t-mlib-sh5-compact-nofpu: Delete file.
* config/sh/t-linux: Don't override MULTILIB_EXCEPTIONS.
* doc/install.texi (Options specification): Add
--with-multilib-list and --with-endian.

From-SVN: r146278

misc.c (gnat_expand_expr): Remove.

* gcc-interface/misc.c (gnat_expand_expr): Remove.
(LANG_HOOKS_EXPAND_EXPR): Remove.

From-SVN: r146277

Makefile.in (REVISION_s): Always include quotes.

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

* Makefile.in (REVISION_s): Always include quotes. Change ifdef to use
REVISION_c.
(OBJS-common): Add plugin-version.o.
(plugin-version.o): New.
* gcc-plugin.h (plugin_gcc_version): New.
(plugin_default_version_check): New.
(plugin_init_func, plugin_init): Add version argument.
* plugin-version.c: New.
* plugin.c (str_plugin_gcc_version_name): New.
(try_init_one_plugin): Read plugin_gcc_version from the plugin and
pass it to the init function.
(plugin_default_version_check): New.

From-SVN: r146274

tree-ssa-alias.c (refs_may_alias_p_1): Do not use TBAA for decl-vs-decl disambiguation.

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

* tree-ssa-alias.c (refs_may_alias_p_1): Do not use TBAA
for decl-vs-decl disambiguation.

From-SVN: r146273

s390.h (s390_tune_attr): New macro definition.

2009-04-17  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.h (s390_tune_attr): New macro definition.
* config/s390/s390.md (cpu attribute): Map to s390_tune_attr.

From-SVN: r146272

tree-ssa-ccp.c (struct fold_stmt_r_data): Remove.

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

* tree-ssa-ccp.c (struct fold_stmt_r_data): Remove.
(fold_stmt_r): Likewise.
(maybe_fold_reference): New function.
(fold_gimple_assign): Handle cases fold_stmt_r did.
(fold_stmt): Do not use fold_stmt_r.
(fold_stmt_inplace): Likewise.

From-SVN: r146271

[multiple changes]

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

* sem_ch3.adb: Minor reformatting

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

* adaint.c: Add __gnat_use_acl global variable to control use of ACL.

From-SVN: r146269

sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly illegal constraints on type derived from formal discrete types.

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

* sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly
illegal constraints on type derived from formal discrete types.

From-SVN: r146268

re PR ada/35953 (Socket stream subprograms incorrectly handling null arrays)

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

PR ada/35953

* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb,
g-socket.ads (GNAT.Sockets.Thin.C_Send,
GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms.
Replace calls to send(2) with equivalent sendto(2) calls.
(GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram.
(GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not
report an error in that case. Factor code common to the two versions
(datagram and stream) in common routine Stream_Write.

From-SVN: r146267

[multiple changes]

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

* exp_disp.adb: Minor reformatting
Minor code reorganization (use Nkind_In)

* prepcomp.adb: Minor reformatting

* sem_ch3.adb: Minor reformatting

* sem_res.adb: Minor comment addition

* exp_ch5.adb (Expand_Assign_Array): Use Has_Address_Clause to test
for address clause

* lib-xref.adb (Generate_Reference): Exclude recursive calls from
setting Is_Referenced

* types.ads: Minor reformatting

2009-04-17  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Initial documentation on binding generator.

From-SVN: r146266

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

From-SVN: r146265

einfo.ads, einfo.adb: New attribute Underlying_Record_View...

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

* einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
type extensions whose parent is a type with unknown discriminants.

* exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
aggregate has unknown discriminants, use the Underlying_Record_View to
obtain the discriminants of the ancestor part.

* exp_disp.adb (Build_Dispatch_Tables): Types that are
Underlying_Record_Views share the dispatching information of the
original record extension.

* exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
discriminants, propagate dispach table information to the
Underlying_Record_View.

* sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
discriminants and declaration is not a completion, generate
Underlying_Record_View to provide proper discriminant information to
the front-end and to gigi.

From-SVN: r146264

s-conca5.adb, [...]: Remove unneeded pragma Warnings

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

* s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
s-conca3.ads: Remove unneeded pragma Warnings

From-SVN: r146263

g-moreex.adb: Add comments.

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

* g-moreex.adb: Add comments.

* s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)

* s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
Warnings (Off)

* prepcomp.adb: Add ??? comment

* a-tasatt.adb: Minor reformatting

* g-trasym-vms-alpha.adb: Add ??? comment

* g-trasym-vms-ia64.adb: Add ??? comment

* xoscons.adb: Minor reformatting

* s-tassta.adb: Minor reformatting

* s-scaval.adb: Add ??? comment

* stand.ads: Minor code clean up (remove junk with of Namet)

* s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
Warnings off pragmas.

From-SVN: r146262

[multiple changes]

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

* initialize.c: Fix test for reallocating the arguments array.

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

* exp_fixd.adb (Expand_Convert_Float_To_Fixed): Have float to fixed
conversion truncate only for decimal fixed point types.

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

* g-comlin.adb (Initialize_Scan_Option): Make sure the sections are
reinitialized.

From-SVN: r146261

tree-ssa-dom.c (gimple_assign_unary_useless_conversion_p): Remove.

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

* tree-ssa-dom.c (gimple_assign_unary_useless_conversion_p): Remove.
(record_equivalences_from_stmt): Remove useless checks and
simplifications.
* tree-ssa-pre.c (eliminate): Avoid converting a constant if
the type is already suitable.

From-SVN: r146260

[multiple changes]

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

* exp_ch5.adb (Expand_Assign_Array): Do not set Forwards_OK and
Backwards_OK if either operand has an address clause.

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

* initialize.c: Code clean up, use realloc.

From-SVN: r146259

initialize.c: Do not get Unicode command line if Unicode support not activated.

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

* initialize.c: Do not get Unicode command line if Unicode support not
activated.
Add support for wildcard expansion for Unicode parameters on Win32.

* mingw32.h: Add missing macros when Unicode support not activated.

From-SVN: r146258

sh.h (FUNCTION_VALUE): Fix call to sh_promote_prototypes.

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

* config/sh/sh.h (FUNCTION_VALUE): Fix call to sh_promote_prototypes.

From-SVN: r146257

[multiple changes]

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

* sem_ch6.adb (Check_Anonymous_Return): Add missing checks to
avoid generating code that references the Current_Master
when compiling without tasks.

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

* prj-attr.adb: New project level attribute Target

* prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
attribute Target

* prj.ads (Project_Configuration): New component Target

From-SVN: r146256

sfp-machine.h (__gcc_CMPtype): New typedef.

* config/arm/sfp-machine.h (__gcc_CMPtype): New typedef.
(CMPtype): Define as __gcc_CMPtype.

From-SVN: r146255

[multiple changes]

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

* exp_ch7.adb (Expand_Ctrl_Function_Call): Remove incorrect special
case for the case of an aggregate component, the attach call for the
result is actually needed.

* exp_aggr.adb (Backend_Processing_Possible): Backend processing for
an array aggregate must be disabled if the component type requires
controlled actions.

* exp_ch3.adb: Minor reformatting

2009-04-17  Arnaud Charlet  <charlet@adacore.com>

* s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-linux.adb,
s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
s-taprop-posix.adb (Suspend_Until_True): Protect against early wakeup.

From-SVN: r146254

output.ads (Indent,Outdent): New procedures for indenting the output.

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

* output.ads (Indent,Outdent): New procedures for indenting the output.
(Write_Char): Correct comment -- LF _is_ allowed.

* output.adb (Indent,Outdent): New procedures for indenting the output.
Keep track of the indentation level, and make sure it doesn't get too
high.
(Flush_Buffer): Insert spaces at the beginning of each line, if
indentation level is nonzero.
(Save_Output_Buffer,Restore_Output_Buffer): Save and restore the current
indentation level.
(Set_Standard_Error,Set_Standard_Output): Remove superfluous
"Next_Col := 1;".  Flush_Buffer does that.

* sem_ch6.adb, sem_ch7.adb (Debug_Flag_C): Reorganize the output
controlled by the -gnatdc switch. It now occurs on entry/exit to the
relevant analysis routines, and calls Indent/Outdent to make the
indentation reflect the nesting level.  Add "helper" routines, since
otherwise lots of "return;" statements would skip the debugging output.

From-SVN: r146253

baseline_symbols.txt: Regenerated.

* config/abi/post/alpha-linux-gnu/baseline_symbols.txt: Regenerated.

From-SVN: r146252

[multiple changes]

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

* exp_aggr.adb: Minor code reorganization, no behaviour change.

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

* sem_ch8.adb (Use_One_Type): Handle properly a redundant use type
clause in a unit that is a package body or a subunit, when the previous
clause appears in a spec or a parent.

From-SVN: r146250

config.gcc: Add soft-fp/t-softfp and i386/t-linux to tmake_file for...

gcc/

  * config.gcc: Add soft-fp/t-softfp and i386/t-linux to tmake_file
  for i[34567]86-*-kfreebsd*-gnu*, x86_64-*-kfreebsd*-gnu*.

libgcc/

  * config.host: Add i386/${host_address}/t-fprules-softfp to
  tmake_file for i[34567]86-*-kfreebsd*-gnu, x86_64-*-kfreebsd*-gnu*.

From-SVN: r146248

* config.sub, config.guess: Update from upstream sources.

From-SVN: r146247

* gfortran.fortran-torture/execute/getarg_1.x: New file.

From-SVN: r146246

* gfortran.dg/vect/pr39318.f90: Guard with "target fopenmp".

From-SVN: r146245

chmod_1.f90: Disable on spu-*-* targets.

* gfortran.dg/chmod_1.f90: Disable on spu-*-* targets.
* gfortran.dg/chmod_2.f90: Likewise.
* gfortran.dg/chmod_3.f90: Likewise.
* gfortran.dg/open_errors.f90: Likewise.
* gfortran.dg/stat_1.f90: Likewise.
* gfortran.dg/stat_2.f90: Likewise.

From-SVN: r146244

nan_inf_fmt.x: Skip on spu-*-*.

* gfortran.fortran-torture/execute/nan_inf_fmt.x: Skip on spu-*-*.
* gfortran.fortran-torture/execute/intrinsic_nearest.x: Likewise.
* gfortran.fortran-torture/execute/intrinsic_set_exponent.x: Likewise.
* gfortran.dg/nearest_1.f90: Likewise.
* gfortran.dg/nearest_3.f90: Likewise.
* gfortran.dg/isnan_1.f90: Likewise.
* gfortran.dg/isnan_2.f90: Likewise.
* gfortran.dg/nan_1.f90: Likewise.
* gfortran.dg/nan_2.f90: Likewise.
* gfortran.dg/nan_3.f90: Likewise.
* gfortran.dg/nan_4.f90: Likewise.
* gfortran.dg/module_nan.f90: Likewise.
* gfortran.dg/int_conv_2.f90: Likewise.
* gfortran.dg/init_flag_3.f90: Likewise.
* gfortran.dg/namelist_42.f90: Likewise.
* gfortran.dg/namelist_43.f90: Likewise.
* gfortran.dg/real_const_3.f90: Likewise.
* gfortran.dg/transfer_simplify_1.f90: Likewise.

* gfortran.dg/default_format_1.f90: XFAIL on spu-*-*.
* gfortran.dg/default_format_denormal_1.f90: XFAIL on spu-*-*.
* gfortran.dg/scalar_mask_2.f90: XFAIL on spu-*-*.
* gfortran.dg/integer_exponentiation_3.F90: XFAIL on spu-*-*.
* gfortran.dg/integer_exponentiation_5.F90: XFAIL on spu-*-*.

* gfortran.dg/elemental_subroutine_1.f90: Relax "epsilon" check.
* gfortran.dg/gamma_5.f90: Likewise.

From-SVN: r146243

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