diff options
-rw-r--r-- | contrib/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ChangeLog | 102 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 182 | ||||
-rw-r--r-- | gcc/analyzer/ChangeLog | 64 | ||||
-rw-r--r-- | gcc/c/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 78 | ||||
-rw-r--r-- | libgomp/ChangeLog | 43 | ||||
-rw-r--r-- | libstdc++-v3/ChangeLog | 75 |
9 files changed, 554 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 944f67e..6cfef78 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + * gcc.doxy (INPUT): Add gcc/analyzer subdirectory. + 2022-11-25 Martin Liska <mliska@suse.cz> Revert: diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 77a72e4..2e6869f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,105 @@ +2022-12-06 Wilco Dijkstra <wilco.dijkstra@arm.com> + + * config/aarch64/aarch64.cc (aarch64_bitmask_imm): Use unsigned type. + (aarch64_is_mov_xn_imm): New function. + (aarch64_move_imm): Refactor, assert mode is SImode or DImode. + (aarch64_internal_mov_immediate): Assert mode is SImode or DImode. + Simplify special cases. + (aarch64_uimm12_shift): Simplify code. + (aarch64_clamp_to_uimm12_shift): Likewise. + (aarch64_movw_imm): Rename to aarch64_is_movz. + (aarch64_float_const_rtx_p): Pass either SImode or DImode to + aarch64_internal_mov_immediate. + (aarch64_rtx_costs): Likewise. + * config/aarch64/aarch64.md (movdi_aarch64): Merge 'N' and 'M' + constraints into single 'O'. + (mov<mode>_aarch64): Likewise. + * config/aarch64/aarch64-protos.h (aarch64_move_imm): Use unsigned. + (aarch64_bitmask_imm): Likewise. + (aarch64_uimm12_shift): Likewise. + (aarch64_is_mov_xn_imm): New prototype. + * config/aarch64/constraints.md: Add 'O' for 32/64-bit immediates, + limit 'N' to 64-bit only moves. + +2022-12-06 Qing Zhao <qing.zhao@oracle.com> + + * attribs.cc (strict_flex_array_level_of): New function. + * attribs.h (strict_flex_array_level_of): Prototype for new function. + * doc/invoke.texi: Update -Warray-bounds by specifying the impact from + -fstrict-flex-arrays. Also update -Warray-bounds=2 by eliminating its + impact on treating trailing arrays as flexible array members. + * gimple-array-bounds.cc (get_up_bounds_for_array_ref): New function. + (check_out_of_bounds_and_warn): New function. + (array_bounds_checker::check_array_ref): Update with call to the above + new functions. + * tree.cc (array_ref_flexible_size_p): Add one new argument. + (component_ref_sam_type): New function. + (component_ref_size): Control with level of strict-flex-array. + * tree.h (array_ref_flexible_size_p): Update prototype. + (enum struct special_array_member): Add two new enum values. + (component_ref_sam_type): New prototype. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + * doc/analyzer.texi: Drop out-of-date ideas for other checkers. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + * Makefile.in (ANALYZER_OBJS): Add analyzer/call-details.o, + analyzer/kf-analyzer.o, and kf-lang-cp.o. + +2022-12-06 Marcel Vollweiler <marcel@codesourcery.com> + + * gimplify.cc (optimize_target_teams): Set initial num_teams_upper + to "-2" instead of "1" for non-existing num_teams clause in order to + disambiguate from the case of an existing num_teams clause with value 1. + +2022-12-06 Andre Vieira <andre.simoesdiasvieira@arm.com> + + PR target/107987 + * config/arm/mve.md (mve_vcmp<mve_cmp_op>q_n_<mode>, + @mve_vcmp<mve_cmp_op>q_n_f<mode>): Apply vec_duplicate to scalar + operand. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR target/107969 + * config/i386/i386.md (cbranchbf4, cstorebf4): Guard expanders + with the same condition as cbranchsf4 or cstoresf4 expanders. + +2022-12-06 Richard Biener <rguenther@suse.de> + + PR tree-optimization/104475 + * pointer-query.h (access_ref::ref_nullptr_p): New flag. + * pointer-query.cc (access_ref::access_ref): Initialize + ref_nullptr_p. + (compute_objsize_r): Set ref_nullptr_p if we treat it that way. + (access_ref::inform_access): If ref was treated as nullptr + based, indicate that. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/107972 + * range-op-float.cc (frange_drop_infs): New function. + (float_binary_op_range_finish): Add DIV_OP2 argument. If DIV_OP2 is + false and lhs is finite or if DIV_OP2 is true and lhs is non-zero and + not NAN, r must be finite too. + (foperator_div::op2_range): Pass true to DIV_OP2 of + float_binary_op_range_finish. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/107975 + * range-op-float.cc (foperator_mult::op1_range, + foperator_div::op1_range, foperator_div::op2_range): Just + return float_binary_op_range_finish result if lhs is known + NAN, or the other operand is known NAN or UNDEFINED. + +2022-12-06 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> + + * config/aarch64/aarch64.cc (aarch64_expand_vector_init): Use dup + and zip1 for interleaving elements in vector initializer. + 2022-12-05 Richard Biener <rguenther@suse.de> PR middle-end/40635 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b55757e..ec18fda0 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221206 +20221207 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e9c804b..7ecefd8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,185 @@ +2022-12-06 Yannick Moy <moy@adacore.com> + + * contracts.adb (Add_Contract_Item): Allow No_Caching on types. + (Check_Type_Or_Object_External_Properties): Check No_Caching. + Check that non-effectively volatile types does not contain an + effectively volatile component (instead of just a volatile + component). + (Analyze_Object_Contract): Remove shared checking of No_Caching. + * sem_prag.adb (Analyze_External_Property_In_Decl_Part): Adapt checking + of No_Caching for types. + (Analyze_Pragma): Allow No_Caching on types. + * sem_util.adb (Has_Effectively_Volatile_Component): New query function. + (Is_Effectively_Volatile): Type with Volatile and No_Caching is not + effectively volatile. + (No_Caching_Enabled): Remove assertion to apply to all entities. + * sem_util.ads: Same. + +2022-12-06 Javier Miranda <miranda@adacore.com> + + * exp_ch6.adb + (Build_Static_Check_Helper_Call): Perform implicit type conversion + to ensure matching types and avoid reporting spurious errors. + +2022-12-06 Eric Botcazou <ebotcazou@adacore.com> + + * sem_warn.adb (Warn_On_Constant_Valid_Condition): Bail out for a + membership test with a mark for a subtype that is predicated. + +2022-12-06 Eric Botcazou <ebotcazou@adacore.com> + + * sem_elab.adb (Processing_In_State): Add Within_Freezing_Actions + component. + (Process_Conditional_ABE_Call): Compute its value. + (Process_Conditional_ABE_Call_SPARK): For a call and a target in + the main unit, do not emit any ABE diagnostics if the call occurs + in a freezing actions context. + +2022-12-06 Eric Botcazou <ebotcazou@adacore.com> + + * einfo.ads (Actual_Subtype): Document additional usage. + * exp_aggr.adb (Expand_Array_Aggregate): Replace test on + Is_Build_In_Place_Return_Object with Is_Special_Return_Object. + * exp_ch3.adb (Expand_N_Object_Declaration): Factor out parts of the + processing done for build-in-place return objects and reuse them to + implement a similar processing for specific return objects. + * exp_ch4.adb (Expand_Allocator_Expression): Do not generate a tag + assignment or an adjustment if the allocator was made for a special + return object. + (Expand_Concatenate): If the result is allocated on the secondary + stack, use an unconstrained allocation. + * exp_ch6.ads (Apply_CW_Accessibility_Check): New declaration. + (Is_By_Reference_Return_Object): Likewise. + (Is_Secondary_Stack_Return_Object): Likewise. + (Is_Special_Return_Object): Likewise. + * exp_ch6.adb (Expand_Ctrl_Function_Call): Do not bail out for the + expression in the declaration of a special return object. + (Expand_N_Extended_Return_Statement): Add missing guard and move + the class-wide accessibility check to Expand_N_Object_Declaration. + (Expand_Simple_Function_Return): Delete obsolete commentary. + Skip the special processing for types that require finalization or + are returned on the secondary stack if the return originally comes + from an extended return statement. Add missing Constant_Present. + (Is_By_Reference_Return_Object): New predicate. + (Is_Secondary_Stack_Return_Object): Likewise. + (Is_Special_Return_Object): Likewise. + * exp_util.adb (Is_Related_To_Func_Return): Also return true if the + parent of the expression is the renaming declaration generated for + the expansion of a return object. + * gen_il-fields.ads (Opt_Field_Enum): Replace Alloc_For_BIP_Return + with For_Special_Return_Object. + * gen_il-gen-gen_nodes.adb (N_Allocator): Likewise. + * gen_il-internals.adb (Image): Remove Alloc_For_BIP_Return. + * sem_ch3.adb (Check_Return_Subtype_Indication): New procedure + moved from sem_ch6.adb. + (Analyze_Object_Declaration): Call it on a return object. + * sem_ch4.adb: Add with and use clauses for Rtsfind. + (Analyze_Allocator): Test For_Special_Return_Object to skip checks + for allocators made for special return objects. + Do not report restriction violations for the return stack pool. + * sem_ch5.adb (Analyze_Assignment.Set_Assignment_Type): Return the + Actual_Subtype for return objects that live on the secondary stack. + * sem_ch6.adb (Check_Return_Subtype_Indication): Move procedure to + sem_ch3.adb. + (Analyze_Function_Return): Do not call above procedure. + * sem_res.adb (Resolve_Allocator): Replace Alloc_For_BIP_Return + with For_Special_Return_Object. + * sinfo.ads: Likewise. + * treepr.adb (Image): Remove Alloc_For_BIP_Return. + * gcc-interface/trans.cc (gnat_to_gnu): Do not convert to the result + type in the unconstrained array type case if the parent is a simple + return statement. + +2022-12-06 Eric Botcazou <ebotcazou@adacore.com> + + * sem_res.adb (Resolve_Membership_Op): Adjust latest change. + +2022-12-06 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_N_In) <Substitute_Valid_Check>: Rename to... + <Substitute_Valid_Test>: ...this. + Use Is_Entity_Name to test for the presence of entity references. + Do not warn or substitute a valid test for a test with a mark for + a subtype that is predicated. + Apply the same transformation for a test with a mark for a subtype + that is predicated as for a subtype that is not. + Remove useless return statement. + * sem_res.adb (Resolve_Membership_Op): Perform a special resolution + if the left operand is of a universal numeric type. + +2022-12-06 Justin Squirek <squirek@adacore.com> + + * accessibility.adb, accessibility.ads + (Accessibility_Message): Moved from sem_attr. + (Apply_Accessibility_Check): Moved from checks. + (Apply_Accessibility_Check_For_Allocator): Moved from exp_ch4 and + renamed + (Check_Return_Construct_Accessibility): Moved from sem_ch6. + (Innermost_Master_Scope_Depth): Moved from sem_util. Add condition + to detect expanded iterators. + (Prefix_With_Safe_Accessibility_Level): Moved from sem_attr. + (Static_Accessibility_Level): Moved from sem_util. + (Has_Unconstrained_Access_Discriminants): Likewise. + (Has_Anonymous_Access_Discriminant): Likewise. + (Is_Anonymous_Access_Actual): Likewise. + (Is_Special_Aliased_Formal_Access): Likewise. + (Needs_Result_Accessibility_Level): Likewise. + (Subprogram_Access_Level): Likewise. + (Type_Access_Level): Likewise. + (Deepest_Type_Access_Level): Likewise. + (Effective_Extra_Accessibility): Likewise. + (Get_Dynamic_Accessibility): Likewise. + (Has_Access_Values): Likewise. + (Accessibility_Level): Likewise. + * exp_attr.adb (Access_Cases): Obtain the proper enclosing object + which applies to a given 'Access by looking through type + conversions. + * exp_ch4.adb (Apply_Accessibility_Check): Moved to accessibility. + * exp_ch5.adb: Likewise. + * exp_ch6.adb: Likewise. + * exp_ch9.adb: Likewise. + * exp_disp.adb: Likewise. + * gen_il-fields.ads: Add new flag Comes_From_Iterator. + * gen_il-gen-gen_nodes.adb: Add new flag Comes_From_Iterator for + N_Object_Renaming_Declaration. + * sem_ch5.adb (Analyze_Iterator_Specification): Mark object + renamings resulting from iterator expansion with the new flag + Comes_From_Iterator. + * sem_aggr.adb (Resolve_Container_Aggregate): Refine test. + * sem_ch13.adb: Add dependence on the accessibility package. + * sem_ch3.adb: Likewise. + * sem_ch4.adb: Likewise. + * sem_ch9.adb: Likewise. + * sem_res.adb: Likewise. + * sem_warn.adb: Likewise. + * exp_ch3.adb: Likewise. + * sem_attr.adb (Accessibility_Message): Moved to accessibility. + (Prefix_With_Safe_Accessibility_Level): Likewise. + * checks.adb, checks.ads (Apply_Accessibility_Check): Likewise. + * sem_ch6.adb (Check_Return_Construct_Accessibility): Likewise. + * sem_util.adb, sem_util.ads + (Accessibility_Level): Likewise. + (Deepest_Type_Access_Level): Likewise. + (Effective_Extra_Accessibility): Likewise. + (Get_Dynamic_Accessibility): Likewise. + (Has_Access_Values): Likewise. + (Has_Anonymous_Access_Discriminant): Likewise. + (Static_Accessibility_Level): Likewise. + (Has_Unconstrained_Access_Discriminants): Likewise. + (Is_Anonymous_Access_Actual): Likewise. + (Is_Special_Aliased_Formal_Access): Likewise. + (Needs_Result_Accessibility_Level): Likewise. + (Subprogram_Access_Level): Likewise. + (Type_Access_Level): Likewise. + * sinfo.ads: Document new flag Comes_From_Iterator. + * gcc-interface/Make-lang.in: Add entry for new Accessibility package. + +2022-12-06 Liaiss Merzougue <merzougue@adacore.com> + + * libgnat/i-c.adb (To_C): Simplify code for having a single + exception raise. Add pragma annotate about uninitialized value + which happen only on exception raising. + 2022-12-01 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/trans.cc (get_storage_model_access): Strip any type diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 7ea99c1..9a4bb25 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,67 @@ +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107882 + * region-model.cc (region_model::get_store_value): Return an + unknown value for empty regions. + (region_model::set_value): Bail on empty regions. + * region.cc (region::empty_p): New. + * region.h (region::empty_p): New decl. + * state-purge.cc (same_binding_p): Bail if either region is empty. + * store.cc (binding_key::make): Assert that a concrete binding's + bit_size must be > 0. + (binding_cluster::mark_region_as_unknown): Bail on empty regions. + (binding_cluster::get_binding): Likewise. + (binding_cluster::remove_overlapping_bindings): Likewise. + (binding_cluster::on_unknown_fncall): Don't conjure values for + empty regions. + (store::fill_region): Bail on empty regions. + * store.h (class concrete_binding): Update comment to reflect that + the range of bits must be non-empty. + (concrete_binding::concrete_binding): Assert that bit range is + non-empty. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106325 + * region-model-manager.cc + (region_model_manager::get_or_create_null_ptr): New. + * region-model-manager.h + (region_model_manager::get_or_create_null_ptr): New decl. + * region-model.cc (region_model::on_top_level_param): Add + "nonnull" param and make use of it. + (region_model::push_frame): When handling a top-level entrypoint + to the analysis, determine which params __attribute__((nonnull)) + applies to, and pass to on_top_level_param. + * region-model.h (region_model::on_top_level_param): Add "nonnull" + param. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + * analyzer.h (register_known_analyzer_functions): New decl. + (register_known_functions_lang_cp): New decl. + * call-details.cc: New file, split out from + region-model-impl-calls.cc. + * call-details.h: New file, split out from region-model.h. + * call-info.cc: Include "analyzer/call-details.h". + * call-summary.h: Likewise. + * kf-analyzer.cc: New file, split out from + region-model-impl-calls.cc. + * kf-lang-cp.cc: Likewise. + * known-function-manager.cc: Include "analyzer/call-details.h". + * region-model-impl-calls.cc: Move definitions of call_details's + member functions to call-details.cc. Move class kf_analyzer_* to + kf-analyzer.cc. Move kf_operator_new and kf_operator_delete to + kf-lang-cp.cc. Refresh #includes accordingly. + (register_known_functions): Replace registration of __analyzer_* + functions with a call to register_known_analyzer_functions. + Replace registration of C++ support functions with a call to + register_known_functions_lang_cp. + * region-model.h (class call_details): Move to new call-details.h. + * sm-fd.cc: Include "analyzer/call-details.h". + * sm-file.cc: Likewise. + * sm-malloc.cc: Likewise. + * varargs.cc: Likewise. + 2022-12-02 David Malcolm <dmalcolm@redhat.com> * analyzer.h (struct event_loc_info): New forward decl. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 956e47c..758b130 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2022-12-06 Qing Zhao <qing.zhao@oracle.com> + + * c-decl.cc (is_flexible_array_member_p): Call new function + strict_flex_array_level_of. + 2022-11-24 Florian Weimer <fweimer@redhat.com> PR c/107805 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1ba793d..5058218 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,81 @@ +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/107882 + * gcc.dg/analyzer/memcpy-pr107882.c: New test. + +2022-12-06 Qing Zhao <qing.zhao@oracle.com> + + * gcc.dg/Warray-bounds-11.c: Update warnings for -Warray-bounds=2. + * gcc.dg/Warray-bounds-flex-arrays-1.c: New test. + * gcc.dg/Warray-bounds-flex-arrays-2.c: New test. + * gcc.dg/Warray-bounds-flex-arrays-3.c: New test. + * gcc.dg/Warray-bounds-flex-arrays-4.c: New test. + * gcc.dg/Warray-bounds-flex-arrays-5.c: New test. + * gcc.dg/Warray-bounds-flex-arrays-6.c: New test. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106325 + * gcc.dg/analyzer/attr-nonnull-pr106325.c: New test. + * gcc.dg/analyzer/attribute-nonnull.c (test_6): New. + (test_7): New. + +2022-12-06 David Malcolm <dmalcolm@redhat.com> + + * gcc.dg/plugin/analyzer_kernel_plugin.c: Include + "analyzer/call-details.h". + * gcc.dg/plugin/analyzer_known_fns_plugin.c: Likewise. + +2022-12-06 Marcel Vollweiler <marcel@codesourcery.com> + + * c-c++-common/gomp/target-teams-1.c: Adapt expected values for + num_teams from "1" to "-2" in cases without num_teams clause. + * g++.dg/gomp/target-teams-1.C: Likewise. + * gfortran.dg/gomp/defaultmap-4.f90: Likewise. + * gfortran.dg/gomp/defaultmap-5.f90: Likewise. + * gfortran.dg/gomp/defaultmap-6.f90: Likewise. + +2022-12-06 Andre Vieira <andre.simoesdiasvieira@arm.com> + + * gcc.target/arm/mve/pr107987.c: New test. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR target/107969 + * gcc.target/i386/pr107969.c: New test. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR testsuite/107046 + * gcc.c-torture/execute/ieee/ieee.exp: For rx-*-* append + -mnofpu. + +2022-12-06 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/107975 + * gcc.dg/pr107975.c: New test. + +2022-12-06 Richard Biener <rguenther@suse.de> + + PR tree-optimization/104165 + * g++.dg/warn/Warray-bounds-pr104165-1.C: New testcase. + +2022-12-06 Iain Sandoe <iain@sandoe.co.uk> + + * gcc.target/x86_64/abi/bf16/abi-bf16.exp: Use separate asm for Darwin. + * gcc.target/x86_64/abi/bf16/m256bf16/abi-bf16-ymm.exp: Likewise. + * gcc.target/x86_64/abi/bf16/m512bf16/abi-bf16-zmm.exp: Likewise. + * gcc.target/x86_64/abi/bf16/args.h: Make xmm_regs, x87_regs extern. + * gcc.target/x86_64/abi/bf16/m256bf16/args.h: Likewise. + * gcc.target/x86_64/abi/bf16/m512bf16/args.h: Likewise. + * gcc.target/x86_64/abi/bf16/asm-support-darwin.S: New file. + * gcc.target/x86_64/abi/bf16/m256bf16/asm-support-darwin.S: New file. + * gcc.target/x86_64/abi/bf16/m512bf16/asm-support-darwin.S: New file. + +2022-12-06 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> + + * gcc.target/aarch64/interleave-init-1.c: New test. + 2022-12-05 Richard Biener <rguenther@suse.de> PR middle-end/40635 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 7fd1153..bfad2c5 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,46 @@ +2022-12-06 Marcel Vollweiler <marcel@codesourcery.com> + + * config/gcn/icv-device.c (omp_get_teams_thread_limit): Added to + allow processing of device-specific values. + (omp_set_teams_thread_limit): Likewise. + (ialias): Likewise. + * config/nvptx/icv-device.c (omp_get_teams_thread_limit): Likewise. + (omp_set_teams_thread_limit): Likewise. + (ialias): Likewise. + * icv-device.c (omp_get_teams_thread_limit): Likewise. + (ialias): Likewise. + (omp_set_teams_thread_limit): Likewise. + * icv.c (omp_set_teams_thread_limit): Removed. + (omp_get_teams_thread_limit): Likewise. + (ialias): Likewise. + * libgomp.texi: Updated documentation for nvptx and gcn corresponding + to the limitation of the number of teams. + * plugin/plugin-gcn.c (limit_teams): New helper function that limits + the number of teams by twice the number of compute units. + (parse_target_attributes): Limit the number of teams on gcn offload + devices. + * target.c (get_gomp_offload_icvs): Added teams_thread_limit_var + handling. + (gomp_load_image_to_device): Added a size check for the ICVs struct + variable. + (gomp_copy_back_icvs): New function that is used in GOMP_target_ext to + copy back the ICV values from device to host. + (GOMP_target_ext): Update the number of teams and threads in the kernel + args also considering device-specific values. + * testsuite/libgomp.c-c++-common/icv-4.c: Fixed an error in the reading + of OMP_TEAMS_THREAD_LIMIT from the environment. + * testsuite/libgomp.c-c++-common/icv-5.c: Extended. + * testsuite/libgomp.c-c++-common/icv-6.c: Extended. + * testsuite/libgomp.c-c++-common/icv-7.c: Extended. + * testsuite/libgomp.c-c++-common/icv-9.c: New test. + * testsuite/libgomp.fortran/icv-5.f90: New test. + * testsuite/libgomp.fortran/icv-6.f90: New test. + +2022-12-06 Tobias Burnus <tobias@codesourcery.com> + + * libgomp.texi (OpenMP 5.2): Add missing 'the'. + (TR11): Add missing '@tab N @tab'. + 2022-11-30 Tobias Burnus <tobias@codesourcery.com> * libgomp.texi (OpenMP Context Selectors): Add 'gfx803' to gcn's isa. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 219cbfc..cfa25d0 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,78 @@ +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + PR libstdc++/107979 + * testsuite/17_intro/names.cc: Do not check __unused on old + Glibc versions. + +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + PR libstdc++/107871 + * include/std/format (_Iter_sink::_M_overflow): Add cast to + size_t. + (_Iter_sink<CharT, contiguous_iterator auto>::_M_make_span): Use + typedef instead of decltype. + * testsuite/std/format/functions/107871.cc: New test. + +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + * include/std/chrono (chrono::hh_mm_ss): Do not use 64-bit + representations for all four duration members. Reorder members. + (hh_mm_ss::hh_mm_ss()): Define as defaulted. + (hh_mm_ss::hh_mm_ss(Duration)): Delegate to a new private + constructor, instead of calling chrono::abs repeatedly. + * testsuite/std/time/hh_mm_ss/1.cc: Check floating-point + representations. Check default constructor. Check sizes. + +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + PR c++/106434 + * include/bits/vector.tcc (insert(const_iterator, const T&)): + Add assertion and optimization hint that the iterator for the + insertion point must be non-null. + +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/std_mutex.h (mutex): Add nodiscard attribute to + try_lock member function. + * include/bits/unique_lock.h (unique_lock): Likewise for + try_lock, try_lock_until, try_lock_for member functions, and + owns_lock and mutex member functions. + * include/std/mutex (recursive_mutex): Likewise for try_lock + member function. + (timed_mutex, recursive_timed_mutex, try_lock): Likewise for + try_lock, try_lock_until, try_lock_for member functions. + (try_lock): Likewise for non-member function. + * include/std/shared_mutex (shared_mutex): Likewise for try_lock + and try_lock_shared member functions. + (shared_timed_mutex): Likewise for try_lock, try_lock_for, + try_lock_shared, try_lock_shared_for, try_lock_until, and + try_lock_shared_until member functions. + (shared_lock): Likewise for try_lock, try_lock, try_lock_for, + try_lock_until, owns_lock, and mutex member functions. + * testsuite/30_threads/recursive_timed_mutex/try_lock_until/clock_neg.cc: + Cast discarded value expression to void. + * testsuite/30_threads/shared_lock/locking/3.cc: Likewise. + * testsuite/30_threads/shared_lock/locking/4.cc: Likewise. + * testsuite/30_threads/shared_lock/locking/clock_neg.cc: + Likewise. + * testsuite/30_threads/shared_timed_mutex/try_lock_until/clock_neg.cc: + Likewise. + * testsuite/30_threads/timed_mutex/try_lock_until/clock_neg.cc: + Likewise. + * testsuite/30_threads/try_lock/4.cc: Likewise. + * testsuite/30_threads/unique_lock/cons/60497.cc: Likewise. + * testsuite/30_threads/unique_lock/locking/3.cc: Likewise. + * testsuite/30_threads/unique_lock/locking/clock_neg.cc: + Likewise. + +2022-12-06 Jonathan Wakely <jwakely@redhat.com> + + * include/std/format (basic_format_parse_context::next_arg_id): + Only check arg-id is in range during constant evaluation. + * testsuite/std/format/functions/format.cc: Check "{:#Lx}". + * testsuite/std/format/parse_ctx.cc: Adjust expected results for + format-strings using an out-of-range arg-id. + 2022-12-04 Iain Sandoe <iain@sandoe.co.uk> * config/os/bsd/darwin/os_defines.h |