Daily bump.

This commit is contained in:
GCC Administrator 2020-11-25 09:34:01 +00:00
parent d3e763efcb
commit 1e2c9a2761
11 changed files with 512 additions and 1 deletions

View File

@ -1,3 +1,8 @@
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.

View File

@ -1,3 +1,105 @@
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

View File

@ -1 +1 @@
20201124
20201125

View File

@ -1,3 +1,222 @@
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

View File

@ -1,3 +1,7 @@
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.

View File

@ -1,3 +1,10 @@
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

View File

@ -1,3 +1,16 @@
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.

View File

@ -1,3 +1,99 @@
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

View File

@ -1,3 +1,29 @@
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.

View File

@ -1,3 +1,14 @@
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

View File

@ -1,3 +1,31 @@
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