From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 944173858D33; Mon, 21 Nov 2022 00:17:44 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 944173858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668989865; bh=7E5b+eYfg88draVXM7b/GD3MOyr/fDqRhSps+tQowhs=; h=From:To:Subject:Date:From; b=QgR3FnkvSE4lCbzmI7B/AD7otJKLFujPb3lwDuKc1x7HEOK+K4v7skAYSRDQyG55v +JiBr2wvtpXdTkFM1JdxvIXK3JYiFa1Uhvf2C+KUiM6XY4zRc2KTtsLLurSomJRMxS D5hVsnIBVNxGgaD8hYf5qxkCfvhbjndrXGT/ZYmc= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-4179] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: a16a5460447eaaff0b4468064e4d7b1cc8fc42eb X-Git-Newrev: fb98ede8ca007d5f7c1d3208f22b3094e2802702 Message-Id: <20221121001745.944173858D33@sourceware.org> Date: Mon, 21 Nov 2022 00:17:44 +0000 (GMT) List-Id: https://gcc.gnu.org/g:fb98ede8ca007d5f7c1d3208f22b3094e2802702 commit r13-4179-gfb98ede8ca007d5f7c1d3208f22b3094e2802702 Author: GCC Administrator Date: Mon Nov 21 00:16:46 2022 +0000 Daily bump. Diff: --- contrib/ChangeLog | 5 ++ gcc/ChangeLog | 119 ++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 89 +++++++++++++++++++++ gcc/c-family/ChangeLog | 15 ++++ gcc/cp/ChangeLog | 119 ++++++++++++++++++++++++++++ gcc/fortran/ChangeLog | 6 ++ gcc/jit/ChangeLog | 25 ++++++ gcc/testsuite/ChangeLog | 204 ++++++++++++++++++++++++++++++++++++++++++++++++ libcpp/ChangeLog | 11 +++ libgomp/ChangeLog | 13 +++ libstdc++-v3/ChangeLog | 38 +++++++++ 12 files changed, 645 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 1a1c5cfb1fb..ffd82a174af 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2022-11-20 Martin Liska + + * gcc-changelog/git_commit.py: Temporarily disable + check_line.start. + 2022-11-18 Jakub Jelinek * gcc-changelog/git_update_version.py: Add diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 799a0c2a139..89e67491739 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,122 @@ +2022-11-20 Jakub Jelinek + + PR target/107183 + * reg-stack.cc (next_flags_user): Add DEBUG_SEEN argument. + If >= 0 and a DEBUG_INSN would be otherwise returned, set + DEBUG_SEEN to 1 and ignore it. + (swap_rtx_condition): Add DEBUG_SEEN argument. In >= 0 + mode only set DEBUG_SEEN to 1 if problematic DEBUG_ISNSs + were seen and revert all changes on success in that case. + Don't try to recog_memoized DEBUG_INSNs. + (compare_for_stack_reg): Adjust swap_rtx_condition caller. + If it returns true and debug_seen is 1, call swap_rtx_condition + again with debug_seen -1. + +2022-11-20 Jeff Law + + PR other/104044 + * config/mn10300/mn10300.cc (mn10300_print_operand): Remove + extraneous semicolon. + * config/nvptx/nvptx.cc (nvptx_goacc_reduction_fini): Likewise. + +2022-11-19 Andrew Pinski + + PR middle-end/14840 + * tree-core.h (tree_code_type): Constexprify + by including all-tree.def. + (tree_code_length): Likewise. + * tree.cc (tree_code_type): Remove. + (tree_code_length): Remove. + +2022-11-19 Thomas Schwinge + + * config/nvptx/nvptx.h (STARTFILE_SPEC): Fix 'crt0.o' for + '-mmainkernel'. + +2022-11-19 Jonathan Wakely + LIU Hao + + * system.h [INCLUDE_MUTEX]: Include header for std::mutex. + +2022-11-19 Jakub Jelinek + + PR target/107628 + * config/i386/i386-protos.h (ix86_expand_fast_convert_bf_to_sf): + Declare. + * config/i386/i386-expand.cc (ix86_expand_fast_convert_bf_to_sf): New + function. + * config/i386/i386.md (cbranchbf4, cstorebf4): Use it. + +2022-11-19 Jeff Chapman II + Andrew Sutton + Andrew Marmaduke + Michael Lopez + Jason Merrill + + * doc/invoke.texi: Document contracts flags. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md (*minmax): Additional pattern for + min/max against constants that are extension-invariant. + * config/riscv/iterators.md (minmax_optab): Add an iterator + that has only min and max rtl. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md + (*branch_mask_twobits_equals_singlebit): + Handle "if ((a & T) == C)" using Zbs, when T has 2 bits set and C + has one of these tow bits set. + * config/riscv/predicates.md (const_twobits_not_arith_operand): + New predicate. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md (*i_extrabit): + New pattern for binvi+binvi/xori and bseti+bseti/ori + (*andi_extrabit): New pattern for bclri+bclri/andi + * config/riscv/iterators.md (any_or): Match or and ior + * config/riscv/predicates.md (const_twobits_operand): + New predicate. + (uimm_extra_bit_operand): New predicate. + (uimm_extra_bit_or_twobits): New predicate. + (not_uimm_extra_bit_operand): New predicate. + (not_uimm_extra_bit_or_nottwobits): New predicate. + * config/riscv/riscv.h (UIMM_EXTRA_BIT_OPERAND): + Helper for the uimm_extra_bit_operand and + not_uimm_extra_bit_operand predicates. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md: Handle corner-cases for combine + when chaining slli(.uw)? + addw + * config/riscv/riscv-protos.h (riscv_shamt_matches_mask_p): + Define prototype. + * config/riscv/riscv.cc (riscv_shamt_matches_mask_p): + Helper for evaluating the relationship between two operands. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md: Add a define_split to optimize + slliw + addiw + divw into sh[123]add + divw. + +2022-11-18 Philipp Tomsich + + * config/riscv/predicates.md (shifted_const_arith_operand): New predicate. + (uimm_extra_bit_operand): New predicate. + * config/riscv/riscv.md (*branch_shiftedarith_equals_zero): + New pattern. + (*branch_shiftedmask_equals_zero): New pattern. + +2022-11-18 Philipp Tomsich + + * config/riscv/bitmanip.md (*bsetidisi): New pattern. + +2022-11-18 Richard Purdie + + * doc/invoke.texi: Document prefix-maps don't affect directives. + 2022-11-18 Andrew Pinski PR middle-end/107705 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 578404781e6..b4f44f494dc 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221118 +20221121 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 1fab4d06724..48a4392f3b0 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,92 @@ +2022-11-19 David Malcolm + + PR analyzer/107582 + * engine.cc (dynamic_call_info_t::update_model): Update the model + by pushing or pop a frame, rather than by clobbering it with the + model from the exploded_node's state. + +2022-11-18 David Malcolm + + * analyzer.cc (is_pipe_call_p): Delete. + * analyzer.h (is_pipe_call_p): Delete. + * region-model-impl-calls.cc (call_details::get_location): New. + (class kf_analyzer_break): New, adapted from + region_model::on_stmt_pre. + (region_model::impl_call_analyzer_describe): Convert to... + (class kf_analyzer_describe): ...this. + (region_model::impl_call_analyzer_dump_capacity): Convert to... + (class kf_analyzer_dump_capacity): ...this. + (region_model::impl_call_analyzer_dump_escaped): Convert to... + (class kf_analyzer_dump_escaped): ...this. + (class kf_analyzer_dump_exploded_nodes): New. + (region_model::impl_call_analyzer_dump_named_constant): Convert + to... + (class kf_analyzer_dump_named_constant): ...this. + (class dump_path_diagnostic): Move here from region-model.cc. + (class kf_analyzer_dump_path) New, adapted from + region_model::on_stmt_pre. + (class kf_analyzer_dump_region_model): Likewise. + (region_model::impl_call_analyzer_eval): Convert to... + (class kf_analyzer_eval): ...this. + (region_model::impl_call_analyzer_get_unknown_ptr): Convert to... + (class kf_analyzer_get_unknown_ptr): ...this. + (class known_function_accept): Rename to... + (class kf_accept): ...this. + (class known_function_bind): Rename to... + (class kf_bind): ...this. + (class known_function_connect): Rename to... + (class kf_connect): ...this. + (region_model::impl_call_errno_location): Convert to... + (class kf_errno_location): ...this. + (class known_function_listen): Rename to... + (class kf_listen): ...this. + (region_model::impl_call_pipe): Convert to... + (class kf_pipe): ...this. + (region_model::impl_call_putenv): Convert to... + (class kf_putenv): ...this. + (region_model::impl_call_operator_new): Convert to... + (class kf_operator_new): ...this. + (region_model::impl_call_operator_delete): Convert to... + (class kf_operator_delete): ...this. + (class known_function_socket): Rename to... + (class kf_socket): ...this. + (register_known_functions): Rename param to KFM. Break out + existing known functions into a "POSIX" section, and add "pipe", + "pipe2", and "putenv". Add debugging functions + "__analyzer_break", "__analyzer_describe", + "__analyzer_dump_capacity", "__analyzer_dump_escaped", + "__analyzer_dump_exploded_nodes", + "__analyzer_dump_named_constant", "__analyzer_dump_path", + "__analyzer_dump_region_model", "__analyzer_eval", + "__analyzer_get_unknown_ptr". Add C++ support functions + "operator new", "operator new []", "operator delete", and + "operator delete []". + * region-model.cc (class dump_path_diagnostic): Move to + region-model-impl-calls.cc. + (region_model::on_stmt_pre): Eliminate special-casing of + "__analyzer_describe", "__analyzer_dump_capacity", + "__analyzer_dump_escaped", "__analyzer_dump_named_constant", + "__analyzer_dump_path", "__analyzer_dump_region_model", + "__analyzer_eval", "__analyzer_break", + "__analyzer_dump_exploded_nodes", "__analyzer_get_unknown_ptr", + "__errno_location", "pipe", "pipe2", "putenv", "operator new", + "operator new []", "operator delete", "operator delete []" + "pipe" and "pipe2", handling them instead via the known_functions + mechanism. + * region-model.h (call_details::get_location): New decl. + (region_model::impl_call_analyzer_describe): Delete decl. + (region_model::impl_call_analyzer_dump_capacity): Delete decl. + (region_model::impl_call_analyzer_dump_escaped): Delete decl. + (region_model::impl_call_analyzer_dump_named_constant): Delete decl. + (region_model::impl_call_analyzer_eval): Delete decl. + (region_model::impl_call_analyzer_get_unknown_ptr): Delete decl. + (region_model::impl_call_errno_location): Delete decl. + (region_model::impl_call_pipe): Delete decl. + (region_model::impl_call_putenv): Delete decl. + (region_model::impl_call_operator_new): Delete decl. + (region_model::impl_call_operator_delete): Delete decl. + * sm-fd.cc: Update comments. + 2022-11-16 David Malcolm PR analyzer/107711 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 69695c66c9c..b34115b8223 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,18 @@ +2022-11-19 Jakub Jelinek + + * c-cppbuiltin.cc (c_cpp_builtins): Bump __cpp_constexpr + value from 202207L to 202211L. + +2022-11-19 Jeff Chapman II + Andrew Sutton + Andrew Marmaduke + Michael Lopez + Jason Merrill + + * c.opt: Add contracts flags. + * c-cppbuiltin.cc (c_cpp_builtins): Add contracts feature-test + macros. + 2022-11-16 Marek Polacek PR c++/106649 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index acf78b6c0d5..956563898ac 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,122 @@ +2022-11-20 Patrick Palka + + * constraint.cc (struct norm_entry): Define. + (struct norm_hasher): Define. + (norm_cache): Define. + (normalize_concept_check): Add function comment. Cache the + the normal form of the substituted concept-id. Canonicalize + generic arguments as NULL_TREE. Don't coerce arguments unless + they were substituted. + (normalize_concept_definition): Simplify. Use norm_cache + instead of normalized_map. + +2022-11-20 Patrick Palka + + * pt.cc (coerce_template_parms): Salvage part of the function + comment from c_innermost_t_p. Handle parms being a full + template parameter list. + (coerce_innermost_template_parms): Remove. + (lookup_template_class): Use c_t_p instead of c_innermost_t_p. + (finish_template_variable): Likewise. + (tsubst_decl): Likewise. + (instantiate_alias_template): Likewise. + +2022-11-19 Jakub Jelinek + + * constexpr.cc (cxx_eval_constant_expression): Implement C++23 + P2647R1 - Permitting static constexpr variables in constexpr functions. + Allow DECL_EXPRs of decl_constant_var_p static or thread_local vars. + (potential_constant_expression_1): Similarly, except use + decl_maybe_constant_var_p instead of decl_constant_var_p if + processing_template_decl. + +2022-11-19 Jeff Chapman II + Andrew Sutton + Andrew Marmaduke + Michael Lopez + Jason Merrill + + * cp-tree.h (enum cp_tree_index): Add + CPTI_PSEUDO_CONTRACT_VIOLATION. + (pseudo_contract_violation_type): New macro. + (struct saved_scope): Add x_processing_contract_condition. + (processing_contract_condition): New macro. + (comparing_override_contracts): New variable decl. + (find_contract): New inline. + (set_decl_contracts): New inline. + (get_contract_semantic): New inline. + (set_contract_semantic): New inline. + * constexpr.cc (cxx_eval_assert): Split out from... + (cxx_eval_internal_function): ...here. + (cxx_eval_constant_expression): Use it for contracts. + (potential_constant_expression_1): Handle contracts. + * cp-gimplify.cc (cp_genericize_r): Handle contracts. + * cp-objcp-common.cc (cp_tree_size): Handle contracts. + (cp_common_init_ts): Handle contracts. + (cp_handle_option): Handle contracts. + * decl.cc (duplicate_decls): Handle contracts. + (check_tag_decl): Check for bogus contracts. + (start_decl): Check flag_contracts. + (grokfndecl): Call rebuild_postconditions. + (grokdeclarator): Handle contract attributes. + (start_preparsed_function): Call start_function_contracts. + (finish_function): Call finish_function_contracts. + * decl2.cc (cp_check_const_attributes): Skip contracts. + (comdat_linkage): Handle outlined contracts. + * error.cc (dump_type): Handle null TYPE_IDENTIFIER. + * g++spec.cc (EXPERIMENTAL): New macro. + (lang_specific_driver): Add -lstdc++exp if -fcontracts. + * mangle.cc (write_encoding): Handle outlined contracts. + * module.cc (trees_out::fn_parms_init): Handle outlined contracts. + (trees_in::fn_parms_init): Likewise. + (check_mergeable_decl): Likewise. + (module_state_config::get_dialect): Record -fcontracts. + * parser.h (struct cp_unparsed_functions_entry): Add contracts. + * parser.cc (unparsed_contracts): New macro. + (push_unparsed_function_queues): Adjust. + (contract_attribute_p): New. + (cp_parser_statement): Check contracts. + (cp_parser_decl_specifier_seq): Handle contracts. + (cp_parser_skip_to_closing_square_bracket): Split out... + (cp_parser_skip_up_to_closing_square_bracket): ...this fn. + (cp_parser_class_specifier): Do contract late parsing. + (cp_parser_class_head): Check contracts. + (cp_parser_contract_role): New. + (cp_parser_contract_mode_opt): New. + (find_error, contains_error_p): New. + (cp_parser_contract_attribute_spec): New. + (cp_parser_late_contract_condition): New. + (cp_parser_std_attribute_spec): Handle contracts. + (cp_parser_save_default_args): Also save contracts. + * pt.cc (register_parameter_specializations): No longer static. + (register_local_identity): New. + (check_explicit_specialization): Call remove_contract_attributes. + (tsubst_contract, tsubst_contract_attribute): New. + (tsubst_contract_attributes): New. + (tsubst_attribute): Add comment. + (tsubst_copy): Also allow parm when processing_contract_condition. + (tsubst_expr): Handle contracts. + (regenerate_decl_from_template): Handle contracts. + * search.cc (check_final_overrider): Compare contracts. + * semantics.cc (set_cleanup_locs): Skip POSTCONDITION_STMT. + (finish_non_static_data_member): Check contracts. + (finish_this_expr): Check contracts. + (process_outer_var_ref): Handle contracts. + (finish_id_expression_1): Handle contracts. + (apply_deduced_return_type): Adjust contracts. + * tree.cc (handle_contract_attribute): New. + (get_innermost_component, is_this_expression): New. + (comparing_this_references): New. + (equivalent_member_references): New. + (cp_tree_equal): Check it. + * typeck.cc (check_return_expr): Apply contracts. + * Make-lang.in: Add contracts.o. + * config-lang.in: Add contracts.cc. + * cp-tree.def (ASSERTION_STMT, PRECONDITION_STMT) + (POSTCONDITION_STMT): New. + * contracts.h: New file. + * contracts.cc: New file. + 2022-11-18 Jakub Jelinek * decl.cc (grokdeclarator): Implement diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 08ed6caefa2..2366ce125fe 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2022-11-18 Harald Anlauf + + PR fortran/107576 + * interface.cc (gfc_procedure_use): Reject NULL as actual argument + when there is no explicit procedure interface. + 2022-11-17 Bernhard Reutner-Fischer PR fortran/99884 diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index 03acd2db4c2..a46e4a2c459 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,28 @@ +2022-11-20 Jeff Law + + PR other/104044 + * jit-playback.cc (playback::lvale::mark_addressable): Remove + extraeous semicolon + +2022-11-19 Jonathan Wakely + LIU Hao + + * jit-playback.cc (playback::context::scoped_lock): Define RAII + lock type. + (playback::context::compile): Use scoped_lock to acquire mutex + for the active playback context. + (jit_mutex): Change to std::mutex. + (playback::context::acquire_mutex): Rename to ... + (playback::context::lock): ... this. + (playback::context::release_mutex): Rename to ... + (playback::context::unlock): ... this. + * jit-playback.h (playback::context): Rename members and declare + scoped_lock. + * jit-recording.cc (INCLUDE_PTHREAD_H): Remove unused define. + * libgccjit.cc (version_mutex): Change to std::mutex. + (struct jit_version_info): Use std::lock_guard to acquire and + release mutex. + 2022-11-14 Martin Liska Revert: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f53d7741ab5..13ef929ae3f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,207 @@ +2022-11-20 Jakub Jelinek + + PR target/107183 + * gcc.dg/ubsan/pr107183.c: New test. + +2022-11-20 Jeff Law + + * gcc.dg/pr96542.c: Avoid falsely matching DECL_UIDs with + the number 254 in them. + +2022-11-19 Jakub Jelinek + + PR target/107628 + * gcc.target/i386/pr107628.c: New test. + +2022-11-19 Jakub Jelinek + + * g++.dg/cpp23/constexpr-nonlit17.C: New test. + * g++.dg/cpp23/constexpr-nonlit18.C: New test. + * g++.dg/cpp23/feat-cxx2b.C: Adjust expected __cpp_constexpr + value. + * g++.dg/ext/stmtexpr19.C: Don't expect an error. + * g++.dg/ext/stmtexpr25.C: New test. + +2022-11-19 Jeff Chapman II + Andrew Sutton + Andrew Marmaduke + Michael Lopez + Jason Merrill + + * g++.dg/modules/modules.exp: Pass dg-options to link command. + * lib/g++.exp: Add -L for libstdc++exp.a. + * g++.dg/contracts/backtrace_handler/assert_fail.cpp: New test. + * g++.dg/contracts/backtrace_handler/handle_contract_violation.cpp: New test. + * g++.dg/contracts/contracts-access1.C: New test. + * g++.dg/contracts/contracts-assume1.C: New test. + * g++.dg/contracts/contracts-assume2.C: New test. + * g++.dg/contracts/contracts-assume3.C: New test. + * g++.dg/contracts/contracts-assume4.C: New test. + * g++.dg/contracts/contracts-assume5.C: New test. + * g++.dg/contracts/contracts-assume6.C: New test. + * g++.dg/contracts/contracts-comdat1.C: New test. + * g++.dg/contracts/contracts-config1.C: New test. + * g++.dg/contracts/contracts-constexpr1.C: New test. + * g++.dg/contracts/contracts-constexpr2.C: New test. + * g++.dg/contracts/contracts-constexpr3.C: New test. + * g++.dg/contracts/contracts-conversion1.C: New test. + * g++.dg/contracts/contracts-ctor-dtor1.C: New test. + * g++.dg/contracts/contracts-ctor-dtor2.C: New test. + * g++.dg/contracts/contracts-cv1.C: New test. + * g++.dg/contracts/contracts-deduced1.C: New test. + * g++.dg/contracts/contracts-deduced2.C: New test. + * g++.dg/contracts/contracts-friend1.C: New test. + * g++.dg/contracts/contracts-ft1.C: New test. + * g++.dg/contracts/contracts-ignore1.C: New test. + * g++.dg/contracts/contracts-ignore2.C: New test. + * g++.dg/contracts/contracts-large-return.C: New test. + * g++.dg/contracts/contracts-multiline1.C: New test. + * g++.dg/contracts/contracts-multiple-inheritance1.C: New test. + * g++.dg/contracts/contracts-multiple-inheritance2.C: New test. + * g++.dg/contracts/contracts-nested-class1.C: New test. + * g++.dg/contracts/contracts-nested-class2.C: New test. + * g++.dg/contracts/contracts-nocopy1.C: New test. + * g++.dg/contracts/contracts-override.C: New test. + * g++.dg/contracts/contracts-post1.C: New test. + * g++.dg/contracts/contracts-post2.C: New test. + * g++.dg/contracts/contracts-post3.C: New test. + * g++.dg/contracts/contracts-post4.C: New test. + * g++.dg/contracts/contracts-post5.C: New test. + * g++.dg/contracts/contracts-post6.C: New test. + * g++.dg/contracts/contracts-pre1.C: New test. + * g++.dg/contracts/contracts-pre10.C: New test. + * g++.dg/contracts/contracts-pre2.C: New test. + * g++.dg/contracts/contracts-pre2a1.C: New test. + * g++.dg/contracts/contracts-pre2a2.C: New test. + * g++.dg/contracts/contracts-pre3.C: New test. + * g++.dg/contracts/contracts-pre4.C: New test. + * g++.dg/contracts/contracts-pre5.C: New test. + * g++.dg/contracts/contracts-pre6.C: New test. + * g++.dg/contracts/contracts-pre7.C: New test. + * g++.dg/contracts/contracts-pre9.C: New test. + * g++.dg/contracts/contracts-redecl1.C: New test. + * g++.dg/contracts/contracts-redecl2.C: New test. + * g++.dg/contracts/contracts-redecl3.C: New test. + * g++.dg/contracts/contracts-redecl4.C: New test. + * g++.dg/contracts/contracts-redecl5.C: New test. + * g++.dg/contracts/contracts-redecl6.C: New test. + * g++.dg/contracts/contracts-redecl7.C: New test. + * g++.dg/contracts/contracts-redecl8.C: New test. + * g++.dg/contracts/contracts-tmpl-attr1.C: New test. + * g++.dg/contracts/contracts-tmpl-spec1.C: New test. + * g++.dg/contracts/contracts-tmpl-spec2.C: New test. + * g++.dg/contracts/contracts-tmpl-spec3.C: New test. + * g++.dg/contracts/contracts1.C: New test. + * g++.dg/contracts/contracts10.C: New test. + * g++.dg/contracts/contracts11.C: New test. + * g++.dg/contracts/contracts12.C: New test. + * g++.dg/contracts/contracts13.C: New test. + * g++.dg/contracts/contracts14.C: New test. + * g++.dg/contracts/contracts15.C: New test. + * g++.dg/contracts/contracts16.C: New test. + * g++.dg/contracts/contracts17.C: New test. + * g++.dg/contracts/contracts18.C: New test. + * g++.dg/contracts/contracts19.C: New test. + * g++.dg/contracts/contracts2.C: New test. + * g++.dg/contracts/contracts20.C: New test. + * g++.dg/contracts/contracts22.C: New test. + * g++.dg/contracts/contracts24.C: New test. + * g++.dg/contracts/contracts25.C: New test. + * g++.dg/contracts/contracts3.C: New test. + * g++.dg/contracts/contracts35.C: New test. + * g++.dg/contracts/contracts4.C: New test. + * g++.dg/contracts/contracts5.C: New test. + * g++.dg/contracts/contracts6.C: New test. + * g++.dg/contracts/contracts7.C: New test. + * g++.dg/contracts/contracts8.C: New test. + * g++.dg/contracts/contracts9.C: New test. + * g++.dg/modules/contracts-1_a.C: New test. + * g++.dg/modules/contracts-1_b.C: New test. + * g++.dg/modules/contracts-2_a.C: New test. + * g++.dg/modules/contracts-2_b.C: New test. + * g++.dg/modules/contracts-2_c.C: New test. + * g++.dg/modules/contracts-3_a.C: New test. + * g++.dg/modules/contracts-3_b.C: New test. + * g++.dg/modules/contracts-4_a.C: New test. + * g++.dg/modules/contracts-4_b.C: New test. + * g++.dg/modules/contracts-4_c.C: New test. + * g++.dg/modules/contracts-4_d.C: New test. + * g++.dg/modules/contracts-tpl-friend-1_a.C: New test. + * g++.dg/modules/contracts-tpl-friend-1_b.C: New test. + * g++.dg/contracts/backtrace_handler/Makefile: New test. + * g++.dg/contracts/backtrace_handler/README: New test. + * g++.dg/contracts/backtrace_handler/example_out.txt: New test. + * g++.dg/contracts/backtrace_handler/example_pretty.txt: New test. + * g++.dg/contracts/backtrace_handler/prettytrace.sh: New test. + * g++.dg/contracts/except_preload_handler/Makefile: New test. + * g++.dg/contracts/except_preload_handler/README: New test. + * g++.dg/contracts/except_preload_handler/assert_fail.cpp: New test. + * g++.dg/contracts/except_preload_handler/handle_contract_violation.cpp: New test. + * g++.dg/contracts/noexcept_preload_handler/Makefile: New test. + * g++.dg/contracts/noexcept_preload_handler/README: New test. + * g++.dg/contracts/noexcept_preload_handler/assert_fail.cpp: New test. + * g++.dg/contracts/noexcept_preload_handler/handle_contract_violation.cpp: New test. + * g++.dg/contracts/preload_handler/Makefile: New test. + * g++.dg/contracts/preload_handler/README: New test. + * g++.dg/contracts/preload_handler/assert_fail.cpp: New test. + * g++.dg/contracts/preload_handler/handle_contract_violation.cpp: New test. + * g++.dg/contracts/preload_nocontinue_handler/Makefile: New test. + * g++.dg/contracts/preload_nocontinue_handler/README: New test. + * g++.dg/contracts/preload_nocontinue_handler/assert_fail.cpp: New test. + * g++.dg/contracts/preload_nocontinue_handler/handle_contract_violation.cpp: New test. + * g++.dg/contracts/preload_nocontinue_handler/nocontinue.cpp: New test. + +2022-11-19 David Malcolm + + PR analyzer/107582 + * gcc.dg/analyzer/feasibility-4.c: New test. + * gcc.dg/analyzer/feasibility-pr107582-1.c: New test. + * gcc.dg/analyzer/feasibility-pr107582-2.c: New test. + +2022-11-18 David Malcolm + + * gcc.dg/analyzer/analyzer-debugging-fns-1.c: New test. + * gcc.dg/analyzer/attr-const-3.c: Increase the + "analyzer-max-svalue-depth" from 0 to 4 to ensure that + "__analyzer_eval" is recognized. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zbb-min-max-02.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zbs-if_then_else-01.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zbs-bclri.c: Rename + * gcc.target/riscv/zbs-bclri-01.c: Renamed from above. + * gcc.target/riscv/zbs-bclri-02.c: New test. + * gcc.target/riscv/zbs-binvi.c: New test. + * gcc.target/riscv/zbs-bseti.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zba-shNadd-04.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zba-shNadd-05.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/branch-1.c: New test. + +2022-11-18 Philipp Tomsich + + * gcc.target/riscv/zbs-bseti-02.c: New test. + +2022-11-18 Harald Anlauf + + PR fortran/107576 + * gfortran.dg/null_actual_3.f90: New test. + 2022-11-18 Andrew Pinski * gcc.dg/redecl-22.c: New test. diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index d1dd151cc16..9236b440703 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,14 @@ +2022-11-19 Bernhard Reutner-Fischer + + PR preprocessor/107691 + * configure.ac: Add valgrind header checks. + * configure: Regenerate. + +2022-11-18 Richard Purdie + + * macro.cc (_cpp_builtin_macro_text): Don't remap filenames within + directives. + 2022-11-05 Lewis Hyatt PR preprocessor/55971 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 78ed9e1eb74..4e7419ccd75 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,16 @@ +2022-11-19 Tobias Burnus + + * config/gcn/libgomp-gcn.h: New file; contains + struct output, declared previously in plugin-gcn.c. + * config/gcn/target.c: Include it. + (GOMP_ADDITIONAL_ICVS): Declare as extern var. + (GOMP_target_ext): Handle reverse offload. + * plugin/plugin-gcn.c: Include libgomp-gcn.h. + (struct kernargs): Replace struct def by the one + from libgomp-gcn.h for output_data. + (process_reverse_offload): New. + (console_output): Call it. + 2022-11-16 Tobias Burnus Andrew Stubbs diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index b9fc8fd9f42..f6d5b77f8f0 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,41 @@ +2022-11-20 François Dumont + + * include/std/format: Add std qualification on isxdigit calls. + +2022-11-19 Jonathan Wakely + + * include/bits/range_access.h: Add always_inline attribute to + trivial functions. + +2022-11-19 Jonathan Wakely + + * include/std/format: Fix -Wsign-compare warnings. + +2022-11-19 Jonathan Wakely + + * include/bits/ptr_traits.h (pointer_traits::pointer_to): Rename + parameter. + +2022-11-19 Jonathan Wakely + + PR libstdc++/107649 + * include/std/complex (__complex_proj): Fix requires-clause. + +2022-11-19 Jeff Chapman II + Andrew Marmaduke + Jason Merrill + + * acinclude.m4 (glibcxx_SUBDIRS): Add src/experimental. + * include/Makefile.am (experimental_headers): Add contract. + * include/Makefile.in: Regenerate. + * src/Makefile.am (SUBDIRS): Add experimental. + * src/Makefile.in: Regenerate. + * configure: Regenerate. + * src/experimental/contract.cc: New file. + * src/experimental/Makefile.am: New file. + * src/experimental/Makefile.in: New file. + * include/experimental/contract: New file. + 2022-11-17 Jonathan Wakely PR libstdc++/107720