diff options
| -rw-r--r-- | gcc/ChangeLog | 50 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 31 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 72 | ||||
| -rw-r--r-- | gcc/m2/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 72 | ||||
| -rw-r--r-- | libbacktrace/ChangeLog | 9 | ||||
| -rw-r--r-- | libgcc/ChangeLog | 5 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 5 |
9 files changed, 259 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a3d29e68eba..41d0247f8d4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,53 @@ +2024-05-03 Andrew Pinski <quic_apinski@quicinc.com> + + PR middle-end/23872 + * tree-pretty-print.cc (dump_generic_node <case COMPOUND_EXPR>): Fix + calls to dump_generic_node and also remove unreachable code that is testing + `flags & TDF_SLIM`. + +2024-05-03 Vineet Gupta <vineetg@rivosinc.com> + + * config/riscv/riscv.cc: Comment updates. + * config/riscv/riscv.h: Ditto. + +2024-05-03 Vineet Gupta <vineetg@rivosinc.com> + + * doc/rtl.texi: Add entry for GET_MODE_INNER. + +2024-05-03 Richard Biener <rguenther@suse.de> + + * bitmap.cc (bitmap_alloc): When using the global bitmap obstack + assert that is initialized. + +2024-05-03 Richard Biener <rguenther@suse.de> + + PR middle-end/114931 + * tree.cc (build_array_type_1): Return early when type_hash_canon + returned an older existing type. + (build_function_type): Likewise. + (build_method_type_directly): Likewise. + (build_offset_type): Likewise. + +2024-05-03 Alex Coplan <alex.coplan@arm.com> + + PR rtl-optimization/114924 + * cfgrtl.cc (duplicate_insn_chain): When updating MEM_EXPRs, + don't strip (e.g.) ARRAY_REFs from the final MEM_EXPR. + +2024-05-03 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/113596 + * tree-inline.cc (expand_call_inline): Emit __builtin_stack_save + and __builtin_stack_restore calls around inlined functions which + call alloca. + +2024-05-03 Richard Biener <rguenther@suse.de> + + PR tree-optimization/114921 + * tree-vect-stmts.cc (vectorizable_assignment): Require + same vector component modes for input and output for + CONVERT_EXPR_CODE_P. + 2024-05-02 Jeff Law <jlaw@ventanamicro.com> * config/riscv/riscv.md (<round_pattern><ANYF:mode>2): Adjust diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 748cc5e09dd..40635f4bef8 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240503 +20240504 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 113dd8ade45..5d00e5044aa 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,34 @@ +2024-05-03 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/111475 + * analyzer.cc (is_special_named_call_p): Add "look_in_std" param. + (is_std_function_p): Make non-static. + * analyzer.h (is_special_named_call_p): Add optional "look_in_std" + param. + (is_std_function_p): New decl. + * engine.cc (stmt_requires_new_enode_p): Look for both "signal" + and "std::signal". + * kf.cc (register_known_functions): Add various "std::" copies + of the known functions. + * known-function-manager.cc + (known_function_manager::~known_function_manager): Clean up + m_std_ns_map_id_to_kf. + (known_function_manager::add_std_ns): New. + (known_function_manager::get_match): Also look for known "std::" + functions. + (known_function_manager::get_by_identifier_in_std_ns): New. + * known-function-manager.h + (known_function_manager::add_std_ns): New decl. + (known_function_manager::get_by_identifier_in_std_ns): New decl. + (known_function_manager::m_std_ns_map_id_to_kf): New field. + * sm-file.cc (register_known_file_functions): Add various "std::" + copies of the known functions. + * sm-malloc.cc (malloc_state_machine::on_stmt): Handle + "std::realloc". + * sm-signal.cc (signal_unsafe_p): Consider "std::" copies of the + functions as also being async-signal-unsafe. + (signal_state_machine::on_stmt): Consider "std::signal". + 2024-04-12 Stefan Schulze Frielinghaus <stefansf@linux.ibm.com> * region-model.cc (region_model::check_region_size): Bail out diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index bfd058470c3..a78d9d546d6 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,75 @@ +2024-05-03 Jason Merrill <jason@redhat.com> + + PR c++/114935 + * cp-gimplify.cc (cp_genericize_init): Add flags parm. + (cp_genericize_init_expr): Pass nullptr. + (cp_genericize_target_expr): Handle cleanup flags. + * typeck2.cc (build_disable_temp_cleanup): Factor out of... + (split_nonconstant_init): ...here. + * cp-tree.h (build_disable_temp_cleanup): Declare. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * cp-trait.def: Define __is_pointer. + * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_POINTER. + * semantics.cc (trait_expr_value): Likewise. + (finish_trait_expr): Likewise. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * cp-trait.def: Define __is_volatile. + * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_VOLATILE. + * semantics.cc (trait_expr_value): Likewise. + (finish_trait_expr): Likewise. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * cp-trait.def: Define __is_const. + * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_CONST. + * semantics.cc (trait_expr_value): Likewise. + (finish_trait_expr): Likewise. + +2024-05-03 Patrick Palka <ppalka@redhat.com> + + * coroutines.cc (instantiate_coro_traits): Adjust call to + lookup_template_class. + (instantiate_coro_handle_for_promise_type): Likewise. + * cp-tree.h (adjust_type_for_entering_scope): Declare. + (lookup_template_class): Adjust declaration. + * decl.cc (make_typename_type): Adjust call to + lookup_template_class. Likewise. + (get_tuple_size): Likewise. + (get_tuple_element_type): Likewise. + * pt.cc (adjust_type_for_entering_scope): Define. + (tsubst_entering_scope): Define. + (lookup_template_class): Remove entering_scope parameter. + Replace tsubst_aggr_type call with tsubst_entering_scope. + (tsubst_aggr_type): Remove. + (tsubst_aggr_type_1): Inline into tsubst. + (tsubst_function_decl): Replace tsubst_aggr_type call + with tsubst_entering_scope. + (tsubst_template_decl): Likewise. + (tsubst_decl): Likewise. + (tsubst) <case RECORD_TYPE, UNION_TYPE, ENUMERAL_TYPE>: + Inlined from tsubst_aggr_type_1. + <case BOUND_TEMPLATE_TEMPLATE_PARM>: Adjust calls to + lookup_template_class. + <case TYPENAME_TYPE>: Replace tsubst_aggr_type call with + tsubst_entering_scope. + <case UNBOUND_CLASS_TEMPLATE>: Likewise. + Increment processing_template_decl when substituting the + context. + (tsubst_expr) <case FIELD_DECL>: Replace tsubst_aggr_type + call with tsubst_entering_scope. + <case TEMPLATE_DECL>: Likewise. + (instantiate_template): Likewise. + (resolve_typename_type): Adjust lookup_template_class call + and call adjust_type_for_entering_scope afterward. + (listify): Adjust lookup_template_class call. + (alias_ctad_tweaks): Likewise. + * semantics.cc (finish_template_type): Adjust lookup_template_class + call and maybe call adjust_type_for_entering_scope afterward. + 2024-05-02 Nathaniel Shead <nathanieloshead@gmail.com> PR c++/114917 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index bbacd04cd9a..d8b5c970c34 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,17 @@ +2024-05-03 Gaius Mulley <gaiusmod2@gmail.com> + + PR modula2/114929 + * gm2-compiler/M2LangDump.mod (GenQualidentSymString): Add + missing return result into identstr. + * gm2-compiler/M2Quads.mod (ForLoopLastIteratorVariable): New + procedure. + (ForLoopLastIteratorConstant): Ditto. + (ForLoopLastIterator): Ditto. + (BuildForToByDo): Remove LastIterator calculation and call + ForLoopLastIterator instead. + (FinalValue): Replace with ... + (LastIterator): ... this. + 2024-05-02 Gaius Mulley <gaiusmod2@gmail.com> PR modula2/113836 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6a61b60adf0..b9c7ccd4ecf 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,75 @@ +2024-05-03 Andrew Pinski <quic_apinski@quicinc.com> + + * gfortran.dg/gomp/atomic-21.f90: Update testcase for the removal of `;`. + +2024-05-03 Jason Merrill <jason@redhat.com> + + PR c++/114935 + * g++.dg/cpp0x/initlist-eh1.C: New test. + +2024-05-03 Gaius Mulley <gaiusmod2@gmail.com> + + PR modula2/114929 + * gm2/pim/run/pass/testforloopchar.mod: New test. + * gm2/pim/run/pass/testforloopchar2.mod: New test. + * gm2/pim/run/pass/testforloopenum.mod: New test. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * g++.dg/ext/has-builtin-1.C: Test existence of __is_pointer. + Arrange the order lexically around __is_pointer. + * g++.dg/ext/is_pointer.C: New test. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * g++.dg/ext/has-builtin-1.C: Test existence of __is_volatile. + * g++.dg/ext/is_volatile.C: New test. + +2024-05-03 Ken Matsui <kmatsui@gcc.gnu.org> + + * g++.dg/ext/has-builtin-1.C: Test existence of __is_const. + * g++.dg/ext/is_const.C: New test. + +2024-05-03 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/111475 + * c-c++-common/analyzer/fd-glibc-byte-stream-socket.c: Add + -fno-exceptions for now. + * c-c++-common/analyzer/fd-manpage-getaddrinfo-client.c: Likewise. + * c-c++-common/analyzer/fd-mappage-getaddrinfo-server.c: Rename to... + * c-c++-common/analyzer/fd-manpage-getaddrinfo-server.c: ...this, and + add -fno-exceptions for now. + * c-c++-common/analyzer/fd-socket-meaning.c: Add -fno-exceptions + for now. + * c-c++-common/analyzer/fd-symbolic-socket.c: Likewise. + * c-c++-common/analyzer/flexible-array-member-1.c: Use regexp to + handle C vs C++ differences in spelling of function name, which + could have a "std::" prefix on some targets. + * c-c++-common/analyzer/pr106539.c: Likewise. + * c-c++-common/analyzer/malloc-ipa-8-unchecked.c: Move back to... + * gcc.dg/analyzer/malloc-ipa-8-unchecked.c: ...here, dropping + attempt to generalize output for C vs C++. + * c-c++-common/analyzer/signal-4a.c: Move back to... + * gcc.dg/analyzer/signal-4a.c: ...here, dropping attempt to + generalize output for C vs C++. + * c-c++-common/analyzer/signal-4b.c: Move back to... + * gcc.dg/analyzer/signal-4b.c: ...here, dropping attempt to + generalize output for C vs C++. + +2024-05-03 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/113596 + * gcc.dg/pr113596.c: New test. + * gcc.dg/tree-ssa/pr113596.c: New test. + +2024-05-03 Gaius Mulley <gaiusmod2@gmail.com> + + PR modula2/114929 + * gm2/pim/run/pass/testforloopzero.mod: New test. + * gm2/pim/run/pass/testforloopzero2.mod: New test. + * gm2/pim/run/pass/testforloopzero3.mod: New test. + * gm2/pim/run/pass/testforloopzero4.mod: New test. + 2024-05-02 Jeff Law <jlaw@ventanamicro.com> * gcc.target/riscv/synthesis-1.c: New test. diff --git a/libbacktrace/ChangeLog b/libbacktrace/ChangeLog index b6be5c8b059..56f2865bf82 100644 --- a/libbacktrace/ChangeLog +++ b/libbacktrace/ChangeLog @@ -1,3 +1,12 @@ +2024-05-03 Ian Lance Taylor <iant@golang.org> + + * pecoff.c (struct dll_notification_data): Define. + (LDR_DLL_NOTIFICATION): New typedef. + (LDR_REGISTER_FUNCTION): New typedef. + (struct dll_notification_context): Define. + (dll_notification): New static function. + (backtrace_initialize): Register DLL notification. + 2024-04-28 Ian Lance Taylor <iant@golang.org> * configure.ac: Checked for tlhelp32.h diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 1f9c7671282..99e3180c11f 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,8 @@ +2024-05-03 Peter Damianov <peter0x44@disroot.org> + + * libgcov-util.c (tag_counters): Swap order of arguments to xcalloc. + (topen_to_memory_representation): Likewise. + 2024-04-30 Jakub Jelinek <jakub@redhat.com> * gthr.h (GTHREAD_USE_WEAK): Don't redefine to 0 for glibc 2.34+ diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d743f9bdc2e..e028271fb59 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,8 @@ +2024-05-03 Andreas Schwab <schwab@linux-m68k.org> + + * config/abi/post/powerpc-linux-gnu/baseline_symbols.txt: Update. + * config/abi/post/powerpc64-linux-gnu/32/baseline_symbols.txt: Update. + 2024-05-01 Jonathan Wakely <jwakely@redhat.com> PR libstdc++/114891 |