Arnaud Charlet [Tue, 1 Jun 2010 12:57:57 +0000 (12:57 +0000)]
invoke.texi: Mention -fdump-ada-spec.
* doc/invoke.texi: Mention -fdump-ada-spec.
* tree-dump.c (dump_files): Add ada-spec.
(FIRST_AUTO_NUMBERED_DUMP): Bump to 8.
* tree-pass.h (tree_dump_index): Add TDI_ada.
* gcc.c: Add support for -C without -E and for -fdump-ada-spec.
(cpp_unique_options): Do not reject -C or -CC when -E isn't present.
(default_compilers) <@c-header>: Allow -fdump-ada-spec on header files.
* c-decl.c: Include c-ada-spec.h.
(collect_source_ref_cb, collect_all_refs, for_each_global_decl): New
functions.
(c_write_global_declarations): Add handling of -fdump-ada-spec.
* c-lex.c (c_lex_with_flags): Add handling of CPP_COMMENT.
* Makefile.in (C_AND_OBJC_OBJS): Add c-ada-spec.o.
* c-ada-spec.h, c-ada-spec.c: New files.
Co-Authored-By: Matthew Gingell <gingell@adacore.com>
From-SVN: r160100
re PR middle-end/43853 (FAIL: gcc.dg/lto/20090126-1 c_lto_20090126-1_0.o-c_lto_20090126-1_0.o)
2010-06-01 Richard Guenther <rguenther@suse.de>
PR lto/43853
* ipa-pure-const.c (get_function_state): Hand back varying state
if we do not have one.
(has_function_state): New function.
(duplicate_node_data): Adjust.
(remove_node_data): Likewise.
(pure_const_write_summary): Likewise.
(propagate): Likewise. Fix typo.
Jan Hubicka [Tue, 1 Jun 2010 11:59:18 +0000 (13:59 +0200)]
tree-cfg.c (verify_stmt): Do not skip could_throw test.
* tree-cfg.c (verify_stmt): Do not skip could_throw test.
* passes.c (execute_function_todo): Do not make implicit verify_ssa.
(execute_all_ipa_transforms): Do not play with the states.
Maxim Kuvyrkov [Tue, 1 Jun 2010 09:54:08 +0000 (09:54 +0000)]
acinclude.m4, [...]: Support Bionic C library.
* acinclude.m4, configure.host: Support Bionic C library.
* configure: Regenerate.
* config/os/bionic/ctype_base.h, config/os/bionic/ctype_inline.h,
* config/os/bionic/ctype_noincline.h, config/os/bionic/os_defines.h:
New files, based on config/os/newlib/*.
Jakub Jelinek [Mon, 31 May 2010 15:38:35 +0000 (17:38 +0200)]
re PR tree-optimization/44182 (-fcompare-debug failure (length) with -O1)
PR tree-optimization/44182
* tree-inline.c (copy_edges_for_bb): Don't split bb if a stmt that
newly needs to end a bb is followed by debug stmts, instead return
true from the function at the end.
(maybe_move_debug_stmts_to_successors): New function.
(copy_cfg_body): Call it if copy_edges_for_bb returned true.
Paolo Carlini [Mon, 31 May 2010 14:14:42 +0000 (14:14 +0000)]
basic_string.h (front, back): Add.
2010-05-31 Paolo Carlini <paolo.carlini@oracle.com>
* include/bits/basic_string.h (front, back): Add.
* include/debug/string: Adjust.
* include/ext/vstring.h (front, back): Tweak the implementation
to follow more closely the letter of the specs.
* testsuite/21_strings/basic_string/element_access/char/
front_back.cc: New.
* testsuite/21_strings/basic_string/element_access/wchar_t/
front_back.cc: Likewise.
* config/abi/pre/gnu.ver: Export new symbols.
* testsuite/util/testsuite_abi.cc: Adjust.
* configure.ac: Bump minor version to 6:15:0.
* configure: Regenerate.
Richard Guenther [Sun, 30 May 2010 19:52:53 +0000 (19:52 +0000)]
re PR middle-end/42975 (eh-cleanup should be able to clear DECL_FUNCTION_PERSONALITY)
2010-05-30 Richard Guenther <rguenther@suse.de>
PR lto/42975
* tree-eh.c (execute_cleanup_eh_1): Copy from execute_cleanup_eh.
(execute_cleanup_eh): Clear DECL_FUNCTION_PERSONALITY if it is
no longer needed.
Jan Hubicka [Sun, 30 May 2010 12:19:15 +0000 (14:19 +0200)]
cgraph.h (cgraph_node_cannot_return, [...]): New functions.
* cgraph.h (cgraph_node_cannot_return,
cgraph_edge_cannot_lead_to_return): New functions.
* cgraph.c (cgraph_node_cannot_return,
cgraph_edge_cannot_lead_to_return): Use them.
* ipa-pure-const.c (pure_const_names): New static var.
(check_call): Handle calls not leading to return.
(pure_const_read_summary): Dump info read.
(propagate): Dump info about propagation process; ignore side
effects of functions not leading to exit; fix handling of
pure functions.
Jan Hubicka [Sat, 29 May 2010 19:43:37 +0000 (21:43 +0200)]
cgraph.h (struct varpool_node_set_def, [...]): Remove unused AUX pointer.
* cgraph.h (struct varpool_node_set_def,
struct cgraph_node_set_def): Remove unused AUX pointer.
(cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p): Use
VEC_empty macro.
* lto.c (bitmap vector): Remove.
(lto_cgraph_node_sets, lto_varpool_node_sets): Remove.
(ltrans_partition_def): New structure.
(ltrans_partition): New type and VECtor.
(new_partition): New function.
(add_cgraph_node_to_partition): New function.
(lto_1_to_1_map): Reorganize for partitions.
(lto_add_inline_clones): Remove.
(lto_add_all_inlinees): Remove.
(lto_promote_cross_file_statics): Use partitions.
(cmp_partitions): New function.
(lto_wpa_write_files): Do not call lto_add_all_inlinees;
use partitions; output files sorted by size.
Richard Guenther [Sat, 29 May 2010 17:39:56 +0000 (17:39 +0000)]
lto-streamer.c (cached_bp): New global variable.
2010-05-29 Richard Guenther <rguenther@suse.de>
* lto-streamer.c (cached_bp): New global variable.
(bitpack_create): Return the cached bitpack, if available.
(bitpack_delete): Clear and cache the bitpack, if appropriate.
(bp_pack_value): Remove redundant asserts.
* tree-if-conv.c (is_true_predicate): New.
(is_predicated): Use is_true_predicate.
(add_to_predicate_list): Same. Do not use unshare_expr.
(add_to_dst_predicate_list): Same.
Sebastian Pop [Sat, 29 May 2010 17:14:17 +0000 (17:14 +0000)]
Do not use annotations on edges in if-conversion.
2010-05-29 Sebastian Pop <sebastian.pop@amd.com>
* tree-if-conv.c (add_to_dst_predicate_list): Do not use the ->aux
field on edges.
(predicate_bbs): Same.
(clean_predicate_lists): Same.
(find_phi_replacement_condition): Do not AND the predicate from
edge->aux.
Nathan Froyd [Sat, 29 May 2010 14:03:31 +0000 (14:03 +0000)]
basic-block.h (struct control_flow_graph): Move last_label_uid field up.
* basic-block.h (struct control_flow_graph): Move last_label_uid field up.
* df.h (struct df_base_ref): Move regno field up.
* dwarf2out.c (struct dw_fde_struct): Move funcdef_number field down.
* expr.h (struct separate_ops): Move location field up.
* optabs.h (struct optab_d): Move libcall_basename field down.
* config/i386/i386.c (struct ix86_frame): Move red_zone_size up.
* config/i386/i386.h (struct machine_function): Convert call_abi field
into a bitfield. Move cfa field to the end of the structure.
Steven Bosscher [Sat, 29 May 2010 11:29:21 +0000 (11:29 +0000)]
spu-protos.h: Do not include rtl.h.
* config/spu/spu-protos.h: Do not include rtl.h. Protect
RTL specific prototypes with #ifdef RTX_CODE.
* config/spu/spu-c.c: Include c-common.h instead of c-tree.h.
* config/spu/t-spu-elf: Fix dependencies.
Jan Hubicka [Sat, 29 May 2010 07:31:11 +0000 (09:31 +0200)]
cgraph.c (clone_function_name): Take SUFFIX argument; export.
* cgraph.c (clone_function_name): Take SUFFIX argument; export.
(cgraph_create_virtual_clone): Take SUFFIX argument; udpate
use of clone_function_name.
* cgraph.h (cgraph_create_virtual_clone,
cgraph_function_versioning): update prototypes.
(clone_function_name): Declare.
* ipa-cp.c (ipcp_insert_stage): Update call of
cgraph_create_virtual_clone.
* omp-low.c (create_omp_child_function_name): Use
cgraph_create_virtual_clone.
* cgraphunit.c (cgraph_copy_node_for_versioning): Fix edges updating.
(cgraph_function_versioning): Take SUFFIX argument; produce new name
and make decl local.
Steven Bosscher [Fri, 28 May 2010 23:15:55 +0000 (23:15 +0000)]
c-common.h (GCC_DIAG_STYLE): Define earlier in the file, before including diagnostic-core.h.
gcc/ChangeLog:
* c-common.h (GCC_DIAG_STYLE): Define earlier in the file,
before including diagnostic-core.h.
(c_cpp_error): New prototype moved from c-tree.h.
Use ATTRIBUTE_GCC_DIAG instead of ATTRIBUTE_GCC_CDIAG.
* c-tree.h (ATTRIBUTE_GCC_CDIAG): Remove define.
(pedwarn_c90, perwarn_c99): Use ATTRIBUTE_GCC_DIAG instead.
(c_cpp_error): Prototype moved to c-common.h.
* Makefile.in: Update dependency for C_COMMON_H.
cp/ChangeLog:
* cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove. Require that
this file is included before c-common.h. Define GCC_DIAG_STYLE
before including diagnostic-core.h and toplev.h.
(pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG.
* pt.c: Include cp-tree.h before c-common.h.
Joseph Myers [Fri, 28 May 2010 22:48:36 +0000 (23:48 +0100)]
gcc.c: Include diagnostic.h.
* gcc.c: Include diagnostic.h.
(error_count): Remove. All users changed to use errorcount.
(programname): Remove. All users changed to use progname.
(fancy_abort, internal_error, fatal_error, error, warning, inform,
fnotice): Remove.
(execute): Don't include "Internal error" and bug reporting
information in argument of internal_error call.
(process_command): Don't increment error_count after calling
perror_with_name.
(input_filename): Rename to gcc_input_filename. All users
changed.
(main): Call diagnostic_initialize. Register delete_temp_files
with atexit. Use seen_error to test for errors.
* gcc.h: Include diagnostic-core.h.
(fatal_error, error, warning): Remove.
* Makefile.in (GCC_H): Add $(DIAGNOSTIC_CORE_H).
(GCC_OBJS): Add diagnostic.o, pretty-print.o and input.o.
(gcc.o): Update dependencies.
Sebastian Pop [Fri, 28 May 2010 18:42:15 +0000 (18:42 +0000)]
When niter may be zero, return a COND_EXPR with the may_be_zero condition.
2010-05-28 Sebastian Pop <sebastian.pop@amd.com>
* tree-scalar-evolution.c (set_nb_iterations_in_loop): Inlined in the
only place it was called from.
(number_of_latch_executions): Do not return chrec_dont_know when the
may_be_zero is a runtime condition: instead, return a COND_EXPR
including the may_be_zero condition.
* cfgloop.h (struct loop): Add a note on COND_EXPRs to the comment
of nb_iterations.
* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Handle
COND_EXPRs.
Joseph Myers [Fri, 28 May 2010 17:28:57 +0000 (18:28 +0100)]
re PR driver/15303 (When gcc sees an unrecognized option, the exit status indicates success)
PR driver/15303
* gcc.c (inform, warning, inform): New functions.
(fatal_ice): Rename to internal_error; change cmsgid parameter to
gmsgid. All callers changed.
(notice): Rename to fnotice; add parameter fp. All callers
changed.
(fatal_error): Rename to fatal_signal. All users changed.
(fatal): Rename to fatal_error; change cmsgid parameter to
gmsgid. All callers changed.
(process_command): Use warning instead of error for warnings.
(end_going_arg): Don't use _() around argument of error.
(do_spec_1): Use inform for message from %n specs. Use warning
instead of error for warnings.
(main): Use inform for comparison messages. Use warning for
message about unused linker input.
(error): Increment error_count. Print "error: ".
* gcc.h (fatal): Change to fatal_error.
(warning): Declare.
* config/darwin-driver.c (darwin_default_min_version): Use warning
instead of fprintf for warnings.
* cppspec.c (lang_specific_driver): Use fatal_error instead of
fatal.
cp:
* g++spec.c (lang_specific_driver): Use fatal_error instead of
fatal.
fortran:
* gfortranspec.c (append_arg, lang_specific_driver): Use
fatal_error instead of fatal. Use warning instead of fprintf for
warnings.
java:
* jvspec.c (lang_specific_driver): Use fatal_error instead of
fatal. Use warning instead of error for warnings.
* ipa-reference.c (add_static_var): Remove redundant all_module_statics check.
(ipa_reference_write_optimization_summary): Call is_proper_for_analysis only
on local statics.