From 732d7638479295546db3ee4da00a08faef97232d Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 12 Oct 2021 00:17:02 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 115 ++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 273 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/objcp/ChangeLog | 5 + gcc/testsuite/ChangeLog | 37 +++++++ libgomp/ChangeLog | 38 +++++++ libstdc++-v3/ChangeLog | 39 +++++++ 7 files changed, 508 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 604baf73f74..b0890821660 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,118 @@ +2021-10-11 Jan Hubicka + + * ipa-modref-tree.h (struct modref_access_node): Revert + accidental change. + (struct modref_ref_node): Likewise. + +2021-10-11 Jan Hubicka + + * ipa-modref-tree.h (modref_tree::global_access_p): New member + function. + * ipa-modref.c: + (implicint_const_eaf_flags,implicit_pure_eaf_flags, + ignore_stores_eaf_flags): Move to ipa-modref.h + (remove_useless_eaf_flags): Remove early exit on NOCLOBBER. + (modref_summary::global_memory_read_p): New member function. + (modref_summary::global_memory_written_p): New member function. + * ipa-modref.h (modref_summary::global_memory_read_p, + modref_summary::global_memory_written_p): Declare. + (implicint_const_eaf_flags,implicit_pure_eaf_flags, + ignore_stores_eaf_flags): move here. + * tree-ssa-structalias.c: Include ipa-modref-tree.h, ipa-modref.h + and attr-fnspec.h. + (handle_rhs_call): Rewrite. + (handle_call_arg): New function. + (determine_global_memory_access): New function. + (handle_const_call): Remove + (handle_pure_call): Remove + (find_func_aliases_for_call): Update use of handle_rhs_call. + (compute_points_to_sets): Handle global memory acccesses + selectively + +2021-10-11 Diane Meirowitz + + * doc/invoke.texi: Add link to UndefinedBehaviorSanitizer + documentation, mention UBSAN_OPTIONS, similar to what is done + for AddressSanitizer. + +2021-10-11 Richard Biener + + PR middle-end/102683 + * internal-fn.c (expand_DEFERRED_INIT): Check for mode + availability before building an integer type for storage + purposes. + +2021-10-11 Richard Biener + + PR middle-end/101480 + * gimple.c (gimple_call_fnspec): Do not mark operator new/delete + as const. + +2021-10-11 Martin Liska + + * common.opt: Remove Init(2) for some options. + * toplev.c (process_options): Do not use AUTODETECT_VALUE, but + use rather OPTION_SET_P. + +2021-10-11 Martin Liska + + * common.opt: Remove usage of IRA_REGION_AUTODETECT. + * flag-types.h (enum ira_region): Likewise. + * toplev.c (process_options): Use OPTION_SET_P instead of + IRA_REGION_AUTODETECT. + +2021-10-11 Jakub Jelinek + + * omp-low.c (omp_runtime_api_call): Handle omp_get_max_teams, + omp_[sg]et_teams_thread_limit and omp_set_num_teams. + +2021-10-11 Stefan Schulze Frielinghaus + + * config/s390/s390-protos.h (s390_rawmemchr): Add prototype. + * config/s390/s390.c (s390_rawmemchr): New function. + * config/s390/s390.md (rawmemchr): New expander. + * config/s390/vector.md (@vec_vfees): Basically a copy of + the pattern vfees from vx-builtins.md. + * config/s390/vx-builtins.md (*vfees): Remove. + +2021-10-11 Stefan Schulze Frielinghaus + + * builtins.c (get_memory_rtx): Change to external linkage. + * builtins.h (get_memory_rtx): Add function prototype. + * doc/md.texi (rawmemchr): Document. + * internal-fn.c (expand_RAWMEMCHR): Define. + * internal-fn.def (RAWMEMCHR): Add. + * optabs.def (rawmemchr_optab): Add. + * tree-loop-distribution.c (find_single_drs): Change return code + behaviour by also returning true if no single store was found + but a single load. + (loop_distribution::classify_partition): Respect the new return + code behaviour of function find_single_drs. + (loop_distribution::execute): Call new function + transform_reduction_loop in order to replace rawmemchr or strlen + like loops by calls into builtins. + (generate_reduction_builtin_1): New function. + (generate_rawmemchr_builtin): New function. + (generate_strlen_builtin_1): New function. + (generate_strlen_builtin): New function. + (generate_strlen_builtin_using_rawmemchr): New function. + (reduction_var_overflows_first): New function. + (determine_reduction_stmt_1): New function. + (determine_reduction_stmt): New function. + (loop_distribution::transform_reduction_loop): New function. + +2021-10-11 Martin Liska + + * tree.c (cl_option_hasher::hash): Use cl_optimization_hash + and remove legacy hashing code. + +2021-10-11 Kito Cheng + + PR target/100316 + * builtins.c (maybe_emit_call_builtin___clear_cache): Allow + CONST_INT for BEGIN and END, and use gcc_assert rather than + error. + 2021-10-10 Jakub Jelinek PR debug/102441 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 5c35523c109..ec9b4b5ab32 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20211011 +20211012 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d712fb7fa95..421b9b4d9d6 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,276 @@ +2021-10-11 Eric Botcazou + + * gcc-interface/gigi.h (resolve_atomic_size): Declare. + (list_third): New inline function. + * gcc-interface/decl.c (type_for_atomic_builtin_p): New function. + (resolve_atomic_builtin): Likewise. + (gnat_to_gnu_subprog_type): Perform type resolution for most of + type-generic GCC atomic builtins and give an error for the rest. + * gcc-interface/utils2.c (resolve_atomic_size): Make public. + +2021-10-11 Eric Botcazou + + * gcc-interface/trans.c (gnat_to_gnu) : + Given the warning only if No_Exception_Propagation is active. + : Likewise. + : Likewise. + +2021-10-11 Eric Botcazou + + * gcc-interface/decl.c (promote_object_alignment): Add GNU_SIZE + parameter and use it for the size of the object if not null. + (gnat_to_gnu_entity) : Perform the automatic alignment + promotion for objects whose nominal subtype is of variable size. + (gnat_to_gnu_field): Adjust call to promote_object_alignment. + +2021-10-11 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_param): Strip padding types + only if the size does not change in the process. Rename local + variable and add bypass for initialization procedures. + +2021-10-11 Doug Rupp + + * libgnat/s-thread.ads: Fix comments. Remove unused package + imports. + (Thread_Body_Exception_Exit): Remove Exception_Occurrence + parameter. + (ATSD): Declare type locally. + * libgnat/s-thread__ae653.adb: Fix comments. Remove unused + package imports. Remove package references to Stack_Limit + checking. + (Install_Handler): Remove. + (Set_Sec_Stack): Likewise. + (Thread_Body_Enter): Remove calls to Install_Handler and + Stack_Limit checking. + (Thread_Body_Exception_Exit): Remove Exception_Occurrence + parameter. + (Init_RTS): Call local Get_Sec_Stack. Remove call to + Install_Handler. Remove references to accessors for + Get_Sec_Stack and Set_Sec_Stack. Remove OS check. + (Set_Sec_Stack): Remove. + +2021-10-11 Piotr Trojanek + + * exp_ch3.adb (Make_Predefined_Primitive_Specs, + Predefined_Primitive_Bodies): Remove guard with restriction + No_Dispatching_Calls. + +2021-10-11 Steve Baird + + * sem_attr.adb (Analyze_Attribute_Old_Result): Permit an + attribute reference inside a compiler-generated _Postconditions + procedure. In this case, Subp_Decl is assigned the declaration + of the enclosing subprogram. + * exp_util.adb (Insert_Actions): When climbing up the tree + looking for an insertion point, do not climb past an + N_Iterated_Component/Element_Association, since this could + result in inserting a reference to a loop parameter at a + location outside of the scope of that loop parameter. On the + other hand, be careful to preserve existing behavior in the case + of an N_Component_Association node. + +2021-10-11 Steve Baird + + * exp_ch6.adb (Can_Fold_Predicate_Call): Do not attempt folding + if there is more than one predicate involved. Recall that + predicate aspect specification are additive, not overriding, and + that there are three different predicate + aspects (Dynamic_Predicate, Static_Predicate, and the + GNAT-defined Predicate aspect). These various ways of + introducing multiple predicates are all checked for. A new + nested function, Augments_Other_Dynamic_Predicate, is + introduced. + * sem_ch4.adb + (Analyze_Indexed_Component_Form.Process_Function_Call): When + determining whether a name like "X (Some_Discrete_Type)" might + be interpreted as a slice, the answer should be "no" if the + type/subtype name denotes the current instance of type/subtype. + +2021-10-11 Patrick Bernardi + + * libgnarl/s-osinte__rtems.ads: Change sigset_t to an unsigned + long. + +2021-10-11 Patrick Bernardi + + * libgnat/s-parame__rtems.adb: use + _POSIX_Threads_Minimum_stack_size instead of + ada_pthread_minimum_stack_size. + +2021-10-11 Eric Botcazou + + * fe.h (No_Exception_Propagation_Active): Declare. + * restrict.ads (No_Exception_Propagation_Active): Add WARNING line. + +2021-10-11 Piotr Trojanek + + * sem_ch13.adb (Validate_Unchecked_Conversion): Simplify code + for detecting conversions with Ada.Calendar.Time type and extend + it to similar types in the Ada.Real_Time package. + +2021-10-11 Piotr Trojanek + + * sem_ch10.adb, sem_prag.adb, sem_util.adb: Use + N_Generic_Declaration in membership tests. + +2021-10-11 Etienne Servais + + * ali.adb (Get_Name): Ignore_Spaces is always False. + * bindo-graphs.adb (Set_Is_Existing_Source_Target_Relation): Val + is always True. + * cstand.adb (New_Standard_Entity): New_Node_Kind is always + N_Defininig_Identifier. + * exp_ch3.adb (Predef_Stream_Attr_Spec): For_Body is always + False. + * exp_dist.adb (Add_Parameter_To_NVList): RACW_Ctrl is always + False. + * gnatls.adb (Add_Directories): Prepend is always False. + * sem_ch10.adb, sem_ch10.ads (Load_Needed_Body): Do_Analyze is + always True. + * sem_ch3.adb, sem_ch3.ads (Process_Range_Expr_In_Decl): + R_Check_Off is always False. + * sem_elab.adb: (Info_Variable_Reference): Info_Msg is always + False, In_SPARK is always True. + (Set_Is_Traversed_Body, Set_Is_Saved_Construct, + Set_Is_Saved_Relation): Val is always True. + * treepr.adb (Visit_Descendant): No_Indent is always False. + (Print_Node): Fmt does not need such a big scope. + +2021-10-11 Etienne Servais + + * sem_ch4.adb (Analyze_Membership_Op): Finds interpretation for + the case of a membership test with a singleton value in case of + overloading. + +2021-10-11 Patrick Bernardi + + * Makefile.rtl (VxWorks): Rename s-inmaop__vxworks.adb to + s-inmaop__hwint.adb. + (RTEMS): Use s-inmaop__hwint.adb, s-intman__rtems.adb/s, + s-taprop__rtems.adb. + * libgnarl/a-intnam__rtems.ads: Remove signals definitions and + replace with Hardware_Interrupts. + * libgnarl/s-inmaop__vxworks.adb: Rename as... + * libgnarl/s-inmaop__hwint.adb: ... this. + * libgnarl/s-interr__hwint.adb: Remove unnecessary comments. + * libgnarl/s-intman__rtems.ads, libgnarl/s-intman__rtems.adb: + New files. + * libgnarl/s-osinte__rtems.adb: Add RTEMS API bindings. + (Binary_Semaphore_Create, Binary_Semaphore_Delete, + Binary_Semaphore_Obtain, Binary_Semaphore_Release, + Binary_Semaphore_Flush, Interrupt_Connect, + Interrupt_Number_To_Vector): New functions. + * libgnarl/s-osinte__rtems.ads (Num_HW_Interrupts, Signal): + Removed. + (NSIG, Interrupt_Range): New. + (Binary_Semaphore_Create, Binary_Semaphore_Delete, + Binary_Semaphore_Obtain, Binary_Semaphore_Release, + Binary_Semaphore_Flush, Interrupt_Connect, + Interrupt_Number_To_Vector): Remove Import pragma. + * libgnarl/s-taprop__rtems.adb: New file. + +2021-10-11 Eric Botcazou + + * exp_fixd.adb (Get_Size_For_Value): New function returning a size + suitable for a non-negative integer value. + (Get_Type_For_Size): New function returning a standard type suitable + for a size. + (Build_Divide): Call both functions to compute the result type, but + make sure to pass a non-negative value to the first. + (Build_Multiply): Likewise. + (Do_Multiply_Fixed_Universal): Minor consistency tweak. + (Integer_Literal): Call both functions to compute the type. + +2021-10-11 Etienne Servais + + * sem_ch4.adb (Analyze_Membership_Op): Reorder subprogram spec + and bodies in alphabetical order. + +2021-10-11 Piotr Trojanek + + * exp_util.adb (Build_Class_Wide_Expression): Replace entities + of both simple and extended names. + +2021-10-11 Ghjuvan Lacambre + + * libgnarl/s-intman__android.adb, libgnarl/s-intman__lynxos.adb, + libgnarl/s-intman__posix.adb, libgnarl/s-intman__qnx.adb, + libgnarl/s-intman__solaris.adb, libgnarl/s-intman__susv3.adb, + libgnarl/s-taprob.adb, libgnarl/s-taprop__hpux-dce.adb, + libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb, + libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb, + libgnarl/s-taprop__solaris.adb, libgnarl/s-taprop__vxworks.adb, + libgnarl/s-taskin.adb, libgnarl/s-tasque.adb, + libgnarl/s-tpoben.adb, libgnat/a-calend.adb, + libgnat/a-excach.adb, libgnat/a-except.adb, libgnat/a-tags.adb, + libgnat/a-textio.adb, libgnat/a-witeio.adb, + libgnat/a-ztexio.adb, libgnat/g-binenv.adb, + libgnat/s-parame.adb, libgnat/s-parame__vxworks.adb, + libgnat/s-stratt.adb, libgnat/s-trasym__dwarf.adb: Mark imported + binder globals as constant. + +2021-10-11 Piotr Trojanek + + * exp_aggr.adb (Initialize_Record_Component): Add assertion + about one of the parameters, so that illegal attempts to + initialize record components with Empty node are detected early + on. + (Build_Record_Aggr_Code): Handle boxes in aggregate component + associations just the components with no initialization in + Build_Record_Init_Proc. + * sem_aggr.adb (Resolve_Record_Aggregate): For components that + require simple initialization carry boxes from resolution to + expansion. + * sem_util.adb (Needs_Simple_Initialization): Remove redundant + paren. + +2021-10-11 Piotr Trojanek + + * exp_ch3.adb (Build_Init_Statements): Simplify detection of + concurrent record types. + +2021-10-11 Piotr Trojanek + + * exp_aggr.adb (Is_Delayed_Aggregate): Simplify. + +2021-10-11 Piotr Trojanek + + * exp_aggr.adb (Has_Default_Init_Comps): Simplify. + +2021-10-11 Piotr Trojanek + + * exp_aggr.adb (Component_OK_For_Backend): Remove redundant + guard. + +2021-10-11 Patrick Bernardi + + * Makefile.rtl (RTEMS): Add s-stchop.o to + EXTRA_GNATRTL_NONTASKING_OBJS, remove s-stchop__rtems.adb. + * libgnat/s-stchop__rtems.adb: Removed. + +2021-10-11 Marc Poulhiès + + * expander.adb (Expand): Skip clearing of Analyzed flag if + already set for N_Real_Literal. + +2021-10-11 Piotr Trojanek + + * sem_util.adb (Compile_Time_Constraint_Error): Simplify getting + the type of the first formal parameter. + +2021-10-11 Piotr Trojanek + + * exp_util.adb (Inside_Init_Proc): Simplify. + * sem_aggr.adb (Resolve_Record_Aggregate): Fix style. + * sem_util.adb (Compile_Time_Constraint_Error): Guard against + calling Corresponding_Concurrent_Type with an array type entity. + +2021-10-11 Doug Rupp + + * libgnat/s-parame__ae653.ads (time_t_bits): Change to + Long_Long_Integer'Size. Add some comments to explain. + 2021-10-08 Martin Liska * gcc-interface/misc.c (gnat_post_options): Use new macro diff --git a/gcc/objcp/ChangeLog b/gcc/objcp/ChangeLog index 5d6187b2a5c..c5d402c23e2 100644 --- a/gcc/objcp/ChangeLog +++ b/gcc/objcp/ChangeLog @@ -1,3 +1,8 @@ +2021-10-11 Eric Gallager + + PR objc++/56604 + * Make-lang.in: Add obj-c++.srcman: line. + 2021-06-08 Bernd Edlinger * Make-lang.in (cc1objplus-checksum.c): Check previous diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d7d98984aba..502af71e984 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,40 @@ +2021-10-11 Jan Hubicka + + * gcc.dg/torture/ssa-pta-fn-1.c: Fix template; add noipa. + * gcc.dg/tree-ssa/pta-callused.c: Fix template. + +2021-10-11 Patrick Palka + + PR c++/102643 + * g++.dg/cpp2a/class-deduction-alias11.C: New test. + +2021-10-11 Richard Biener + + PR middle-end/101480 + * g++.dg/torture/pr10148.C: New testcase. + +2021-10-11 Stefan Schulze Frielinghaus + + * gcc.target/s390/rawmemchr-1.c: New test. + +2021-10-11 Stefan Schulze Frielinghaus + + * gcc.dg/tree-ssa/ldist-rawmemchr-1.c: New test. + * gcc.dg/tree-ssa/ldist-rawmemchr-2.c: New test. + * gcc.dg/tree-ssa/ldist-strlen-1.c: New test. + * gcc.dg/tree-ssa/ldist-strlen-2.c: New test. + * gcc.dg/tree-ssa/ldist-strlen-3.c: New test. + +2021-10-11 Kito Cheng + + PR target/100316 + * gcc.c-torture/compile/pr100316.c: New. + +2021-10-11 liuhongt + + PR middle-end/102669 + * gnat.dg/unroll1.adb: Add -fno-tree-vectorize. + 2021-10-10 Harald Anlauf PR fortran/99348 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 300d2e4368c..10a05f6970c 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,41 @@ +2021-10-11 Marcel Vollweiler + + * allocator.c (omp_init_allocator): Replace omp_atv_sequential with + omp_atv_serialized. + * omp.h.in: Add deprecated flag for omp_atv_sequential. + * omp_lib.f90.in: Add deprecated flag for omp_atv_sequential. + * testsuite/libgomp.c-c++-common/alloc-10.c: New test. + * testsuite/libgomp.fortran/alloc-12.f90: New test. + +2021-10-11 Jakub Jelinek + + * omp.h.in (omp_set_num_teams, omp_get_max_teams, + omp_set_teams_thread_limit, omp_get_teams_thread_limit): Declare. + * omp_lib.f90.in (omp_set_num_teams, omp_get_max_teams, + omp_set_teams_thread_limit, omp_get_teams_thread_limit): Declare. + * omp_lib.h.in (omp_set_num_teams, omp_get_max_teams, + omp_set_teams_thread_limit, omp_get_teams_thread_limit): Declare. + * libgomp.h (gomp_nteams_var, gomp_teams_thread_limit_var): Declare. + * libgomp.map (OMP_5.1): Export omp_get_max_teams{,_}, + omp_get_teams_thread_limit{,_}, omp_set_num_teams{,_,_8_} and + omp_set_teams_thread_limit{,_,_8_}. + * icv.c (omp_set_num_teams, omp_get_max_teams, + omp_set_teams_thread_limit, omp_get_teams_thread_limit): New + functions. + * env.c (gomp_nteams_var, gomp_teams_thread_limit_var): Define. + (omp_display_env): Print OMP_NUM_TEAMS and OMP_TEAMS_THREAD_LIMIT. + (initialize_env): Handle OMP_NUM_TEAMS and OMP_TEAMS_THREAD_LIMIT env + vars. + * teams.c (GOMP_teams_reg): If thread_limit is not specified, use + gomp_teams_thread_limit_var as fallback if not zero. If num_teams + is not specified, use gomp_nteams_var. + * fortran.c (omp_set_num_teams, omp_get_max_teams, + omp_set_teams_thread_limit, omp_get_teams_thread_limit): Add + ialias_redirect. + (omp_set_num_teams_, omp_set_num_teams_8_, omp_get_max_teams_, + omp_set_teams_thread_limit_, omp_set_teams_thread_limit_8_, + omp_get_teams_thread_limit_): New functions. + 2021-10-09 liuhongt * testsuite/libgomp.c++/scan-10.C: Add option -fvect-cost-model=cheap. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 3b625d2ab06..a7a283565e5 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,42 @@ +2021-10-11 Jonathan Wakely + + * include/bits/atomic_timed_wait.h: Remove unused header. + * include/bits/c++config (std:__terminate): Define. + * include/bits/semaphore_base.h: Remove and use + __terminate instead of terminate. + * include/bits/std_thread.h: Likewise. + * libsupc++/eh_terminate.cc (std::terminate): Use qualified-id + to call __cxxabiv1::__terminate. + +2021-10-11 Jonathan Wakely + + * include/bits/regex.h (basic_regex::assign(Iter, Iter)): Avoid + std::__to_address by using poitner directly or using base() + member of __normal_iterator. + +2021-10-11 Jonathan Wakely + + * testsuite/18_support/numeric_limits/lowest.cc: Use + numeric_limits::is_integer instead of is_integral::value. + +2021-10-11 Jonathan Wakely + + PR libstdc++/89927 + * include/bits/regex.h (basic_regex(const _Ch_type*, size_t)): + Add __glibcxx_requires_string_len assertion. + (basic_regex::assign(InputIterator, InputIterator)): Add + __glibcxx_requires_valid_range assertion. + * include/bits/regex_scanner.tcc (_Scanner::_M_advance()) + (_Scanner::_M_scan_normal()): Use string literal in assertions. + +2021-10-11 Jonathan Wakely + + PR libstdc++/102667 + * include/bits/regex.h (match_result::empty()): Optimize by + calling the base function directly. + (match_results::end()): Check _Base_type::empty() not empty(). + * testsuite/28_regex/match_results/102667.C: New test. + 2021-10-08 Jonathan Wakely PR libstdc++/98725 -- 2.11.4.GIT