diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f06b9d7916c..0e5be6c4636 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,196 @@ +2024-09-20 David Malcolm + + PR other/116613 + * text-art/dump.h (dump_to_file): Simplify using + tree_dump_pretty_printer. + * tree-diagnostic.h (class tree_dump_pretty_printer): New. + +2024-09-20 David Malcolm + + PR other/116613 + * diagnostic-format-sarif.cc (sarif_builder::m_printer): New + field. + (sarif_invocation::add_notification_for_ice): Drop context param. + (sarif_invocation::prepare_to_flush): Convert param from context + to builder. + (sarif_result::on_nested_diagnostic): Drop context param. Use + builder's printer. + (sarif_result::on_diagram): Drop context param. + (sarif_ice_notification::sarif_ice_notification): Drop context + param. Use builder's printer. + (sarif_builder::sarif_builder): Initialize m_printer. + (sarif_builder::on_report_diagnostic): Drop context param. Use + builder's printer. + (sarif_builder::emit_diagram): Drop context param. + (sarif_builder::flush_to_object): Use this rather than context + for call to prepare_to_flush. + (sarif_builder::make_result_object): Drop context param. Use + builder's printer. + (sarif_builder::make_reporting_descriptor_object_for_warning): + Drop context param. + (sarif_builder::make_message_object_for_diagram): Likewise. + Use builder's printer. + (sarif_output_format::on_report_diagnostic): Drop context param + from call to sarif_builder::on_report_diagnostic. + (sarif_output_format::on_diagram): Drop context param from call to + sarif_builder::emit_diagram. + * diagnostic.h (diagnostic_conetxt::get_client_data_hooks): Make const. + +2024-09-20 David Malcolm + + PR other/116613 + * coretypes.h (class diagnostic_text_output_format): Add forward + decl. + * diagnostic-format-json.cc + (json_output_format::after_diagnostic): New. + * diagnostic-format-sarif.cc + (sarif_output_format::after_diagnostic): New. + * diagnostic-format-text.cc: Use pragmas to ignore -Wformat-diag. + (diagnostic_text_output_format::~diagnostic_text_output_format): + Use get_printer. Clean up m_includes_seen here, rather than + in ~diagnostic_context. + (diagnostic_text_output_format::on_report_diagnostic): Use + get_printer. Update for callback renamings and pass *this + to them, rather than &m_context. + (diagnostic_text_output_format::after_diagnostic): New. + (diagnostic_text_output_format::includes_seen_p): Move here + from diagnostic_context/diagnostic.cc. + (diagnostic_text_output_format::get_location_text): New. + (maybe_line_and_column): Move here from diagnostic.cc and make + non-static. + (diagnostic_text_output_format::report_current_module): Move + here from diagnostic_context/diagnostic.cc. + (default_diagnostic_text_starter): Move here from diagnostic.cc, + renaming from default_diagnostic_starter. + (default_diagnostic_text_finalizer): Likewise, renaming from + default_diagnostic_finalizer. + * diagnostic-format-text.h + (diagnostic_text_output_format::diagnostic_text_output_format): + Initialize m_last_module and m_includes_seen. + (diagnostic_text_output_format::after_diagnostic): New decl. + (diagnostic_text_output_format::build_prefix): New decl. + (diagnostic_text_output_format::report_current_module): New decl. + (diagnostic_text_output_format::append_note): New decl. + (diagnostic_text_output_format::file_name_as_prefix): New decl. + (diagnostic_text_output_format::print_path): New decl. + (diagnostic_text_output_format::show_column_p): New decl. + (diagnostic_text_output_format::get_location_text): New decl. + (diagnostic_text_output_format::includes_seen_p): New decl. + (diagnostic_text_output_format::show_any_path): New decl. + (diagnostic_text_output_format::m_last_module): New field. + (diagnostic_text_output_format::m_includes_seen): New field. + * diagnostic-format.h + (diagnostic_output_format::after_diagnostic): New vfunc. + (diagnostic_output_format::get_context): New. + (diagnostic_output_format::get_diagram_theme): New. + * diagnostic-macro-unwinding.cc: Include + "diagnostic-format-text.h". + (maybe_unwind_expanded_macro_loc): Convert first param from + diagnostic_context * to diagnostic_text_output_format & and update + accordingly. + (virt_loc_aware_diagnostic_finalizer): Likewise. + * diagnostic-macro-unwinding.h + (virt_loc_aware_diagnostic_finalizer): Likewise. + (maybe_unwind_expanded_macro_loc): Likewise. + * diagnostic-path.cc: Include "diagnostic-format-text.h". + (path_label::path_label): Drop "ctxt" param and add "colorize" + and "allow_emojis" params. Update initializations. + (path_label::get_text): Use m_colorize rather than querying + m_ctxt.m_printer. Use m_allow_emojis rather than querying + m_ctxt's diagram theme. + (path_label::m_ctxt): Drop field. + (path_label::m_colorize): Drop field. + (path_label::m_allow_emojis): Drop field. + (event_range::event_range): Drop param "ctxt". Add params + "colorize_labels" and "allow_emojis". + (event_range::print): Convert first param from + diagnostic_context & to diagnostic_text_output_format & and update + accordingly. + (path_summary::path_summary): Likewise. + (path_summary::print_swimlane_for_event_range): Likewise. + (print_path_summary_as_text): Likewise for 3rd param. + (diagnostic_context::print_path): Convert to... + (diagnostic_text_output_format::print_path): ...this. + (selftest::test_empty_path): Update to use a + diagnostic_text_output_format. + (selftest::test_intraprocedural_path): Likewise. + (selftest::test_interprocedural_path_1): Likewise. + (selftest::test_interprocedural_path_2): Likewise. + (selftest::test_recursion): Likewise. + (selftest::test_control_flow_1): Likewise. + (selftest::test_control_flow_2): Likewise. + (selftest::test_control_flow_3): Likewise. + (selftest::assert_cfg_edge_path_streq): Likewise. + (selftest::test_control_flow_5): Likewise. + (selftest::test_control_flow_6): Likewise. + * diagnostic.cc (file_name_as_prefix): Convert to... + (diagnostic_text_output_format::file_name_as_prefix): ...this. + (diagnostic_context::initialize): Update for renamings. + Move m_last_module and m_includes_seen into text output. + (diagnostic_context::finish): Likewise. + (diagnostic_context::get_location_text): Add "colorize" param. + (diagnostic_build_prefix): Convert to... + (diagnostic_text_output_format::build_prefix): ...this. + (diagnostic_context::includes_seen_p): Move from here to + diagnostic_text_output_format/diagnostic-format-text.cc. + (diagnostic_context::report_current_module): Likewise. + (diagnostic_context::show_any_path): Convert to... + (diagnostic_text_output_format::show_any_path): ...this. + (default_diagnostic_starter): Rename and move to + diagnostic-format-text.cc. + (default_diagnostic_start_span_fn): Pass colorize bool + to get_location_text. + (default_diagnostic_finalizer): Rename and move to + diagnostic-format-text.cc. + (diagnostic_context::report_diagnostic): Replace call to + show_any_path with call to new output format "after_diagnostic" + vfunc, moving show_any_path call to the text output format. + (diagnostic_append_note): Convert to... + (diagnostic_text_output_format::append_note): ...this. + (selftest::assert_location_text): Pass in false for colorization. + * diagnostic.h (diagnostic_starter_fn): Rename to... + (diagnostic_text_starter_fn): ...this. Convert first param from + diagnostic_context * to diagnostic_text_output_format &. + (diagnostic_finalizer_fn, diagnostic_text_finalizer_fn): Likewise. + (diagnostic_context): Update friends for renamings. + (diagnostic_context::report_current_module): Move to text output + format. + (diagnostic_context::get_location_text): Add "colorize" bool. + (diagnostic_context::includes_seen_p): Move to text output format. + (diagnostic_context::show_any_path): Likewise. + (diagnostic_context::print_path): Likewise. + (diagnostic_context::m_text_callbacks): Update for renamings. + (diagnostic_context::m_last_module): Move to text output format. + (diagnostic_context::m_includes_seen): Likewise. + (diagnostic_starter): Rename to... + (diagnostic_text_starter): ...this and update return type. + (diagnostic_finalizer): Rename to... + (diagnostic_text_finalizer): ...this and update return type. + (diagnostic_report_current_module): Drop decl in favor of a member + function of diagnostic_text_output_format. + (diagnostic_append_note): Likewise. + (default_diagnostic_starter): Rename to... + (default_diagnostic_text_starter): ...this, updating type. + (default_diagnostic_finalizer): Rename to... + (default_diagnostic_text_finalizer): ...this, updating type. + (file_name_as_prefix): Drop decl. + * langhooks-def.h (lhd_print_error_function): Convert first param + from diagnostic_context * to diagnostic_text_output_format &. + * langhooks.cc: Include "diagnostic-format-text.h". + (lhd_print_error_function): Likewise. Update accordingly + * langhooks.h (lang_hooks::print_error_function): Convert first + param from diagnostic_context * to + diagnostic_text_output_format &. + * tree-diagnostic.cc: Include "diagnostic-format-text.h". + (diagnostic_report_current_function): Convert first param from + diagnostic_context * to diagnostic_text_output_format & and update + accordingly. + (default_tree_diagnostic_starter): Rename to... + (default_tree_diagnostic_text_starter): ...this. Convert first + param from diagnostic_context * to diagnostic_text_output_format & + and update accordingly. + (tree_diagnostics_defaults): Update for renamings. + 2024-09-20 Tamar Christina * config/aarch64/aarch64.h (VECTOR_STORE_FLAG_VALUE): New. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 09a8fff25e6..6df304d1af8 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240920 +20240921 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index d37d315442d..53d2d065ae1 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,49 @@ +2024-09-20 David Malcolm + + PR other/116613 + * access-diagram.cc (access_range::dump): Simplify using + tree_dump_pretty_printer. + * call-details.cc (call_details::dump): Likewise. + * call-summary.cc (call_summary::dump): Likewise. + (call_summary_replay::dump): Likewise. + * checker-event.cc (checker_event::debug): Likewise. + * constraint-manager.cc (range::dump): Likewise. + (bounded_range::dump): Likewise. + (bounded_ranges::dump): Likewise. + (constraint_manager::dump): Likewise. + * engine.cc (exploded_node::dump): Likewise. + (exploded_path::dump): Likewise. + * program-point.cc (program_point::dump): Likewise. + * program-state.cc (extrinsic_state::dump_to_file): Likewise. + (sm_state_map::dump): Likewise. + (program_state::dump_to_file): Likewise. + * ranges.cc (symbolic_byte_offset::dump): Likewise. + (symbolic_byte_range::dump): Likewise. + * record-layout.cc (record_layout::dump): Likewise. + * region-model-reachability.cc (reachable_regions::dump): + Likewise. + * region-model.cc (region_to_value_map::dump): Likewise. + (region_model::dump): Likewise. + (model_merger::dump): Likewise. + * region.cc (region_offset::dump): Likewise. + (region::dump): Likewise. + * sm-malloc.cc (deallocator_set::dump): Likewise. + * store.cc (uncertainty_t::dump): Likewise. + (binding_key::dump): Likewise. + (bit_range::dump): Likewise. + (byte_range::dump): Likewise. + (binding_map::dump): Likewise. + (binding_cluster::dump): Likewise. + (store::dump): Likewise. + * supergraph.cc (superedge::dump): Likewise. + * svalue.cc (svalue::dump): Likewise. + +2024-09-20 David Malcolm + + PR other/116613 + * diagnostic-manager.cc (diagnostic_manager::emit_saved_diagnostic): + Remove remove redundant 'pp'. + 2024-09-09 David Malcolm PR other/116613 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index d6db04cb2e2..f806499e951 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,13 @@ +2024-09-20 David Malcolm + + PR other/116613 + * c-opts.cc: Include "diagnostic-format-text.h". + (c_diagnostic_finalizer): Rename to... + (c_diagnostic_text_finalizer): ...this. Convert first param + from diagnostic_context * to diagnostic_text_output_format & and + update accordingly. + (c_common_diagnostics_set_defaults): Update for renamings. + 2024-09-19 Marek Polacek * c.opt.urls: Regenerate. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index f6d83655838..65f1bd2fac0 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2024-09-20 Martin Uecker + + PR c/116726 + * c-typeck.cc (tagged_types_tu_compatible_p): Restore value + of the cache after recursing into comptypes_internal. + 2024-09-09 David Malcolm * c-errors.cc (pedwarn_c23): Use "diagnostic_option_id option_id" diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 431b7811634..470fbd99f2c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,36 @@ +2024-09-20 David Malcolm + + PR other/116613 + * cp-tree.h (cxx_print_error_function): Convert first param + from diagnostic_context * to diagnostic_text_output_format &. + * error.cc: Include "diagnostic-format-text.h". + (cxx_initialize_diagnostics): Update for renamings. + (cxx_print_error_function): Convert first param from + diagnostic_context * to diagnostic_text_output_format & and update + accordingly + (cp_diagnostic_starter): Rename to... + (cp_diagnostic_text_starter): ...this. Convert first + param from diagnostic_context * to diagnostic_text_output_format & + and update accordingly. + (cp_print_error_function): Likewise. + (print_instantiation_full_context): Likewise. + (print_instantiation_partial_context_line): Likewise. + (print_instantiation_partial_context): Likewise. + (maybe_print_instantiation_context): Likewise. + (maybe_print_constexpr_context): Likewise. + (print_location): Likewise. + (print_constrained_decl_info): Likewise. + (print_concept_check_info): Likewise. + (print_constraint_context_head): Likewise. + (print_requires_expression_info): Likewise. + (maybe_print_single_constraint_context): Likewise. + +2024-09-20 Patrick Palka + + DR 2789 + * call.cc (cand_parms_match): Check for matching class contexts + even in the reversed case. + 2024-09-20 Patrick Palka PR c++/116492 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index a572dcc3301..e2a81c74c90 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,16 @@ +2024-09-20 David Malcolm + + PR other/116613 + * error.cc: Include "diagnostic-format-text.h". + (gfc_diagnostic_starter): Rename to... + (gfc_diagnostic_text_starter): ...this. Convert first + param from diagnostic_context * to diagnostic_text_output_format & + and update accordingly. + (gfc_diagnostic_finalizer, gfc_diagnostic_text_finalizer): + Likewise. + (gfc_diagnostics_init): Update for renamings. + (gfc_diagnostics_finish): Likewise. + 2024-09-19 Andre Vehreschild PR fortran/106606 diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index 37a7f114d74..d2b2bd3a08b 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,12 @@ +2024-09-20 David Malcolm + + PR other/116613 + * dummy-frontend.cc: Include "diagnostic-format-text.h". + (jit_begin_diagnostic): Convert first param from + diagnostic_context * to diagnostic_text_output_format & + (jit_end_diagnostic): Likewise. Update accordingly. + (jit_langhook_init): Update for renamings. + 2024-09-18 Francois-Xavier Coudert * libgccjit.h: Include diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index f76e6bec9fe..da83d572fe4 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,20 @@ +2024-09-20 Gaius Mulley + + * gm2-compiler/M2Check.mod (checkUnboundedArray): New + procedure function. + (checkUnboundedUnbounded): Ditto. + (checkUnbounded): Rewrite to check the unbounded data + type. + (checkPair): Add comment. + (doCheckPair): Add comment. + Remove tinfo parameter from the call to checkTypeKindViolation. + (checkTypeKindViolation): Remove ununsed parameter tinfo. + * gm2-libs-ch/UnixArgs.cc (GM2RTS.h): Remove include. + * gm2-libs-ch/m2rts.h (M2RTS_INIT): New define. + (M2RTS_DEP): Ditto. + (M2RTS_RegisterModule): New prototype. + (GM2RTS.h): Add include to the MC_M2 block. + 2024-09-16 Gaius Mulley * Make-lang.in (GM2_BOOT_INCLUDES): New variable. diff --git a/gcc/rust/ChangeLog b/gcc/rust/ChangeLog index 6c88d4d3dfe..0d851ea8293 100644 --- a/gcc/rust/ChangeLog +++ b/gcc/rust/ChangeLog @@ -1,3 +1,11 @@ +2024-09-20 David Malcolm + + PR other/116613 + * resolve/rust-ast-resolve-expr.cc + (funny_ice_finalizer): : Convert first param from + diagnostic_context * to diagnostic_text_output_format &. + (ResolveExpr::visit): Update for renaming. + 2024-08-12 Arthur Cohen * checks/errors/borrowck/rust-bir-builder.h: Cast size_t values to unsigned diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 444b4797a1b..4a5f1db5847 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,58 @@ +2024-09-20 David Malcolm + + PR other/116792 + * gcc.dg/plugin/diagnostic-test-xhtml-1.c: New test. + * gcc.dg/plugin/diagnostic_plugin_xhtml_format.c: New test plugin. + * gcc.dg/plugin/plugin.exp (plugin_test_list): Add the above. + +2024-09-20 David Malcolm + + PR other/116613 + * g++.dg/plugin/show_template_tree_color_plugin.c + (noop_starter_fn): Rename to... + (noop_text_starter_fn): ...this. Update first param from dc to + text_output. + (plugin_init): Update for renamings. + * gcc.dg/plugin/diagnostic_group_plugin.c + (test_diagnostic_starter): Rename to... + (test_diagnostic_text_starter): ...this. Update first param from + dc to text_output. + (plugin_init): Update for renaming. + * gcc.dg/plugin/diagnostic_plugin_test_show_locus.c: Include + "diagnostic-format-text.h". + (custom_diagnostic_finalizer): Rename to... + (custom_diagnostic_text_finalizer): ...this. Update first param + from dc to text_output. + (test_show_locus): Update for renamings. + * gcc.dg/plugin/location_overflow_plugin.c: Include + "diagnostic-format-text.h". + (original_finalizer): Rename to... + (original_text_finalizer): ...this and update type. + (verify_unpacked_ranges): Update first param from dc to + text_output. Update for this and for renamings. + (verify_no_columns): Likewise. + (plugin_init): Update for renamings. + +2024-09-20 Martin Uecker + + PR c/116726 + * gcc.dg/pr116726.c: New test. + +2024-09-20 Patrick Palka + + DR 2789 + * g++.dg/cpp2a/concepts-memfun4.C: Adjust expected result + involving reversed candidate. + +2024-09-20 Gaius Mulley + + * gm2/iso/fail/testarrayunbounded2.mod: New test. + * gm2/iso/fail/testarrayunbounded3.mod: New test. + * gm2/iso/fail/testarrayunbounded4.mod: New test. + * gm2/iso/fail/testarrayunbounded5.mod: New test. + * gm2/iso/fail/testarrayunbounded6.mod: New test. + * gm2/iso/pass/testarrayunbounded.mod: New test. + 2024-09-20 Patrick Palka PR c++/116492 diff --git a/libcc1/ChangeLog b/libcc1/ChangeLog index 32e4a5c6e1a..350c3cba278 100644 --- a/libcc1/ChangeLog +++ b/libcc1/ChangeLog @@ -1,3 +1,10 @@ +2024-09-20 David Malcolm + + PR other/116613 + * context.cc: Include "diagnostic-format-text.h". + (plugin_print_error_function): Update first param from + diagnostic_context * to diagnostic_text_output_format &. + 2024-03-16 Francois-Xavier Coudert PR middle-end/111632 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 0b77a23597f..425990135ae 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,17 @@ +2024-09-20 Jonathan Wakely + + PR libstdc++/116529 + * include/bits/unique_ptr.h (unique_ptr(auto_ptr&&)): + Use pointer instead of T*. + * testsuite/20_util/unique_ptr/creation/116529.cc: New test. + +2024-09-20 Jonathan Wakely + + PR libstdc++/116777 + * doc/xml/manual/using.xml: Document features that are not + supported for the gcc4-compatible ABI. + * doc/html/manual/using_dual_abi.html: Regenerate. + 2024-09-19 Jason Merrill * include/bits/algorithmfwd.h: