Daily bump.

diff --git a/ChangeLog b/ChangeLog
index 19a272a..7f9edc1 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-07-02  Tim Lange  <mail@tim-lange.me>
+
+       * MAINTAINERS: Add myself.
+
 2022-07-01  Haochen Jiang  <haochen.jiang@intel.com>
 
        * MAINTAINERS (Write After Approval): Add myself.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 33642b6..674004c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,16 @@
+2022-07-02  Tim Lange  <mail@tim-lange.me>
+
+       PR analyzer/105900
+       * doc/invoke.texi: Added Wanalyzer-allocation-size.
+
+2022-07-02  Immad Mir  <mirimmad17@gmail.com>
+
+       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  <aldyh@redhat.com>
 
        * wide-int.h (struct trailing_wide_ints): Add m_num_elements.

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index eb05de3..758f2bf 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220702
+20220703

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index bf58d57..fa732ab 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,52 @@
+2022-07-02  Tim Lange  <mail@tim-lange.me>
+
+       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  <mirimmad17@gmail.com>
+
+       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  <dmalcolm@redhat.com>
 
        * call-string.cc: Add includes of "analyzer/analyzer.h"

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 04a986e..14cbed3 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,21 @@
+2022-07-02  Tim Lange  <mail@tim-lange.me>
+
+       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  <mirimmad17@gmail.com>
+
+       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  <polacek@redhat.com>
 
        PR c++/105550