mirror of
https://github.com/gcc-mirror/gcc.git
synced 2026-05-06 14:59:39 +02:00
Daily bump.
This commit is contained in:
GCC Administrator
@@ -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:
|
||||
|
||||
102
gcc/ChangeLog
102
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
|
||||
|
||||
@@ -1 +1 @@
|
||||
20221206
|
||||
20221207
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -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.
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -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.
|
||||
|
||||
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user