+2022-11-22 Jeff Law <jlaw@ventanamicro.com>
+
+ * tree-ssa-dom.cc (record_edge_info): Fix thinko in last commit.
+
+2022-11-22 Jeff Law <jlaw@ventanamicro.com>
+
+ * tree-ssa-dom.cc (record_edge_info): Fix comment typos.
+
+2022-11-22 Jeff Law <jeffreyalaw@gmail.com>
+
+ * config/riscv/riscv.cc (riscv_get_separate_components): Do not
+ do shrink-wrapping for a frame with a variable size.
+
+2022-11-22 Siddhesh Poyarekar <siddhesh@gotplt.org>
+
+ * tree-object-size.cc (todo): New variable.
+ (object_sizes_execute): Use it.
+ (strdup_object_size): New function.
+ (call_object_size): Use it.
+
+2022-11-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * tree-loop-distribution.cc (loop_distribution::classify_builtin_ldst):
+ Bail out if source and destination do not have the same storage order.
+
+2022-11-22 Martin Jambor <mjambor@suse.cz>
+
+ * ipa-sra.cc (ipa_sra_dump_all_summaries): Dump edge summaries even
+ for non-candidates.
+
+2022-11-22 Martin Jambor <mjambor@suse.cz>
+
+ * ipa-cp.cc (push_agg_values_from_edge): Do not consider constants
+ in unused aggregate parameters.
+
+2022-11-22 Martin Jambor <mjambor@suse.cz>
+
+ * ipa-param-manipulation.h (ipa_param_body_adjustments): Removed
+ member m_split_modifications_p.
+ * ipa-param-manipulation.cc
+ (ipa_param_body_adjustments::common_initialization): Do not set
+ m_split_modifications_p.
+ (ipa_param_body_adjustments::ipa_param_body_adjustments): Remove
+ initializations of m_split_modifications_p.
+ (ipa_param_body_adjustments::modify_call_stmt): Check that
+ m_replacements is empty instead of m_split_modifications_p.
+
+2022-11-22 Martin Jambor <mjambor@suse.cz>
+
+ PR ipa/107661
+ * ipa-cp.cc (push_agg_values_from_edge): New parameter
+ optimize_self_recursion, use it to decide whether to pass interim to
+ the helper function.
+ (find_aggregate_values_for_callers_subset): Pass true in the new
+ parameter of push_agg_values_from_edge.
+ (cgraph_edge_brings_all_agg_vals_for_node): Pass false in the new
+ parameter of push_agg_values_from_edge.
+
+2022-11-22 Tobias Burnus <tobias@codesourcery.com>
+ Andrew Stubbs <ams@codesourcery.com>
+
+ * config/gcn/gcn-builtins.def (FIRST_CALL_THIS_THREAD_P,
+ GET_STACK_LIMIT): Add new builtins.
+ * config/gcn/gcn.cc (gcn_expand_builtin_1): Expand them.
+ * config/gcn/gcn.md (prologue_use): Add "register_operand" as
+ arg to match_operand.
+ (prologue_use_di): New; DI insn_and_split variant of the former.
+
+2022-11-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107803
+ * tree-ssa-propagate.cc (substitute_and_fold_dom_walker): Add
+ need_ab_cleanup member.
+ (substitute_and_fold_dom_walker::before_dom_children): When
+ a stmt can no longer transfer control flow abnormally set
+ need_ab_cleanup.
+ (substitute_and_fold_engine::substitute_and_fold): Cleanup
+ abnormal control flow.
+
+2022-11-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107672
+ * tree-vect-stmts.cc (supportable_widening_operation): Avoid
+ type_for_mode on vector modes.
+
+2022-11-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107766
+ * tree-vect-slp-patterns.cc (complex_mul_pattern::matches):
+ Use *node to check for FP vector types.
+
+2022-11-22 liuhongt <hongtao.liu@intel.com>
+
+ * config/i386/mmx.md (*mov<mode>_internal): Add
+ ix86_hard_reg_move_ok to condition.
+
+2022-11-22 liuhongt <hongtao.liu@intel.com>
+
+ * config/i386/i386.cc (ix86_can_change_mode_class): Also guard
+ size of TO.
+ (ix86_hard_regno_mode_ok): Remove VALID_AVX512FP16_SCALAR_MODE
+ * config/i386/i386.h (VALID_AVX512FP16_SCALAR_MODE): Merged to
+ ..
+ (VALID_AVX512F_SCALAR_MODE): .. this, also add HImode.
+ (VALID_SSE_REG_MODE): Add DI/HImode.
+
2022-11-21 Sebastian Huber <sebastian.huber@embedded-brains.de>
* config/rtems.h (SUBTARGET_CC1_SPEC): Undef and define.
2022-11-22 David Malcolm <dmalcolm@redhat.com>
PR analyzer/107788
+ * known-function-manager.cc (known_function_manager::get_match):
+ Don't look up fndecls by name when they're not in the root
+ namespace.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107783
+ * sm-fd.cc (fd_state_machine::check_for_new_socket_fd): Don't
+ complain when old state is "fd-constant".
+ (fd_state_machine::on_listen): Likewise.
+ (fd_state_machine::on_accept): Likewise.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107807
+ * region-model-impl-calls.cc (register_known_functions): Register
+ "___errno" and "__error" as synonyms for "__errno_location".
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ * analyzer.h (class internal_known_function): New.
+ (register_varargs_builtins): New decl.
+ * engine.cc (exploded_node::on_stmt_pre): Remove
+ "out_terminate_path" param from call to region_model::on_stmt_pre.
+ (feasibility_state::maybe_update_for_edge): Likewise.
+ * known-function-manager.cc: Include "basic-block.h", "gimple.h",
+ and "analyzer/region-model.h".
+ (known_function_manager::known_function_manager): Initialize
+ m_combined_fns_arr.
+ (known_function_manager::~known_function_manager): Clean up
+ m_combined_fns_arr.
+ (known_function_manager::get_by_identifier): Make const.
+ (known_function_manager::add): New overloaded definitions for
+ enum built_in_function and enum internal_fn.
+ (known_function_manager::get_by_fndecl): Delete.
+ (known_function_manager::get_match): New.
+ (known_function_manager::get_internal_fn): New.
+ (known_function_manager::get_normal_builtin): New.
+ * known-function-manager.h
+ (known_function_manager::get_by_identifier): Make private and
+ add const qualifier.
+ (known_function_manager::get_by_fndecl): Delete.
+ (known_function_manager::add): Add overloaded decls for
+ enum built_in_function name and enum internal_fn.
+ (known_function_manager::get_match): New decl.
+ (known_function_manager::get_internal_fn): New decl.
+ (known_function_manager::get_normal_builtin): New decl.
+ (known_function_manager::m_combined_fns_arr): New field.
+ * region-model-impl-calls.cc (call_details::arg_is_size_p): New.
+ (class kf_alloca): New.
+ (region_model::impl_call_alloca): Convert to...
+ (kf_alloca::impl_call_pre): ...this.
+ (kf_analyzer_dump_capacity::matches_call_types_p): Rewrite check
+ to use call_details::arg_is_pointer_p.
+ (region_model::impl_call_builtin_expect): Convert to...
+ (class kf_expect): ...this.
+ (class kf_calloc): New, adding check that both arguments are
+ size_t.
+ (region_model::impl_call_calloc): Convert to...
+ (kf_calloc::impl_call_pre): ...this.
+ (kf_connect::matches_call_types_p): Rewrite check to use
+ call_details::arg_is_pointer_p.
+ (region_model::impl_call_error): Convert to...
+ (class kf_error): ...this, and...
+ (kf_error::impl_call_pre): ...this.
+ (class kf_fgets): New, adding checks that args 0 and 2 are
+ pointers.
+ (region_model::impl_call_fgets): Convert to...
+ (kf_fgets::impl_call_pre): ...this.
+ (class kf_fread): New, adding checks on the argument types.
+ (region_model::impl_call_fread): Convert to...
+ (kf_fread::impl_call_pre): ...this.
+ (class kf_free): New, adding check that the argument is a pointer.
+ (region_model::impl_call_free): Convert to...
+ (kf_free::impl_call_post): ...this.
+ (class kf_getchar): New.
+ (class kf_malloc): New, adding check that the argument is a
+ size_t.
+ (region_model::impl_call_malloc): Convert to...
+ (kf_malloc::impl_call_pre): ...this.
+ (class kf_memcpy): New, adding checks on arguments.
+ (region_model::impl_call_memcpy): Convert to...
+ (kf_memcpy::impl_call_pre): ...this.
+ (class kf_memset): New.
+ (region_model::impl_call_memset): Convert to...
+ (kf_memset::impl_call_pre): ...this.
+ (kf_pipe::matches_call_types_p): Rewrite check to use
+ call_details::arg_is_pointer_p.
+ (kf_putenv::matches_call_types_p): Likewise.
+ (class kf_realloc): New, adding checks on the argument types.
+ (region_model::impl_call_realloc): Convert to...
+ (kf_realloc::impl_call_post): ...this.
+ (class kf_strchr): New.
+ (region_model::impl_call_strchr): Convert to...
+ (kf_strchr::impl_call_post): ...this.
+ (class kf_stack_restore): New.
+ (class kf_stack_save): New.
+ (class kf_stdio_output_fn): New.
+ (class kf_strcpy): New,
+ (region_model::impl_call_strcpy): Convert to...
+ (kf_strcpy::impl_call_pre): ...this.
+ (class kf_strlen): New.
+ (region_model::impl_call_strlen): Convert to...
+ (kf_strlen::impl_call_pre): ...this.
+ (class kf_ubsan_bounds): New.
+ (region_model::impl_deallocation_call): Reimplement to avoid call
+ to impl_call_free.
+ (register_known_functions): Add handlers for IFN_BUILTIN_EXPECT
+ and IFN_UBSAN_BOUNDS. Add handlers for BUILT_IN_ALLOCA,
+ BUILT_IN_ALLOCA_WITH_ALIGN, BUILT_IN_CALLOC, BUILT_IN_EXPECT,
+ BUILT_IN_EXPECT_WITH_PROBABILITY, BUILT_IN_FPRINTF,
+ BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_FPUTC,
+ BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS, BUILT_IN_FPUTS_UNLOCKED,
+ BUILT_IN_FREE, BUILT_IN_FWRITE, BUILT_IN_FWRITE_UNLOCKED,
+ BUILT_IN_MALLOC, BUILT_IN_MEMCPY, BUILT_IN_MEMCPY_CHK,
+ BUILT_IN_MEMSET, BUILT_IN_MEMSET_CHK, BUILT_IN_PRINTF,
+ BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTCHAR,
+ BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTC_UNLOCKED, BUILT_IN_PUTS,
+ BUILT_IN_PUTS_UNLOCKED, BUILT_IN_REALLOC, BUILT_IN_STACK_RESTORE,
+ BUILT_IN_STACK_SAVE, BUILT_IN_STRCHR, BUILT_IN_STRCPY,
+ BUILT_IN_STRCPY_CHK, BUILT_IN_STRLEN, BUILT_IN_VFPRINTF, and
+ BUILT_IN_VPRINTF. Call register_varargs_builtins. Add handlers
+ for "getchar", "memset", "fgets", "fgets_unlocked", "fread",
+ "error", and "error_at_line".
+ * region-model.cc (region_model::on_stmt_pre): Drop
+ "out_terminate_path" param.
+ (region_model::get_known_function): Reimplement by calling
+ known_function_manager::get_match, passing new "cd" param.
+ Add overload taking enum internal_fn.
+ (region_model::on_call_pre): Drop "out_terminate_path" param.
+ Remove special-case handling of internal fns IFN_BUILTIN_EXPECT,
+ IFN_UBSAN_BOUNDS, and IFN_VA_ARG, of built-in fns BUILT_IN_ALLOCA,
+ BUILT_IN_ALLOCA_WITH_ALIGN, BUILT_IN_CALLOC, BUILT_IN_EXPECT,
+ BUILT_IN_EXPECT_WITH_PROBABILITY, BUILT_IN_FREE, BUILT_IN_MALLOC,
+ BUILT_IN_MEMCPY, BUILT_IN_MEMCPY_CHK, BUILT_IN_MEMSET,
+ BUILT_IN_MEMSET_CHK, BUILT_IN_REALLOC, BUILT_IN_STRCHR,
+ BUILT_IN_STRCPY, BUILT_IN_STRCPY_CHK, BUILT_IN_STRLEN,
+ BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_FPRINTF,
+ BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTC_UNLOCKED,
+ BUILT_IN_FPUTC, BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS,
+ BUILT_IN_FPUTS_UNLOCKED, BUILT_IN_FWRITE,
+ BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_PRINTF,
+ BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTCHAR,
+ BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTS, BUILT_IN_PUTS_UNLOCKED,
+ BUILT_IN_VFPRINTF, BUILT_IN_VPRINTF, BUILT_IN_VA_START, and
+ BUILT_IN_VA_COPY, and of named functions "malloc", "calloc",
+ "alloca", "realloc", "error", "error_at_line", "fgets",
+ "fgets_unlocked", "fread", "getchar", "memset", "strchr", and
+ "strlen". Replace all this special-casing with calls to
+ get_known_function for internal fns and for fn decls.
+ (region_model::on_call_post): Remove special-casing handling for
+ "free" and "strchr", and for BUILT_IN_REALLOC, BUILT_IN_STRCHR,
+ and BUILT_IN_VA_END. Replace by consolidating on usage of
+ get_known_function.
+ * region-model.h (call_details::arg_is_size_p): New.
+ (region_model::on_stmt_pre): Drop "out_terminate_path" param.
+ (region_model::on_call_pre): Likewise.
+ (region_model::impl_call_alloca): Delete.
+ (region_model::impl_call_builtin_expect): Delete.
+ (region_model::impl_call_calloc): Delete.
+ (region_model::impl_call_error): Delete.
+ (region_model::impl_call_fgets): Delete.
+ (region_model::impl_call_fread): Delete.
+ (region_model::impl_call_free): Delete.
+ (region_model::impl_call_malloc): Delete.
+ (region_model::impl_call_memcpy): Delete.
+ (region_model::impl_call_memset): Delete.
+ (region_model::impl_call_realloc): Delete.
+ (region_model::impl_call_strchr): Delete.
+ (region_model::impl_call_strcpy): Delete.
+ (region_model::impl_call_strlen): Delete.
+ (region_model::impl_call_va_start): Delete.
+ (region_model::impl_call_va_copy): Delete.
+ (region_model::impl_call_va_arg): Delete.
+ (region_model::impl_call_va_end): Delete.
+ (region_model::check_region_for_write): Public.
+ (region_model::get_known_function): Add "cd" param. Add
+ overloaded decl taking enum internal_fn.
+ * sm-malloc.cc: Update comments.
+ * varargs.cc (class kf_va_start): New.
+ (region_model::impl_call_va_start): Convert to...
+ (kf_va_start::impl_call_pre): ...this.
+ (class kf_va_copy): New.
+ (region_model::impl_call_va_copy): Convert to...
+ (kf_va_copy::impl_call_pre): ...this.
+ (class kf_va_arg): New.
+ (region_model::impl_call_va_arg): Convert to...
+ (kf_va_arg::impl_call_pre): ...this.
+ (class kf_va_end): New.
+ (region_model::impl_call_va_end): Delete.
+ (register_varargs_builtins): New.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107788
* region-model.cc (region_model::update_for_int_cst_return):
Require that the return type be an integer type.
(region_model::update_for_nonzero_return): Likewise.
+2022-11-22 Siddhesh Poyarekar <siddhesh@gotplt.org>
+
+ * gcc.dg/builtin-dynamic-object-size-0.c (test_strdup,
+ test_strndup, test_strdup_min, test_strndup_min): New tests.
+ (main): Call them.
+ * gcc.dg/builtin-dynamic-object-size-1.c: Silence overread
+ warnings.
+ * gcc.dg/builtin-dynamic-object-size-2.c: Likewise.
+ * gcc.dg/builtin-dynamic-object-size-3.c: Likewise.
+ * gcc.dg/builtin-dynamic-object-size-4.c: Likewise.
+ * gcc.dg/builtin-object-size-1.c: Silence overread warnings.
+ Declare free, strdup and strndup.
+ (test11): New test.
+ (main): Call it.
+ * gcc.dg/builtin-object-size-2.c: Silence overread warnings.
+ Declare free, strdup and strndup.
+ (test9): New test.
+ (main): Call it.
+ * gcc.dg/builtin-object-size-3.c: Silence overread warnings.
+ Declare free, strdup and strndup.
+ (test11): New test.
+ (main): Call it.
+ * gcc.dg/builtin-object-size-4.c: Silence overread warnings.
+ Declare free, strdup and strndup.
+ (test9): New test.
+ (main): Call it.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107788
+ * g++.dg/analyzer/named-functions.C: New test.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107783
+ * gcc.dg/analyzer/fd-accept.c (test_accept_on_constant): New.
+ * gcc.dg/analyzer/fd-bind.c (test_bind_on_constant): New.
+ * gcc.dg/analyzer/fd-connect.c (test_connect_on_constant): New.
+ * gcc.dg/analyzer/fd-listen.c (test_listen_on_connected_socket):
+ Fix typo.
+ (test_listen_on_constant): New.
+
+2022-11-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/107807
+ * gcc.dg/analyzer/errno-___errno.c: New test.
+ * gcc.dg/analyzer/errno-__error.c: New test.
+ * gcc.dg/analyzer/errno-global-var.c: New test.
+
+2022-11-22 Maciej W. Rozycki <macro@embecosm.com>
+
+ * lib/target-supports.exp
+ (check_effective_target_mpaired_single): Add `args' argument and
+ pass it to `check_no_compiler_messages' replacing
+ `-mpaired-single'.
+ (add_options_for_mips_loongson_mmi): Add `args' argument and
+ pass it to `check_no_compiler_messages'.
+ (check_effective_target_mips_msa): Add `args' argument and pass
+ it to `check_no_compiler_messages' replacing `-mmsa'.
+ (check_effective_target_mpaired_single_runtime)
+ (add_options_for_mpaired_single): Pass `-mpaired-single' to
+ `check_effective_target_mpaired_single'.
+ (check_effective_target_mips_loongson_mmi_runtime)
+ (add_options_for_mips_loongson_mmi): Pass `-mloongson-mmi' to
+ `check_effective_target_mips_loongson_mmi'.
+ (check_effective_target_mips_msa_runtime)
+ (add_options_for_mips_msa): Pass `-mmsa' to
+ `check_effective_target_mips_msa'.
+ (et-is-effective-target): Verify that EFFECTIVE_TARGETS exists
+ and if not, just check if the current compilation environment
+ supports the target feature requested.
+ (check_vect_support_and_set_flags): Pass `-mpaired-single',
+ `-mloongson-mmi', and `-mmsa' to the respective target feature
+ checks.
+
+2022-11-22 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/sso18.adb: New test.
+
+2022-11-22 Martin Jambor <mjambor@suse.cz>
+
+ PR ipa/107661
+ * g++.dg/ipa/pr107661.C: New test.
+
+2022-11-22 Christophe Lyon <christophe.lyon@arm.com>
+
+ PR target/107604
+ * gcc.target/aarch64/aapcs64/test_dfp_17.c: Fix for big-endian.
+
+2022-11-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107803
+ * g++.dg/pr107803.C: New testcase.
+
+2022-11-22 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107766
+ * g++.dg/vect/pr107766.cc: New testcase.
+
+2022-11-22 liuhongt <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pieces-memset-3.c: Remove xfail.
+ * gcc.target/i386/pieces-memset-37.c: Remove xfail.
+ * gcc.target/i386/pieces-memset-39.c: Remove xfail.
+
2022-11-22 David Malcolm <dmalcolm@redhat.com>
PR analyzer/107788
projects / platform / upstream / gcc.git / commitdiff