From cff72485b1d5682a0c55f45b6e6f023c98739862 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 14 Jul 2022 00:16:48 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 38 ++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 240 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 19 ++++ gcc/testsuite/ChangeLog | 24 +++++ libcpp/ChangeLog | 6 ++ 6 files changed, 328 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 88d9838..b759cf4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,41 @@ +2022-07-13 Aldy Hernandez + + * range-op.cc (operator_lt::fold_range): Use nonzero bits. + +2022-07-13 Aldy Hernandez + + * value-range.cc (irange::copy_to_legacy): Set nonzero mask. + (irange::legacy_intersect): Clear nonzero mask. + (irange::legacy_union): Same. + (irange::invert): Same. + +2022-07-13 Richard Biener + + * tree-ssa-dom.h (record_temporary_equivalences): Remove. + * tree-ssa-dom.cc (dom_jt_state::m_blocks_on_stack): New. + (dom_jt_state::get_blocks_on_stack): Likewise. + (dom_opt_dom_walker::dom_opt_dom_walker): Take dom_jt_state. + (back_propagate_equivalences): Remove dominator bitmap + compute and instead use passed in m_blocks_on_stack. + (record_temporary_equivalences): Likewise. + (record_equivalences_from_incoming_edge): Likewise. + (dom_opt_dom_walker::before_dom_children): Maintain and + pass down blocks on stack. + (dom_opt_dom_walker::after_dom_children): Likewise. + +2022-07-13 Andrew Carlotti + + * config/aarch64/aarch64-builtins.cc + (aarch64_general_gimple_fold_builtin): Add fixup for invalid GIMPLE. + +2022-07-13 Richard Biener + + PR tree-optimization/106249 + * tree-ssa-loop-manip.cc (tree_transform_and_unroll_loop): + Only verify LC SSA of the new_loop if we created it. + Use TODO_update_ssa_nophi for the SSA update after versioning + the loop. + 2022-07-12 Aldy Hernandez * range-op.cc (unsigned_singleton_p): Remove. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index e8fa68b..56754ca 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220713 +20220714 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e8ea2a7..2469db4 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,243 @@ +2022-07-13 Eric Botcazou + + * gcc-interface/trans.cc (gnat_to_gnu) : Fix + a couple of minor issues in the commentary. + +2022-07-13 Eric Botcazou + + * gcc-interface/trans.cc (gigi): Report a violation of No_Dependence + on System.Stack_Checking if Stack_Check_Probes_On_Target is not set + and -fstack-check is specified. + (build_binary_op_trapv): Report violatiosn of No_Dependence on both + System.Arith_64 and System.Arith_128. + (add_decl_expr): If an initialized variable, report a violation of + No_Dependence on System.Memory_Copy for large aggregate types. + (gnat_to_gnu) : Report a violation + of No_Dependence on System.Memory_Compare for large aggregate types. + ! Report a violation of No_Dependence on + System.Memory_Set, System.Memory_Move or else System.Memory_Copy for + large aggregate types. + * gcc-interface/utils2.cc (maybe_wrap_malloc): Report a violation of + No_Dependence on System.Memory. + (maybe_wrap_free): Add GNAT_NODE parameter and report a violation of + No_Dependence on System.Memory. + (build_call_alloc_dealloc): Adjust call to maybe_wrap_free. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity): Do not set the debug + type for vector types. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity) : + Undo questionable renaming. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (Gigi_Cloned_Subtype): Handle private case. + +2022-07-13 Eric Botcazou + + * gcc-interface/trans.cc (gigi): Add one more leading underscore to + name of stack checking function. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (Gigi_Cloned_Subtype): New function. + (gnat_to_gnu_entity) : Call it to get the + cloned subtype, if any. + : Likewise. + : Likewise. + : Likewise. + : Likewise. + Deal with all cloned subtypes on the main path. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity) : Do + not reuse the TYPE_DECL of the base type. + +2022-07-13 Eric Botcazou + + * gcc-interface/utils.cc (gnat_pushdecl): Build DECL_ORIGINAL_TYPE + only for pointer types. + +2022-07-13 Eric Botcazou + + * gcc-interface/utils2.cc (build_binary_op) : Also accept + pointer-to-function types that are not variant of each other. + +2022-07-13 Eric Botcazou + + * gcc-interface/utils.cc (unchecked_convert): Also pad in most cases + if the source is not a scalar type but the destination is. + +2022-07-13 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity) : Save + and restore the alias set of the dummy pointer-to-array type. + +2022-07-13 Eric Botcazou + + * snames.ads-tmpl (Name_Memory_Compare): New package name. + (Name_Memory_Copy): Likewise. + (Name_Memory_Move): Likewise. + (Name_Memory_Set): Likewise. + +2022-07-13 Gary Dismukes + + * sem_ch13.adb (Check_And_Resolve_Storage_Model_Type_Argument): + Call the System.Case_Util.To_Mixed procedure rather than the + function, to avoid bootstrap problems. + +2022-07-13 Gary Dismukes + + * aspects.ads (Aspect_Argument): Change the association for + Aspect_Storage_Model_Type from Expression to + Optional_Expression. + * exp_util.ads (Find_Storage_Op): Update comment to indicate + that Empty can be returned in the case where a storage-model + operation is defaulted. + * exp_util.adb (Find_Storage_Op): Allow the function to return + Empty in Storage_Model_Type case rather than raising + Program_Error, so that Procedure_To_Call fields in N_Allocator + and N_Free_Statement nodes will be set to Empty in the defaulted + native storage-model case. + * sem_ch13.adb: Add with and use of System.Case_Util (and + reformat context_clause). + (Check_Aspect_At_Freeze_Point): Return with no action for a + Storage_Model_Type aspect with no expression (fully-defaulted + native memory-model case). + (Resolve_Storage_Model_Type_Argument): If an Address_Type has + not been explicitly specified, then set Addr_Type to denote type + System.Address. + (Validate_Storage_Model_Type_Aspect): Return immediately in the + case where the aspect has no Expression (fully-defaulted native + memory-model case). No longer issue an error when Address_Type + isn't specified, and instead use type System.Address as the + default address type. When the address type is + System.Address (whether specified or defaulted), no longer issue + errors for any other "subaspects" that aren't specified, since + in that case those are allowed to default as well. Remove ??? + comment about needing to check for duplicates, which is now + addressed. + (Check_And_Resolve_Storage_Model_Type_Argument): New procedure + to check that an association for a storage-model subaspect in + the aggregate has not been specified earlier in the aggregate, + and to then resolve the expression of the association and save + the resolved entity. Called by + Validate_Storage_Model_Type_Aspect. + * sem_util.ads (Storage_Model_Support): Update comments on specs + of the functions Get_Storage_Model_Type_Entity, + Storage_Model_Address_Type, and Storage_Model_Null_Address to + indicate the behavior when the address type is System.Address + (the native memory-model case). + * sem_util.adb + (Storage_Model_Support.Get_Storage_Model_Type_Entity): Suppress + the search for the given subaspect name (Nam) when the + Storage_Model_Type aspect is fully defaulted (i.e., no + Expression is present) and simply return. In cases where the + search is done, but no association that matches Nam is found, + return System.Address for the Name_Address_Type case, return + System.Null_Address for the Name_Null_Address case, and return + Empty for all other cases. + +2022-07-13 Piotr Trojanek + + * sem_ch13.adb (Relocate_Expression): New routine with code that + previously was only applied to Pre and Post aspects. + (Analyze_Aspect_Specifications): Apply the above routine to + other aspects, in particular to aspects Address, Attach_Handler, + Predicate and Interrupt_Priority. + +2022-07-13 Piotr Trojanek + + * inline.adb (Build_Body_To_Inline): Instead of manipulating the + Full_Analysis flag, use the Inside_A_Generic flag (which is + conveniently manipulated by Start_Generic/End_Generic, together + with Expander_Active). + * sem_attr.adb (Analyze_Attribute_Old_Result): Adapt comment and + assertion to different flag that is set while building + body-to-inline. + +2022-07-13 Alexandre Oliva + + * doc/gnat_rm/security_hardening_features.rst: Clarify the need + for choices after -fzero-call-used-regs and -fstrub. + * gnat_rm.texi: Regenerate. + +2022-07-13 Yannick Moy + + * sem_prag.adb (Analyze_Pragma): Recognize a generated subtype + with Ghost pragma for generic instantiations. + +2022-07-13 Yannick Moy + + * libgnat/s-aridou.adb (Lemma_Mult_Div, Lemma_Powers): New + lemmas. + (Prove_Sign_Quotient): New local lemma. + (Prove_Signs): Expand definition of Big_R and Big_Q in the + postcondition. Add intermediate assertions. + (Double_Divide): Call new lemma. + (Lemma_Div_Eq): Provide body for proving lemma. + (Lemma_Powers_Of_2, Lemma_Shift_Without_Drop, + Prove_Dividend_Scaling, Prove_Multiplication, Prove_Z_Low): Call + lemmas, add intermediate assertions. + +2022-07-13 Piotr Trojanek + + * inline.adb (Has_Single_Return): Add guard for the subsequent + call to Expression. + +2022-07-13 Eric Botcazou + + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Acts_As_Spec + earlier if the body is not the completion of a declaration. + (Check_Untagged_Equality): Deal with subprogram bodies that are + not the completion of a declaration and make sure that they are + not flagged when they cause the freezing of the type themselves. + Give a warning on the freezing point of the type in more cases. + * sem_res.adb (Resolve_Equality_Op): Revert latest change. + +2022-07-13 Yannick Moy + + * libgnat/s-arit32.adb (Scaled_Divide32): Add an assertion, move + the call of Prove_Sign_R around. + +2022-07-13 Marc Poulhiès + + * exp_ch4.adb (Expand_N_If_Expression): Test for compile time + known bounds when handling slices. + +2022-07-13 Eric Botcazou + + * exp_util.ads (Integer_Type_For): Mention Small_Integer_Type_For. + (Small_Integer_Type_For): Mention Integer_Type_For. + +2022-07-13 Eric Botcazou + + * sem_res.adb (Resolve_Equality_Op): Make sure that the user-defined + operator of an untagged record type is declared ahead of an instance + before using it to resolve the equality operator in the instance. + +2022-07-13 Justin Squirek + + * exp_ch6.adb (Expand_N_Extended_Return_Statement): Add default + initialization for Stmts. + * sem_ch12.adb (Analyze_Associations): Add default + initialization for Match. + * libgnat/a-ztenau.adb (Scan_Enum_Lit): Remove duplicated + boolean test. + * libgnat/g-spipat.adb (XMatch): Combine duplicated cases. + +2022-07-13 Piotr Trojanek + + * par-prag.adb (Check_Arg_Count): Change parameter type from Int + to Nat, because this parameter is compared to Arg_Count variable + which is of type Nat. Also, it wouldn't make sense to check for + negative number of pragma arguments. + 2022-07-12 Piotr Trojanek * exp_ch11.adb (Expand_N_Exception_Declaration): Sync comment diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ad72c03..aa317e8 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,22 @@ +2022-07-13 Patrick Palka + + PR c++/105912 + * pt.cc (tsubst_copy_and_build) : Guard against + NULL_TREE extract_call_expr result. + +2022-07-13 Patrick Palka + + PR c++/105842 + * constraint.cc (satisfy_declaration_constraints): Refine early + exit test for argument dependence. + * cp-tree.h (uses_outer_template_parms_in_constraints): Declare. + * pt.cc (template_class_depth): Handle TI_TEMPLATE being a + FIELD_DECL. + (usse_outer_template_parms): Factor out constraint dependence + test into ... + (uses_outer_template_parms_in_constraints): ... here. + (type_dependent_expression_p): Use it for FUNCTION_DECL. + 2022-07-07 Patrick Palka PR c++/105956 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ea12f2f..97b9f5f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,27 @@ +2022-07-13 Patrick Palka + + PR c++/105912 + * g++.dg/cpp2a/consteval31.C: New test. + +2022-07-13 Patrick Palka + + PR c++/105842 + * g++.dg/cpp2a/concepts-memtmpl6.C: New test. + +2022-07-13 Aldy Hernandez + + * g++.dg/ipa/pure-const-3.C: Adjust. + * gcc.dg/pr102983.c: Adjust. + +2022-07-13 Andrew Carlotti + + * gcc.target/aarch64/advsimd-intrinsics/ignored_return_1.c: New test. + +2022-07-13 Richard Biener + + PR tree-optimization/106249 + * gcc.dg/pr106249.c: New testcase. + 2022-07-12 Harald Anlauf PR fortran/106049 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 1a211f32..fe02298 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,9 @@ +2022-07-13 Marek Polacek + + PR preprocessor/106272 + * include/line-map.h (class label_text): Don't std::move in a return + statement. + 2022-07-10 Lewis Hyatt PR preprocessor/97498 -- 2.7.4