diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-11-21 00:16:46 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-11-21 00:16:46 +0000 |
commit | fb98ede8ca007d5f7c1d3208f22b3094e2802702 (patch) | |
tree | b3452de5842cbdbfdb3c9d6251c9e70651d8c4f1 /gcc | |
parent | a16a5460447eaaff0b4468064e4d7b1cc8fc42eb (diff) | |
download | gcc-fb98ede8ca007d5f7c1d3208f22b3094e2802702.zip gcc-fb98ede8ca007d5f7c1d3208f22b3094e2802702.tar.gz gcc-fb98ede8ca007d5f7c1d3208f22b3094e2802702.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 119 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/analyzer/ChangeLog | 89 | ||||
-rw-r--r-- | gcc/c-family/ChangeLog | 15 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 119 | ||||
-rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/jit/ChangeLog | 25 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 204 |
8 files changed, 578 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 799a0c2..89e6749 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,122 @@ +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 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 5784047..b4f44f4 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221118 +20221121 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 1fab4d0..48a4392 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,92 @@ +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 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 69695c6..b34115b 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,18 @@ +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 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index acf78b6..9565638 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,122 @@ +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 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 08ed6ca..2366ce1 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +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 diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index 03acd2d..a46e4a2 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,28 @@ +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: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f53d774..13ef929 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,207 @@ +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. |