+2024-05-09 David Malcolm <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <vmakarov@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 <amacleod@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 <jakub@redhat.com>
Backported from master:
+2024-05-09 David Malcolm <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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.
+2024-05-09 David Malcolm <dmalcolm@redhat.com>
+
+ PR driver/111700
+ * c-c++-common/diagnostic-format-sarif-file-pr111700.c: New test.
+
+2024-05-09 David Malcolm <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@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 <dmalcolm@redhat.com>
+
+ PR analyzer/112790
+ * gcc.dg/analyzer/deref-before-check-pr112790.c: New test.
+
+2024-05-09 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/112889
+ * gcc.dg/analyzer/ice-pr112889.c: New test.
+
+2024-05-09 Vladimir N. Makarov <vmakarov@redhat.com>
+
+ PR rtl-optimization/114415
+ * gcc.target/i386/pr114415.c: New test.
+
+2024-05-09 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/111009
+ * gcc.dg/pr111009.c: New.
+
2024-05-09 Jakub Jelinek <jakub@redhat.com>
Backported from master:
projects / thirdparty / gcc.git / commitdiff
