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

[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