From: GCC Administrator Date: Thu, 30 Mar 2023 00:20:13 +0000 (+0000) Subject: Daily bump. X-Git-Tag: releases/gcc-12.3.0~148 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2fddea0fd2822135129118282d5814bc7880de57;p=thirdparty%2Fgcc.git Daily bump. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e63f40da7b20..29e3a53a7d7e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2023-03-29 David Malcolm + + * doc/invoke.texi (Static Analyzer Options): Add notes about + limitations of -fanalyzer. + +2023-03-29 David Malcolm + + * doc/analyzer.texi: Drop out-of-date ideas for other checkers. + 2023-03-28 Eric Botcazou PR target/109140 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 8696380a31ae..6800443be954 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230329 +20230330 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 91f4e1d35c83..07989bb0187e 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,95 @@ +2023-03-29 David Malcolm + + 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 + + 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 + + PR analyzer/108733 + * state-purge.cc (get_candidate_for_purging): Add ADDR_EXPR + and MEM_REF. + +2023-03-29 David Malcolm + + 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 + + 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 + + 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 + + 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 + + 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 + + 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 + + * region-model-manager.cc + (region_model_manager::maybe_fold_unaryop): Fold -(-(VAL)) to VAL. + +2023-03-29 David Malcolm + + 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 + + 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 079a6952beac..87c31d2c8d4d 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,8 @@ +2023-03-29 David Malcolm + + * 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 89e39cd6fe67..205e378d9ed8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,59 @@ +2023-03-29 David Malcolm + + PR analyzer/109094 + * gcc.dg/analyzer/setjmp-pr109094.c: New test. + +2023-03-29 David Malcolm + + PR analyzer/108968 + * gcc.dg/analyzer/uninit-pr108968-register.c: New test. + +2023-03-29 David Malcolm + + PR analyzer/108733 + * gcc.dg/analyzer/torture/uninit-pr108733.c: New test. + +2023-03-29 David Malcolm + + PR analyzer/108704 + * gcc.dg/analyzer/uninit-7.c: New test. + * gcc.dg/analyzer/uninit-pr108704.c: New test. + +2023-03-29 David Malcolm + + 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 + + PR analyzer/107948 + * gcc.dg/analyzer/feasibility-pr107948.c: New test. + +2023-03-29 David Malcolm + + PR analyzer/105784 + * gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c: New test. + +2023-03-29 David Malcolm + + 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 + + PR analyzer/107345 + * gcc.dg/analyzer/pr107345.c: New test. + +2023-03-29 David Malcolm + + 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 * gcc.target/sparc/20230328-1.c: New test.