Diego Novillo [Sun, 19 Apr 2009 17:52:03 +0000 (13:52 -0400)]
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
Joseph Myers [Sun, 19 Apr 2009 17:10:56 +0000 (18:10 +0100)]
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
Jan Hubicka [Sun, 19 Apr 2009 13:27:28 +0000 (15:27 +0200)]
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
Jan Hubicka [Sun, 19 Apr 2009 13:16:34 +0000 (15:16 +0200)]
stdatomic.h (__atomic_flag_for_address): Use _GLIBCXX_NOTHROW.
* include/c_compatibility/stdatomic.h (__atomic_flag_for_address): Use
_GLIBCXX_NOTHROW.
From-SVN: r146348
Eric Botcazou [Sun, 19 Apr 2009 13:02:14 +0000 (13:02 +0000)]
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
Eric Botcazou [Sun, 19 Apr 2009 12:46:12 +0000 (12:46 +0000)]
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
Manuel López-Ibáñez [Sun, 19 Apr 2009 11:04:13 +0000 (11:04 +0000)]
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
Paolo Carlini [Sun, 19 Apr 2009 10:34:40 +0000 (10:34 +0000)]
2009-04-19 Paolo Carlini <paolo.carlini@oracle.com>
Trim last ChangeLog entry.
From-SVN: r146343
Jan Hubicka [Sun, 19 Apr 2009 10:29:33 +0000 (10:29 +0000)]
Fix changelog entry.
From-SVN: r146342
Jan Hubicka [Sun, 19 Apr 2009 09:36:10 +0000 (11:36 +0200)]
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
Eric Botcazou [Sun, 19 Apr 2009 08:39:05 +0000 (08:39 +0000)]
* tree.c (protected_set_expr_location): Fix formatting.
From-SVN: r146340
GCC Administrator [Sun, 19 Apr 2009 00:16:53 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r146339
Joseph Myers [Sat, 18 Apr 2009 23:21:34 +0000 (00:21 +0100)]
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
Paolo Carlini [Sat, 18 Apr 2009 23:03:53 +0000 (23:03 +0000)]
2009-04-18 Paolo Carlini <paolo.carlini@oracle.com>
Trim overlong ChangeLog entry.
From-SVN: r146334
Joseph Myers [Sat, 18 Apr 2009 22:34:10 +0000 (23:34 +0100)]
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
Jan Hubicka [Sat, 18 Apr 2009 22:18:21 +0000 (00:18 +0200)]
* 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
Jan Hubicka [Sat, 18 Apr 2009 22:02:19 +0000 (00:02 +0200)]
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
Jan Hubicka [Sat, 18 Apr 2009 21:19:18 +0000 (23:19 +0200)]
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
Joseph Myers [Sat, 18 Apr 2009 20:25:07 +0000 (21:25 +0100)]
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
Kazu Hirata [Sat, 18 Apr 2009 20:23:05 +0000 (20:23 +0000)]
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
Joseph Myers [Sat, 18 Apr 2009 20:02:47 +0000 (21:02 +0100)]
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
Paolo Carlini [Sat, 18 Apr 2009 19:28:40 +0000 (19:28 +0000)]
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
Jan Hubicka [Sat, 18 Apr 2009 18:39:52 +0000 (20:39 +0200)]
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
Joseph Myers [Sat, 18 Apr 2009 17:36:28 +0000 (18:36 +0100)]
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
Jan Hubicka [Sat, 18 Apr 2009 15:48:16 +0000 (17:48 +0200)]
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
Joseph Myers [Sat, 18 Apr 2009 15:28:40 +0000 (16:28 +0100)]
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
Richard Guenther [Sat, 18 Apr 2009 13:02:00 +0000 (13:02 +0000)]
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
Kazu Hirata [Sat, 18 Apr 2009 11:49:20 +0000 (11:49 +0000)]
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
Kazu Hirata [Sat, 18 Apr 2009 11:48:19 +0000 (11:48 +0000)]
tree.c (function_args_count): Remove.
* tree.c (function_args_count): Remove.
* tree.h: Remove the prototype for function_args_count.
From-SVN: r146312
Kazu Hirata [Sat, 18 Apr 2009 11:47:22 +0000 (11:47 +0000)]
tree-iterator.c (expr_only): Remove.
* tree-iterator.c (expr_only): Remove.
* tree.h: Remove the prototype for expr_only.
From-SVN: r146311
Kazu Hirata [Sat, 18 Apr 2009 11:45:08 +0000 (11:45 +0000)]
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
Anatoly Sokolov [Sat, 18 Apr 2009 11:16:37 +0000 (15:16 +0400)]
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
Janne Blomqvist [Sat, 18 Apr 2009 10:05:34 +0000 (13:05 +0300)]
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
Eric Botcazou [Sat, 18 Apr 2009 09:39:52 +0000 (09:39 +0000)]
pr39496.c: Compile with -mtune=i686.
* gcc.target/i386/pr39496.c: Compile with -mtune=i686.
* g++.dg/other/pr39496.C: Likewise.
From-SVN: r146306
Manuel López-Ibáñez [Sat, 18 Apr 2009 09:24:45 +0000 (09:24 +0000)]
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
Adam Nemet [Sat, 18 Apr 2009 07:44:39 +0000 (07:44 +0000)]
* config/mips/mips.c (mips_final_postscan_insn): Make it static.
From-SVN: r146304
Kazu Hirata [Sat, 18 Apr 2009 02:10:37 +0000 (02:10 +0000)]
* doc/extend.texi, doc/invoke.texi: Fix typos.
From-SVN: r146303
GCC Administrator [Sat, 18 Apr 2009 00:16:51 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r146302
Cary Coutant [Fri, 17 Apr 2009 23:58:12 +0000 (23:58 +0000)]
* tree-flow-inline.h (get_lineno): Fix inverted test.
From-SVN: r146299
Diego Novillo [Fri, 17 Apr 2009 22:28:51 +0000 (18:28 -0400)]
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
Mike Frysinger [Fri, 17 Apr 2009 22:20:40 +0000 (22:20 +0000)]
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
Diego Novillo [Fri, 17 Apr 2009 22:05:09 +0000 (18:05 -0400)]
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
Diego Novillo [Fri, 17 Apr 2009 21:45:56 +0000 (17:45 -0400)]
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
Simon Baldwin [Fri, 17 Apr 2009 21:30:22 +0000 (21:30 +0000)]
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
Diego Novillo [Fri, 17 Apr 2009 21:28:01 +0000 (17:28 -0400)]
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
Rafael Avila de Espindola [Fri, 17 Apr 2009 21:11:46 +0000 (21:11 +0000)]
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
Eric Botcazou [Fri, 17 Apr 2009 20:42:16 +0000 (20:42 +0000)]
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
David Edelsohn [Fri, 17 Apr 2009 20:38:38 +0000 (20:38 +0000)]
* dbxout.c (xcoff_debug_hooks): Add set_name_debug_nothing.
From-SVN: r146290
Eric Botcazou [Fri, 17 Apr 2009 20:30:10 +0000 (20:30 +0000)]
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
Richard Guenther [Fri, 17 Apr 2009 19:58:16 +0000 (19:58 +0000)]
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
Janne Blomqvist [Fri, 17 Apr 2009 19:52:02 +0000 (22:52 +0300)]
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
Adam Nemet [Fri, 17 Apr 2009 19:36:02 +0000 (19:36 +0000)]
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
Richard Guenther [Fri, 17 Apr 2009 18:16:51 +0000 (18:16 +0000)]
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
Andrew Stubbs [Fri, 17 Apr 2009 17:32:00 +0000 (17:32 +0000)]
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
Diego Novillo [Fri, 17 Apr 2009 16:49:03 +0000 (12:49 -0400)]
misc.c (gnat_expand_expr): Remove.
* gcc-interface/misc.c (gnat_expand_expr): Remove.
(LANG_HOOKS_EXPAND_EXPR): Remove.
From-SVN: r146277
Rafael Avila de Espindola [Fri, 17 Apr 2009 16:03:48 +0000 (16:03 +0000)]
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
Richard Guenther [Fri, 17 Apr 2009 15:35:13 +0000 (15:35 +0000)]
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
Andreas Krebbel [Fri, 17 Apr 2009 15:08:03 +0000 (15:08 +0000)]
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
Richard Guenther [Fri, 17 Apr 2009 14:25:57 +0000 (14:25 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 13:44:24 +0000 (15:44 +0200)]
[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
Ed Schonberg [Fri, 17 Apr 2009 13:40:20 +0000 (13:40 +0000)]
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
Thomas Quinot [Fri, 17 Apr 2009 13:39:10 +0000 (13:39 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 13:31:42 +0000 (15:31 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 13:23:34 +0000 (15:23 +0200)]
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r146265
Ed Schonberg [Fri, 17 Apr 2009 13:17:12 +0000 (13:17 +0000)]
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
Robert Dewar [Fri, 17 Apr 2009 13:15:47 +0000 (13:15 +0000)]
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
Robert Dewar [Fri, 17 Apr 2009 13:07:12 +0000 (13:07 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 13:06:08 +0000 (15:06 +0200)]
[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
Richard Guenther [Fri, 17 Apr 2009 12:43:02 +0000 (12:43 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 12:36:38 +0000 (14:36 +0200)]
[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
Pascal Obry [Fri, 17 Apr 2009 12:33:07 +0000 (12:33 +0000)]
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
Paolo Bonzini [Fri, 17 Apr 2009 12:21:31 +0000 (12:21 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 12:16:04 +0000 (14:16 +0200)]
[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
Uros Bizjak [Fri, 17 Apr 2009 12:12:51 +0000 (14:12 +0200)]
sfp-machine.h (__gcc_CMPtype): New typedef.
* config/arm/sfp-machine.h (__gcc_CMPtype): New typedef.
(CMPtype): Define as __gcc_CMPtype.
From-SVN: r146255
Arnaud Charlet [Fri, 17 Apr 2009 12:12:07 +0000 (14:12 +0200)]
[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
Bob Duff [Fri, 17 Apr 2009 12:11:04 +0000 (14:11 +0200)]
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
Uros Bizjak [Fri, 17 Apr 2009 12:10:22 +0000 (14:10 +0200)]
baseline_symbols.txt: Regenerated.
* config/abi/post/alpha-linux-gnu/baseline_symbols.txt: Regenerated.
From-SVN: r146252
Arnaud Charlet [Fri, 17 Apr 2009 12:01:56 +0000 (14:01 +0200)]
[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
Aurelien Jarno [Fri, 17 Apr 2009 11:51:19 +0000 (13:51 +0200)]
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
Ben Elliston [Fri, 17 Apr 2009 11:41:32 +0000 (11:41 +0000)]
* config.sub, config.guess: Update from upstream sources.
From-SVN: r146247
Ulrich Weigand [Fri, 17 Apr 2009 10:42:59 +0000 (10:42 +0000)]
* gfortran.fortran-torture/execute/getarg_1.x: New file.
From-SVN: r146246
Ulrich Weigand [Fri, 17 Apr 2009 10:41:53 +0000 (10:41 +0000)]
* gfortran.dg/vect/pr39318.f90: Guard with "target fopenmp".
From-SVN: r146245
Ulrich Weigand [Fri, 17 Apr 2009 10:41:08 +0000 (10:41 +0000)]
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
Ulrich Weigand [Fri, 17 Apr 2009 10:40:01 +0000 (10:40 +0000)]
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
Ulrich Weigand [Fri, 17 Apr 2009 10:38:48 +0000 (10:38 +0000)]
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
Ulrich Weigand [Fri, 17 Apr 2009 10:36:21 +0000 (10:36 +0000)]
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
Richard Guenther [Fri, 17 Apr 2009 10:29:26 +0000 (10:29 +0000)]
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
Arnaud Charlet [Fri, 17 Apr 2009 10:14:36 +0000 (12:14 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 10:10:21 +0000 (12:10 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 10:01:17 +0000 (12:01 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 09:57:27 +0000 (11:57 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 09:51:08 +0000 (11:51 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 09:47:55 +0000 (09:47 +0000)]
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r146234
Arnaud Charlet [Fri, 17 Apr 2009 09:47:21 +0000 (11:47 +0200)]
Adjust previous check-in, which set the wrong install_name for libgnarl
under Darwin.
From-SVN: r146233
Arnaud Charlet [Fri, 17 Apr 2009 09:46:37 +0000 (11:46 +0200)]
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
Arnaud Charlet [Fri, 17 Apr 2009 09:45:38 +0000 (11:45 +0200)]
Fix test after proper rule enforced by gnat on taft types.
From-SVN: r146231
Arnaud Charlet [Fri, 17 Apr 2009 09:38:12 +0000 (11:38 +0200)]
[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
Ed Schonberg [Fri, 17 Apr 2009 09:36:05 +0000 (11:36 +0200)]
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
Arnaud Charlet [Fri, 17 Apr 2009 09:30:39 +0000 (11:30 +0200)]
[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
Arnaud Charlet [Fri, 17 Apr 2009 09:24:31 +0000 (11:24 +0200)]
[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