From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id A4E8D3858D35; Tue, 31 Aug 2021 00:17:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A4E8D3858D35 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-3238] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: eafa9d969237fd8f712c4b25a8c58932c01f44b4 X-Git-Newrev: 1e2f030b80cb650708b02086dbd5431cd231495f Message-Id: <20210831001730.A4E8D3858D35@sourceware.org> Date: Tue, 31 Aug 2021 00:17:30 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 31 Aug 2021 00:17:30 -0000 https://gcc.gnu.org/g:1e2f030b80cb650708b02086dbd5431cd231495f commit r12-3238-g1e2f030b80cb650708b02086dbd5431cd231495f Author: GCC Administrator Date: Tue Aug 31 00:16:50 2021 +0000 Daily bump. Diff: --- contrib/ChangeLog | 5 +++ fixincludes/ChangeLog | 6 +++ gcc/ChangeLog | 75 +++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 103 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 4 ++ gcc/cp/ChangeLog | 27 +++++++++++++ gcc/fortran/ChangeLog | 13 ++++++ gcc/po/ChangeLog | 4 ++ gcc/testsuite/ChangeLog | 41 +++++++++++++++++++ libffi/ChangeLog | 6 +++ libphobos/ChangeLog | 7 ++++ libstdc++-v3/ChangeLog | 6 +++ 13 files changed, 298 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index eeedef321a4..0b8c5e833f6 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2021-08-30 Andrew Pinski + + * download_prerequisites (md5_check): Replace == inside + test with = to be more portable. + 2021-08-26 Martin Liska * mklog.py: Use file.{source,target}_file for proper rename diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog index 8fb9653b9be..b57d9f1ed3a 100644 --- a/fixincludes/ChangeLog +++ b/fixincludes/ChangeLog @@ -1,3 +1,9 @@ +2021-08-30 John David Anglin + + * inclhack.def (hpux_c99_inttypes5): New hack to define PRIdPTR, etc. + * fixincl.x: Regenerate. + * tests/base/inttypes.h: Update. + 2021-07-06 Clément Chigot * inclhack.def (aix_externcpp1): Improve select regexp. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 59f0debb811..cef5b6d51fd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,78 @@ +2021-08-30 David Malcolm + + PR analyzer/99260 + * Makefile.in (ANALYZER_OBJS): Add analyzer/call-info.o. + +2021-08-30 Jason Merrill + + * doc/invoke.texi: Document -Wmissing-requires. + +2021-08-30 Bill Schmidt + + * config/rs6000/rs6000-call.c (rs6000_init_builtins): Remove + TARGET_EXTRA_BUILTINS guard. + +2021-08-30 Bill Schmidt + + * config/rs6000/rs6000-call.c (rs6000_init_builtins): Change + initialization of V2DI_type_node and unsigned_V2DI_type_node. + +2021-08-30 Bill Schmidt + + * config/rs6000/darwin.h (SUBTARGET_INIT_BUILTINS): Use the new + decl when new_builtins_are_live. + * config/rs6000/rs6000-builtin-new.def (__builtin_cfstring): New + built-in. + +2021-08-30 Pat Haugen + + * config/rs6000/rs6000-cpus.def (ISA_3_1_MASKS_SERVER): Add + OPTION_MASK_P10_FUSION_2STORE. + (POWERPC_MASKS): Likewise. + * config/rs6000/rs6000.c (rs6000_option_override_internal): Enable + store fusion for Power10. + (is_fusable_store): New. + (power10_sched_reorder): Likewise. + (rs6000_sched_reorder): Do Power10 specific reordering. + (rs6000_sched_reorder2): Likewise. + * config/rs6000/rs6000.opt: Add new option. + +2021-08-30 Richard Biener + + PR tree-optimization/102128 + * tree-vect-slp.c (vect_bb_vectorization_profitable_p): + Move scanning for if-converted scalar code to the caller + and instead delay clearing the visited flag for profitable + subgraphs. + (vect_slp_region): Cost all subgraphs before scheduling. + For if-converted BB vectorization scan for scalar COND_EXPRs + and do not vectorize if any found and the cost model is + very-cheap. + +2021-08-30 Richard Biener + + * common.opt (fexceptions): Mark + EnabledBy(fnon-call-exceptions). + * doc/invoke.texi (fnon-call-exceptions): Document this + enables -fexceptions. + +2021-08-30 Sebastian Huber + + * tsystem.h (abort): Define abort() if inhibit_libc is defined and it + is not already defined. + +2021-08-30 liuhongt + + * expmed.c (extract_bit_field_1): Make sure we're playing with + integral modes before call extract_integral_bit_field. + (extract_integral_bit_field): Add a parameter of type + scalar_int_mode which corresponds to of tmode. + And call extract_and_convert_fixed_bit_field instead of + extract_fixed_bit_field and convert_extracted_bit_field. + (extract_and_convert_fixed_bit_field): New function, it's a + combination of extract_fixed_bit_field and + convert_extracted_bit_field. + 2021-08-29 Iain Sandoe * config/darwin.c (darwin_libc_has_function): Do not run diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 3734a89f500..f870d4165fb 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210830 +20210831 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index c7e8ba923d3..3f0c046eb3f 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,106 @@ +2021-08-30 David Malcolm + + PR analyzer/99260 + * analyzer.h (class custom_edge_info): New class, adapted from + exploded_edge::custom_info_t. Make member functions const. + Make update_model return bool, converting edge param from + reference to a pointer, and adding a ctxt param. + (class path_context): New class. + * call-info.cc: New file. + * call-info.h: New file. + * engine.cc: Include "analyzer/call-info.h" and . + (impl_region_model_context::impl_region_model_context): Update for + new m_path_ctxt field. + (impl_region_model_context::bifurcate): New. + (impl_region_model_context::terminate_path): New. + (impl_region_model_context::get_malloc_map): New. + (impl_sm_context::impl_sm_context): Update for new m_path_ctxt + field. + (impl_sm_context::get_fndecl_for_call): Likewise. + (impl_sm_context::set_next_state): Likewise. + (impl_sm_context::warn): Likewise. + (impl_sm_context::is_zero_assignment): Likewise. + (impl_sm_context::get_path_context): New. + (impl_sm_context::m_path_ctxt): New. + (impl_region_model_context::on_condition): Update for new + path_ctxt param. Handle m_enode_for_diag being NULL. + (impl_region_model_context::on_phi): Update for new path_ctxt + param. + (exploded_node::on_stmt): Add path_ctxt param, updating ctor calls + to use it as necessary. Use it to bail out after sm-handling, + if needed. + (exploded_node::detect_leaks): Update for new path_ctxt param. + (dynamic_call_info_t::update_model): Update for conversion of + exploded_edge::custom_info_t to custom_edge_info. + (dynamic_call_info_t::add_events_to_path): Likewise. + (rewind_info_t::update_model): Likewise. + (rewind_info_t::add_events_to_path): Likewise. + (exploded_edge::exploded_edge): Likewise. + (exploded_graph::add_edge): Likewise. + (exploded_graph::maybe_process_run_of_before_supernode_enodes): + Update for new path_ctxt param. + (class impl_path_context): New. + (exploded_graph::process_node): Update for new path_ctxt param. + Create an impl_path_context and pass it to exploded_node::on_stmt. + Use it to terminate iterating stmts if terminate_path is called + on it. After processing a run of stmts, query path_ctxt to + potentially terminate the analysis path, and/or to "bifurcate" the + analysis into multiple additional paths. + (feasibility_state::maybe_update_for_edge): Update for new + update_model ctxt param. + * exploded-graph.h + (impl_region_model_context::impl_region_model_context): Add + path_ctxt param. + (impl_region_model_context::bifurcate): New. + (impl_region_model_context::terminate_path): New + (impl_region_model_context::get_ext_state): New. + (impl_region_model_context::get_malloc_map): New. + (impl_region_model_context::m_path_ctxt): New field. + (exploded_node::on_stmt): Add path_ctxt param. + (class exploded_edge::custom_info_t): Move to analyzer.h, renaming + to custom_edge_info, and making the changes as noted in analyzer.h + above. + (exploded_edge::exploded_edge): Update for these changes to + exploded_edge::custom_info_t. + (exploded_edge::m_custom_info): Likewise. + (class dynamic_call_info_t): Likewise. + (class rewind_info_t): Likewise. + (exploded_graph::add_edge): Likewise. + * program-state.cc (program_state::on_edge): Update for new + path_ctxt param. + (program_state::push_call): Likewise. + (program_state::returning_call): Likewise. + (program_state::prune_for_point): Likewise. + * region-model-impl-calls.cc: Include "analyzer/call-info.h". + (call_details::get_fndecl_for_call): New. + (region_model::impl_call_realloc): Reimplement. + * region-model.cc (region_model::on_call_pre): Move call to + impl_call_realloc to... + (region_model::on_call_post): ...here. Consolidate creation + of call_details instance. + (noop_region_model_context::bifurcate): New. + (noop_region_model_context::terminate_path): New. + * region-model.h (call_details::get_call_stmt): New. + (call_details::get_fndecl_for_call): New. + (region_model::on_realloc_with_move): New. + (region_model_context::bifurcate): New. + (region_model_context::terminate_path): New. + (region_model_context::get_ext_state): New. + (region_model_context::get_malloc_map): New. + (noop_region_model_context::bifurcate): New. + (noop_region_model_context::terminate_path): New. + (noop_region_model_context::get_ext_state): New. + (noop_region_model_context::get_malloc_map): New. + * sm-malloc.cc: Include "analyzer/program-state.h". + (malloc_state_machine::on_realloc_call): Reimplement. + (malloc_state_machine::on_realloc_with_move): New. + (region_model::on_realloc_with_move): New. + * sm-signal.cc (class signal_delivery_edge_info_t): Update for + conversion from exploded_edge::custom_info_t to custom_edge_info. + * sm.h (sm_context::get_path_context): New. + * svalue.cc (svalue::maybe_get_constant): Call + unwrap_any_unmergeable. + 2021-08-25 Ankur Saini PR analyzer/101980 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 5e3ac92ad8b..d3a48ff92af 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2021-08-30 Jason Merrill + + * c.opt: Add -Wmissing-requires. + 2021-08-25 Lewis Hyatt PR other/93067 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 81372f9e947..87760a6933e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,30 @@ +2021-08-30 Jason Merrill + + PR c++/96286 + * cp-tree.h (struct lang_type): Add erroneous bit-field. + (CLASSTYPE_ERRONEOUS): New. + * pt.c (limit_bad_template_recursion): Check it. + (instantiate_class_template_1): Set it. + +2021-08-30 Jason Merrill + + * constexpr.c (cxx_eval_outermost_constant_expr): Copy + expr location to result. + +2021-08-30 Jason Merrill + + PR c++/101460 + * cp-tree.h (cxx_constant_value_sfinae): Declare. + * constexpr.c (cxx_constant_value_sfinae): New. + * pt.c (fold_targs_r, maybe_fold_fn_template_args): New. + (tsubst_copy_and_build) [CALL_EXPR]: Call + maybe_fold_fn_template_args. + +2021-08-30 Jason Merrill + + * parser.c (cp_parser_simple_requirement): Warn about missing + requires. + 2021-08-27 Jason Merrill * typeck2.c (build_x_arrow): Do set TREE_TYPE when operand is diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index cfda8856ef4..ffdc8dc2d4c 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,16 @@ +2021-08-30 Harald Anlauf + + PR fortran/102113 + * match.c (gfc_match_goto): Allow for whitespace in parsing list + of labels. + +2021-08-30 Harald Anlauf + + PR fortran/101349 + * resolve.c (resolve_allocate_expr): An unlimited polymorphic + argument to ALLOCATE must be ALLOCATABLE or a POINTER. Fix the + corresponding check. + 2021-08-28 Harald Anlauf PR fortran/87737 diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index 3400b408dfe..f4b1163382c 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,7 @@ +2021-08-30 Joseph Myers + + * sv.po: Update. + 2021-07-31 Joseph Myers * fr.po: Update. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 54b34e7bf4e..c9ac0c88e32 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,44 @@ +2021-08-30 David Malcolm + + PR analyzer/99260 + * gcc.dg/analyzer/capacity-2.c: Update for changes to realloc + analysis. + * gcc.dg/analyzer/pr99193-1.c: Likewise. + * gcc.dg/analyzer/pr99193-3.c: Likewise. + * gcc.dg/analyzer/realloc-1.c: Likewise. Add test coverage for + realloc of non-heap pointer, realloc from mismatching allocator, + and realloc on a freed pointer. + * gcc.dg/analyzer/realloc-2.c: New test. + +2021-08-30 Jason Merrill + + PR c++/96286 + * g++.dg/template/access2.C: Split struct A. + +2021-08-30 Jason Merrill + + PR c++/101460 + * g++.dg/template/explicit-args6.C: New test. + +2021-08-30 Harald Anlauf + + PR fortran/102113 + * gfortran.dg/goto_9.f90: New test. + +2021-08-30 Jason Merrill + + * g++.dg/cpp2a/concepts-lambda14.C: Add expected warnings. + +2021-08-30 Harald Anlauf + + PR fortran/101349 + * gfortran.dg/unlimited_polymorphic_33.f90: New test. + +2021-08-30 Pat Haugen + + * gcc.target/powerpc/fusion-p10-stst.c: New test. + * gcc.target/powerpc/fusion-p10-stst2.c: New test. + 2021-08-29 Iain Buclaw PR d/102094 diff --git a/libffi/ChangeLog b/libffi/ChangeLog index fa5f6748fea..1048153e2c8 100644 --- a/libffi/ChangeLog +++ b/libffi/ChangeLog @@ -1,3 +1,9 @@ +2021-08-30 YunQiang Su + + PR libffi/83636 + * src/mips/n32.S: disable .set mips4 + * src/mips/ffi.c: use different JR encoding for r6. + 2021-07-09 H.J. Lu PR libffi/101336 diff --git a/libphobos/ChangeLog b/libphobos/ChangeLog index 60a67a9c4cb..d9efdadf58f 100644 --- a/libphobos/ChangeLog +++ b/libphobos/ChangeLog @@ -1,3 +1,10 @@ +2021-08-30 Iain Buclaw + + * configure: Regenerate. + * m4/autoconf.m4 (AC_LANG_PROGRAM): Declare module name 'object'. + * m4/gcc_support.m4 (WITH_LOCAL_DRUNTIME): Compile tests with + -fno-druntime. + 2021-06-11 Iain Buclaw PR d/100999 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5c20660416c..e32c51a4e17 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,9 @@ +2021-08-30 Jason Merrill + + PR c++/96286 + * testsuite/30_threads/promise/requirements/lwg3466.cc: + Remove dg-prune-outputs. + 2021-08-28 Jonathan Wakely * include/bits/alloc_traits.h (allocator_traits): Add explicit