diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 101 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/c-family/ChangeLog | 17 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 83 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 26 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/lto/ChangeLog | 13 | ||||
| -rw-r--r-- | gcc/objc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 71 |
9 files changed, 322 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a318a22..27e2c49 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,104 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * config/aarch64/aarch64.cc (aarch64_setup_incoming_varargs): + Check TYPE_NO_NAMED_ARGS_STDARG_P. + * config/alpha/alpha.cc (alpha_setup_incoming_varargs): Likewise. + * config/arc/arc.cc (arc_setup_incoming_varargs): Likewise. + * config/arm/arm.cc (arm_setup_incoming_varargs): Likewise. + * config/csky/csky.cc (csky_setup_incoming_varargs): Likewise. + * config/epiphany/epiphany.cc (epiphany_setup_incoming_varargs): + Likewise. + * config/fr30/fr30.cc (fr30_setup_incoming_varargs): Likewise. + * config/frv/frv.cc (frv_setup_incoming_varargs): Likewise. + * config/ft32/ft32.cc (ft32_setup_incoming_varargs): Likewise. + * config/i386/i386.cc (ix86_setup_incoming_varargs): Likewise. + * config/ia64/ia64.cc (ia64_setup_incoming_varargs): Likewise. + * config/loongarch/loongarch.cc + (loongarch_setup_incoming_varargs): Likewise. + * config/m32r/m32r.cc (m32r_setup_incoming_varargs): Likewise. + * config/mcore/mcore.cc (mcore_setup_incoming_varargs): Likewise. + * config/mips/mips.cc (mips_setup_incoming_varargs): Likewise. + * config/mmix/mmix.cc (mmix_setup_incoming_varargs): Likewise. + * config/nds32/nds32.cc (nds32_setup_incoming_varargs): Likewise. + * config/nios2/nios2.cc (nios2_setup_incoming_varargs): Likewise. + * config/riscv/riscv.cc (riscv_setup_incoming_varargs): Likewise. + * config/rs6000/rs6000-call.cc (setup_incoming_varargs): Likewise. + * config/sh/sh.cc (sh_setup_incoming_varargs): Likewise. + * config/visium/visium.cc (visium_setup_incoming_varargs): + Likewise. + * config/vms/vms-c.cc (vms_c_common_override_options): Do not set + flag_allow_parameterless_variadic_functions. + * doc/invoke.texi (-fallow-parameterless-variadic-functions): Do + not document option. + * function.cc (assign_parms): Call assign_parms_setup_varargs for + TYPE_NO_NAMED_ARGS_STDARG_P case. + * ginclude/stdarg.h [__STDC_VERSION__ > 201710L] (va_start): Make + variadic macro. Pass second argument of 0 to __builtin_va_start. + * target.def (setup_incoming_varargs): Update documentation. + * doc/tm.texi: Regenerate. + * tree-core.h (struct tree_type_common): Add + no_named_args_stdarg_p. + * tree-streamer-in.cc (unpack_ts_type_common_value_fields): Unpack + TYPE_NO_NAMED_ARGS_STDARG_P. + * tree-streamer-out.cc (pack_ts_type_common_value_fields): Pack + TYPE_NO_NAMED_ARGS_STDARG_P. + * tree.cc (type_cache_hasher::equal): Compare + TYPE_NO_NAMED_ARGS_STDARG_P. + (build_function_type): Add argument no_named_args_stdarg_p. + (build_function_type_list_1, build_function_type_array_1) + (reconstruct_complex_type): Update calls to build_function_type. + (stdarg_p, prototype_p): Return true for (...) functions. + (gimple_canonical_types_compatible_p): Compare + TYPE_NO_NAMED_ARGS_STDARG_P. + * tree.h (TYPE_NO_NAMED_ARGS_STDARG_P): New. + (build_function_type): Update prototype. + +2022-10-28 Andre Vieira <andre.simoesdiasvieira@arm.com> + + PR tree-optimization/107346 + * tree-vect-data-refs.cc (vect_check_gather_scatter): Reject offsets + that aren't multiples of BITS_PER_UNIT. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107407 + * tree-ssa-dse.cc (dse_classify_store): Perform backedge + varying index check when collecting PHI uses rather than + after optimizing processing of the candidate defs. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107447 + * tree-ssa-loop-im.cc (determine_max_movement): Do not + hoist returns-twice calls. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107435 + * tree-vect-loop.cc (vectorizable_recurr): Convert initial + value to vector component type. + +2022-10-28 Julian Brown <julian@codesourcery.com> + Thomas Schwinge <thomas@codesourcery.com> + + PR middle-end/90115 + * omp-low.cc (oacc_privatization_candidate_p): Artificial vars are not + privatization candidates. + +2022-10-28 Martin Liska <mliska@suse.cz> + + PR sanitizer/107298 + * doc/invoke.texi: Document sanitizers can trigger warnings. + +2022-10-28 Thomas Schwinge <thomas@codesourcery.com> + + * doc/makefile.texi (Makefile Targets): Document + 'distclean-stage[N]'. + +2022-10-28 Aldy Hernandez <aldyh@redhat.com> + + * value-range.cc (range_tests_floats): Use HONOR_INFINITIES. + 2022-10-27 Eric Botcazou <ebotcazou@adacore.com> * config/aarch64/aarch64.h (DONT_USE_BUILTIN_SETJMP): Delete. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7109ae3..06511cc 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221028 +20221029 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index ee7b511..32e8fb1 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,20 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * c-common.cc (def_fn_type): Call build_function_type for + zero-argument variable-argument function. + (c_common_nodes_and_builtins): Build default_function_type with + build_function_type. + * c.opt (fallow-parameterless-variadic-functions): Mark as ignored + option. + +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + PR c/61469 + * c-common.h (ENUM_UNDERLYING_TYPE, ENUM_FIXED_UNDERLYING_TYPE_P): + New. Moved from cp/cp-tree.h. + * c-warn.cc (warnings_for_convert_and_check): Do not consider + conversions to enum with underlying type bool to overflow. + 2022-10-26 Marek Polacek <polacek@redhat.com> PR c++/106393 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 2ac8eaa..4e71198 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,86 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * c-decl.cc (grokdeclarator): Pass + arg_info->no_named_args_stdarg_p to build_function_type. + (grokparms): Check arg_info->no_named_args_stdarg_p before + converting () to (void). + (build_arg_info): Initialize no_named_args_stdarg_p. + (get_parm_info): Set no_named_args_stdarg_p. + (start_function): Pass TYPE_NO_NAMED_ARGS_STDARG_P to + build_function_type. + (store_parm_decls): Count (...) functions as prototyped. + * c-parser.cc (c_parser_direct_declarator): Allow '...' after open + parenthesis to start parameter list. + (c_parser_parms_list_declarator): Always allow '...' with no + arguments, call pedwarn_c11 and set no_named_args_stdarg_p. + * c-tree.h (struct c_arg_info): Add field no_named_args_stdarg_p. + * c-typeck.cc (composite_type): Handle + TYPE_NO_NAMED_ARGS_STDARG_P. + (function_types_compatible_p): Compare + TYPE_NO_NAMED_ARGS_STDARG_P. + +2022-10-28 Jakub Jelinek <jakub@redhat.com> + + * c-parser.cc (c_parser_omp_all_clauses): Allow optional + comma before the first clause. + (c_parser_omp_allocate, c_parser_omp_atomic, c_parser_omp_depobj, + c_parser_omp_flush, c_parser_omp_scan_loop_body, + c_parser_omp_ordered, c_finish_omp_declare_variant, + c_parser_omp_declare_target, c_parser_omp_declare_reduction, + c_parser_omp_requires, c_parser_omp_error, + c_parser_omp_assumption_clauses): Likewise. + +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + PR c/61469 + * c-convert.cc (c_convert): Handle enums with underlying boolean + type like bool. + * c-decl.cc (shadow_tag_warned): Allow shadowing declarations for + enums with enum type specifier, but give errors for storage class + specifiers, qualifiers or alignment specifiers in non-definition + declarations of such enums. + (grokdeclarator): Give error for non-definition use of type + specifier with an enum type specifier. + (parser_xref_tag): Add argument has_enum_type_specifier. Pass it + to lookup_tag and use it to set ENUM_FIXED_UNDERLYING_TYPE_P. + (xref_tag): Update call to parser_xref_tag. + (start_enum): Add argument fixed_underlying_type. Complete enum + type with a fixed underlying type given in the definition. Give + error for defining without a fixed underlying type in the + definition if one was given in a prior declaration. Do not mark + enums with fixed underlying type as packed for -fshort-enums. + Store the enum type in the_enum. + (finish_enum): Do not adjust types of values or check their range + for an enum with a fixed underlying type. Set underlying type of + enum and variants. + (build_enumerator): Check enumeration constants for enum with + fixed underlying type against that type and convert to that type. + Increment in the underlying integer type, with handling for bool. + (c_simulate_enum_decl): Update call to start_enum. + (declspecs_add_type): Set specs->enum_type_specifier_ref_p. + * c-objc-common.cc (c_get_alias_set): Use ENUM_UNDERLYING_TYPE + rather than recomputing an underlying type based on size. + * c-parser.cc (c_parser_declspecs) + (c_parser_struct_or_union_specifier, c_parser_typeof_specifier): + Set has_enum_type_specifier for type specifiers. + (c_parser_enum_specifier): Handle enum type specifiers. + (c_parser_struct_or_union_specifier): Update call to + parser_xref_tag. + (c_parser_omp_atomic): Check for boolean increment or decrement + using C_BOOLEAN_TYPE_P. + * c-tree.h (C_BOOLEAN_TYPE_P): New. + (struct c_typespec): Add has_enum_type_specifier. + (struct c_declspecs): Add enum_type_specifier_ref_p. + (struct c_enum_contents): Add enum_type. + (start_enum, parser_xref_tag): Update prototypes. + * c-typeck.cc (composite_type): Allow for enumerated types + compatible with bool. + (common_type, comptypes_internal, perform_integral_promotions): + Use ENUM_UNDERLYING_TYPE. + (parser_build_binary_op, build_unary_op, convert_for_assignment) + (c_finish_return, c_start_switch, build_binary_op): Check for + boolean types using C_BOOLEAN_TYPE_P. + 2022-10-24 Jakub Jelinek <jakub@redhat.com> PR c++/107358 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index d065fd1..82629ef 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,29 @@ +2022-10-28 Marek Polacek <polacek@redhat.com> + + * call.cc (maybe_warn_dangling_reference): Enable the warning in + system headers if the decl isn't in a system header. + +2022-10-28 Jason Merrill <jason@redhat.com> + + * decl.cc (grokdeclarator): Call decl_attributes before do_friend. + +2022-10-28 Jakub Jelinek <jakub@redhat.com> + + * parser.cc (cp_parser_omp_all_clauses): Allow optional comma + before the first clause even in pragma syntax. + (cp_parser_omp_allocate, cp_parser_omp_atomic, cp_parser_omp_depobj, + cp_parser_omp_flush, cp_parser_omp_scan_loop_body, + cp_parser_omp_ordered, cp_parser_omp_assumption_clauses, + cp_finish_omp_declare_variant, cp_parser_omp_declare_target, + cp_parser_omp_declare_reduction_exprs, cp_parser_omp_requires, + cp_parser_omp_error): Likewise. + +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + PR c/61469 + * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P, ENUM_UNDERLYING_TYPE): + Remove. Moved to c-common.h. + 2022-10-27 Jakub Jelinek <jakub@redhat.com> PR c++/107379 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 1ca82cd..7b2d93b 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * trans-types.cc (gfc_get_function_type): Do not use + build_varargs_function_type_vec for unprototyped function. + 2022-10-26 Harald Anlauf <anlauf@gmx.de> PR fortran/103413 diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index e36fa44..b350d50 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,16 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * lto-common.cc (compare_tree_sccs_1): Compare + TYPE_NO_NAMED_ARGS_STDARG_P. + +2022-10-28 Martin Liska <mliska@suse.cz> + + * lto-dump.cc (dump_list): Remove trailing return. + (dump_symbol): Likewise. + (dump_body): Filter name based on mangled name. + (dump_tool_help): Use GIMPLE wording. + (lto_main): Update wording. + 2022-10-27 Martin Liska <mliska@suse.cz> PR lto/107418 diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog index a83c3c7..2584520 100644 --- a/gcc/objc/ChangeLog +++ b/gcc/objc/ChangeLog @@ -1,3 +1,8 @@ +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * objc-next-runtime-abi-01.cc (build_next_objc_exception_stuff): + Use build_function_type to build type of objc_setjmp_decl. + 2022-10-07 Martin Liska <mliska@suse.cz> * objc-gnu-runtime-abi-01.cc (generate_static_references): diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 83d372a..90c3b92 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,74 @@ +2022-10-28 Marek Polacek <polacek@redhat.com> + + * g++.dg/warn/Wdangling-reference4.C: New test. + +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + * gcc.dg/c11-stdarg-1.c, gcc.dg/c11-stdarg-2.c, + gcc.dg/c11-stdarg-3.c, gcc.dg/c2x-stdarg-1.c, + gcc.dg/c2x-stdarg-2.c, gcc.dg/c2x-stdarg-3.c, + gcc.dg/c2x-stdarg-4.c, gcc.dg/gnu2x-stdarg-1.c, + gcc.dg/torture/c2x-stdarg-split-1a.c, + gcc.dg/torture/c2x-stdarg-split-1b.c: New tests. + * gcc.dg/Wold-style-definition-2.c, gcc.dg/format/sentinel-1.c: + Update expected diagnostics. + * gcc.dg/c2x-nullptr-1.c (test5): Cast unused parameter to (void). + * gcc.dg/diagnostic-token-ranges.c: Use -pedantic. Expect warning + in place of error. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107407 + * gcc.dg/torture/pr107407.c: New testcase. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107447 + * gcc.dg/torture/pr107447.c: New testcase. + +2022-10-28 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107435 + * gcc.dg/torture/pr107435.c: New testcase. + +2022-10-28 Jakub Jelinek <jakub@redhat.com> + + * c-c++-common/gomp/directive-1.c: New test. + * c-c++-common/gomp/clauses-6.c: New test. + * c-c++-common/gomp/declare-variant-2.c (f75a): Declare. + (f75): Use f75a as variant instead of f1 and don't expect error. + * g++.dg/gomp/clause-4.C (foo): Don't expect error on comma + before first clause. + * gcc.dg/gomp/clause-2.c (foo): Likewise. + +2022-10-28 Richard Biener <rguenther@suse.de> + + * gcc.dg/vect/pr100756.c: Adjust for larger vectors. + +2022-10-28 Thomas Schwinge <thomas@codesourcery.com> + + * gcc.dg/vect/bb-slp-cond-1.c: Fix target selector syntax. + +2022-10-28 Kewen Lin <linkw@linux.ibm.com> + + PR testsuite/107240 + * gcc.dg/vect/vect-bitfield-read-1.c: Add effective target checking + vect_shift. + * gcc.dg/vect/vect-bitfield-read-3.c: Likewise. + * gcc.dg/vect/vect-bitfield-read-5.c: Likewise. + * gcc.dg/vect/vect-bitfield-read-6.c: Likewise. + * gcc.dg/vect/vect-bitfield-read-7.c: Likewise. + * gcc.dg/vect/vect-bitfield-read-2.c: Add effective target checking + vect_shift and replace vect_int with vect_long_long. + * gcc.dg/vect/vect-bitfield-read-4.c: Likewise. + +2022-10-28 Joseph Myers <joseph@codesourcery.com> + + PR c/61469 + * gcc.dg/c11-enum-4.c, gcc.dg/c11-enum-5.c, gcc.dg/c11-enum-6.c, + gcc.dg/c2x-enum-6.c, gcc.dg/c2x-enum-7.c, gcc.dg/c2x-enum-8.c, + gcc.dg/gnu2x-enum-1.c: New tests. + 2022-10-27 H.J. Lu <hjl.tools@gmail.com> PR target/107172 |