diff options
| -rw-r--r-- | contrib/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/ChangeLog | 55 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 42 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 15 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 77 | ||||
| -rw-r--r-- | libgm2/ChangeLog | 19 | ||||
| -rw-r--r-- | libgomp/ChangeLog | 5 |
9 files changed, 230 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 45fded4..772dfbe 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,12 @@ +2023-01-19 Gaius Mulley <gaiusmod2@gmail.com> + + * gcc_update (files_and_dependencies): Add dependencies for + gcc/m2/gm2config.h.in, gcc/m2/configure, + gcc/m2/gm2-libs/config-host, libgm2/Makefile.in, + libgm2/aclocal.m4, libgm2/libm2cor/Makefile.in, + libgm2/libm2pim/Makefile.in, libgm2/libm2iso/Makefile.in, + libgm2/libm2log/Makefile.in and libgm2/libm2min/Makefile.in. + 2023-01-17 Martin Liska <mliska@suse.cz> * update-copyright.py: Ignore test_patches.txt. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ffca6da..707456b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,58 @@ +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/108447 + * value-relation.cc (rr_union_table): Fix VREL_UNDEFINED row order. + (relation_tests): Add self-tests for relation_{intersect,union} + commutativity. + * selftest.h (relation_tests): Declare. + * function-tests.cc (test_ranges): Call it. + +2023-01-19 H.J. Lu <hjl.tools@gmail.com> + + PR target/108436 + * config/i386/i386-expand.cc (ix86_expand_builtin): Check + invalid third argument to __builtin_ia32_prefetch. + +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/108459 + * omp-expand.cc (expand_omp_for_init_counts): Use fold_build1 rather + than fold_unary for NEGATE_EXPR. + +2023-01-19 Christophe Lyon <christophe.lyon@arm.com> + + PR target/108411 + * config/aarch64/aarch64.cc (aarch64_layout_arg): Improve + comment. Move assert about alignment a bit later. + +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/108440 + * tree-ssa-forwprop.cc: Include gimple-range.h. + (simplify_rotate): For the forms with T2 wider than T and shift counts of + Y and B - Y add & (B - 1) masking for the rotate count if Y could be equal + to B. For the forms with T2 wider than T and shift counts of + Y and (-Y) & (B - 1), don't punt if range could be [B, B2], but only if + range doesn't guarantee Y < B or Y = N * B. If range doesn't guarantee + Y < B, also add & (B - 1) masking for the rotate count. Use lazily created + pass specific ranger instead of get_global_range_query. + (pass_forwprop::execute): Disable that ranger at the end of pass if it has + been created. + +2023-01-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> + + * config/aarch64/aarch64-simd.md (aarch64_simd_vec_set<mode>): Use + exact_log2 (INTVAL (operands[2])) >= 0 as condition for gating + the pattern. + (aarch64_simd_vec_copy_lane<mode>): Likewise. + (aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Likewise. + +2023-01-19 Alexandre Oliva <oliva@adacore.com> + + PR debug/106746 + * sched-deps.cc (sched_analyze_2): Skip cselib address lookup + within debug insns. + 2023-01-18 Martin Jambor <mjambor@suse.cz> PR ipa/107944 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 847dee1..c8519a7 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230119 +20230120 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 959464a..c489ee8 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,45 @@ +2023-01-19 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/108455 + * analyzer.h (class checker_event): New forward decl. + (class state_change_event): Indent. + (class warning_event): New forward decl. + * checker-event.cc (state_change_event::state_change_event): Add + "enode" param. + (warning_event::get_desc): Update for new param of + evdesc::final_event ctor. + * checker-event.h (state_change_event::state_change_event): Add + "enode" param. + (state_change_event::get_exploded_node): New accessor. + (state_change_event::m_enode): New field. + (warning_event::warning_event): New "enode" param. + (warning_event::get_exploded_node): New accessor. + (warning_event::m_enode): New field. + * diagnostic-manager.cc + (state_change_event_creator::on_global_state_change): Pass + src_node to state_change_event ctor. + (state_change_event_creator::on_state_change): Likewise. + (null_assignment_sm_context::set_next_state): Pass NULL for + new param of state_change_event ctor. + * infinite-recursion.cc + (infinite_recursion_diagnostic::add_final_event): Update for new + param of warning_event ctor. + * pending-diagnostic.cc (pending_diagnostic::add_final_event): + Pass enode to warning_event ctor. + * pending-diagnostic.h (evdesc::final_event): Add reference to + warning_event. + * sm-malloc.cc: Include "analyzer/checker-event.h" and + "analyzer/exploded-graph.h". + (deref_before_check::deref_before_check): Initialize new fields. + (deref_before_check::emit): Reject warnings in which we were + unable to determine the enodes of the dereference and the check. + Reject warnings interprocedural warnings. Reject warnings in which + the dereference doesn't dominate the check. + (deref_before_check::describe_state_change): Set m_deref_enode. + (deref_before_check::describe_final_event): Set m_check_enode. + (deref_before_check::m_deref_enode): New field. + (deref_before_check::m_check_enode): New field. + 2023-01-13 David Malcolm <dmalcolm@redhat.com> PR analyzer/105273 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4ed513b..e377041 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,18 @@ +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR c++/108437 + * cp-tree.h (keep_unused_object_arg): Declare. + * call.cc (keep_unused_object_arg): No longer static. + * tree.cc (build_min_non_dep_op_overload): Handle ARRAY_REF + with overload being static member function. + +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR c++/53932 + * cp-gimplify.cc (cp_fold_r): During cp_fully_fold_init replace + DECL_ANON_UNION_VAR_P VAR_DECLs with their corresponding + DECL_VALUE_EXPR. + 2023-01-16 Jakub Jelinek <jakub@redhat.com> PR c++/105593 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 3f3e03c..e30b9d5 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2023-01-19 Harald Anlauf <anlauf@gmx.de> + + PR fortran/108434 + * expr.cc (class_allocatable): Prevent NULL pointer dereference + or invalid read. + (class_pointer): Likewise. + 2023-01-17 Harald Anlauf <anlauf@gmx.de> PR fortran/108421 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5723c8c..c26a59f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,80 @@ +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR c++/108437 + * g++.dg/cpp23/subscript12.C: New test. + * g++.dg/cpp23/subscript13.C: New test. + +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR c++/53932 + * g++.dg/init/pr53932.C: New test. + +2023-01-19 H.J. Lu <hjl.tools@gmail.com> + + * gcc.target/i386/pr108436.c: New test. + +2023-01-19 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/108455 + * gcc.dg/analyzer/deref-before-check-1.c: Add test coverage + involving dominance. + * gcc.dg/analyzer/deref-before-check-pr108455-1.c: New test. + * gcc.dg/analyzer/deref-before-check-pr108455-git-pack-revindex.c: + New test. + +2023-01-19 Harald Anlauf <anlauf@gmx.de> + + PR fortran/108434 + * gfortran.dg/pr108434.f90: New test. + +2023-01-19 Iain Sandoe <iain@sandoe.co.uk> + + * gm2/complex/run/pass/complex-run-pass.exp: Remove gm2_link_lib. + * gm2/iso/run/pass/iso-run-pass.exp: Likewise. + * gm2/link/externalscaffold/pass/link-externalscaffold-pass.exp: + * gm2/pimlib/logitech/run/pass/pimlib-logitech-run-pass.exp: Likewise. + * gm2/pimlib/run/pass/pimlib-run-pass.exp: Likewise. + * gm2/projects/iso/run/pass/halma/projects-iso-run-pass-halma.exp: + Likewise. + * gm2/projects/iso/run/pass/hello/projects-iso-run-pass-hello.exp: + Likewise. + * gm2/projects/pim/run/pass/hello/projects-pim-run-pass-hello.exp: + Likewise. + * gm2/sets/run/pass/sets-run-pass.exp: Likewise. + * gm2/switches/none/run/pass/gm2-none.exp: Likewise. + * gm2/switches/pic/run/pass/switches-pic-run-pass.exp: Likewise. + * gm2/projects/pim/run/pass/random/projects-pim-run-pass-random.exp: + Likewise, and also ensure that the -g option is appended to avoid it + being taken as a path. + * lib/gm2.exp: Ensure for each gm2_init_xxxx function that the set of + libraries added matches the set of -I and -L options. + +2023-01-19 Christophe Lyon <christophe.lyon@arm.com> + + PR target/108411 + * g++.target/aarch64/bitfield-abi-warning-align16-O2-extra.C: Add + -fno-stack-protector. + * g++.target/aarch64/bitfield-abi-warning-align16-O2.C: Likewise. + * g++.target/aarch64/bitfield-abi-warning-align32-O2-extra.C: Likewise. + * g++.target/aarch64/bitfield-abi-warning-align32-O2.C: Likewise. + * g++.target/aarch64/bitfield-abi-warning-align8-O2.C: Likewise. + * gcc.target/aarch64/bitfield-abi-warning-align16-O2-extra.c: Likewise. + * gcc.target/aarch64/bitfield-abi-warning-align16-O2.c: Likewise. + * gcc.target/aarch64/bitfield-abi-warning-align32-O2-extra.c: Likewise. + * gcc.target/aarch64/bitfield-abi-warning-align32-O2.c: Likewise. + * gcc.target/aarch64/bitfield-abi-warning-align8-O2.c: Likewise. + +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/108440 + * c-c++-common/rotate-10.c: New test. + * c-c++-common/rotate-11.c: New test. + +2023-01-19 Alexandre Oliva <oliva@adacore.com> + + PR debug/106746 + * gcc.target/i386/pr106746.c: New. + 2023-01-18 Marek Polacek <polacek@redhat.com> PR c/108424 diff --git a/libgm2/ChangeLog b/libgm2/ChangeLog index d83a6d0..33576dd 100644 --- a/libgm2/ChangeLog +++ b/libgm2/ChangeLog @@ -1,3 +1,22 @@ +2023-01-19 Richard Biener <rguenther@suse.de> + + PR modula2/108144 + * configure.ac: Add GCC_BASE_VER. + * configure: Re-generate. + * Makefile.am: Use @get_gcc_base_ver@ for gcc_version. + * libm2cor/Makefile.am: Likewise. Use gcc_version instead + of version. + * libm2iso/Makefile.am: Likewise. + * libm2log/Makefile.am: Likewise. + * libm2min/Makefile.am: Likewise. + * libm2pim/Makefile.am: Likewise. + * Makefile.in: Re-generate. + * libm2cor/Makefile.in: Likewise. + * libm2iso/Makefile.in: Likewise. + * libm2log/Makefile.in: Likewise. + * libm2min/Makefile.in: Likewise. + * libm2pim/Makefile.in: Likewise. + 2023-01-17 Gaius Mulley <gaiusmod2@gmail.com> * libm2iso/RTco.cc (_M2_RTco_fini): Call M2RTS_HaltC. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 02f85d8..b0eb10a 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2023-01-19 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/108459 + * testsuite/libgomp.c/pr108459.c: New test. + 2023-01-17 Martin Liska <mliska@suse.cz> * Makefile.in: Regenerate. |