From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 306AF3858D20; Fri, 20 Jan 2023 00:18:18 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 306AF3858D20 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1674173898; bh=PnNiffNtGfz3v62AJf+3iy+6vS7XGM2LkeyRb4BTTB4=; h=From:To:Subject:Date:From; b=t6gb01+Gykp3qVrycl2mD0ZCn5V8HBbgSSLLVAFJhZgNuJWZBwyeepvnTjNVsymaI LarlJNz5vP9Q23xHEQrwLe32YhxHE4j23LdwzB2dK8IermZALUvvgF3JR9Gy3s1q6x 1pJ+Hd7OhQjPuqGz/uA5E+CZIDFPp56B96Q4je8g= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5267] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 86caab6c5d1e26e1c54c3dceacc873d6e27bfc09 X-Git-Newrev: 0846336de56119777861e02bf68f92a6af466000 Message-Id: <20230120001818.306AF3858D20@sourceware.org> Date: Fri, 20 Jan 2023 00:18:18 +0000 (GMT) List-Id: https://gcc.gnu.org/g:0846336de56119777861e02bf68f92a6af466000 commit r13-5267-g0846336de56119777861e02bf68f92a6af466000 Author: GCC Administrator Date: Fri Jan 20 00:17:40 2023 +0000 Daily bump. Diff: --- contrib/ChangeLog | 9 ++++++ gcc/ChangeLog | 55 +++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 42 +++++++++++++++++++++++++++ gcc/cp/ChangeLog | 15 ++++++++++ gcc/fortran/ChangeLog | 7 +++++ gcc/testsuite/ChangeLog | 77 +++++++++++++++++++++++++++++++++++++++++++++++++ libgm2/ChangeLog | 19 ++++++++++++ libgomp/ChangeLog | 5 ++++ 9 files changed, 230 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 45fded44e24..772dfbe5bb6 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,12 @@ +2023-01-19 Gaius Mulley + + * 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 * update-copyright.py: Ignore test_patches.txt. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ffca6da1def..707456b6adb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,58 @@ +2023-01-19 Jakub Jelinek + + 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 + + PR target/108436 + * config/i386/i386-expand.cc (ix86_expand_builtin): Check + invalid third argument to __builtin_ia32_prefetch. + +2023-01-19 Jakub Jelinek + + 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 + + PR target/108411 + * config/aarch64/aarch64.cc (aarch64_layout_arg): Improve + comment. Move assert about alignment a bit later. + +2023-01-19 Jakub Jelinek + + 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 + + * config/aarch64/aarch64-simd.md (aarch64_simd_vec_set): Use + exact_log2 (INTVAL (operands[2])) >= 0 as condition for gating + the pattern. + (aarch64_simd_vec_copy_lane): Likewise. + (aarch64_simd_vec_copy_lane_): Likewise. + +2023-01-19 Alexandre Oliva + + PR debug/106746 + * sched-deps.cc (sched_analyze_2): Skip cselib address lookup + within debug insns. + 2023-01-18 Martin Jambor PR ipa/107944 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 847dee113d4..c8519a7a377 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230119 +20230120 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 959464a15e4..c489ee87690 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,45 @@ +2023-01-19 David Malcolm + + 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 PR analyzer/105273 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4ed513b2064..e377041519f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,18 @@ +2023-01-19 Jakub Jelinek + + 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 + + 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 PR c++/105593 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 3f3e03c1943..e30b9d524dc 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2023-01-19 Harald Anlauf + + PR fortran/108434 + * expr.cc (class_allocatable): Prevent NULL pointer dereference + or invalid read. + (class_pointer): Likewise. + 2023-01-17 Harald Anlauf PR fortran/108421 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5723c8c885a..c26a59fb048 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,80 @@ +2023-01-19 Jakub Jelinek + + PR c++/108437 + * g++.dg/cpp23/subscript12.C: New test. + * g++.dg/cpp23/subscript13.C: New test. + +2023-01-19 Jakub Jelinek + + PR c++/53932 + * g++.dg/init/pr53932.C: New test. + +2023-01-19 H.J. Lu + + * gcc.target/i386/pr108436.c: New test. + +2023-01-19 David Malcolm + + 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 + + PR fortran/108434 + * gfortran.dg/pr108434.f90: New test. + +2023-01-19 Iain Sandoe + + * 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 + + 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 + + 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 + + PR debug/106746 + * gcc.target/i386/pr106746.c: New. + 2023-01-18 Marek Polacek PR c/108424 diff --git a/libgm2/ChangeLog b/libgm2/ChangeLog index d83a6d0e8c2..33576ddd5e3 100644 --- a/libgm2/ChangeLog +++ b/libgm2/ChangeLog @@ -1,3 +1,22 @@ +2023-01-19 Richard Biener + + 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 * libm2iso/RTco.cc (_M2_RTco_fini): Call M2RTS_HaltC. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 02f85d86a56..b0eb10ad361 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2023-01-19 Jakub Jelinek + + PR middle-end/108459 + * testsuite/libgomp.c/pr108459.c: New test. + 2023-01-17 Martin Liska * Makefile.in: Regenerate.