Daily bump.

This commit is contained in:
GCC Administrator 2021-05-07 00:16:33 +00:00
parent 8f51cf38bb
commit cfe82a0cbe
9 changed files with 446 additions and 1 deletions

View File

@ -1,3 +1,117 @@
2021-05-06 Martin Jambor <mjambor@suse.cz>
* ipa-sra.c (ipa_sra_dump_all_summaries): Dump edge summaries even
when there is no function summary.
(ipa_sra_summarize_function): produce edge summaries even when
bailing out early.
2021-05-06 Tom Tromey <tom@tromey.com>
* godump.c (string_hash_eq): Remove.
(go_finish): Use htab_eq_string.
2021-05-06 Tom Tromey <tom@tromey.com>
* gengtype-state.c (read_state): Use htab_eq_string.
(string_eq): Remove.
2021-05-06 Tom Tromey <tom@tromey.com>
* gensupport.c (htab_eq_string): Remove.
2021-05-06 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR ipa/97937
* debug.h (gcc_debug_hooks): Add set_ignored_loc function pointer.
* dwarf2out.h (dw_fde_node::ignored_debug): New data item.
* dbxout.c (dbx_debug_hooks, xcoff_debug_hooks): Add dummy
set_ignored_loc callbacks.
* debug.c (do_nothing_debug_hooks): Likewise.
* vmsdbgout.c (vmsdbg_debug_hooks): Likewise.
* dwarf2out.c (text_section_used, cold_text_section_used): Remove.
(in_text_section_p, last_text_label, last_cold_label,
switch_text_ranges, switch_cold_ranges): New data items.
(dwarf2out_note_section_used): Remove.
(dwarf2out_begin_prologue): Set fde->ignored_debug and
in_text_section_p.
(mark_ignored_debug_section): New helper function.
(dwarf2out_end_epilogue, dwarf2out_switch_text_section): Call
mark_ignored_debug_section.
(dwarf2_debug_hooks): Use dwarf2out_set_ignored_loc.
(dwarf2_lineno_debug_hooks): Use dummy for set_ignored_loc.
(size_of_aranges): Adjust formula for multi-part text ranges size.
(output_aranges): Output multi-part text ranges.
(dwarf2out_set_ignored_loc): New callback function.
(dwarf2out_finish): Output multi-part text ranges.
(dwarf2out_c_finalize): Clear new data items.
* final.c (final_start_function_1): Call set_ignored_loc callback.
(final_scan_insn_1): Likewise.
* ggc-page.c (gt_ggc_mx): New helper function.
* stringpool.c (gt_pch_nx): Likewise.
2021-05-06 Richard Biener <rguenther@suse.de>
* timevar.def (TV_TREE_INSERT_PHI_NODES): Remove.
(TV_TREE_SSA_REWRITE_BLOCKS): Likewise.
(TV_TREE_INTO_SSA): New.
* tree-into-ssa.c (insert_phi_nodes): Do not account separately.
(rewrite_blocks): Likewise.
(pass_data_build_ssa): Account to TV_TREE_INTO_SSA.
2021-05-06 Jakub Jelinek <jakub@redhat.com>
* tree-ssa-phiopt.c (value_replacement, minmax_replacement,
abs_replacement, xor_replacement,
cond_removal_in_popcount_clz_ctz_pattern,
replace_phi_edge_with_variable): Change type of phi argument from
gimple * to gphi *.
2021-05-06 Richard Biener <rguenther@suse.de>
* tree-ssa-loop-split.c (split_loop): Delay updating SSA form.
Output an opt-info message.
(do_split_loop_on_cond): Likewise.
(tree_ssa_split_loops): Update SSA form here.
2021-05-06 Richard Biener <rguenther@suse.de>
* tree-inline.c (tree_function_versioning): Fix DECL_BY_REFERENCE
return variable removal.
2021-05-06 Marius Hillenbrand <mhillen@linux.ibm.com>
* config/s390/s390-builtins.def (O_M5, O1_M5, ...): Remove unused macros.
(s390_vec_permi_s64, s390_vec_permi_b64, s390_vec_permi_u64)
(s390_vec_permi_dbl, s390_vpdi): Use the O3_U2 type for the immediate
operand.
* config/s390/s390.c (s390_const_operand_ok): Remove unused
values.
2021-05-06 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94589
* tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Call
spaceship_replacement.
(cond_only_block_p, spaceship_replacement): New functions.
2021-05-06 Richard Biener <rguenther@suse.de>
PR ipa/100373
* tree-emutls.c (gen_emutls_addr): Pass in whether we're
dealing with a debug use and only query existing addresses
if so.
(lower_emutls_1): Avoid splitting out addresses for debug
stmts, reset the debug stmt when we fail to find existing
lowered addresses.
(lower_emutls_phi_arg): Set wi.stmt.
2021-05-06 Christoph Muellner <cmuellner@gcc.gnu.org>
PR target/100266
* config/riscv/riscv.c (riscv_block_move_loop): Use cbranch helper.
* config/riscv/riscv.md (cbranch<mode>4): Generate helpers.
(stack_protect_test): Use cbranch helper.
2021-05-05 Eric Botcazou <ebotcazou@adacore.com>
PR target/100402

View File

@ -1 +1 @@
20210506
20210507

View File

@ -1,3 +1,199 @@
2021-05-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Build_Class_Wide_Check): Extending the
functionality of this routine to climb to the ancestors
searching for the enclosing overridden dispatching primitive
that has a class-wide precondition to generate the check.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_ch3.adb (Constraint_Index): Remove redundant problematic
analysis.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* exp_unst.adb (Note_Uplevel_Bound): Exclude
E_Enumeration_Literal.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* exp_ch4.adb (Expand_N_If_Expression):
Apply_Arithmetic_Overflow_Check will not deal with
Then/Else_Actions so skip minimizing overflow checks if any
actions are present.
2021-05-06 Boris Yakobowski <yakobowski@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Simplify logic.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* libgnat/i-c.ads (bool): New type.
* libgnat/i-cexten.ads, libgnat/i-cexten__128.ads (bool): Now
a subtype of Interfaces.C.bool.
* libgnarl/s-interr__vxworks.adb (Interrupt_Manager): Qualify
False.
* libgnarl/s-interr.adb, libgnarl/s-interr__hwint.adb,
libgnarl/s-tasini.adb, libgnarl/s-tasren.adb,
libgnarl/s-tassta.adb, libgnarl/s-tpobmu.adb,
libgnarl/s-tpobop.adb, libgnarl/s-tpopmo.adb: Replace
Assert (False) by Assert (Standard.False).
2021-05-06 Ghjuvan Lacambre <lacambre@adacore.com>
* make.adb (Compute_Executable): Document parameter.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* libgnat/s-fatgen.adb (Scaling): Use single handling of
underflow. Add pragma Annotate.
2021-05-06 Ghjuvan Lacambre <lacambre@adacore.com>
* sem_eval.adb (Is_OK_Static_Subtype): Call Is_Static_Subtype,
remove redundant checks.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_res.adb (First_Last_Ref): Simplify "if [condition] then
return True" in "return [condition]".
(Resolve_Range): Remove calls appearing in IF condition from the
THEN statements.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_case.adb (Missing_Choice): Fix typo in comment.
(Lit_Of): Simplify with Make_Character_Literal.
(Check_Choices): Remove extra spaces in parameter
specifications.
* sem_case.ads: Same reformatting.
2021-05-06 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Expand_Array_Aggregate): If the expression in an
Others_Clause has not been analyzed because previous analysis of
the enclosing aggregate showed the clause to be ineffective i.e.
cover a null range, analyze it now to detect a possible type
illegality.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* libgnat/s-fatgen.adb (Scaling): Fix off-by-one bug for underflow.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* sem_ch6.adb (Is_Inline_Pragma): Protect against N not being a
list member in both branches.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma
Warnings.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_ch4.adb (Analyze_Selected_Component): Remove explicit call
to Set_Raises_Constraint_Error on statically missing component.
* sem_eval.adb (Eval_Arithmetic_Op): Likewise for static
divisions by integer and real zeros.
* sem_util.adb (Apply_Compile_Time_Constraint_Error): Call
Set_Raises_Constraint_Error before exiting early in GNATprove
mode.
2021-05-06 Justin Squirek <squirek@adacore.com>
* checks.adb (Make_Discriminant_Constraint_Check): Add check for
null when the type being converted is an access type.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* exp_pakd.adb (Expand_Packed_Eq): Fix handling of PATs.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* osint.adb (Read_Library_Info_From_Full): Cleanup unused
initial value.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* doc/gnat_rm/implementation_defined_characteristics.rst (3.5.7):
Mention the IEEE standard explicitly. Use current format names.
Document assumed rounding mode and new features of I/O support.
* gnat_rm.texi: Regenerate.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* init.c (__gnat_init_float): Use full version on Linux too.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* libgnat/s-fatgen.adb (Valid): Do a bit comparison with 0.0
when denormalized numbers are not supported.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_attr.adb (Check_Enum_Image): Reword comment; add
Check_Enumeration_Maps parameter. Now this routine combines
both referencing enumeration literals and checking restriction
No_Enumeration_Maps, if required.
(Analyze_Attribute): Remove duplicated code and instead call
Check_Enum_Image.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* sem_attr.adb (Analyze_Image_Attribute): Remove redundant
condition; add a missing header box.
2021-05-06 Gary Dismukes <dismukes@adacore.com>
* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
mention of underscore and fix grammar error in doc for -gnatd.
* gnat_ugn.texi: Regenerate.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-exponr, s-exnflt
and s-exnlfl.
* exp_ch4.adb (Expand_N_Op_Expon): Use RE_Exn_Float for Short_Float.
* rtsfind.ads (RTU_Id): Add System_Exn_Flt and System_Exn_LFlt.
(RE_Id): Adjust entries for RE_Exn_Float and RE_Exn_Long_Float.
(RE_Unit_Table): Likewise.
* libgnat/s-exnflt.ads: New file.
* libgnat/s-exnlfl.ads: Likewise.
* libgnat/s-exnllf.ads: Change to mere instantiation.
* libgnat/s-exnllf.adb: Move implementation to...
* libgnat/s-exponr.ads: New generic unit.
* libgnat/s-exponr.adb: ...here and also make it generic.
(Expon): Do the computation in double precision internally.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* lib-writ.adb, osint.adb, osint.ads: Cleanup.
2021-05-06 Piotr Trojanek <trojanek@adacore.com>
* exp_ch3.adb (Expand_Freeze_Array_Type): Remove excessive
condition.
(Expand_N_Object_Declaration): Likewise.
(Build_Equivalent_Aggregate): Likewise.
(Initialization_Warning): Likewise; change another excessive
condition into assertion.
* freeze.adb (Freeze_Entity): Remove excessive condition.
2021-05-06 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_If_Expression): If the context of the
expression is an indexed_component, resolve the expression and
its dependent_expressions with the base type of the index, to
ensure that an index check is generated when resolving the
enclosing indexxed_component, and avoid an improper use of
discriminants out of scope, when the index type is
discriminant-dependent.
2021-05-06 Arnaud Charlet <charlet@adacore.com>
* einfo.ads, exp_prag.adb, exp_util.adb: Fix typos.
2021-05-05 Piotr Trojanek <trojanek@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Fix expansion of

View File

@ -1,3 +1,20 @@
2021-05-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/46691
PR fortran/99819
* class.c (gfc_build_class_symbol): Remove the error that
disables assumed size class arrays. Class array types that are
not deferred shape or assumed rank are given a unique name and
placed in the procedure namespace.
* trans-array.c (gfc_trans_g77_array): Obtain the data pointer
for class arrays.
(gfc_trans_dummy_array_bias): Suppress the runtime error for
extent violations in explicit shape class arrays because it
always fails.
* trans-expr.c (gfc_conv_procedure_call): Handle assumed size
class actual arguments passed to non-descriptor formal args by
using the data pointer, stored as the symbol's backend decl.
2021-05-05 Harald Anlauf <anlauf@gmx.de>
PR fortran/100274

View File

@ -1,3 +1,65 @@
2021-05-06 Joseph Myers <joseph@codesourcery.com>
PR c++/83873
PR preprocessor/97604
* g++.dg/cpp1y/digit-sep-neg-2.C,
g++.dg/cpp1y/digit-sep-pp-number.C: New tests.
* g++.dg/cpp1y/digit-sep-line-neg.C, g++.dg/cpp1y/digit-sep-neg.C:
Adjust expected messages.
2021-05-06 Martin Jambor <mjambor@suse.cz>
* gcc.dg/ipa/ipa-sra-1.c (main): Revert change done by
05193687dde, make the argv again pointer to an array.
2021-05-06 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/opt93.adb: Compile only for LP64 targets.
2021-05-06 Robin Dapp <rdapp@linux.ibm.com>
* lib/target-supports.exp: Add s390 checks for vect conversions.
2021-05-06 Robin Dapp <rdapp@linux.ibm.com>
* gcc.dg/vect/pr56541.c: Add vect_floatint_cvt.
2021-05-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/46691
PR fortran/99819
* gfortran.dg/class_dummy_6.f90: New test.
* gfortran.dg/class_dummy_7.f90: New test.
2021-05-06 Christophe Lyon <christophe.lyon@linaro.org>
PR testsuite/100355
* gcc.c-torture/execute/ieee/cdivchkld.x: New.
2021-05-06 Marius Hillenbrand <mhillen@linux.ibm.com>
* gcc.target/s390/zvector/imm-range-error-1.c: Fix test for
__builtin_s390_vpdi.
* gcc.target/s390/zvector/vec-permi.c: New test for builtin
vec_permi.
2021-05-06 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94589
* gcc.dg/pr94589-1.c: New test.
* gcc.dg/pr94589-2.c: New test.
* gcc.dg/pr94589-3.c: New test.
* gcc.dg/pr94589-4.c: New test.
* g++.dg/opt/pr94589-1.C: New test.
* g++.dg/opt/pr94589-2.C: New test.
* g++.dg/opt/pr94589-3.C: New test.
* g++.dg/opt/pr94589-4.C: New test.
2021-05-06 Richard Biener <rguenther@suse.de>
PR ipa/100373
* gcc.dg/pr100373.c: New testcase.
2021-05-05 Eric Botcazou <ebotcazou@adacore.com>
* gcc.c-torture/execute/20210505-1.c: New test.

View File

@ -1,3 +1,7 @@
2021-05-06 Tom Tromey <tom@tromey.com>
* hashtab.h (htab_eq_string): Declare.
2021-03-31 Patrick Palka <ppalka@redhat.com>
PR c++/88115

View File

@ -1,3 +1,12 @@
2021-05-06 Joseph Myers <joseph@codesourcery.com>
PR c++/83873
PR preprocessor/97604
* lex.c (lex_number): Reject adjacent digit separators here. Do
not allow digit separators before '.' or an exponent with sign.
* expr.c (cpp_classify_number): Do not check for adjacent digit
separators here.
2021-05-03 H.J. Lu <hjl.tools@gmail.com>
PR bootstrap/99703

View File

@ -1,3 +1,7 @@
2021-05-06 Tom Tromey <tom@tromey.com>
* hashtab.c (htab_eq_string): New function.
2021-05-04 Eric Botcazou <ebotcazou@adacore.com>
* configure.ac: Make test for variables more robust.

View File

@ -1,3 +1,42 @@
2021-05-06 Jonathan Wakely <jwakely@redhat.com>
* include/bits/stl_algobase.h (__copy_move, __copy_move_backward):
Improve static_assert messages.
* testsuite/25_algorithms/copy/58982.cc: Adjust expected output.
* testsuite/25_algorithms/copy_n/58982.cc: Likewise.
2021-05-06 Patrick Palka <ppalka@redhat.com>
* include/std/ranges (filter_view::_Iterator::base): Make the
const& overload unconstrained and return a const reference as
per LWG 3533. Make unconditionally noexcept.
(transform_view::_Iterator::base): Likewise.
(elements_view::_Iterator::base): Likewise.
2021-05-06 Patrick Palka <ppalka@redhat.com>
* include/bits/stl_iterator.h (move_iterator::base): Make the
const& overload unconstrained and return a const reference as
per LWG 3391. Make unconditionally noexcept.
(counted_iterator::base): Likewise.
* testsuite/24_iterators/move_iterator/lwg3391.cc: New test.
* testsuite/24_iterators/move_iterator/move_only.cc: Adjust
has_member_base concept to decay-copy the result of base().
2021-05-06 Jonathan Wakely <jwakely@redhat.com>
* include/std/type_traits (remove_cvref_t): Define in terms of
remove_cvref.
* testsuite/20_util/remove_cvref/value.cc: Check alias.
2021-05-06 Jonathan Wakely <jwakely@redhat.com>
Revert:
2021-05-05 Jonathan Wakely <jwakely@redhat.com>
* include/std/charconv (__from_chars_alnum): Pass unsigned
char to std::isdigit.
2021-05-05 Patrick Palka <ppalka@redhat.com>
* include/bits/ranges_util.h (enable_borrowed_range<subrange>):