From ede6c3568f383f62df7bf9234212ee80763fdf6b Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 16 Jun 2021 00:17:05 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 68 ++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 276 ++++++++++++++++++++++++++++++++++++++++ gcc/analyzer/ChangeLog | 90 +++++++++++++ gcc/c-family/ChangeLog | 5 + gcc/c/ChangeLog | 5 + gcc/cp/ChangeLog | 4 + gcc/fortran/ChangeLog | 19 +++ gcc/testsuite/ChangeLog | 46 +++++++ libgomp/ChangeLog | 5 + libstdc++-v3/ChangeLog | 43 +++++++ 11 files changed, 562 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 65d57100f6a..92423fdbbb2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,71 @@ +2021-06-15 Martin Sebor + + PR middle-end/100876 + * builtins.c: (gimple_call_return_array): Account for size_t + mangling as either unsigned int or unsigned long + +2021-06-15 Jeff Law + + * compare-elim.c (try_eliminate_compare): Run DCE to clean things + up before eliminating comparisons. + +2021-06-15 Aldy Hernandez + + * range-op.cc (operator_bitwise_or::wi_fold): Make sure + nonzero|X is nonzero. + (range_op_bitwise_and_tests): Add tests for above. + +2021-06-15 Carl Love + + PR target/101022 + * config/rs6000/rs6000-builtin.def (VCMPEQUT): Fix the ICODE for the + enum definition. + (VRLQ, VSLQ, VSRQ, VSRAQ): Remove unused BU_P10_OVERLOAD_2 + definitions. + +2021-06-15 Tobias Burnus + + PR fortran/92568 + * gimplify.c (enum gimplify_defaultmap_kind): Add GDMK_SCALAR_TARGET. + (struct gimplify_omp_ctx): Extend defaultmap array by one. + (new_omp_context): Init defaultmap[GDMK_SCALAR_TARGET]. + (omp_notice_variable): Update type classification for Fortran. + (gimplify_scan_omp_clauses): Update calls for new argument; handle + GDMK_SCALAR_TARGET; for Fortran, GDMK_POINTER avoid GOVD_MAP_0LEN_ARRAY. + * langhooks-def.h (lhd_omp_scalar_p): Add 'ptr_ok' argument. + * langhooks.c (lhd_omp_scalar_p): Likewise. + (LANG_HOOKS_OMP_ALLOCATABLE_P, LANG_HOOKS_OMP_SCALAR_TARGET_P): New. + (LANG_HOOKS_DECLS): Add them. + * langhooks.h (struct lang_hooks_for_decls): Add new hooks, update + omp_scalar_p pointer type to include the new bool argument. + +2021-06-15 David Malcolm + + * doc/analyzer.texi + (Special Functions for Debugging the Analyzer): Add + __analyzer_dump_capacity. + +2021-06-15 Jakub Jelinek + + PR target/101046 + * expr.c (expand_expr_real_2) : Clear subtarget when changing mode. + +2021-06-15 Richard Biener + + * cfgloopanal.c (mark_irreducible_loops): Use a dominance + check to identify loop latches. + * cfgloop.c (verify_loop_structure): Likewise. + * loop-init.c (apply_loop_flags): Allow marked irreducible + regions even with multiple latches. + * predict.c (rebuild_frequencies): Simplify. + +2021-06-15 Richard Biener + + * tree-ssa-threadupdate.c + (jump_thread_path_registry::mark_threaded_blocks): Assert we + have marked irreducible regions. + 2021-06-14 Martin Sebor PR c++/100876 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 78287281a18..052decd9611 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210615 +20210616 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9805f1843ba..31eca3fa086 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,279 @@ +2021-06-15 Steve Baird + + * exp_util.adb (Kill_Dead_Code): Generalize the existing + handling of if statements to handle case statements similarly. + +2021-06-15 Eric Botcazou + + * raise.h (_gnat_builtin_longjmp): Delete. + (set_gnat_exit_status): Likewise. + +2021-06-15 Piotr Trojanek + + * exp_util.adb (Possible_Side_Effect_In_SPARK): Handle component + declaration just like full type and subtype declarations. + +2021-06-15 Yannick Moy + + * errout.adb (First_And_Last_Node): Also apply to arbitrary late + declarations, not only subprogram specs. + +2021-06-15 Bob Duff + + * sem_ch3.adb (Make_Class_Wide_Type): Make sure all the calls to + Reinit_Field_To_Zero are for the correct Ekinds. + +2021-06-15 Bob Duff + + * aspects.ads (No_Task_Parts): New aspect. + * snames.ads-tmpl: Add the aspect name. + * exp_ch6.adb (Might_Have_Tasks): Return False if this is a + class-wide type whose specific type has No_Task_Parts. + * freeze.adb (Check_No_Parts_Violations): This is an adaptation + of the procedure formerly known as + Check_No_Controlled_Parts_Violations, which now supports both + No_Controlled_Parts and No_Task_Parts. It takes a parameter + indicating which aspect is being checked. + (Freeze_Entity): Call Check_No_Parts_Violations for both + aspects. + * sem_ch13.adb (Analyze_Aspect_Specifications): The code for + Aspect_No_Controlled_Parts already works as is with + Aspect_No_Task_Parts. + * libgnat/a-iteint.ads: Add No_Task_Parts aspect to the two + iterator iterfaces. + * doc/gnat_rm/implementation_defined_aspects.rst: Add + documentation for the No_Task_Parts aspect. + * gnat_rm.texi: Regenerate. + +2021-06-15 Arnaud Charlet + + * exp_unst.adb (Unnest_Subprogram.Build_Table.Visit_Node): Fix + handling of scopes for subprogram calls. + +2021-06-15 Piotr Trojanek + + * sem_prag.adb: Fix typos in comments related to access types. + * sem_util.adb (Is_Access_Variable): Stronger condition. + +2021-06-15 Arnaud Charlet + + * Make-generated.in: Add rule to copy runtime files needed + during stage1. + * raise.c: Remove obsolete symbols used during bootstrap. + * gcc-interface/Make-lang.in: Do not use libgnat sources during + stage1. + (GNAT_ADA_OBJS, GNATBIND_OBJS): Split in two parts, the common + part and the part only used outside of stage1. + (ADA_GENERATED_FILES): Add runtime files needed during bootstrap + when recent APIs are needed. + (ada/b_gnatb.adb): Remove prerequisite. + * gcc-interface/system.ads: Remove obsolete entries. + +2021-06-15 Eric Botcazou + + * raise-gcc.c (__gnat_personality_seh0): Use PERSONALITY_FUNCTION. + +2021-06-15 Ed Schonberg + + * sem_util.adb (Is_Confirming): Separate the handling of + Implicit_Dereference, for which no pragma is generated but which + is already checked for legality in Sem_Ch13, including renamed + discriminants in a derived type. + (Is_Confirming, Same_Name): For expanded names, only check + matching of selector, because prefix may correspond to original + and derived types with different names and/or scopes. Semantic + checks on aspect expression have already verified its legality. + Add comments regarding possible gaps in RM description of the + feature. + +2021-06-15 Gary Dismukes + + * freeze.adb (Freeze_Subprogram): Don't propagate conventions + Intrinsic or Entry to anonymous access-to-subprogram types + associated with subprograms having those conventions. Update + related comment. + * sem_attr.adb (Resolve_Attribute, Attribute_*Access): Remove + special-case warning code for cases where a called subprogram + has convention Intrinsic as well as its formal's type (the + expected type for the Access attribute), since this case can no + longer occur. + +2021-06-15 Piotr Trojanek + + * exp_imgv.adb (Expand_User_Defined_Enumeration_Image): Fix + typos. + +2021-06-15 Bob Duff + + * einfo-utils.adb (Known_Component_Size, + Known_Static_Component_Size, Unknown_Component_Size): Use + Implementation_Base_Type instead of Base_Type. + +2021-06-15 Bob Duff + + * gen_il-gen-gen_entities.adb (E_Loop_Parameter): Add + Interface_Name field. + +2021-06-15 Bob Duff + + * sem_cat.adb (Check_Non_Static_Default_Expr): Allow nonstatic + expression in predefined unit with pragma Preelaborate. + +2021-06-15 Yannick Moy + + * doc/gnat_rm/intrinsic_subprograms.rst: More details on shift + operations for signed types. Also add the missing Import and + Convention on the example. + * gnat_rm.texi: Regenerate. + +2021-06-15 Eric Botcazou + + * raise-gcc.c: Include instead of in C++. + Include and unconditionally in C. + +2021-06-15 Piotr Trojanek + + * sem_util.ads (Find_Overlaid_Entity): Simplify comment for + spec. + * sem_util.adb (Find_Overlaid_Entity): Remove defensive code + from body. + +2021-06-15 Eric Botcazou + + * argv.c: Add include of for the runtime. + (gnat_argv): Change type to char ** and initialize to NULL. + (gnat_envp): Likewise. + * argv-lynxos178-raven-cert.c: Add include of . + (gnat_argv): Change type to char ** and initialize to NULL. + (gnat_envp): Likewise. + +2021-06-15 Bob Duff + + * gen_il-gen.adb (Setter_Needs_Parent): Add missing + Then_Actions. Fix self-contradictory comment. + * exp_util.adb (Insert_Actions): Minor comment improvments. + +2021-06-15 Arnaud Charlet + + * sem_eval.adb (Eval_Logical_Op, Test_Expression_Is_Foldable): + Add support for folding more "and"/"or" expressions. + * exp_util.adb (Side_Effect_Free): Fix handling of membership + tests. + +2021-06-15 Piotr Trojanek + + * sem_res.adb (Resolve_Actual): Replace repeated calls to + "Etype (F)" with references to "F_Typ", which keeps the results + of exactly that call. + +2021-06-15 Bob Duff + + * gen_il-gen.adb (To_Bit_Offset): Use 'Base to avoid overflow in + computations in Last_Bit when Offset = 'Last. + (Choose_Offset): Give a better error message when we run out of + fields. In particular, point out that + Gen_IL.Internals.Bit_Offset'Last needs to be increased. + +2021-06-15 Bob Duff + + * atree.ads, einfo-utils.ads, einfo-utils.adb, fe.h, gen_il.adb, + gen_il.ads, gen_il-gen-gen_entities.adb, + gen_il-gen-gen_nodes.adb, sem_ch12.adb, sem_ch3.adb, + sem_util.adb, sinfo-utils.ads, treepr.adb, types.ads: Clean up + ??? comments and other comments. + * atree.adb: Clean up ??? comments and other comments. + (Validate_Node): Fix bug: "Off_0 (N) < Off_L (N)" + should be "Off_0 (N) <= Off_L (N)". + * gen_il-gen.adb, gen_il-gen.ads: Clean up ??? + comments and other comments. Add support for getter-specific + and setter-specific preconditions. Detect the error of putting + a field in the wrong subrange. Misc cleanup. + (Node_Field vs. Entity_Field): Clean up Nmake. Improve + comments. + * gen_il-utils.ads: Misc cleanup. Move... + * gen_il-internals.ads: ... here. + * gen_il-utils.adb: Misc cleanup. Move... + * gen_il-internals.adb: ... here. + * gen_il-fields.ads: Move Was_Default_Init_Box_Association, + which was in the wrong subrange. Add comments. Misc cleanup. + * gen_il-types.ads: Add Named_Access_Kind. + * sinfo-cn.adb: Clean up ??? comments and other comments. + Remove redundant assertions. + * einfo.ads, sinfo.ads: Clean up ??? comments and other + comments. Remove all the comments indicating field offsets. + These are obsolete now that Gen_IL computes the offsets + automatically. + +2021-06-15 Arnaud Charlet + + * einfo.ads, errout.adb, errout.ads, exp_aggr.adb, exp_ch5.adb, + exp_ch6.adb, exp_ch8.adb, exp_ch9.adb, exp_imgv.adb, + exp_put_image.adb, fe.h, impunit.adb, impunit.ads, + libgnat/a-cobove.ads, libgnat/a-convec.ads, opt.ads, + par-ch12.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb, + par-ch6.adb, par-prag.adb, par-util.adb, scans.ads, scng.adb, + sem_aggr.adb, sem_attr.adb, sem_ch10.adb, sem_ch12.adb, + sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb, + sem_ch8.adb, sem_elab.adb, sem_eval.adb, sem_prag.adb, + sem_res.adb, sem_type.adb, sem_util.adb, sem_util.ads, + sinfo.ads, snames.ads-tmpl, sprint.adb, switch-c.adb, usage.adb, + doc/gnat_ugn/building_executable_programs_with_gnat.rst, + doc/gnat_rm/implementation_defined_aspects.rst, + gcc-interface/trans.c: Update all references to Ada 2020 to Ada + 2022. Rename pragma Ada_2020 to Ada_2022. Update documentation + accordingly. + * gnat_ugn.texi, gnat_rm.texi: Regenerate. + +2021-06-15 Steve Baird + + * sem_util.adb (Gather_Components): Factor the test that was + already being used to govern emitting a pre-Ada_2020 error + message into an expression function, + OK_Scope_For_Discrim_Value_Error_Messages. Call that new + function in two places: the point where the same test was being + performed previously, and in governing emission of a newer + Ada_2020 error message. In both cases, the out-mode parameter + Gather_Components.Report_Errors is set to True even if no error + messages are generated within Gather_Components. + * sem_util.ads: Correct a comment. + +2021-06-15 Richard Kenner + + * sem_ch3.adb (Array_Type_Declaration, Build_Derived_Type): + Reinitialize Stored_Constraint when needed. + (Set_Modular_Size): Likewise. + * atree.adb: (Check_Vanishing_Fields): Add node id to debugging + information. + +2021-06-15 Bob Duff + + * sem_util.adb (Propagate_Invariant_Attributes): Call + Set_Has_Own_Invariants on the base type, because these are + Base_Type_Only. The problem is that the base type of a type is + indeed a base type when Set_Base_Type is called, but then the + type is mutated into a subtype in rare cases. + * atree.ads, atree.adb (Is_Entity): Export. Correct subtype of + parameter in body. + * gen_il-gen.adb: Improve getters so that "Pre => ..." can refer + to the value of the field. Put Warnings (Off) on some with + clauses that are not currently used, but might be used by such + Pre's. + +2021-06-15 Piotr Trojanek + + * sem_ch3.adb (Access_Type_Declaration): Add comments to explain + the ordering of Mutate_Kind and Set_Directly_Designated_Type; + remove temporary setting of Ekind to E_Access_Type for building + _master objects, since now the Ekind is already set to its final + value. Move repeated code into Setup_Access_Type routine and use + it so that Process_Subtype is executed before mutating the kind + of the type entity. + * gen_il-gen-gen_entities.adb (Gen_Entities): Remove + Directly_Designated_Type from E_Void, E_Private_Record, + E_Limited_Private_Type and Incomplete_Kind; now it only belongs + to Access_Kind entities. + * sem_util.adb: Minor reformatting. + 2021-06-03 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_entity) : Add PAT diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 400175a86fc..b8f7a2bb314 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,93 @@ +2021-06-15 David Malcolm + + PR analyzer/99212 + PR analyzer/101082 + * engine.cc: Include "target.h". + (impl_run_checkers): Log BITS_BIG_ENDIAN, BYTES_BIG_ENDIAN, and + WORDS_BIG_ENDIAN. + * region-model-manager.cc + (region_model_manager::maybe_fold_binop): Move support for masking + via ARG0 & CST into... + (region_model_manager::maybe_undo_optimize_bit_field_compare): + ...this new function. Flatten by converting from nested + conditionals to a series of early return statements to reject + failures. Reject if type is not unsigned_char_type_node. + Handle BYTES_BIG_ENDIAN when determining which bits are bound + in the binding_map. + * region-model.h + (region_model_manager::maybe_undo_optimize_bit_field_compare): + New decl. + * store.cc (bit_range::dump): New function. + * store.h (bit_range::dump): New decl. + +2021-06-15 David Malcolm + + * engine.cc (exploded_node::on_stmt): Handle __analyzer_dump_capacity. + (exploded_node::on_stmt): Drop m_sm_changes from on_stmt_flags. + (state_change_requires_new_enode_p): New function... + (exploded_graph::process_node): Call it, rather than querying + flags.m_sm_changes, so that dynamic-extent differences can also + trigger the splitting of nodes. + * exploded-graph.h (struct on_stmt_flags): Drop field m_sm_changes. + * program-state.cc (program_state::detect_leaks): Purge dead + heap-allocated regions from dynamic extents. + (selftest::test_program_state_1): Fix type of "size_in_bytes". + (selftest::test_program_state_merging): Likewise. + * region-model-impl-calls.cc + (region_model::impl_call_analyzer_dump_capacity): New. + (region_model::impl_call_free): Remove dynamic extents from the + freed region. + * region-model-reachability.h + (reachable_regions::begin_mutable_base_regs): New. + (reachable_regions::end_mutable_base_regs): New. + * region-model.cc: Include "tree-object-size.h". + (region_model::region_model): Support new field m_dynamic_extents. + (region_model::operator=): Likewise. + (region_model::operator==): Likewise. + (region_model::dump_to_pp): Dump sizes of dynamic regions. + (region_model::handle_unrecognized_call): Purge dynamic extents + from any regions that have escaped mutably:. + (region_model::get_capacity): New function. + (region_model::add_constraint): Unset dynamic extents when a + heap-allocated region's address is NULL. + (region_model::unbind_region_and_descendents): Purge dynamic + extents of unbound regions. + (region_model::can_merge_with_p): Call + m_dynamic_extents.can_merge_with_p. + (region_model::create_region_for_heap_alloc): Assert that + size_in_bytes's type is compatible with size_type_node. Update + for renaming of record_dynamic_extents to set_dynamic_extents. + (region_model::create_region_for_alloca): Likewise. + (region_model::record_dynamic_extents): Rename to... + (region_model::set_dynamic_extents): ...this. Assert that + size_in_bytes's type is compatible with size_type_node. Add it + to the m_dynamic_extents map. + (region_model::get_dynamic_extents): New. + (region_model::unset_dynamic_extents): New. + (selftest::test_state_merging): Fix type of "size". + (selftest::test_malloc_constraints): Likewise. + (selftest::test_malloc): Verify dynamic extents. + (selftest::test_alloca): Likewise. + * region-model.h (region_to_value_map::is_empty): New. + (region_model::dynamic_extents_t): New typedef. + (region_model::impl_call_analyzer_dump_capacity): New decl. + (region_model::get_dynamic_extents): New function. + (region_model::get_dynamic_extents): New decl. + (region_model::set_dynamic_extents): New decl. + (region_model::unset_dynamic_extents): New decl. + (region_model::get_capacity): New decl. + (region_model::record_dynamic_extents): Rename to set_dynamic_extents. + (region_model::m_dynamic_extents): New field. + +2021-06-15 David Malcolm + + * region-model.cc (region_to_value_map::operator=): New. + (region_to_value_map::operator==): New. + (region_to_value_map::dump_to_pp): New. + (region_to_value_map::dump): New. + (region_to_value_map::can_merge_with_p): New. + * region-model.h (class region_to_value_map): New class. + 2021-06-13 Trevor Saunders * call-string.cc (call_string::call_string): Use range based for diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 39fae4e6a8b..ba218e652cc 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2021-06-15 Robin Dapp + + * c-attribs.c (common_handle_aligned_attribute): Remove short + circuit and dead code. + 2021-06-14 Jonathan Wakely PR c++/101052 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 665fcd84c2d..2deedba3bde 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2021-06-15 Robin Dapp + + * c-decl.c (merge_decls): Copy DECL_USER_ALIGN if DECL_ALIGN is + similar. + 2021-06-14 Tobias Burnus PR c/100913 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f5659cf39b2..3016da8c650 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2021-06-15 Robin Dapp + + * decl.c (duplicate_decls): Likewise. + 2021-06-14 Tobias Burnus PR c/100913 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index a0ee6eb21f5..3c7193323cf 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,22 @@ +2021-06-15 Tobias Burnus + + PR fortran/92568 + * dump-parse-tree.c (show_omp_clauses): Update for defaultmap. + * f95-lang.c (LANG_HOOKS_OMP_ALLOCATABLE_P, + LANG_HOOKS_OMP_SCALAR_TARGET_P): New. + * gfortran.h (enum gfc_omp_defaultmap, + enum gfc_omp_defaultmap_category): New. + * openmp.c (gfc_match_omp_clauses): Update defaultmap matching. + * trans-decl.c (gfc_finish_decl_attrs): Set GFC_DECL_SCALAR_TARGET. + * trans-openmp.c (gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New. + (gfc_omp_scalar_p): Take 'ptr_alloc_ok' argument. + (gfc_trans_omp_clauses, gfc_split_omp_clauses): Update for + defaultmap changes. + * trans.h (gfc_omp_scalar_p): Update prototype. + (gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New. + (struct lang_decl): Add scalar_target. + (GFC_DECL_SCALAR_TARGET, GFC_DECL_GET_SCALAR_TARGET): New. + 2021-06-14 Tobias Burnus * resolve.c (resolve_variable): Remove *XCNEW used to diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fb8419834a0..8b273523f1f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,49 @@ +2021-06-15 Tobias Burnus + + PR fortran/92568 + * gfortran.dg/gomp/pr99928-1.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-2.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-3.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-4.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-5.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-6.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/pr99928-8.f90: Uncomment 'defaultmap(none)'. + * gfortran.dg/gomp/defaultmap-1.f90: New test. + * gfortran.dg/gomp/defaultmap-2.f90: New test. + * gfortran.dg/gomp/defaultmap-3.f90: New test. + * gfortran.dg/gomp/defaultmap-4.f90: New test. + * gfortran.dg/gomp/defaultmap-5.f90: New test. + * gfortran.dg/gomp/defaultmap-6.f90: New test. + * gfortran.dg/gomp/defaultmap-7.f90: New test. + +2021-06-15 David Malcolm + + * gcc.dg/analyzer/analyzer-decls.h (__analyzer_dump_capacity): New decl. + * gcc.dg/analyzer/capacity-1.c: New test. + * gcc.dg/analyzer/capacity-2.c: New test. + * gcc.dg/analyzer/capacity-3.c: New test. + +2021-06-15 David Malcolm + + PR analyzer/101068 + * gcc.dg/analyzer/explode-2a.c: New test. + +2021-06-15 Jakub Jelinek + + PR target/101046 + * gcc.target/i386/pr101046.c: New test. + +2021-06-15 Robin Dapp + + * c-c++-common/Wattributes.c: Remove s390-specific check and add + new tests. + * gcc.dg/Wattributes-6.c: Likewise. + +2021-06-15 Xionghu Luo + + PR target/101020 + * gcc.target/powerpc/float128-call.c: Adjust counts for be and le. + 2021-06-14 Martin Sebor PR c++/100876 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index ed9f258d2f2..975406a6ba5 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2021-06-15 Tobias Burnus + + PR fortran/92568 + * testsuite/libgomp.fortran/defaultmap-8.f90: New test. + 2021-06-10 Andrew Stubbs Thomas Schwinge diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 635bc1c4789..c802dac3364 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,46 @@ +2021-06-15 Jonathan Wakely + + * include/bits/ranges_base.h (ranges::begin, ranges::end) + (ranges::cbegin, ranges::cend, ranges::rbeing, ranges::rend) + (ranges::crbegin, ranges::crend, ranges::size, ranges::ssize) + (ranges::empty, ranges::data, ranges::cdata): Make types final. + Add deleted operator& overloads. + (ranges::advance, ranges::distance, ranges::next, ranges::prev): + Likewise. + * testsuite/std/ranges/headers/ranges/synopsis.cc: Replace + ill-formed & expressions with using-declarations. Add checks for + other function objects. + +2021-06-15 Jonathan Wakely + + * include/bits/ranges_util.h (view_interface): Add noexcept to + empty, operator bool, data and size members. + (subrange): Add noexcept to constructors. + * include/std/ranges (single_view, ref_view): Add noexcept to + constructors. + (views::single, views::all): Add noexcept. + * testsuite/std/ranges/adaptors/all.cc: Check noexcept. + * testsuite/std/ranges/single_view.cc: Likewise. + +2021-06-15 Jonathan Wakely + + * include/bits/ranges_util.h (subrange): Add __size_type typedef + and use it to simplify declarations. + (subrange(i, s, n)): Remove assertion. + * testsuite/std/ranges/subrange/constexpr.cc: New test. + +2021-06-15 Jonathan Wakely + + * include/bits/iterator_concepts.h (__cust_access::__decay_copy): + Replace with function object. + (__cust_access::__member_begin, ___cust_access::_adl_begin): Use + __decay_copy unqualified. + * include/bits/ranges_base.h (__member_end, __adl_end): + Likewise. Use __range_iter_t for type of ranges::begin. + (__member_rend): Use correct value category for rbegin argument. + (__member_data): Use __decay_copy unqualified. + (__begin_data): Use __range_iter_t for type of ranges::begin. + 2021-06-14 Jonathan Wakely * include/bits/ranges_base.h (ranges::empty): Check whether