procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Daily bump.

Browse source
This commit is contained in:
GCC Administrator 2022-07-03 00:16:23 +00:00
parent b58ca9c337
commit 20f0f30522
5 changed files with 85 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -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.

13
gcc/ChangeLog
View file

@ -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.

2
gcc/DATESTAMP
View file

@ -1 +1 @@
20220702
20220703

49
gcc/analyzer/ChangeLog
View file

@ -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"

18
gcc/testsuite/ChangeLog
View file

@ -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