From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id B4FB13857010; Thu, 6 Oct 2022 00:18:31 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B4FB13857010 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665015511; bh=4QhScNc8HP5Dr5JMsNjSZsvslYGZkLEa2KjUdtH7Cdc=; h=From:To:Subject:Date:From; b=GfgUyziMfhkIEyiH8/f7di+dwMPQUknacwKvC4iI47Z64JDSzoH2UJXq9Kz2HYDV0 dT4BjgxMFVkcROdbW920KijsTWA8gii3U2vs5dx+kVxSYpTA8cGejB8bjckWLhD/kJ py2lkDYFhHfhCxPry5yoACfpTXpgB6uNNSgsPYb4= 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 r13-3101] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: e99dcbb54e07b798c3353124f38336f96a826d43 X-Git-Newrev: 966010b2eb4a4c52f139b63548533e7bbd74ec9c Message-Id: <20221006001831.B4FB13857010@sourceware.org> Date: Thu, 6 Oct 2022 00:18:31 +0000 (GMT) List-Id: https://gcc.gnu.org/g:966010b2eb4a4c52f139b63548533e7bbd74ec9c commit r13-3101-g966010b2eb4a4c52f139b63548533e7bbd74ec9c Author: GCC Administrator Date: Thu Oct 6 00:17:24 2022 +0000 Daily bump. Diff: --- contrib/ChangeLog | 4 ++ gcc/ChangeLog | 85 +++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 179 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 5 ++ gcc/fortran/ChangeLog | 40 +++++++++++ gcc/testsuite/ChangeLog | 88 ++++++++++++++++++++++++ libgomp/ChangeLog | 4 ++ libstdc++-v3/ChangeLog | 10 +++ 9 files changed, 416 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index c3755300767..f79e04757c7 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2022-10-05 Martin Liska + + * gcc-changelog/git_update_version.py: Do fetch before a push. + 2022-09-20 Martin Liska * filter-clang-warnings.py: Skip egrep: warning: egrep is diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 06e188e8e99..e40b049f5e1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,88 @@ +2022-10-05 Segher Boessenkool + + * config/rs6000/constraints.md (wD): Delete. + * doc/md.texi (Machine Constraints): Adjust. + +2022-10-05 Segher Boessenkool + + * config/rs6000/vsx.md (vsx_extract_): Replace define_insn by a + define_expand. Split the contents to... + (*vsx_extract__0): ... this. Rewrite. + (*vsx_extract__1): ... and this. Rewrite. + +2022-10-05 Segher Boessenkool + + * config/rs6000/vsx.md (*vsx_extract__store): Use "n" instead of + "wD" constraint. + +2022-10-05 David Malcolm + + PR analyzer/107060 + * doc/analyzer.texi (__analyzer_get_unknown_ptr): Document. + +2022-10-05 Ju-Zhe Zhong + + * config.gcc: Add riscv_vector.h. + * config/riscv/riscv-builtins.cc: Add RVV builtin types support. + * config/riscv/riscv-c.cc (riscv_pragma_intrinsic): New function. + (riscv_register_pragmas): Ditto. + * config/riscv/riscv-protos.h (riscv_register_pragmas): Ditto. + (init_builtins): Move declaration from riscv-vector-builtins.h to riscv-protos.h. + (mangle_builtin_type): Ditto. + (verify_type_context): Ditto. + (handle_pragma_vector): New function. + * config/riscv/riscv-vector-builtins.cc (GTY): New variable. + (register_vector_type): New function. + (init_builtins): Add RVV builtin types support. + (handle_pragma_vector): New function. + * config/riscv/riscv-vector-builtins.h (GCC_RISCV_V_BUILTINS_H): Change + name according to file name. + (GCC_RISCV_VECTOR_BUILTINS_H): Ditto. + (init_builtins): Remove declaration in riscv-vector-builtins.h. + (mangle_builtin_type): Ditto. + (verify_type_context): Ditto. + * config/riscv/riscv.cc: Adjust for RVV builtin types support. + * config/riscv/riscv.h (REGISTER_TARGET_PRAGMAS): New macro. + * config/riscv/t-riscv: Remove redundant file including. + * config/riscv/riscv_vector.h: New file. + +2022-10-05 Aldy Hernandez + + * range-op.cc (operator_cast::fold_range): Handle truncating casts + for nonzero masks. + +2022-10-05 Martin Liska + + PR c/107156 + * attribs.h (lookup_attribute_by_prefix): Support the attribute + starting with underscore (_Noreturn). + +2022-10-05 Aldy Hernandez + + PR tree-optimization/107052 + * gimple-range-op.cc (cfn_popcount::fold_range): Take into account + nonzero bit mask. + +2022-10-05 Aldy Hernandez + + PR tree-optimization/107052 + * range-op.cc (operator_cast::fold_range): Set nonzero mask. + +2022-10-05 Eric Botcazou + + PR tree-optimization/106698 + * pointer-query.cc (handle_array_ref): Fix handling of low bound. + +2022-10-05 Vineet Gupta + + * config/riscv/riscv-c.cc (riscv_cpu_cpp_builtins): + Remove __riscv_cmodel_pic, that deprecated in last version. + +2022-10-05 David Malcolm + + PR analyzer/107072 + * Makefile.in (ANALYZER_OBJS): Add analyzer/call-summary.o. + 2022-10-04 Jakub Jelinek * attribs.h (remove_attribute): Declare overload with additional diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7759c903eed..5ba2bc5284f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221005 +20221006 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 3af1a38cec3..627d9d729a9 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,182 @@ +2022-10-05 David Malcolm + + * analysis-plan.cc: Simplify includes. + * analyzer-pass.cc: Likewise. + * analyzer-selftests.cc: Likewise. + * analyzer.cc: Likewise. + * analyzer.h: Add includes of "json.h" and "tristate.h". + * call-info.cc: Simplify includes. + * call-string.cc: Likewise. + * call-summary.cc: Likewise. + * checker-path.cc: Likewise. + * complexity.cc: Likewise. + * constraint-manager.cc: Likewise. + * diagnostic-manager.cc: Likewise. + * engine.cc: Likewise. + * feasible-graph.cc: Likewise. + * known-function-manager.cc: Likewise. + * pending-diagnostic.cc: Likewise. + * program-point.cc: Likewise. + * program-state.cc: Likewise. + * region-model-asm.cc: Likewise. + * region-model-impl-calls.cc: Likewise. + * region-model-manager.cc: Likewise. + * region-model-reachability.cc: Likewise. + * region-model.cc: Likewise. + * region-model.h: Include "selftest.h". + * region.cc: Simplify includes. + * sm-fd.cc: Likewise. + * sm-file.cc: Likewise. + * sm-malloc.cc: Likewise. + * sm-pattern-test.cc: Likewise. + * sm-sensitive.cc: Likewise. + * sm-signal.cc: Likewise. + * sm-taint.cc: Likewise. + * sm.cc: Likewise. + * state-purge.cc: Likewise. + * store.cc: Likewise. + * store.h: Likewise. + * supergraph.cc: Likewise. + * svalue.cc: Likewise. + * svalue.h: Likewise. + * trimmed-graph.cc: Likewise. + * varargs.cc: Likewise. + +2022-10-05 David Malcolm + + PR analyzer/107060 + * call-summary.cc + (call_summary_replay::convert_svalue_from_summary_1): Handle NULL + results from convert_svalue_from_summary in SK_UNARY_OP and + SK_BIN_OP. + * engine.cc (impl_region_model_context::on_unknown_change): Bail + out on svalues that can't have associated state. + * region-model-impl-calls.cc + (region_model::impl_call_analyzer_get_unknown_ptr): New. + * region-model.cc (region_model::on_stmt_pre): Handle + "__analyzer_get_unknown_ptr". + * region-model.h + (region_model::impl_call_analyzer_get_unknown_ptr): New decl. + * store.cc (store::replay_call_summary_cluster): Avoid trying to + create binding clusters for base regions that shouldn't have them. + +2022-10-05 Martin Liska + + * call-summary.cc (call_summary_replay::call_summary_replay): + Remove unused variable and arguments. + * call-summary.h: Likewise. + * engine.cc (exploded_node::on_stmt): Likewise. + (exploded_node::replay_call_summaries): Likewise. + (exploded_node::replay_call_summary): Likewise. + * exploded-graph.h (class exploded_node): Likewise. + +2022-10-05 David Malcolm + + PR analyzer/107072 + * analyzer-logging.h: Include "diagnostic-core.h". + * analyzer.h: Include "function.h". + (class call_summary): New forward decl. + (class call_summary_replay): New forward decl. + (struct per_function_data): New forward decl. + (struct interesting_t): New forward decl. + (custom_edge_info::update_state): New vfunc. + * call-info.cc (custom_edge_info::update_state): New. + * call-summary.cc: New file. + * call-summary.h: New file. + * constraint-manager.cc: Include "analyzer/call-summary.h". + (class replay_fact_visitor): New. + (constraint_manager::replay_call_summary): New. + * constraint-manager.h (constraint_manager::replay_call_summary): + New. + * engine.cc: Include "analyzer/call-summary.h". + (exploded_node::on_stmt): Handle call summaries. + (class call_summary_edge_info): New. + (exploded_node::replay_call_summaries): New. + (exploded_node::replay_call_summary): New. + (per_function_data::~per_function_data): New. + (per_function_data::add_call_summary): Move here from header and + reimplement. + (exploded_graph::process_node): Call update_state rather than + update_model when handling bifurcation + (viz_callgraph_node::dump_dot): Use a regular label rather + than an HTML table; add summaries to dump. + * exploded-graph.h: Include "alloc-pool.h", "fibonacci_heap.h", + "supergraph.h", "sbitmap.h", "shortest-paths.h", "analyzer/sm.h", + "analyzer/program-state.h", and "analyzer/diagnostic-manager.h". + (exploded_node::replay_call_summaries): New decl. + (exploded_node::replay_call_summary): New decl. + (per_function_data::~per_function_data): New decl. + (per_function_data::add_call_summary): Move implemention from + header. + (per_function_data::m_summaries): Update type of element. + * known-function-manager.h: Include "analyzer/analyzer-logging.h". + * program-point.h: Include "pretty-print.h" and + "analyzer/call-string.h". + * program-state.cc: Include "analyzer/call-summary.h". + (sm_state_map::replay_call_summary): New. + (program_state::replay_call_summary): New. + * program-state.h (sm_state_map::replay_call_summary): New decl. + (program_state::replay_call_summary): New decl. + * region-model-manager.cc + (region_model_manager::get_or_create_asm_output_svalue): New + overload. + * region-model-manager.h + (region_model_manager::get_or_create_asm_output_svalue): New + overload decl. + * region-model.cc: Include "analyzer/call-summary.h". + (region_model::maybe_update_for_edge): Remove call to + region_model::update_for_call_summary on + SUPEREDGE_INTRAPROCEDURAL_CALL. + (region_model::update_for_call_summary): Delete. + (region_model::replay_call_summary): New. + * region-model.h (region_model::replay_call_summary): New decl. + (region_model::update_for_call_summary): Delete decl. + * store.cc: Include "analyzer/call-summary.h". + (store::replay_call_summary): New. + (store::replay_call_summary_cluster): New. + * store.h: Include "tristate.h". + (is_a_helper ::test): New. + (store::replay_call_summary): New decl. + (store::replay_call_summary_cluster): New decl. + * supergraph.cc (get_ultimate_function_for_cgraph_edge): Remove + "static" from decl. + (supergraph_call_edge): Make stmt param const. + * supergraph.h: Include "ordered-hash-map.h", "cfg.h", + "basic-block.h", "gimple.h", "gimple-iterator.h", and "digraph.h". + (supergraph_call_edge): Make stmt param const. + (get_ultimate_function_for_cgraph_edge): New decl. + * svalue.cc (compound_svalue::compound_svalue): Assert that we're + not nesting compound_svalues. + * svalue.h: Include "json.h", "analyzer/store.h", and + "analyzer/program-point.h". + (asm_output_svalue::get_num_outputs): New accessor. + +2022-10-05 David Malcolm + + * region-model.h: Include "analyzer/region-model-manager.h" + (class region_model_manager): Move decl to... + * region-model-manager.h: ...this new file. + +2022-10-05 David Malcolm + + * region-model-manager.cc + (region_model_manager::maybe_fold_unaryop): Fold -(-(VAL)) to VAL. + +2022-10-05 David Malcolm + + * region-model-manager.cc + (region_model_manager::get_or_create_widening_svalue): Use a + function_point rather than a program_point. + * region-model.cc (selftest::test_widening_constraints): Likewise. + * region-model.h + (region_model_manager::get_or_create_widening_svalue): Likewise. + (model_merger::get_function_point): New. + * svalue.cc (svalue::can_merge_p): Use a function_point rather + than a program_point. + (svalue::can_merge_p): Likewise. + * svalue.h (widening_svalue::key_t): Likewise. + (widening_svalue::widening_svalue): Likewise. + 2022-09-12 Martin Liska * region-model.cc (region_model::maybe_complain_about_infoleak): diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 3249d8303ad..1fc07990e28 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2022-10-05 Jason Merrill + + * tree.cc (lvalue_kind) [VIEW_CONVERT_EXPR]: Change prvalue to + xvalue. + 2022-10-04 Jason Merrill PR c++/107154 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 692303068fb..f359f120e83 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,43 @@ +2022-10-05 Tobias Burnus + + * dump-parse-tree.cc (show_omp_assumes): New. + (show_omp_clauses, show_namespace): Call it. + (show_omp_node, show_code_node): Handle OpenMP ASSUME. + * gfortran.h (enum gfc_statement): Add ST_OMP_ASSUME, + ST_OMP_END_ASSUME, ST_OMP_ASSUMES and ST_NOTHING. + (gfc_exec_op): Add EXEC_OMP_ASSUME. + (gfc_omp_assumptions): New struct. + (gfc_get_omp_assumptions): New XCNEW #define. + (gfc_omp_clauses, gfc_namespace): Add assume member. + (gfc_resolve_omp_assumptions): New prototype. + * match.h (gfc_match_omp_assume, gfc_match_omp_assumes): New. + * openmp.cc (omp_code_to_statement): Forward declare. + (enum gfc_omp_directive_kind, struct gfc_omp_directive): New. + (gfc_free_omp_clauses): Free assume member and its struct data. + (enum omp_mask2): Add OMP_CLAUSE_ASSUMPTIONS. + (gfc_omp_absent_contains_clause): New. + (gfc_match_omp_clauses): Call it; optionally use passed + omp_clauses argument. + (omp_verify_merge_absent_contains, gfc_match_omp_assume, + gfc_match_omp_assumes, gfc_resolve_omp_assumptions): New. + (resolve_omp_clauses): Call the latter. + (gfc_resolve_omp_directive, omp_code_to_statement): Handle + EXEC_OMP_ASSUME. + * parse.cc (decode_omp_directive): Parse OpenMP ASSUME(S). + (next_statement, parse_executable, parse_omp_structured_block): + Handle ST_OMP_ASSUME. + (case_omp_decl): Add ST_OMP_ASSUMES. + (gfc_ascii_statement): Handle Assumes, optional return + string without '!$OMP '/'!$ACC ' prefix. + * parse.h (gfc_ascii_statement): Add optional bool arg to prototype. + * resolve.cc (gfc_resolve_blocks, gfc_resolve_code): Add + EXEC_OMP_ASSUME. + (gfc_resolve): Resolve ASSUMES directive. + * symbol.cc (gfc_free_namespace): Free omp_assumes member. + * st.cc (gfc_free_statement): Handle EXEC_OMP_ASSUME. + * trans-openmp.cc (gfc_trans_omp_directive): Likewise. + * trans.cc (trans_code): Likewise. + 2022-10-04 Tobias Burnus * parse.cc (decode_omp_directive): Handle '(end) loop' and 'scan' diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8a30bb479f6..584fba4c8fd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,91 @@ +2022-10-05 David Malcolm + + PR analyzer/107158 + * gcc.dg/analyzer/call-summaries-pr107158.c: New test. + +2022-10-05 David Malcolm + + PR analyzer/107060 + * gcc.dg/analyzer/analyzer-decls.h (__analyzer_get_unknown_ptr): + New decl. + * gcc.dg/analyzer/call-summaries-2.c + (test_summarized_writes_param_to_ptr_unknown): New test. + +2022-10-05 Tobias Burnus + + * gfortran.dg/gomp/assume-1.f90: New test. + * gfortran.dg/gomp/assume-2.f90: New test. + * gfortran.dg/gomp/assumes-1.f90: New test. + * gfortran.dg/gomp/assumes-2.f90: New test. + +2022-10-05 Ju-Zhe Zhong + + * gcc.target/riscv/rvv/base/pragma-1.c: New test. + * gcc.target/riscv/rvv/base/pragma-2.c: New test. + * gcc.target/riscv/rvv/base/pragma-3.c: New test. + * gcc.target/riscv/rvv/base/user-1.c: New test. + * gcc.target/riscv/rvv/base/user-2.c: New test. + * gcc.target/riscv/rvv/base/user-3.c: New test. + * gcc.target/riscv/rvv/base/user-4.c: New test. + * gcc.target/riscv/rvv/base/user-5.c: New test. + * gcc.target/riscv/rvv/base/user-6.c: New test. + * gcc.target/riscv/rvv/base/vread_csr.c: New test. + * gcc.target/riscv/rvv/base/vwrite_csr.c: New test. + +2022-10-05 Aldy Hernandez + + PR tree-optimization/107052 + * gcc.dg/tree-ssa/pr107052.c: New file. + +2022-10-05 Eric Botcazou + + * gnat.dg/lto26.adb: New test. + * gnat.dg/lto26_pkg1.ads, gnat.dg/lto26_pkg1.adb: New helper. + * gnat.dg/lto26_pkg2.ads, gnat.dg/lto26_pkg2.adb: Likewise. + +2022-10-05 Martin Liska + + PR tree-optimization/106679 + * gcc.dg/tree-prof/cmpsf-1.c: Mark as a known limitation. + +2022-10-05 Torbjörn SVENSSON + Yvan ROUX + + * gcc.target/arm/stack-protector-1.c: Use 'bl' instead of 'b' + instruction. + * gcc.target/arm/stack-protector-3.c: Likewise. + +2022-10-05 Torbjörn SVENSSON + Yvan ROUX + + * g++.dg/modules/bad-mapper-1.C: Also accept CreateProcess. + +2022-10-05 Torbjörn SVENSSON + Yvan ROUX + + * gcc.misc-tests/outputs.exp: Use "@nul" for Windows, + "@/dev/null" for other environments. + +2022-10-05 Vineet Gupta + + * gcc.target/riscv/predef-1.c: Remove __riscv_cmodel_pic check. + * gcc.target/riscv/predef-2.c: Ditto. + * gcc.target/riscv/predef-3.c: Ditto. + * gcc.target/riscv/predef-4.c: Ditto. + * gcc.target/riscv/predef-5.c: Ditto. + * gcc.target/riscv/predef-6.c: Ditto. + * gcc.target/riscv/predef-7.c: Ditto. + * gcc.target/riscv/predef-8.c: Ditto. + +2022-10-05 David Malcolm + + PR analyzer/107072 + * gcc.dg/analyzer/call-summaries-2.c: New test. + * gcc.dg/analyzer/call-summaries-3.c: New test. + * gcc.dg/analyzer/call-summaries-asm-x86.c: New test. + * gcc.dg/analyzer/call-summaries-malloc.c: New test. + * gcc.dg/analyzer/call-summaries-pr107072.c: New test. + 2022-10-04 Jason Merrill PR c++/107154 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index adb619ad629..67794934fe6 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,7 @@ +2022-10-05 Tobias Burnus + + * libgomp.texi (OpenMP 5.1 Impl. Status): Mark 'assume' as 'Y'. + 2022-10-04 Jakub Jelinek * libgomp.texi (Support begin/end declare target syntax in C/C++): diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 81588d6ca38..a357c7e1813 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,13 @@ +2022-10-05 Jonathan Wakely + + * include/Makefile.in: Regenerate. + +2022-10-05 Jonathan Wakely + + * include/bits/invoke.h (__invoke_r): Check + __has_builtin(__reference_converts_from_temporary) before using + built-in. + 2022-10-04 Jonathan Wakely * testsuite/std/ranges/adaptors/join_with/1.cc: Remove unused