+2022-10-05 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_update_version.py: Do fetch before a push.
+
2022-09-20 Martin Liska <mliska@suse.cz>
* filter-clang-warnings.py: Skip egrep: warning: egrep is
+2022-10-05 Segher Boessenkool <segher@kernel.crashing.org>
+
+ * config/rs6000/constraints.md (wD): Delete.
+ * doc/md.texi (Machine Constraints): Adjust.
+
+2022-10-05 Segher Boessenkool <segher@kernel.crashing.org>
+
+ * config/rs6000/vsx.md (vsx_extract_<mode>): Replace define_insn by a
+ define_expand. Split the contents to...
+ (*vsx_extract_<mode>_0): ... this. Rewrite.
+ (*vsx_extract_<mode>_1): ... and this. Rewrite.
+
+2022-10-05 Segher Boessenkool <segher@kernel.crashing.org>
+
+ * config/rs6000/vsx.md (*vsx_extract_<mode>_store): Use "n" instead of
+ "wD" constraint.
+
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107060
+ * doc/analyzer.texi (__analyzer_get_unknown_ptr): Document.
+
+2022-10-05 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
+
+ * 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 <aldyh@redhat.com>
+
+ * range-op.cc (operator_cast::fold_range): Handle truncating casts
+ for nonzero masks.
+
+2022-10-05 Martin Liska <mliska@suse.cz>
+
+ PR c/107156
+ * attribs.h (lookup_attribute_by_prefix): Support the attribute
+ starting with underscore (_Noreturn).
+
+2022-10-05 Aldy Hernandez <aldyh@redhat.com>
+
+ PR tree-optimization/107052
+ * gimple-range-op.cc (cfn_popcount::fold_range): Take into account
+ nonzero bit mask.
+
+2022-10-05 Aldy Hernandez <aldyh@redhat.com>
+
+ PR tree-optimization/107052
+ * range-op.cc (operator_cast::fold_range): Set nonzero mask.
+
+2022-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR tree-optimization/106698
+ * pointer-query.cc (handle_array_ref): Fix handling of low bound.
+
+2022-10-05 Vineet Gupta <vineetg@rivosinc.com>
+
+ * config/riscv/riscv-c.cc (riscv_cpu_cpp_builtins):
+ Remove __riscv_cmodel_pic, that deprecated in last version.
+
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107072
+ * Makefile.in (ANALYZER_OBJS): Add analyzer/call-summary.o.
+
2022-10-04 Jakub Jelinek <jakub@redhat.com>
* attribs.h (remove_attribute): Declare overload with additional
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ 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 <mliska@suse.cz>
+
+ * 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 <dmalcolm@redhat.com>
+
+ 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 <const ana::concrete_binding *>::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 <dmalcolm@redhat.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ * region-model-manager.cc
+ (region_model_manager::maybe_fold_unaryop): Fold -(-(VAL)) to VAL.
+
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ * 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 <mliska@suse.cz>
* region-model.cc (region_model::maybe_complain_about_infoleak):
+2022-10-05 Jason Merrill <jason@redhat.com>
+
+ * tree.cc (lvalue_kind) [VIEW_CONVERT_EXPR]: Change prvalue to
+ xvalue.
+
2022-10-04 Jason Merrill <jason@redhat.com>
PR c++/107154
+2022-10-05 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
* parse.cc (decode_omp_directive): Handle '(end) loop' and 'scan'
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107158
+ * gcc.dg/analyzer/call-summaries-pr107158.c: New test.
+
+2022-10-05 David Malcolm <dmalcolm@redhat.com>
+
+ 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 <tobias@codesourcery.com>
+
+ * 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 <juzhe.zhong@rivai.ai>
+
+ * 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 <aldyh@redhat.com>
+
+ PR tree-optimization/107052
+ * gcc.dg/tree-ssa/pr107052.c: New file.
+
+2022-10-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * 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 <mliska@suse.cz>
+
+ PR tree-optimization/106679
+ * gcc.dg/tree-prof/cmpsf-1.c: Mark as a known limitation.
+
+2022-10-05 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+ Yvan ROUX <yvan.roux@foss.st.com>
+
+ * 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 <torbjorn.svensson@foss.st.com>
+ Yvan ROUX <yvan.roux@foss.st.com>
+
+ * g++.dg/modules/bad-mapper-1.C: Also accept CreateProcess.
+
+2022-10-05 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+ Yvan ROUX <yvan.roux@foss.st.com>
+
+ * gcc.misc-tests/outputs.exp: Use "@nul" for Windows,
+ "@/dev/null" for other environments.
+
+2022-10-05 Vineet Gupta <vineetg@rivosinc.com>
+
+ * 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 <dmalcolm@redhat.com>
+
+ 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 <jason@redhat.com>
PR c++/107154
+2022-10-05 Tobias Burnus <tobias@codesourcery.com>
+
+ * libgomp.texi (OpenMP 5.1 Impl. Status): Mark 'assume' as 'Y'.
+
2022-10-04 Jakub Jelinek <jakub@redhat.com>
* libgomp.texi (Support begin/end declare target syntax in C/C++):
+2022-10-05 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/Makefile.in: Regenerate.
+
+2022-10-05 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/invoke.h (__invoke_r): Check
+ __has_builtin(__reference_converts_from_temporary) before using
+ built-in.
+
2022-10-04 Jonathan Wakely <jwakely@redhat.com>
* testsuite/std/ranges/adaptors/join_with/1.cc: Remove unused
projects / thirdparty / gcc.git / commitdiff
