+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
+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
+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
+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.
+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
+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
+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.
+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>):
projects / thirdparty / gcc.git / commitdiff
