From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 171283858289; Sun, 3 Jul 2022 00:17:02 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 171283858289 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-1407] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: b58ca9c337564a773d9e3ae18816674794101627 X-Git-Newrev: 20f0f30522de3cfc7e3cff5069deb737ca4c6049 Message-Id: <20220703001702.171283858289@sourceware.org> Date: Sun, 3 Jul 2022 00:17:02 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 03 Jul 2022 00:17:02 -0000 https://gcc.gnu.org/g:20f0f30522de3cfc7e3cff5069deb737ca4c6049 commit r13-1407-g20f0f30522de3cfc7e3cff5069deb737ca4c6049 Author: GCC Administrator Date: Sun Jul 3 00:16:23 2022 +0000 Daily bump. Diff: --- ChangeLog | 4 ++++ gcc/ChangeLog | 13 +++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 18 ++++++++++++++++++ 5 files changed, 85 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 19a272a7385..7f9edc1b408 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2022-07-02 Tim Lange + + * MAINTAINERS: Add myself. + 2022-07-01 Haochen Jiang * MAINTAINERS (Write After Approval): Add myself. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 33642b6e783..674004c0ee7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,16 @@ +2022-07-02 Tim Lange + + PR analyzer/105900 + * doc/invoke.texi: Added Wanalyzer-allocation-size. + +2022-07-02 Immad Mir + + PR analyzer/106003 + * Makefile.in (ANALYZER_OBJS): Add sm-fd.o. + * doc/invoke.texi: Add -Wanalyzer-fd-double-close, -Wanalyzer-fd-leak, + -Wanalyzer-fd-access-mode-mismatch, -Wanalyzer-fd-use-without-check, + -Wanalyzer-fd-use-after-close. + 2022-07-01 Aldy Hernandez * wide-int.h (struct trailing_wide_ints): Add m_num_elements. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index eb05de3bc0c..758f2bf605e 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220702 +20220703 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index bf58d575e4d..fa732abcf73 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,52 @@ +2022-07-02 Tim Lange + + PR analyzer/105900 + * analyzer.opt: Added Wanalyzer-allocation-size. + * checker-path.cc (region_creation_event::get_desc): Added call to new + virtual function pending_diagnostic::describe_region_creation_event. + * checker-path.h: Added region_creation_event::get_desc. + * diagnostic-manager.cc (diagnostic_manager::add_event_on_final_node): + New function. + * diagnostic-manager.h: + Added diagnostic_manager::add_event_on_final_node. + * pending-diagnostic.h (struct region_creation): New event_desc struct. + (pending_diagnostic::describe_region_creation_event): Added virtual + function to overwrite description of a region creation. + * region-model.cc (class dubious_allocation_size): New class. + (capacity_compatible_with_type): New helper function. + (class size_visitor): New class. + (struct_or_union_with_inheritance_p): New helper function. + (is_any_cast_p): New helper function. + (region_model::check_region_size): New function. + (region_model::set_value): Added call to + region_model::check_region_size. + * region-model.h (class region_model): New function check_region_size. + * svalue.cc (region_svalue::accept): Changed to post-order traversal. + (initial_svalue::accept): Likewise. + (unaryop_svalue::accept): Likewise. + (binop_svalue::accept): Likewise. + (sub_svalue::accept): Likewise. + (repeated_svalue::accept): Likewise. + (bits_within_svalue::accept): Likewise. + (widening_svalue::accept): Likewise. + (unmergeable_svalue::accept): Likewise. + (compound_svalue::accept): Likewise. + (conjured_svalue::accept): Likewise. + (asm_output_svalue::accept): Likewise. + (const_fn_result_svalue::accept): Likewise. + +2022-07-02 Immad Mir + + PR analyzer/106003 + * analyzer.opt (Wanalyzer-fd-leak): New option. + (Wanalyzer-fd-access-mode-mismatch): New option. + (Wanalyzer-fd-use-without-check): New option. + (Wanalyzer-fd-double-close): New option. + (Wanalyzer-fd-use-after-close): New option. + * sm.h (make_fd_state_machine): New decl. + * sm.cc (make_checkers): Call make_fd_state_machine. + * sm-fd.cc: New file. + 2022-06-24 David Malcolm * call-string.cc: Add includes of "analyzer/analyzer.h" diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 04a986e6130..14cbed3c0c3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,21 @@ +2022-07-02 Tim Lange + + PR analyzer/105900 + * gcc.dg/analyzer/pr96639.c: Changed buffer size to omit warning. + * gcc.dg/analyzer/allocation-size-1.c: New test. + * gcc.dg/analyzer/allocation-size-2.c: New test. + * gcc.dg/analyzer/allocation-size-3.c: New test. + * gcc.dg/analyzer/allocation-size-4.c: New test. + * gcc.dg/analyzer/allocation-size-5.c: New test. + +2022-07-02 Immad Mir + + PR analyzer/106003 + * gcc.dg/analyzer/fd-1.c: New test. + * gcc.dg/analyzer/fd-2.c: New test. + * gcc.dg/analyzer/fd-3.c: New test. + * gcc.dg/analyzer/fd-4.c: New test. + 2022-07-01 Marek Polacek PR c++/105550