diff options
| -rw-r--r-- | gcc/ChangeLog | 215 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 40 | ||||
| -rw-r--r-- | gcc/c-family/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 53 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 29 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 463 | ||||
| -rw-r--r-- | include/ChangeLog | 5 | ||||
| -rw-r--r-- | libgcc/ChangeLog | 16 | ||||
| -rw-r--r-- | libiberty/ChangeLog | 11 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 9 |
13 files changed, 860 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b93cded..74beec4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,218 @@ +2023-12-01 Andrew MacLeod <amacleod@redhat.com> + + * gimple-range-fold.h (range_compatible_p): Relocate. + * value-range.h (range_compatible_p): Here. + * range-op-mixed.h (operand_equal::operand_check_p): Call + range_compatible_p rather than comparing precision. + (operand_not_equal::operand_check_p): Ditto. + (operand_not_lt::operand_check_p): Ditto. + (operand_not_le::operand_check_p): Ditto. + (operand_not_gt::operand_check_p): Ditto. + (operand_not_ge::operand_check_p): Ditto. + (operand_plus::operand_check_p): Ditto. + (operand_abs::operand_check_p): Ditto. + (operand_minus::operand_check_p): Ditto. + (operand_negate::operand_check_p): Ditto. + (operand_mult::operand_check_p): Ditto. + (operand_bitwise_not::operand_check_p): Ditto. + (operand_bitwise_xor::operand_check_p): Ditto. + (operand_bitwise_and::operand_check_p): Ditto. + (operand_bitwise_or::operand_check_p): Ditto. + (operand_min::operand_check_p): Ditto. + (operand_max::operand_check_p): Ditto. + * range-op.cc (operand_lshift::operand_check_p): Ditto. + (operand_rshift::operand_check_p): Ditto. + (operand_logical_and::operand_check_p): Ditto. + (operand_logical_or::operand_check_p): Ditto. + (operand_logical_not::operand_check_p): Ditto. + +2023-12-01 Vladimir N. Makarov <vmakarov@redhat.com> + + PR target/112445 + * lra.h (lra): Add one more arg. + * lra-int.h (lra_verbose, lra_dump_insns): New externals. + (lra_dump_insns_if_possible): Ditto. + * lra.cc (lra_dump_insns): Dump all insns. + (lra_dump_insns_if_possible): Dump all insns for lra_verbose >= 7. + (lra_verbose): New global. + (lra): Add new arg. Setup lra_verbose from its value. + * lra-assigns.cc (lra_split_hard_reg_for): Dump insns if rtl + was changed. + * lra-remat.cc (lra_remat): Dump insns if rtl was changed. + * lra-constraints.cc (lra_inheritance): Dump insns. + (lra_constraints, lra_undo_inheritance): Dump insns if rtl + was changed. + (remove_inheritance_pseudos): Use restore reg if it is set up. + * ira.cc: (lra): Pass internal_flag_ira_verbose. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + * doc/extend.texi (__builtin_addc, __builtin_addcl, __builtin_addcll, + __builtin_subc, __builtin_subcl, __builtin_subcll, + __builtin_stdc_bit_width, __builtin_stdc_count_ones, + __builtin_stdc_count_zeros, __builtin_stdc_first_leading_one, + __builtin_stdc_first_leading_zero, __builtin_stdc_first_trailing_one, + __builtin_stdc_first_trailing_zero, __builtin_stdc_has_single_bit, + __builtin_stdc_leading_ones, __builtin_stdc_leading_zeros, + __builtin_stdc_trailing_ones, __builtin_stdc_trailing_zeros, + __builtin_nvptx_brev, __builtin_nvptx_brevll, __builtin_darn, + __builtin_darn_raw, __builtin_ia32_vec_ext_v2di, + __builtin_ia32_crc32qi, __builtin_ia32_crc32hi, + __builtin_ia32_crc32si, __builtin_ia32_crc32di): Put {}s around + return type with spaces in it. + (__builtin_rx_mvfachi, __builtin_rx_mvfacmi): Remove superfluous + whitespace. + +2023-12-01 David Malcolm <dmalcolm@redhat.com> + + * diagnostic-core.h (emit_diagnostic_valist): New overload decl. + * diagnostic-format-sarif.cc (sarif_builder::make_result_object): + When we have metadata, call its maybe_add_sarif_properties vfunc. + * diagnostic-metadata.h (class sarif_object): Forward decl. + (diagnostic_metadata::~diagnostic_metadata): New. + (diagnostic_metadata::maybe_add_sarif_properties): New vfunc. + * diagnostic.cc (emit_diagnostic_valist): New overload. + +2023-12-01 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/103533 + * doc/extend.texi: Remove stray reference to + -fanalyzer-checker=taint. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112431 + * config/riscv/vector.md: Support highpart overlap for vx/vf. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112431 + * config/riscv/vector.md: Support highpart overlap for indexed load. + +2023-12-01 Richard Biener <rguenther@suse.de> + + * tree-vectorizer.h (vect_get_vec_defs): Re-order arguments. + * tree-vect-stmts.cc (vect_get_vec_defs): Likewise. + (vectorizable_condition): Update caller. + (vectorizable_comparison_1): Likewise. + (vectorizable_conversion): Specify the vector type to be + used for invariant/external defs. + * tree-vect-loop.cc (vect_transform_reduction): Update caller. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112770 + * gimple-lower-bitint.cc (gimple_lower_bitint): When adjusting + lhs of middle _BitInt setter which ends bb, insert cast on + the fallthru edge rather than after stmt. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112771 + * gimple-lower-bitint.cc (bitint_large_huge::handle_operand_addr): + Use mp = 1 if it is zero. + +2023-12-01 Jose E. Marchesi <jose.marchesi@oracle.com> + + * config/bpf/bpf.cc (bpf_asm_named_section): New function. + (TARGET_ASM_NAMED_SECTION): Set to bpf_asm_named_section. + +2023-12-01 Di Zhao <dizhao@os.amperecomputing.com> + + * config/aarch64/aarch64-tuning-flags.def + (AARCH64_EXTRA_TUNING_OPTION): New tuning option to avoid + cross-loop FMA. + * config/aarch64/aarch64.cc + (aarch64_override_options_internal): Set + param_avoid_fma_max_bits according to tuning option. + * config/aarch64/tuning_models/ampere1.h (ampere1_tunings): + Modify tunings related with FMA. + * config/aarch64/tuning_models/ampere1a.h (ampere1a_tunings): + Likewise. + * config/aarch64/tuning_models/ampere1b.h (ampere1b_tunings): + Likewise. + +2023-12-01 Richard Sandiford <richard.sandiford@arm.com> + + * config/aarch64/aarch64-sve-builtins.h + (function_expander::result_mode): New member function. + * config/aarch64/aarch64-sve-builtins-base.cc + (svld234_impl::expand): Use it. + * config/aarch64/aarch64-sve-builtins.cc + (function_expander::get_reg_target): Likewise. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + * gimple-lower-bitint.cc (range_to_prec): Don't return -1 for + signed types. + (bitint_large_huge::lower_addsub_overflow): Fix up computation of + prec2. + (bitint_large_huge::lower_mul_overflow): Likewise. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + * gimple-lower-bitint.cc (bitint_large_huge::finish_arith_overflow): + When replacing use_stmt which is gsi_stmt (m_gsi), update m_gsi to + the new statement. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112750 + * gimple-lower-bitint.cc (bitint_large_huge::lower_addsub_overflow): + Use NE_EXPR rather than EQ_EXPR for g2 if !single_comparison and + adjust probabilities. + +2023-12-01 Xi Ruoyao <xry111@xry111.site> + + * doc/install.texi: Deem srcdir == objdir broken, but objdir + as a subdirectory of srcdir fine. + +2023-12-01 Juergen Christ <jchrist@linux.ibm.com> + + PR target/112753 + * config/s390/s390.cc (s390_md_asm_adjust): Return after dealing + with the outputs, if no further processing of long doubles is + required. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR target/112725 + * config/s390/s390.cc (s390_invalid_arg_for_unprototyped_fn): Return + NULL for __builtin_classify_type calls with vector arguments. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * doc/invoke.texi (Warning Options): Document + -Wdeclaration-missing-parameter-type. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * doc/invoke.texi (Warning Options): Document changes. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * doc/invoke.texi (Warning Options): Document that + -Wreturn-mismatch is a permerror in C99 and later. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR c/91093 + PR c/96284 + * doc/invoke.texi (Warning Options): Document changes. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * doc/invoke.texi (Warning Options): Document changes. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * doc/invoke.texi (Warning Options): Document changes. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112776 + * config/riscv/riscv-vsetvl.cc (pre_vsetvl::pre_global_vsetvl_info): Fix ratio. + 2023-11-30 Wilco Dijkstra <wilco.dijkstra@arm.com> PR target/111404 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 847a6d2..0099b21 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20231201 +20231202 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e8a147f..530e08c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2023-12-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * adaint.c [__APPLE__]: Include <signal.h>, <sys/time.h>. + * terminals.c [!_WIN32]: Include <signal.h>. + [__APPLE__]: Include <util.h>. + Fix typos. + 2023-11-30 Eric Botcazou <ebotcazou@adacore.com> * checks.ads (Apply_Predicate_Check): Add Deref boolean parameter. diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index bab9e54..b6e8d51 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,43 @@ +2023-12-01 David Malcolm <dmalcolm@redhat.com> + + * analyzer.h (class saved_diagnostic): New forward decl. + * bounds-checking.cc: Update for changes to + pending_diagnostic::emit. + * call-details.cc: Likewise. + * diagnostic-manager.cc: Include "diagnostic-format-sarif.h". + (saved_diagnostic::maybe_add_sarif_properties): New. + (class pending_diagnostic_metadata): New. + (diagnostic_manager::emit_saved_diagnostic): Create a + pending_diagnostic_metadata and a diagnostic_emission_context. + Pass the latter to the pending_diagnostic::emit vfunc. + * diagnostic-manager.h + (saved_diagnostic::maybe_add_sarif_properties): New decl. + * engine.cc: Update for changes to pending_diagnostic::emit. + * infinite-loop.cc: Likewise. + * infinite-recursion.cc: Likewise. + * kf-analyzer.cc: Likewise. + * kf.cc: Likewise. + * pending-diagnostic.cc + (diagnostic_emission_context::get_pending_diagnostic): New. + (diagnostic_emission_context::warn): New. + (diagnostic_emission_context::inform): New. + * pending-diagnostic.h (class diagnostic_emission_context): New. + (pending_diagnostic::emit): Update params. + (pending_diagnostic::maybe_add_sarif_properties): New vfunc. + * region.cc: Don't include "diagnostic-metadata.h". + * region-model.cc: Include "diagnostic-format-sarif.h". Update + for changes to pending_diagnostic::emit. + (exposure_through_uninit_copy::maybe_add_sarif_properties): New. + * sm-fd.cc: Update for changes to pending_diagnostic::emit. + * 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. + * store.cc: Don't include "diagnostic-metadata.h". + * varargs.cc: Update for changes to pending_diagnostic::emit. + 2023-11-19 David Malcolm <dmalcolm@redhat.com> * analyzer.h: Include "rich-location.h". diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index d3999e0..1863d68 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * c.opt (Wdeclaration-missing-parameter-type): New. + 2023-11-30 Jakub Jelinek <jakub@redhat.com> PR c++/110349 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 53e9602..ce85cad 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,56 @@ +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR other/44209 + * c-decl.cc (grokparms): Issue permerror for + OPT_Wdeclaration_missing_parameter_type instead of a pedwarn. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR c/96284 + * c-typeck.cc (build_conditional_expr): Upgrade most pointer + type mismatches to a permerror. + (convert_for_assignment): Use permerror_opt and + permerror_init for OPT_Wincompatible_pointer_types warnings. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR c/96284 + * c-typeck.cc (c_finish_return): Use permerrors + for OPT_Wreturn_mismatch diagnostics. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * c-decl.cc (grokdeclarator): Do not skip -Wimplicit-int + warnings or errors in system headers. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * c-decl.cc (warn_defaults_to): Remove. + (grok_declarator, start_function): Call permerror_opt + instead of warn_defaults_to. + (store_parm_decls_oldstyle): Call permerror_opt for + OPT_Wimplicit_int. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR c/91092 + PR c/96284 + * c-decl.cc (implicit_decl_permerror): Rename from + implicit_decl_warning. Call permerror_opt instead of + pedwarn and warning_at. + (implicitly_declare): Adjust callers. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + PR c/96284 + PR c/106416 + * c-typeck.cc (build_conditional_expr): Use permerror_opt for + pointer/integer type mismatches, based on -Wint-conversion. + (pedwarn_permerror_init, permerror_init): New function. + (pedwarn_init): Call pedwarn_permerror_init. + (convert_for_assignment): Use permerror_opt and + permerror_init for -Wint-conversion warnings. + 2023-11-29 Alexandre Oliva <oliva@adacore.com> * c-typeck.cc (convert_lvalue_to_rvalue): Decay hardbools. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index d31e7db..564c39c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,32 @@ +2023-12-01 Jason Merrill <jason@redhat.com> + + * mangle.cc (write_type): Mangle placeholder as its template. + +2023-12-01 Jason Merrill <jason@redhat.com> + + * cp-tree.h (TEMPLATE_ARGS_TYPE_CONSTRAINT_P): New. + (get_concept_check_template): Declare. + * constraint.cc (combine_constraint_expressions) + (finish_shorthand_constraint): Use UNKNOWN_LOCATION. + * pt.cc (convert_generic_types_to_packs): Likewise. + * mangle.cc (write_constraint_expression) + (write_tparms_constraints, write_type_constraint) + (template_parm_natural_p, write_requirement) + (write_requires_expr): New. + (write_encoding): Mangle trailing requires-clause. + (write_name): Pass parms to write_template_args. + (write_template_param_decl): Factor out from... + (write_closure_template_head): ...here. + (write_template_args): Mangle non-natural parms + and requires-clause. + (write_expression): Handle REQUIRES_EXPR. + +2023-12-01 Jason Merrill <jason@redhat.com> + + * semantics.cc (finish_non_static_data_member) + (finish_decltype_type, capture_decltype): + Handle deduced closure parameter. + 2023-11-30 Marek Polacek <polacek@redhat.com> PR c++/112744 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index d2cd961..c944376 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2023-12-01 Harald Anlauf <anlauf@gmx.de> + + PR fortran/112772 + * trans-expr.cc (gfc_conv_class_to_class): Make copy-out conditional + on the presence of an OPTIONAL CLASS argument passed to an OPTIONAL + CLASS dummy. + 2023-11-30 Harald Anlauf <anlauf@gmx.de> PR fortran/112764 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2a07336..8ef2841 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,466 @@ +2023-12-01 Harald Anlauf <anlauf@gmx.de> + + PR fortran/112772 + * gfortran.dg/missing_optional_dummy_7.f90: New test. + +2023-12-01 Jason Merrill <jason@redhat.com> + + * g++.dg/cpp2a/nontype-class4.C: Specify ABI v18. + * g++.dg/cpp2a/nontype-class4a.C: New test. + +2023-12-01 Jason Merrill <jason@redhat.com> + + * g++.dg/abi/mangle10.C: Disable compat aliases. + * g++.dg/abi/mangle52.C: Specify ABI 18. + * g++.dg/cpp2a/class-deduction-alias3.C + * g++.dg/cpp2a/class-deduction-alias8.C: + Avoid builtins in requires-clauses. + * g++.dg/abi/mangle-concepts1.C: New test. + * g++.dg/abi/mangle-ttp1.C: New test. + +2023-12-01 Alexandre Oliva <oliva@adacore.com> + + PR target/112334 + * c-c++-common/torture/harden-cfr-bret.c: Rework for stricter + untyped_return requirements. Require untyped_assembly. + * c-c++-common/torture/harden-cfr-bret-except.c: New. + * c-c++-common/torture/harden-cfr-bret-always.c: Require + untyped_assembly. + * c-c++-common/torture/harden-cfr-bret-never.c: Likewise. + * c-c++-common/torture/harden-cfr-bret-noopt.c: Likewise. + * c-c++-common/torture/harden-cfr-bret-noret.c: Likewise. + * c-c++-common/torture/harden-cfr-bret-no-xthrow.c: Likewise. + * c-c++-common/torture/harden-cfr-bret-nothrow.c: Likewise. + * c-c++-common/torture/harden-cfr-bret-retcl.c: Likewise. + +2023-12-01 Vladimir N. Makarov <vmakarov@redhat.com> + + PR target/112445 + * gcc.target/i386/pr112445.c: New test. + +2023-12-01 David Malcolm <dmalcolm@redhat.com> + + * gcc.dg/analyzer/fd-accept.c: Update for fix to missing CWE + metadata for -Wanalyzer-fd-phase-mismatch. + * gcc.dg/analyzer/fd-bind.c: Likewise. + * gcc.dg/analyzer/fd-socket-misuse.c: Likewise. + * gcc.dg/plugin/analyzer_cpython_plugin.c: Update for changes to + pending_diagnostic::emit. + * gcc.dg/plugin/analyzer_gil_plugin.c: Likewise. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112431 + * gcc.target/riscv/rvv/base/pr112431-22.c: New test. + * gcc.target/riscv/rvv/base/pr112431-23.c: New test. + * gcc.target/riscv/rvv/base/pr112431-24.c: New test. + * gcc.target/riscv/rvv/base/pr112431-25.c: New test. + * gcc.target/riscv/rvv/base/pr112431-26.c: New test. + * gcc.target/riscv/rvv/base/pr112431-27.c: New test. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112431 + * gcc.target/riscv/rvv/base/pr112431-28.c: New test. + * gcc.target/riscv/rvv/base/pr112431-29.c: New test. + * gcc.target/riscv/rvv/base/pr112431-30.c: New test. + * gcc.target/riscv/rvv/base/pr112431-31.c: New test. + * gcc.target/riscv/rvv/base/pr112431-32.c: New test. + * gcc.target/riscv/rvv/base/pr112431-33.c: New test. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + * gcc.target/x86_64/abi/avx512fp16/m512h/test_passing_m512.c + (fun_check_passing_m512_8_values, fun_check_passing_m512h_8_values): + Add missing void return type. + * gcc.target/x86_64/abi/avx512fp16/m256h/test_passing_m256.c + (fun_check_passing_m256_8_values, fun_check_passing_m256h_8_values): + Likewise. + * gcc.dg/graphite/pr83126.c (ew): Add missing casts to __INTPTR_TYPE__ + and then to int *. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112770 + * gcc.dg/bitint-45.c: New test. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112771 + * gcc.dg/bitint-44.c: New test. + +2023-12-01 Jose E. Marchesi <jose.marchesi@oracle.com> + + * gcc.target/bpf/section-name-quoting-1.c: New test. + +2023-12-01 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/112750 + * gcc.dg/bitint-41.c: Use -std=c23 rather than -std=c2x. + * gcc.dg/torture/bitint-43.c: Likewise. + * gcc.dg/torture/bitint-44.c: Likewise. + * gcc.dg/torture/bitint-45.c: New test. + +2023-12-01 Juergen Christ <jchrist@linux.ibm.com> + + * gcc.target/s390/pr112753.c: New test. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (missing_parameter_type): + Expect error. + * gcc.dg/permerror-fpermissive.c (missing_parameter_type): + Expect -Wdeclaration-missing-parameter-type warning. + * gcc.dg/permerror-gnu89-nopermissive.c (missing_parameter_type): + Expect -Wdeclaration-missing-parameter-type error. + * gcc.dg/permerror-gnu89-pedantic.c (missing_parameter_type): + Likewise. + * gcc.dg/permerror-gnu89.c (missing_parameter_type): + Expect -Wdeclaration-missing-parameter-type warning. + * gcc.dg/permerror-noerror.c: Add + -Wno-error=declaration-missing-parameter-type to build flags. + (missing_parameter_type): Expect + -Wdeclaration-missing-parameter-type warning. + * gcc.dg/permerror-nowarning.c: Build with + -Wno-declaration-missing-parameter-type. Remove previously + expected warning. + * gcc.dg/permerror-fpermissive-nowarning.c: Likewise. + * gcc.dg/permerror-pedantic.c (missing_parameter_type): + Expect -Wdeclaration-missing-parameter-type error. + * gcc.dg/permerror-system.c (missing_parameter_type): + Likewise. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (incompatible_pointer_types): + Expect new permerror. + * gcc.dg/permerror-gnu89-nopermissive.c + (incompatible_pointer_types): Likewise. + * gcc.dg/permerror-pedantic.c (incompatible_pointer_types): + Likewise. + * gcc.dg/permerror-system.c: Likewise. + * gcc.dg/Wincompatible-pointer-types-2.c: Compile with + -fpermissive due to expected errors. + * gcc.dg/Wincompatible-pointer-types-5.c: New test. Copied + from gcc.dg/Wincompatible-pointer-types-2.c. Expect errors. + * gcc.dg/anon-struct-11.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/anon-struct-11a.c: New test. Copied from + gcc.dg/anon-struct-11.c. Expect errors. + * gcc.dg/anon-struct-13.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/anon-struct-13a.c: New test. Copied from + gcc.dg/anon-struct-13.c. Expect errors. + * gcc.dg/builtin-arith-overflow-4.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/builtin-arith-overflow-4a.c: New test. Copied from + gcc.dg/builtin-arith-overflow-4.c. Expect errors. + * gcc.dg/c23-qual-4.c: Expect -Wincompatible-pointer-types errors. + * gcc.dg/dfp/composite-type.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/dfp/composite-type-2.c: New test. Copied from + gcc.dg/dfp/composite-type.c. Expect errors. + * gcc.dg/diag-aka-1.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/diag-aka-1a.c: New test. Copied from + gcc.dg/diag-aka-1a.c. Expect errors. + * gcc.dg/enum-compat-1.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/enum-compat-2.c: New test. Copied from + gcc.dg/enum-compat-1.c. Expect errors. + * gcc.dg/func-ptr-conv-1.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/func-ptr-conv-2.c: New test. Copied from + gcc.dg/func-ptr-conv-1.c. Expect errors. + * gcc.dg/init-bad-7.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/init-bad-7a.c: New test. Copied from gcc.dg/init-bad-7.c. + Expect errors. + * gcc.dg/noncompile/incomplete-3.c (foo): Expect + -Wincompatible-pointer-types error. + * gcc.dg/param-type-mismatch-2.c (test8): Likewise. + * gcc.dg/pointer-array-atomic.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/pointer-array-atomic-2.c: New test. Copied from + gcc.dg/pointer-array-atomic.c. Expect errors. + * gcc.dg/pointer-array-quals-1.c (test): Expect + -Wincompatible-pointer-types errors. + * gcc.dg/transparent-union-1.c: Compile with -fpermissive + due to expected errors. + * gcc.dg/transparent-union-1a.c: New test. Copied from + gcc.dg/transparent-union-1.c. Expect errors. + * gcc.target/aarch64/acle/memtag_2a.c + (test_memtag_warning_return_qualifier): Expect additional + errors. + * gcc.target/aarch64/sve/acle/general-c/load_2.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_2.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_3.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_4.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_5.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_2.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_3.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_4.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/sizeless-1.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/sizeless-2.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_1.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_2.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_index_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_index_restricted_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_offset_2.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_offset_restricted_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general/attributes_7.c + (f1): Likewise. + * gcc.target/i386/sse2-bfloat16-scalar-typecheck.c (footest): + Expect -Wincompatible-pointer-types errors. + * gcc.target/i386/vect-bfloat16-typecheck_1.c (footest): Likewise. + * gcc.target/i386/vect-bfloat16-typecheck_2.c (footest): Likewise. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (return_mismatch_1) + (return_mismatch_2): Expect new permerror. + * gcc.dg/permerror-gnu89-nopermissive.c (return_mismatch_1): + Likewise. + * gcc.dg/permerror-system.c: Likewise. + * gcc.dg/20030906-1.c: Compile with -fpermissive due to + expected -Wreturn-mismatch error. + * gcc.dg/20030906-1a.c: New test. Copied from + gcc.dg/20030906-1.c. Expect the error. + * gcc.dg/20030906-2.c: Compile with -fpermissive due to + expected -Wreturn-mismatch error. + * gcc.dg/20030906-2a.c: New test. Copied from + gcc.dg/20030906-2.c. Expect the error. + * gcc.dg/Wreturn-mismatch-1.c: Compile with -fpermissive due to + expected -Wreturn-mismatch error. + * gcc.dg/Wreturn-mismatch-1a.c: New test. Copied from + gcc.dg/Wreturn-mismatch-1.c. Expect the error. + * gcc.dg/Wreturn-mismatch-2.c: Compile with -fpermissive due to + expected -Wreturn-mismatch error. + * gcc.dg/Wreturn-mismatch-2a.c: New test. Copied from + gcc.dg/Wreturn-mismatch-2.c. Expect the error. + * gcc.dg/diagnostic-range-bad-return.c: Compile with + -fpermissive due to expected -Wreturn-mismatch error. + * gcc.dg/diagnostic-range-bad-return-2.c: New test. + Copied from gcc.dg/diagnostic-range-bad-return.c. Expect the + error. + * gcc.dg/pr105635-2.c: Expect -Wreturn-mismatch error. + * gcc.dg/pr23075.c: Build with -fpermissive due to + expected -Wreturn-mismatch error. + * gcc.dg/pr23075-2.c: New test. Copied from gcc.dg/pr23075.c. + Expect the error. + * gcc.dg/pr29521.c: Compile with -fpermissive due to expected + -Wreturn-mismatch error. + * gcc.dg/pr29521-a.c: New test. Copied from gcc.dg/pr29521.c. + Expect error. + * gcc.dg/pr67730.c: Compile with -fpermissive due to expected + -Wreturn-mismatch error. + * gcc.dg/pr67730-a.c: New test. Copied from + gcc.dg/pr67730-a.c. Expect error. + * gcc.target/powerpc/conditional-return.c: Compile with + -fpermissive due to expected -Wreturn-mismatch error. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-system.c: Expect all -Wimplicit-int + permerrors. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (implicit_int_1, implicit_int_2) + (implicit_int_3, implicit_int_4): Expect new permerror. + * gcc.dg/permerror-system.c: Expect a single new permerror. + * gcc.dg/Wimplicit-int-1.c: Compile with -fpermissive due to + expected warning. + * gcc.dg/Wimplicit-int-4.c: Likewise. + * gcc.dg/Wimplicit-int-1a.c: New test. Copied from + gcc.dg/Wimplicit-int-1.c, but expect errors. + * gcc.dg/Wimplicit-int-4a.c: New test. Copied from + gcc.dg/Wimplicit-int-4.c, but expect errors. + * gcc.dg/gnu23-attr-syntax-2.c: Compile with -fpermissive + due to expected implicit-int error. + * gcc.dg/gnu23-attr-syntax-3.c: New test. Copied from + gcc.dg/gnu23-attr-syntax-2.c, but expect an error. + * gcc.dg/pr105635.c: Build with -fpermissive due to implicit + int. + * gcc.dg/pr105635-2.c: New test. Copied from + gcc.dg/pr105635.c. Expect implicit int error. + * gcc.dg/noncompile/pr79758.c: Build with -fpermissive due to + implicit int. + * gcc.dg/noncompile/pr79758-2.c: New test. Copied from + gcc.dg/noncompile/pr79758.c. Expect implicit int error. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (implicit_function_declaration): + Expect the new permerror. + * gcc.dg/permerror-system.c: Likewise. + * c-c++-common/spellcheck-reserved.c (test, test_2): Expect + error instead of warning. + (f): Expect error instead of warning. + * gcc.dg/Wimplicit-function-declaration-c99.c: Compile with + -fpermissive due to expected warning. + * gcc.dg/Wimplicit-function-declaration-c99-2.c: New test. + Copied from gcc.dg/Wimplicit-function-declaration-c99.c. + Expect error. + * gcc.dg/missing-header-fixit-1.c: Compile with -fpermissive + due to expect error. + * gcc.dg/missing-header-fixit-1a.c: New test. Copied from + gcc.dg/missing-header-fixit-1.c, but expect error. + * gcc.dg/missing-header-fixit-2.c: Compile with -fpermissive + due to expect error. + * gcc.dg/missing-header-fixit-2a.c: New test. Copied from + gcc.dg/missing-header-fixit-2.c, but expect error. + * gcc.dg/missing-header-fixit-4.c: Compile with -fpermissive + due to expect error. + * gcc.dg/missing-header-fixit-4a.c: New test. Copied from + gcc.dg/missing-header-fixit-4.c, but expect error. + * gcc.dg/missing-header-fixit-5.c: Compile with -fpermissive + due to expect error. + * gcc.dg/missing-header-fixit-5a.c: New test. Copied from + gcc.dg/missing-header-fixit-5.c, but expect error. + * gcc.dg/pr61852.c: Expect implicit-function-declaration + error instead of warning. + * gcc.dg/spellcheck-identifiers-2.c: Compile with + -fpermissive due to expected warnings. + * gcc.dg/spellcheck-identifiers-2a.c: New test. Copied + from gcc.dg/spellcheck-identifiers-2a.c. Expect errors. + * gcc.dg/spellcheck-identifiers-3.c: Compile with + -fpermissive due to expected warnings. + * gcc.dg/spellcheck-identifiers-3a.c: New test. Copied + from gcc.dg/spellcheck-identifiers-2a.c. Expect errors. + * gcc.dg/spellcheck-identifiers-4.c: Compile with + -fpermissive due to expected warnings. + * gcc.dg/spellcheck-identifiers-4a.c: New test. Copied + from gcc.dg/spellcheck-identifiers-2a.c. Expect error. + * gcc.dg/spellcheck-identifiers.c: Compile with + -fpermissive due to expected warnings. + * gcc.dg/spellcheck-identifiers-1a.c: New test. Copied + from gcc.dg/spellcheck-identifiers.c. Expect errors. + * gcc.target/aarch64/sve/acle/general-c/ld1sh_gather_1.c (f1): + Expect error. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_index_1.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_index_restricted_1.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_1.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_2.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_3.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_4.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_5.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_1.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_2.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_3.c: + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/load_ext_gather_offset_restricted_4.c: + (f1): Likewise. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c (int_conversion_1) + (int_conversion_2): Expect the new permerrors. + * gcc.dg/permerror-gnu89-nopermissive.c (int_conversion_1) + (int_conversion_2): Likewise. + * gcc.dg/permerror-system.c: Likewise. + * c-c++-common/pr77624-1.c (foo, bar): Expect + error instead of warning. + * gcc.dg/Wint-conversion-2.c: Compile with -fpermissive due + to expected int-conversion warning. + * gcc.dg/Wint-conversion-3.c: Likewise. + * gcc.dg/Wint-conversion-4.c: New test. Based on + gcc.dg/Wint-conversion-3.c. Expect int-conversion errors. + * gcc.dg/assign-warn-1.c: Compile with -fpermissive. + * gcc.dg/assign-warn-4.c: New file. Extracted from + assign-warn1.c. Expect int-conversion errors. + * gcc.dg/diagnostic-types-1.c: Compile with -fpermissive. + * gcc.dg/diagnostic-types-2.c: New file. Extracted from + gcc.dg/diagnostic-types-1.c. Expect some errors instead of + warnings. + * gcc.dg/gomp/pr35738.c: Compile with -fpermissive due to + expected int-conversion error. + * gcc.dg/gomp/pr35738-2.c: New test. Based on + gcc.dg/gomp/pr35738.c. Expect int-converison errors. + * gcc.dg/init-excess-3.c: Expect int-converison errors. + * gcc.dg/overflow-warn-1.c: Likewise. + * gcc.dg/overflow-warn-3.c: Likewise. + * gcc.dg/param-type-mismatch.c: Compile with -fpermissive. + * gcc.dg/param-type-mismatch-2.c: New test. Copied from + gcc.dg/param-type-mismatch.c. Expect errors. + * gcc.dg/pr61162-2.c: Compile with -fpermissive. + * gcc.dg/pr61162-3.c: New test. Extracted from + gcc.dg/pr61162-2.c. Expect int-conversion errors. + * gcc.dg/spec-barrier-3.c: Use -fpermissive due to expected + int-conversion error. + * gcc.dg/spec-barrier-3a.c: New test. Based on + gcc.dg/spec-barrier-3.c. Expect int-conversion errors. + * gcc.target/aarch64/acle/memtag_2.c: Use -fpermissive due to expected + int-conversion error. + * gcc.target/aarch64/acle/memtag_2a.c: New test. Copied from + gcc.target/aarch64/acle/memtag_2.c. Expect error. + * gcc.target/aarch64/sve/acle/general-c/load_3.c (f1): Expect + error. + * gcc.target/aarch64/sve/acle/general-c/store_2.c (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_index_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_index_restricted_1.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_offset_2.c + (f1): Likewise. + * gcc.target/aarch64/sve/acle/general-c/store_scatter_offset_restricted_1.c + (f1): Likewise. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.dg/permerror-default.c: New test. + * gcc.dg/permerror-fpermissive.c: Likewise. + * gcc.dg/permerror-fpermissive-nowarning.c: Likewise. + * gcc.dg/permerror-gnu89-nopermissive.c: Likewise. + No permerrors yet, so this matches gcc.dg/permerror-gnu89.c + for now. + * gcc.dg/permerror-gnu89-pedantic.c: New test. + * gcc.dg/permerror-gnu89.c: Likewise. + * gcc.dg/permerror-noerror.c: Likewise. + * gcc.dg/permerror-nowarning.c: Likewise. + * gcc.dg/permerror-pedantic.c: Likewise. + * gcc.dg/permerror-system.c: Likewise. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gm2/link/externalscaffold/pass/scaffold.c (m2pim_M2RTS_Terminate): + Declare. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * gcc.target/aarch64/aapcs64/ice_1.c (foo): Call named. + +2023-12-01 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + PR target/112776 + * gcc.target/riscv/rvv/vsetvl/avl_single-84.c: Adapt test. + * gcc.target/riscv/rvv/vsetvl/pr111037-3.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/pr112776.c: New test. + 2023-11-30 Marek Polacek <polacek@redhat.com> PR c++/112744 diff --git a/include/ChangeLog b/include/ChangeLog index 0806ca3..1907ce6 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2023-12-01 Jason Merrill <jason@redhat.com> + + * demangle.h (enum demangle_component_type): Add + DEMANGLE_COMPONENT_CONSTRAINTS. + 2023-11-28 Jakub Jelinek <jakub@redhat.com> * sha1.h (sha1_process_bytes_fn): New typedef. diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 2337939..c5cdc11 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,19 @@ +2023-12-01 Alexandre Oliva <oliva@adacore.com> + + * libgcc-std.ver.in (__hardcfr_check): Add to GCC_14.0.0. + +2023-12-01 Sebastian Huber <sebastian.huber@embedded-brains.de> + + PR target/112777 + * libgcov.h (GCOV_SUPPORTS_ATOMIC): Honor that __LIBGCC_HAVE_LIBATOMIC is + always defined as either 0 or 1. + +2023-12-01 Florian Weimer <fweimer@redhat.com> + + * config/aarch64/linux-unwind.h + (aarch64_fallback_frame_state): Add cast to the expected type + in sc assignment. + 2023-11-30 Wilco Dijkstra <wilco.dijkstra@arm.com> PR target/111404 diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index 02b30b3..1005bf8 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,3 +1,14 @@ +2023-12-01 Jason Merrill <jason@redhat.com> + + * cp-demangle.c (d_make_comp): Handle + DEMANGLE_COMPONENT_CONSTRAINTS. + (d_count_templates_scopes): Likewise. + (d_print_comp_inner): Likewise. + (d_maybe_constraints): New. + (d_encoding, d_template_args_1): Call it. + (d_parmlist): Handle 'Q'. + * testsuite/demangle-expected: Add some constraint tests. + 2023-11-30 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * configure.ac (GCC_CHECK_ASSEMBLER_HWCAP): Invoke. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 673e93a..87178cb 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,12 @@ +2023-12-01 Jason Merrill <jason@redhat.com> + + * include/std/bit: Avoid builtins in requires-clauses. + * include/std/variant: Likewise. + +2023-12-01 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * configure: Regenerate. + 2023-11-30 Jonathan Wakely <jwakely@redhat.com> * include/std/ranges (__detail::__toable): Fix incorrect use of |