+2022-12-06 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.doxy (INPUT): Add gcc/analyzer subdirectory.
+
2022-11-25 Martin Liska <mliska@suse.cz>
Revert:
+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
+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
+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.
+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
+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
+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.
+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
projects / thirdparty / gcc.git / commitdiff
