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

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

* tree.c (protected_set_expr_location): Fix formatting.

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

Daily bump.

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

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.

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

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

Trim overlong ChangeLog entry.

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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

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

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.

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

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

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

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.

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

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.

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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.

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

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

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

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

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

Daily bump.

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

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

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

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

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

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

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

* 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

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

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

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

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

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

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

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

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

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.

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

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

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

    * dbxout.c (xcoff_debug_hooks): Add set_name_debug_nothing.

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

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

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

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.

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

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

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

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

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

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

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.

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

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.

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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.

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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

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

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

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

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

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.

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

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.

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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

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

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.

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

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.

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

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.

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

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

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

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

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

* 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