https://gcc.gnu.org/g:6d1801f89309d3c5f6738577e28f1249f9e28fe3
commit r13-8762-g6d1801f89309d3c5f6738577e28f1249f9e28fe3 Author: GCC Administrator <gccadmin@gcc.gnu.org> Date: Mon May 13 08:54:26 2024 +0000 Daily bump. Diff: --- gcc/ChangeLog | 38 +++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 60 +++++++++++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 60 +++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 159 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 29a094e62642..5d5f7a2c66ac 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,41 @@ +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR middle-end/114348 + * diagnostic.cc (output_format): New variable. + (fnotice): Bail out if the user requested one of the + machine-readable diagnostic output formats on stderr. + (diagnostic_output_format_init): Set output_format. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR middle-end/112684 + * toplev.cc (toplev::main): Don't ICE in + -fdiagnostics-generate-patch when exiting after options, + since no edit context will have been created. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR driver/111700 + * input.cc (file_cache::add_file): Update leading comment to + clarify that it can fail. + (file_cache::lookup_or_add_file): Likewise. + (get_source_file_content): Gracefully handle lookup_or_add_file + failing. + +2024-05-09 Vladimir N. Makarov <vmaka...@redhat.com> + + PR rtl-optimization/114415 + * sched-deps.cc (add_insn_mem_dependence): Add memory check for mem argument. + (sched_analyze_1): Treat stack pointer modification as memory read. + (sched_analyze_2, sched_analyze_insn): Add memory guard for processing pending_read_mems. + * sched-int.h (deps_desc): Add comment to pending_read_mems. + +2024-05-09 Andrew MacLeod <amacl...@redhat.com> + + PR tree-optimization/111009 + * range-op.cc (operator_addr_expr::op1_range): Be more restrictive. + * value-range.h (contains_zero_p): New. + 2024-05-09 Jakub Jelinek <ja...@redhat.com> Backported from master: diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 73da64a4ae1e..70e23263719f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240509 +20240513 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index bfe2ffe7201e..5f1171c0da89 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,63 @@ +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/114408 + * engine.cc (impl_run_checkers): Free up any dominance info that + we may have created. + * kf.cc (class kf_ubsan_handler): New. + (register_sanitizer_builtins): New. + (register_known_functions): Call register_sanitizer_builtins. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/109251 + * sm-malloc.cc (deref_before_check::emit): Reject cases where the + check is in a loop header within a macro expansion. + (deref_before_check::loop_header_p): New. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/111289 + * varargs.cc (representable_in_integral_type_p): New. + (va_arg_compatible_types_p): Add "arg_sval" param. Handle integer + types. + (kf_va_arg::impl_call_pre): Pass arg_sval to + va_arg_compatible_types_p. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112969 + * store.cc (binding_cluster::maybe_get_compound_binding): When + populating default_map, express the bit-range of the default key + for REG relative to REG, rather than to the base region. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/113333 + * region-model-manager.cc + (region_model_manager::maybe_fold_unaryop): Casting all zeroes + should give all zeroes. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112790 + * checker-event.cc (class inlining_info): Move to... + * inlining-iterator.h (class inlining_info): ...here. + * sm-malloc.cc: Include "analyzer/inlining-iterator.h". + (maybe_complain_about_deref_before_check): Reject stmts that were + inlined from another function. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112889 + * store.h (concrete_binding::concrete_binding): Strengthen + assertion to require size to be be positive, rather than just + non-zero. + (concrete_binding::mark_deleted): Use size rather than start bit + offset. + (concrete_binding::mark_empty): Likewise. + (concrete_binding::is_deleted): Likewise. + (concrete_binding::is_empty): Likewise. + 2023-07-27 Release Manager * GCC 13.2.0 released. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index af8293e4f47e..23a89209aeb7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,63 @@ +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR driver/111700 + * c-c++-common/diagnostic-format-sarif-file-pr111700.c: New test. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/114408 + * gcc.dg/analyzer/deref-before-check-pr114408.c: New test. + * c-c++-common/ubsan/analyzer-ice-pr114408.c: New test. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/109251 + * gcc.dg/analyzer/deref-before-check-pr109251-1.c: New test. + * gcc.dg/analyzer/deref-before-check-pr109251-2.c: New test. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/111289 + * gcc.dg/analyzer/stdarg-pr111289-int.c: New test. + * gcc.dg/analyzer/stdarg-pr111289-ptr.c: New test. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112969 + * gcc.dg/analyzer/compound-assignment-5.c (test_3): Remove + xfails, reorder tests. + * gcc.dg/analyzer/compound-assignment-pr112969.c: New test. + * gcc.dg/plugin/infoleak-pr112969.c: New test. + * gcc.dg/plugin/plugin.exp: Add infoleak-pr112969.c to + analyzer_kernel_plugin.c tests. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/113333 + * gcc.dg/analyzer/calloc-1.c: Add tests. + * gcc.dg/analyzer/data-model-9.c: Update expected results. + * gcc.dg/analyzer/pr96639.c: Update expected results. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112790 + * gcc.dg/analyzer/deref-before-check-pr112790.c: New test. + +2024-05-09 David Malcolm <dmalc...@redhat.com> + + PR analyzer/112889 + * gcc.dg/analyzer/ice-pr112889.c: New test. + +2024-05-09 Vladimir N. Makarov <vmaka...@redhat.com> + + PR rtl-optimization/114415 + * gcc.target/i386/pr114415.c: New test. + +2024-05-09 Andrew MacLeod <amacl...@redhat.com> + + PR tree-optimization/111009 + * gcc.dg/pr111009.c: New. + 2024-05-09 Jakub Jelinek <ja...@redhat.com> Backported from master: