diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-07-03 00:16:23 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-07-03 00:16:23 +0000 |
| commit | 20f0f30522de3cfc7e3cff5069deb737ca4c6049 (patch) | |
| tree | 168b439b19d56c27aa0595d2a33b1866b169a19d /gcc | |
| parent | b58ca9c337564a773d9e3ae18816674794101627 (diff) | |
| download | gcc-20f0f30522de3cfc7e3cff5069deb737ca4c6049.zip gcc-20f0f30522de3cfc7e3cff5069deb737ca4c6049.tar.gz gcc-20f0f30522de3cfc7e3cff5069deb737ca4c6049.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 13 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 49 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 18 |
4 files changed, 81 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 33642b6..674004c 100644 --- 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 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220702 +20220703 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index bf58d57..fa732ab 100644 --- 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 --- 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 |