+2022-11-20 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Temporarily disable
+ check_line.start.
+
2022-11-18 Jakub Jelinek <jakub@redhat.com>
* gcc-changelog/git_update_version.py: Add
+2022-11-20 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jlaw@ventanamicro.com>
+
+ 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 <apinski@marvell.com>
+
+ 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 <thomas@codesourcery.com>
+
+ * config/nvptx/nvptx.h (STARTFILE_SPEC): Fix 'crt0.o' for
+ '-mmainkernel'.
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+ LIU Hao <lh_mouse@126.com>
+
+ * system.h [INCLUDE_MUTEX]: Include header for std::mutex.
+
+2022-11-19 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jchapman@lock3software.com>
+ Andrew Sutton <asutton@lock3software.com>
+ Andrew Marmaduke <amarmaduke@lock3software.com>
+ Michael Lopez <mlopez@lock3software.com>
+ Jason Merrill <jason@redhat.com>
+
+ * doc/invoke.texi: Document contracts flags.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * 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 <philipp.tomsich@vrull.eu>
+
+ * config/riscv/bitmanip.md
+ (*branch<X:mode>_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 <philipp.tomsich@vrull.eu>
+
+ * config/riscv/bitmanip.md (*<or_optab>i<mode>_extrabit):
+ New pattern for binvi+binvi/xori and bseti+bseti/ori
+ (*andi<mode>_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 <philipp.tomsich@vrull.eu>
+
+ * 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 <philipp.tomsich@vrull.eu>
+
+ * config/riscv/bitmanip.md: Add a define_split to optimize
+ slliw + addiw + divw into sh[123]add + divw.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * config/riscv/predicates.md (shifted_const_arith_operand): New predicate.
+ (uimm_extra_bit_operand): New predicate.
+ * config/riscv/riscv.md (*branch<ANYI:mode>_shiftedarith_equals_zero):
+ New pattern.
+ (*branch<ANYI:mode>_shiftedmask_equals_zero): New pattern.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * config/riscv/bitmanip.md (*bsetidisi): New pattern.
+
+2022-11-18 Richard Purdie <richard.purdie@linuxfoundation.org>
+
+ * doc/invoke.texi: Document prefix-maps don't affect directives.
+
2022-11-18 Andrew Pinski <apinski@marvell.com>
PR middle-end/107705
+2022-11-19 David Malcolm <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
PR analyzer/107711
+2022-11-19 Jakub Jelinek <jakub@redhat.com>
+
+ * c-cppbuiltin.cc (c_cpp_builtins): Bump __cpp_constexpr
+ value from 202207L to 202211L.
+
+2022-11-19 Jeff Chapman II <jchapman@lock3software.com>
+ Andrew Sutton <asutton@lock3software.com>
+ Andrew Marmaduke <amarmaduke@lock3software.com>
+ Michael Lopez <mlopez@lock3software.com>
+ Jason Merrill <jason@redhat.com>
+
+ * c.opt: Add contracts flags.
+ * c-cppbuiltin.cc (c_cpp_builtins): Add contracts feature-test
+ macros.
+
2022-11-16 Marek Polacek <polacek@redhat.com>
PR c++/106649
+2022-11-20 Patrick Palka <ppalka@redhat.com>
+
+ * 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 <ppalka@redhat.com>
+
+ * 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 <jakub@redhat.com>
+
+ * 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 <jchapman@lock3software.com>
+ Andrew Sutton <asutton@lock3software.com>
+ Andrew Marmaduke <amarmaduke@lock3software.com>
+ Michael Lopez <mlopez@lock3software.com>
+ Jason Merrill <jason@redhat.com>
+
+ * 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 <jakub@redhat.com>
* decl.cc (grokdeclarator): Implement
+2022-11-18 Harald Anlauf <anlauf@gmx.de>
+
+ 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 <aldot@gcc.gnu.org>
PR fortran/99884
+2022-11-20 Jeff Law <jlaw@ventanamicro.com>
+
+ PR other/104044
+ * jit-playback.cc (playback::lvale::mark_addressable): Remove
+ extraeous semicolon
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+ LIU Hao <lh_mouse@126.com>
+
+ * 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 <mliska@suse.cz>
Revert:
+2022-11-20 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/107183
+ * gcc.dg/ubsan/pr107183.c: New test.
+
+2022-11-20 Jeff Law <jeffreyalaw@gmail.com>
+
+ * gcc.dg/pr96542.c: Avoid falsely matching DECL_UIDs with
+ the number 254 in them.
+
+2022-11-19 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/107628
+ * gcc.target/i386/pr107628.c: New test.
+
+2022-11-19 Jakub Jelinek <jakub@redhat.com>
+
+ * 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 <jchapman@lock3software.com>
+ Andrew Sutton <asutton@lock3software.com>
+ Andrew Marmaduke <amarmaduke@lock3software.com>
+ Michael Lopez <mlopez@lock3software.com>
+ Jason Merrill <jason@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ 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 <dmalcolm@redhat.com>
+
+ * 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 <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/zbb-min-max-02.c: New test.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/zbs-if_then_else-01.c: New test.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * 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 <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/zba-shNadd-04.c: New test.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/zba-shNadd-05.c: New test.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/branch-1.c: New test.
+
+2022-11-18 Philipp Tomsich <philipp.tomsich@vrull.eu>
+
+ * gcc.target/riscv/zbs-bseti-02.c: New test.
+
+2022-11-18 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/107576
+ * gfortran.dg/null_actual_3.f90: New test.
+
2022-11-18 Andrew Pinski <apinski@marvell.com>
* gcc.dg/redecl-22.c: New test.
+2022-11-19 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
+
+ PR preprocessor/107691
+ * configure.ac: Add valgrind header checks.
+ * configure: Regenerate.
+
+2022-11-18 Richard Purdie <richard.purdie@linuxfoundation.org>
+
+ * macro.cc (_cpp_builtin_macro_text): Don't remap filenames within
+ directives.
+
2022-11-05 Lewis Hyatt <lhyatt@gmail.com>
PR preprocessor/55971
+2022-11-19 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
Andrew Stubbs <ams@codesourcery.com>
+2022-11-20 François Dumont <fdumont@gcc.gnu.org>
+
+ * include/std/format: Add std qualification on isxdigit calls.
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/range_access.h: Add always_inline attribute to
+ trivial functions.
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/format: Fix -Wsign-compare warnings.
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ptr_traits.h (pointer_traits::pointer_to): Rename
+ parameter.
+
+2022-11-19 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/107649
+ * include/std/complex (__complex_proj): Fix requires-clause.
+
+2022-11-19 Jeff Chapman II <jchapman@lock3software.com>
+ Andrew Marmaduke <amarmaduke@lock3software.com>
+ Jason Merrill <jason@redhat.com>
+
+ * 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 <jwakely@redhat.com>
PR libstdc++/107720
projects / platform / upstream / gcc.git / commitdiff