From 1e2c9a2761097a6758b6aaaf612d629aa7e9febf Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 25 Nov 2020 09:34:01 +0000 Subject: [PATCH] Daily bump. --- contrib/ChangeLog | 5 + gcc/ChangeLog | 102 +++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 219 ++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 4 + gcc/c/ChangeLog | 7 ++ gcc/cp/ChangeLog | 13 +++ gcc/testsuite/ChangeLog | 96 ++++++++++++++++++ libcpp/ChangeLog | 26 +++++ libgomp/ChangeLog | 11 ++ libstdc++-v3/ChangeLog | 28 +++++ 11 files changed, 512 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index a7454fc3f94..9bd36a5f8ac 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2020-11-25 Martin Liska + + * gcc-changelog/git_commit.py: Use revert_regex instead + of string prefix. Convert sets to literals. + 2020-11-16 Martin Liska * mklog.py: Do not call read on an input stream. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c3b3201c9b6..0f05ad18b45 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,105 @@ +2020-11-24 Ulrich Weigand + + Revert: + 2020-11-24 Ulrich Weigand + + * doc/invoke.texi (-ffast-math): Remove mention of -fno-signaling-nans. + Clarify conditions when __FAST_MATH__ preprocessor macro is defined. + * opts.c (common_handle_option): Pass OPTS_SET to set_fast_math_flags + and set_unsafe_math_optimizations_flags. + (set_fast_math_flags): Add OPTS_SET argument, and use it to avoid + setting flags already explicitly set on the command line. In the !set + case, also reset x_flag_cx_limited_range and x_flag_excess_precision. + Never reset x_flag_signaling_nans or x_flag_rounding_math. + (set_unsafe_math_optimizations_flags): Add OPTS_SET argument, and use + it to avoid setting flags already explicitly set on the command line. + (fast_math_flags_set_p): Also test x_flag_cx_limited_range, + x_flag_associative_math, x_flag_reciprocal_math, and + x_flag_rounding_math. + +2020-11-24 Vladimir Makarov + + PR bootstrap/97933 + * lra.c (lra_process_new_insns): Stop on the first real insn after + head of e->dest. + +2020-11-24 Richard Earnshaw + + PR target/97534 + * config/arm/arm.c (arm_split_atomic_op): Use gen_int_mode when + negating a const_int. + +2020-11-24 Ilya Leoshkevich + + * config/s390/vector.md: Use vcond_comparison_operator + predicate. + +2020-11-24 Ulrich Weigand + + * doc/invoke.texi (-ffast-math): Remove mention of -fno-signaling-nans. + Clarify conditions when __FAST_MATH__ preprocessor macro is defined. + * opts.c (common_handle_option): Pass OPTS_SET to set_fast_math_flags + and set_unsafe_math_optimizations_flags. + (set_fast_math_flags): Add OPTS_SET argument, and use it to avoid + setting flags already explicitly set on the command line. In the !set + case, also reset x_flag_cx_limited_range and x_flag_excess_precision. + Never reset x_flag_signaling_nans or x_flag_rounding_math. + (set_unsafe_math_optimizations_flags): Add OPTS_SET argument, and use + it to avoid setting flags already explicitly set on the command line. + (fast_math_flags_set_p): Also test x_flag_cx_limited_range, + x_flag_associative_math, x_flag_reciprocal_math, and + x_flag_rounding_math. + +2020-11-24 Jakub Jelinek + + PR target/97950 + * config/i386/i386.md (*setcc_si_1_and): Macroize into... + (*setcc__1_and): New define_insn_and_split with SWI24 iterator. + (*setcc_si_1_movzbl): Macroize into... + (*setcc__1_movzbl): New define_insn_and_split with SWI24 + iterator. + +2020-11-24 Jakub Jelinek + + * gimple-fold.c (clear_padding_flush): If a word contains only 0 + or 0xff bytes of padding other than all set, all clear, all set + followed by all clear or all clear followed by all set, don't emit + a RMW operation on the whole word or parts of it, but instead + clear the individual bytes of padding. For paddings of one byte + size, don't use char[1] and {}, but instead just char and 0. + +2020-11-24 Thomas Schwinge + + * omp-expand.c (expand_oacc_for): More explicit checking of which + OMP constructs we're expecting. + +2020-11-24 Thomas Schwinge + + * doc/install.texi (Prerequisites) : Add comment. + +2020-11-24 Jakub Jelinek + + PR tree-optimization/96929 + * fold-const.c (wide_int_binop) : + Return false on negative second argument rather than trying to handle + it as shift in the other direction. + * tree-ssa-ccp.c (bit_value_binop) : Punt on negative shift count rather than trying + to handle it as shift in the other direction. + * match.pd (-1 >> x to -1): Remove tree_expr_nonnegative_p check. + +2020-11-24 Prathamesh Kulkarni + + PR tree-optimization/97849 + * tree-if-conv.c (tree_if_conversion): Move ssa_name + replacement code from ifcvt_local_dce to this function + before calling do_rpo_vn. + +2020-11-24 Martin Sebor + + * tree-cfg.c (dump_function_to_file): Print type attributes + and return type. + 2020-11-23 Martin Jambor * ipa-prop.h (ipa_pass_through_data): Expand comment describing diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b33fafcefbd..a2b688586c3 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201124 +20201125 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 01c02e3d394..7fe4449f69a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,222 @@ +2020-11-24 Piotr Trojanek + + * sem_prag.adb (Analyze_Global_Item): Call SPARK_Msg_NE with the + entity, not with its identifier. + +2020-11-24 Arnaud Charlet + + * opt.ads (Generate_Asm): New flag. + * osint-c.adb (Set_Output_Object_File_Name): Accept any + extension when generating assembly. + * adabkend.adb (Scan_Compiler_Args): Recognize -S. + +2020-11-24 Piotr Trojanek + + * exp_attr.adb, exp_ch4.adb, exp_intr.adb, sem_ch8.adb, + sem_res.adb, sem_type.adb, sem_util.adb: Reuse Is_Packed_Array. + +2020-11-24 Piotr Trojanek + + * checks.adb (Apply_Access_Check): Remove unbalanced paren. + * exp_attr.adb (Expand_N_Attribute_Reference): Fix typo in + comment. + +2020-11-24 Justin Squirek + + * sem_prag.adb (Analyze_Pragma): Mark relevant pragmas as ghost + when they are within a ghost region. + +2020-11-24 Piotr Trojanek + + * contracts.adb, freeze.adb, sem_ch12.adb, sem_prag.adb: Reuse + In_Same_List. + +2020-11-24 Piotr Trojanek + + * sem_prag.adb (Is_Loop_Pragma): Avoid repeated calls to + Original_Node; remove unnecessary IF statement. + +2020-11-24 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Rewrite + with a CASE statement. + +2020-11-24 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Replace calls to + Sloc with a local constant Loc; remove call to + Analyze_And_Resolve and return, which is exactly what happens + anyway (and other branches in the Constrained declare block + appear to rely on analysis, resolution and returning happening + in all cases). + * sem_util.adb: Remove useless parens. + +2020-11-24 Piotr Trojanek + + * sem_util.adb (Is_Object_Reference): Delta and extension + aggregates are objects. + +2020-11-24 Ghjuvan Lacambre + + * libgnat/s-rident.ads (System.Rident): Register new restriction + IDs. + * par-ch13.adb (Get_Aspect_Specifications): Add restriction check. + * par-prag.adb (Process_Restrictions_Or_Restriction_Warnings): + Register No_Unrecognized_Aspects restriction. + * sem_prag.adb (Analyze_Pragma): Add restriction check. + * snames.ads-tmpl: Create restriction names. + +2020-11-24 Piotr Trojanek + + * sem_attr.adb (Declared_Within): Return True for objects + declared within the attribute Loop_Entry prefix itself. + +2020-11-24 Yannick Moy + + * sem_ch3.adb (Process_Discriminants): Correctly set right + context for analyzing default value of discriminant. + +2020-11-24 Arnaud Charlet + + * sem_type.adb (Add_One_Interp.Is_Universal_Operation): Account + for universal_access = operator. + (Disambiguate): Take into account preference on universal_access + = operator when relevant. + (Disambiguate.Is_User_Defined_Anonymous_Access_Equality): New. + +2020-11-24 Arnaud Charlet + + * exp_util.adb (Is_Finalizable_Transient): Take into account return + statements containing N_Expression_With_Actions. Also clean up a + condition to make it more readable. + * exp_ch6.adb: Fix typo. + +2020-11-24 Eric Botcazou + + * libgnat/a-wtdeio.adb (TFT): Delete and adjust throughout. + * libgnat/a-wtenau.adb (TFT): Likewise. + * libgnat/a-wtfiio.adb (TFT): Likewise. + * libgnat/a-wtflio.adb (TFT): Likewise. + * libgnat/a-wtinio.adb (TFT): Likewise. + * libgnat/a-wtinio__128.adb (TFT): Likewise. + * libgnat/a-wtmoio.adb (TFT): Likewise. + * libgnat/a-wtmoio__128.adb (TFT): Likewise. + * libgnat/a-ztdeio.adb (TFT): Likewise. + * libgnat/a-ztenau.adb (TFT): Likewise. + * libgnat/a-ztfiio.adb (TFT): Likewise. + * libgnat/a-ztflio.adb (TFT): Likewise. + * libgnat/a-ztinio.adb (TFT): Likewise. + * libgnat/a-ztinio__128.adb (TFT): Likewise. + * libgnat/a-ztmoio.adb (TFT): Likewise. + * libgnat/a-ztmoio__128.adb (TFT): Likewise. + +2020-11-24 Arnaud Charlet + + * sem_ch13.adb (Validate_Literal_Aspect): Add support for named + numbers and in particular overload of the Real_Literal function. + * sem_res.adb (Resolve): Add support for named numbers in + Real_Literal and Integer_Literal resolution. + * einfo.adb, einfo.ads (Related_Expression, + Set_Related_Expression): Allow E_Function. + * uintp.ads (UI_Image_Max): Bump size of buffer to avoid loosing + precision. + * sem_eval.adb: Fix typo in comment. + * libgnat/a-nbnbin.adb, libgnat/a-nbnbin.ads (From_String): + Return a Valid_Big_Integer. + * libgnat/a-nbnbre.adb, libgnat/a-nbnbre.ads (From_String): New + variant taking two strings. Return a Valid_Big_Real. + +2020-11-24 Eric Botcazou + + * sem_ch12.adb (Analyze_Associations) : Test + that the instance is in a statement sequence instead of local scope. + (Freeze_Subprogram_Body): Use the special delayed placement with + regard to the parent instance only if its Sloc is strictly greater. + (Install_Body): Likewise. + +2020-11-24 Steve Baird + + * sem_ch13.adb (Validate_Literal_Aspect): Call to Base_Type + needed in order to correctly check result type of String_Literal + function when the first named subtype differs from the base + type (e.g.: + type T is range 1 .. 10 with String_Literal => ... ; + ). + +2020-11-24 Yannick Moy + + * sem_prag.adb (Analyze_Global_Item): Handle specially the + current instance of a PO. + * sem_util.ads (Is_Effectively_Volatile, + Is_Effectively_Volatile_For_Reading): Add parameter + Ignore_Protected. + * sem_util.adb (Is_Effectively_Volatile, + Is_Effectively_Volatile_For_Reading): Add parameter + Ignore_Protected to compute the query results ignoring protected + objects/types. + (Is_Effectively_Volatile_Object, + Is_Effectively_Volatile_Object_For_Reading): Adapt to new + signature. + +2020-11-24 Ghjuvan Lacambre + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Update documentation on -gnatyk. + * gnat_ugn.texi: Regenerate. + +2020-11-24 Yannick Moy + + * sem_ch10.adb (Analyze_Compilation_Unit): Move aspects from + body to the newly created spec. + +2020-11-24 Arnaud Charlet + + * exp_ch6.adb (Add_Cond_Expression_Extra_Actual): Simplify + handling of function calls and remove bug in handling of + transient objects. Minor reformatting along the way. + +2020-11-24 Arnaud Charlet + + * libgnat/a-nbnbin.adb (From_String): Implement fully. + +2020-11-24 Piotr Trojanek + + * sem_aggr.adb (Resolve_Delta_Array_Aggregate): If the choice is + a subtype_indication then call + Resolve_Discrete_Subtype_Indication; both for choices + immediately inside array delta aggregates and inside + iterated_component_association within array delta aggregates. + +2020-11-24 Piotr Trojanek + + * lib-load.adb, lib-writ.adb, lib.adb, par-load.adb, + rtsfind.adb, sem_ch10.adb: Use Present where possible. + +2020-11-24 Yannick Moy + + * sem_prag.adb (Analyze_Depends_Global): Reject Global and + Depends on null procedure. + +2020-11-24 Arnaud Charlet + + * libgnat/a-nbnbre.adb (From_String): Handle properly '_' + characters. + +2020-11-24 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_Array_Aggregate, + Expand_SPARK_N_Aggregate): Remove, no longer needed. + * sem_aggr.adb (Resolve_Iterated_Component_Association): Only + remove references in the analyzed expression when generating + code and the expression needs to be analyzed anew after being + rewritten into a loop. + +2020-11-24 Eric Botcazou + + * doc/gnat_rm/implementation_defined_characteristics.rst: Complete + entry of 3.5.9(10). + * gnat_rm.texi: Regenerate. + 2020-11-20 Maciej W. Rozycki * adaint.c (__gnat_number_of_cpus): Check for the presence of diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 10cb51dcd38..c3af98e8776 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2020-11-24 Martin Sebor + + * c-warn.c (warn_parm_array_mismatch): Avoid invalid redeclarations. + 2020-11-23 Jozef Lawrynowicz * c-attribs.c (handle_special_var_sec_attribute): New. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index e5060340b17..fde2f96e8ba 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,10 @@ +2020-11-24 Jakub Jelinek + + PR c/97958 + * c-parser.c (c_parser_binary_expression): For omp atomic binary + expressions, use make_node instead of build2 to avoid checking build2 + performs. + 2020-11-23 Joseph Myers PR c/95630 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 76c1f158c09..be56219b40a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,16 @@ +2020-11-24 Jason Merrill + + PR c++/97899 + * typeck2.c (store_init_value): Don't split_nonconstant_init in a + template. + +2020-11-24 Jakub Jelinek + + PR tree-optimization/96929 + * constexpr.c (cxx_eval_binary_expression): For shifts by constant + with MSB set, emulate older wide_int_binop behavior to preserve + diagnostics and -fpermissive behavior. + 2020-11-23 Nathan Sidwell * module.cc: New dummy file. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f1cd406f384..b189ac43587 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,99 @@ +2020-11-24 Martin Sebor + + * gcc.dg/pr97955.c: New test. + +2020-11-24 Martin Sebor + + * gcc.dg/Wstringop-overflow-47.c: Add a note. + +2020-11-24 Jason Merrill + + PR c++/97899 + * g++.dg/cpp0x/initlist-template3.C: New test. + +2020-11-24 Martin Sebor + + * gfortran.dg/gomp/declare-target-4.f90: Adjust pattern to expect + an additional attribute and function return type. + +2020-11-24 Richard Earnshaw + + * gcc.dg/pr97534.c: New test. + +2020-11-24 Richard Sandiford + + * gcc.target/aarch64/aapcs64/abitest.h (FUNC_VAL_CHECK): Use + noipa rather than noinline. + * gcc.target/aarch64/aapcs64/abitest-2.h (FUNC_VAL_CHECK): Likewise. + +2020-11-24 Ilya Leoshkevich + + * gcc.target/s390/zvector/autovec-double-quiet-uneq.c: Expect + that "vx" is not emitted. + * gcc.target/s390/zvector/autovec-float-quiet-uneq.c: Likewise. + +2020-11-24 Jakub Jelinek + + PR target/97950 + * gcc.target/i386/pr97950.c: New test. + +2020-11-24 Jakub Jelinek + + PR tree-optimization/97964 + * gcc.dg/tree-ssa/pr97964.c: New test. + +2020-11-24 Thomas Schwinge + + * c-c++-common/goacc/kernels-decompose-1.c: Avoid Tcl 8.5-specific + behavior. + * c-c++-common/goacc/kernels-decompose-2.c: Likewise. + * gfortran.dg/goacc/kernels-decompose-1.f95: Likewise. + * gfortran.dg/goacc/kernels-decompose-2.f95: Likewise. + +2020-11-24 Thomas Schwinge + + * lib/gcc-dg.exp (dg-optimized, dg-missed): Use 'saved-dg-warning' + instead of 'saved-dg-error'. + +2020-11-24 Thomas Schwinge + + * lib/gcc-dg.exp (dg-optimized, dg-missed): Fix 'process-message' + call. + * gcc.dg/vect/nodump-vect-opt-info-1.c: Demonstrate. + * gcc.dg/vect/nodump-vect-opt-info-2.c: Likewise. + +2020-11-24 Jakub Jelinek + + PR c/97958 + * c-c++-common/gomp/pr97958.c: New test. + +2020-11-24 Jakub Jelinek + + PR tree-optimization/96929 + * gcc.dg/tree-ssa/pr96929.c: New test. + +2020-11-24 Jeff Law + + * gcc.dg/tree-ssa/pr23401.c: Update expected output. + * gcc.dg/tree-ssa/pr27810.c: Update expected output. + * gcc.dg/tree-ssa/slsr-8.c: Update expected output. + +2020-11-24 Kewen Lin + + * gcc.dg/vect/slp-perm-1.c: Adjust for partial vectors. + * gcc.dg/vect/slp-perm-5.c: Likewise. + * gcc.dg/vect/slp-perm-6.c: Likewise. + * gcc.dg/vect/slp-perm-7.c: Likewise. + +2020-11-24 Prathamesh Kulkarni + + PR tree-optimization/97849 + * gcc.dg/tree-ssa/pr97849.c: New test. + +2020-11-24 Martin Sebor + + * gcc.dg/attr-access-5.c: New test. + 2020-11-23 Joseph Myers PR c/95630 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 144308396fb..307d0a2664c 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,29 @@ +2020-11-24 Nathan Sidwell + + * include/cpplib.h (struct cpp_hashnode): Add deferred field. + (cpp_set_deferred_macro): Define. + (cpp_get_deferred_macro): Declare. + (cpp_macro_definition): Reformat, add overload. + (cpp_macro_definition_location): Deal with deferred macro. + (cpp_alloc_token_string, cpp_compare_macro): Declare. + * internal.h (_cpp_notify_macro_use): Return bool + (_cpp_maybe_notify_macro_use): Likewise. + * directives.c (do_undef): Check macro is not undef before + warning. + (do_ifdef, do_ifndef): Deal with deferred macro. + * expr.c (parse_defined): Likewise. + * lex.c (cpp_allocate_token_string): Break out of ... + (create_literal): ... here. Call it. + (cpp_maybe_module_directive): Deal with deferred macro. + * macro.c (cpp_get_token_1): Deal with deferred macro. + (warn_of_redefinition): Deal with deferred macro. + (compare_macros): Rename to ... + (cpp_compare_macro): ... here. Make extern. + (cpp_get_deferred_macro): New. + (_cpp_notify_macro_use): Deal with deferred macro, return bool + indicating definedness. + (cpp_macro_definition): Deal with deferred macro. + 2020-11-19 Nathan Sidwell * include/cpplib.h (enum cpp_main_search): New. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 13dd2a5f3e9..9296697200d 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,14 @@ +2020-11-24 Andrew Stubbs + + * plugin/plugin-gcn.c: Don't redefine relocations if elf.h has them. + (reserved): Delete unused define. + +2020-11-24 Thomas Schwinge + + * testsuite/libgomp.oacc-c-c++-common/kernels-decompose-1.c: Avoid + Tcl 8.5-specific behavior. + * testsuite/libgomp.oacc-fortran/pr94358-1.f90: Likewise. + 2020-11-18 Kwok Cheung Yeung * env.c (gomp_global_icv): Remove nest_var field. Add diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 28e8fc3c5d5..a609d90156e 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,31 @@ +2020-11-24 Jonathan Wakely + + PR libstdc++/97936 + PR libstdc++/97944 + * testsuite/29_atomics/atomic_integral/wait_notify.cc: Disable. + Do not require pthreads, but add -pthread when appropriate. + * testsuite/30_threads/jthread/95989.cc: Likewise. + * testsuite/30_threads/latch/3.cc: Likewise. + * testsuite/30_threads/semaphore/try_acquire_until.cc: Likewise. + +2020-11-24 Jonathan Wakely + + * testsuite/30_threads/jthread/95989.cc: Run all three test + functions, not just the first one twice. + +2020-11-24 Jonathan Wakely + + PR libstdc++/67791 + * src/c++11/thread.cc (thread::_M_start_thread(_State_ptr, void (*)())): + Check that gthreads is available before calling __gthread_create. + +2020-11-24 Jonathan Wakely + + * src/c++98/locale.cc (locale::facet::_S_get_c_locale()) + (locale::id::_M_id() const): Use __is_single_threaded. + * src/c++98/locale_init.cc (locale::_S_initialize()): + Likewise. + 2020-11-23 Jonathan Wakely * include/bits/semaphore_base.h -- 2.30.2