From 20f0f30522de3cfc7e3cff5069deb737ca4c6049 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sun, 3 Jul 2022 00:16:23 +0000 Subject: [PATCH] Daily bump. --- 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