Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e63f40da7b20bf540d8953a5c5f88ad5ab6c4b70..29e3a53a7d7e904804c5c9146fe9b88e7043c1f6 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       * doc/invoke.texi (Static Analyzer Options): Add notes about
+       limitations of -fanalyzer.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       * doc/analyzer.texi: Drop out-of-date ideas for other checkers.
+
 2023-03-28  Eric Botcazou  <ebotcazou@adacore.com>
 
        PR target/109140

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 8696380a31ae8e4bfa556abd4d1152dc539c2259..6800443be954bdcb2071b2b573e50744079a5094 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230329
+20230330

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 91f4e1d35c83d58c71377c8af8f1355302a0703c..07989bb0187e7d94bc1d0e7a567cfebff3cb3a62 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,95 @@
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/109094
+       * region-model.cc (region_model::on_longjmp): Pass false for
+       new "eval_return_svalue" param of pop_frame.
+       (region_model::pop_frame): Add new "eval_return_svalue" param and
+       use it to suppress the call to get_rvalue on the result when
+       needed by on_longjmp.
+       * region-model.h (region_model::pop_frame): Add new
+       "eval_return_svalue" param.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108968
+       * region-model.cc (region_model::get_rvalue_1): Handle VAR_DECLs
+       with a DECL_HARD_REGISTER by returning UNKNOWN.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108733
+       * state-purge.cc (get_candidate_for_purging): Add ADDR_EXPR
+       and MEM_REF.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108704
+       * state-purge.cc (state_purge_per_decl::process_point_backwards):
+       Don't stop processing the decl if it's fully overwritten by
+       this stmt if it's also used by this stmt.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106325
+       * region-model-manager.cc
+       (region_model_manager::get_or_create_null_ptr): New.
+       * region-model.cc (region_model::on_top_level_param): Add
+       "nonnull" param and make use of it.
+       (region_model::push_frame): When handling a top-level entrypoint
+       to the analysis, determine which params __attribute__((nonnull))
+       applies to, and pass to on_top_level_param.
+       * region-model.h (region_model_manager::get_or_create_null_ptr):
+       New decl.
+       (region_model::on_top_level_param): Add "nonnull" param.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107948
+       * region-model-manager.cc
+       (region_model_manager::maybe_fold_binop): Fold (0 - VAL) to -VAL.
+       * region-model.cc (region_model::eval_condition): Handle e.g.
+       "-X <= 0" as equivalent to X >= 0".
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/105784
+       * region-model-manager.cc
+       (region_model_manager::maybe_fold_binop): For POINTER_PLUS_EXPR,
+       PLUS_EXPR and MINUS_EXPR, eliminate requirement that the final
+       type matches that of arg0 in favor of a cast.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107582
+       * engine.cc (dynamic_call_info_t::update_model): Update the model
+       by pushing or pop a frame, rather than by clobbering it with the
+       model from the exploded_node's state.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107345
+       * region-model.cc (region_model::eval_condition_without_cm):
+       Ensure that constants are on the right-hand side before checking
+       for them.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       * region-model-manager.cc
+       (region_model_manager::maybe_fold_unaryop): Fold -(-(VAL)) to VAL.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106573
+       * region-model.cc (region_model::on_call_pre): Use check_call_args
+       when ensuring that we call get_arg_svalue on all args.  Remove
+       redundant call from handling for stdio builtins.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106573
+       * region-model.cc (region_model::on_call_pre): Ensure that we call
+       get_arg_svalue on all arguments.
+
 2022-08-19  Release Manager
 
        * GCC 12.2.0 released.

diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog
index 079a6952beac67845f5288bb1c8e9c6a0c153d3b..87c31d2c8d4d3af6a89cddefdf8ee680dee4a12e 100644 (file)
--- a/gcc/jit/ChangeLog
+++ b/gcc/jit/ChangeLog
@@ -1,3 +1,8 @@
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       * docs/internals/index.rst: Remove reference to ".c" extensions
+       of source files.
+
 2022-08-19  Release Manager
 
        * GCC 12.2.0 released.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 89e39cd6fe679a3f3d8184ed22136443c7a70efb..205e378d9ed8c761100b21ee2e73e4754e88850b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,59 @@
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/109094
+       * gcc.dg/analyzer/setjmp-pr109094.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108968
+       * gcc.dg/analyzer/uninit-pr108968-register.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108733
+       * gcc.dg/analyzer/torture/uninit-pr108733.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/108704
+       * gcc.dg/analyzer/uninit-7.c: New test.
+       * gcc.dg/analyzer/uninit-pr108704.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106325
+       * gcc.dg/analyzer/attr-nonnull-pr106325.c: New test.
+       * gcc.dg/analyzer/attribute-nonnull.c (test_6): New.
+       (test_7): New.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107948
+       * gcc.dg/analyzer/feasibility-pr107948.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/105784
+       * gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107582
+       * gcc.dg/analyzer/feasibility-4.c: New test.
+       * gcc.dg/analyzer/feasibility-pr107582-1.c: New test.
+       * gcc.dg/analyzer/feasibility-pr107582-2.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/107345
+       * gcc.dg/analyzer/pr107345.c: New test.
+
+2023-03-29  David Malcolm  <dmalcolm@redhat.com>
+
+       PR analyzer/106573
+       * gcc.dg/analyzer/error-uninit.c: New test.
+       * gcc.dg/analyzer/file-uninit-1.c: New test.
+
 2023-03-28  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc.target/sparc/20230328-1.c: New test.