+2020-11-25 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Use revert_regex instead
+ of string prefix. Convert sets to literals.
+
2020-11-16 Martin Liska <mliska@suse.cz>
* mklog.py: Do not call read on an input stream.
+2020-11-24 Ulrich Weigand <ulrich.weigand@de.ibm.com>
+
+ Revert:
+ 2020-11-24 Ulrich Weigand <uweigand@de.ibm.com>
+
+ * 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 <vmakarov@redhat.com>
+
+ 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 <rearnsha@arm.com>
+
+ 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 <iii@linux.ibm.com>
+
+ * config/s390/vector.md: Use vcond_comparison_operator
+ predicate.
+
+2020-11-24 Ulrich Weigand <uweigand@de.ibm.com>
+
+ * 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 <jakub@redhat.com>
+
+ PR target/97950
+ * config/i386/i386.md (*setcc_si_1_and): Macroize into...
+ (*setcc_<mode>_1_and): New define_insn_and_split with SWI24 iterator.
+ (*setcc_si_1_movzbl): Macroize into...
+ (*setcc_<mode>_1_movzbl): New define_insn_and_split with SWI24
+ iterator.
+
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ * 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 <thomas@codesourcery.com>
+
+ * omp-expand.c (expand_oacc_for): More explicit checking of which
+ OMP constructs we're expecting.
+
+2020-11-24 Thomas Schwinge <thomas@codesourcery.com>
+
+ * doc/install.texi (Prerequisites) <Tcl>: Add comment.
+
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/96929
+ * fold-const.c (wide_int_binop) <case LSHIFT_EXPR, case RSHIFT_EXPR>:
+ 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) <case LSHIFT_EXPR,
+ case RSHIFT_EXPR>: 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 <prathamesh.kulkarni@linaro.org>
+
+ 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 <msebor@redhat.com>
+
+ * tree-cfg.c (dump_function_to_file): Print type attributes
+ and return type.
+
2020-11-23 Martin Jambor <mjambor@suse.cz>
* ipa-prop.h (ipa_pass_through_data): Expand comment describing
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Analyze_Global_Item): Call SPARK_Msg_NE with the
+ entity, not with its identifier.
+
+2020-11-24 Arnaud Charlet <charlet@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * checks.adb (Apply_Access_Check): Remove unbalanced paren.
+ * exp_attr.adb (Expand_N_Attribute_Reference): Fix typo in
+ comment.
+
+2020-11-24 Justin Squirek <squirek@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Mark relevant pragmas as ghost
+ when they are within a ghost region.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * contracts.adb, freeze.adb, sem_ch12.adb, sem_prag.adb: Reuse
+ In_Same_List.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Is_Loop_Pragma): Avoid repeated calls to
+ Original_Node; remove unnecessary IF statement.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Rewrite
+ with a CASE statement.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * sem_util.adb (Is_Object_Reference): Delta and extension
+ aggregates are objects.
+
+2020-11-24 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * sem_attr.adb (Declared_Within): Return True for objects
+ declared within the attribute Loop_Entry prefix itself.
+
+2020-11-24 Yannick Moy <moy@adacore.com>
+
+ * sem_ch3.adb (Process_Discriminants): Correctly set right
+ context for analyzing default value of discriminant.
+
+2020-11-24 Arnaud Charlet <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * sem_ch12.adb (Analyze_Associations) <Explicit_Freeze_Check>: 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 <baird@adacore.com>
+
+ * 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 <moy@adacore.com>
+
+ * 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 <lacambre@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+ Update documentation on -gnatyk.
+ * gnat_ugn.texi: Regenerate.
+
+2020-11-24 Yannick Moy <moy@adacore.com>
+
+ * sem_ch10.adb (Analyze_Compilation_Unit): Move aspects from
+ body to the newly created spec.
+
+2020-11-24 Arnaud Charlet <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * libgnat/a-nbnbin.adb (From_String): Implement fully.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * 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 <moy@adacore.com>
+
+ * sem_prag.adb (Analyze_Depends_Global): Reject Global and
+ Depends on null procedure.
+
+2020-11-24 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-nbnbre.adb (From_String): Handle properly '_'
+ characters.
+
+2020-11-24 Piotr Trojanek <trojanek@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_characteristics.rst: Complete
+ entry of 3.5.9(10).
+ * gnat_rm.texi: Regenerate.
+
2020-11-20 Maciej W. Rozycki <macro@linux-mips.org>
* adaint.c (__gnat_number_of_cpus): Check for the presence of
+2020-11-24 Martin Sebor <msebor@redhat.com>
+
+ * c-warn.c (warn_parm_array_mismatch): Avoid invalid redeclarations.
+
2020-11-23 Jozef Lawrynowicz <jozef.l@mittosystems.com>
* c-attribs.c (handle_special_var_sec_attribute): New.
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <joseph@codesourcery.com>
PR c/95630
+2020-11-24 Jason Merrill <jason@redhat.com>
+
+ PR c++/97899
+ * typeck2.c (store_init_value): Don't split_nonconstant_init in a
+ template.
+
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <nathan@acm.org>
* module.cc: New dummy file.
+2020-11-24 Martin Sebor <msebor@redhat.com>
+
+ * gcc.dg/pr97955.c: New test.
+
+2020-11-24 Martin Sebor <msebor@redhat.com>
+
+ * gcc.dg/Wstringop-overflow-47.c: Add a note.
+
+2020-11-24 Jason Merrill <jason@redhat.com>
+
+ PR c++/97899
+ * g++.dg/cpp0x/initlist-template3.C: New test.
+
+2020-11-24 Martin Sebor <msebor@redhat.com>
+
+ * gfortran.dg/gomp/declare-target-4.f90: Adjust pattern to expect
+ an additional attribute and function return type.
+
+2020-11-24 Richard Earnshaw <rearnsha@arm.com>
+
+ * gcc.dg/pr97534.c: New test.
+
+2020-11-24 Richard Sandiford <richard.sandiford@arm.com>
+
+ * 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 <iii@linux.ibm.com>
+
+ * 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 <jakub@redhat.com>
+
+ PR target/97950
+ * gcc.target/i386/pr97950.c: New test.
+
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/97964
+ * gcc.dg/tree-ssa/pr97964.c: New test.
+
+2020-11-24 Thomas Schwinge <thomas@codesourcery.com>
+
+ * 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 <thomas@codesourcery.com>
+
+ * lib/gcc-dg.exp (dg-optimized, dg-missed): Use 'saved-dg-warning'
+ instead of 'saved-dg-error'.
+
+2020-11-24 Thomas Schwinge <thomas@codesourcery.com>
+
+ * 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 <jakub@redhat.com>
+
+ PR c/97958
+ * c-c++-common/gomp/pr97958.c: New test.
+
+2020-11-24 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/96929
+ * gcc.dg/tree-ssa/pr96929.c: New test.
+
+2020-11-24 Jeff Law <law@redhat.com>
+
+ * 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 <linkw@linux.ibm.com>
+
+ * 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 <prathamesh.kulkarni@linaro.org>
+
+ PR tree-optimization/97849
+ * gcc.dg/tree-ssa/pr97849.c: New test.
+
+2020-11-24 Martin Sebor <msebor@redhat.com>
+
+ * gcc.dg/attr-access-5.c: New test.
+
2020-11-23 Joseph Myers <joseph@codesourcery.com>
PR c/95630
+2020-11-24 Nathan Sidwell <nathan@acm.org>
+
+ * 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 <nathan@acm.org>
* include/cpplib.h (enum cpp_main_search): New.
+2020-11-24 Andrew Stubbs <ams@codesourcery.com>
+
+ * plugin/plugin-gcn.c: Don't redefine relocations if elf.h has them.
+ (reserved): Delete unused define.
+
+2020-11-24 Thomas Schwinge <thomas@codesourcery.com>
+
+ * 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 <kcy@codesourcery.com>
* env.c (gomp_global_icv): Remove nest_var field. Add
+2020-11-24 Jonathan Wakely <jwakely@redhat.com>
+
+ 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 <jwakely@redhat.com>
+
+ * testsuite/30_threads/jthread/95989.cc: Run all three test
+ functions, not just the first one twice.
+
+2020-11-24 Jonathan Wakely <jwakely@redhat.com>
+
+ 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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
* include/bits/semaphore_base.h