From: GCC Administrator Date: Sat, 24 Oct 2020 00:16:29 +0000 (+0000) Subject: Daily bump. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=efe71fcc4cb0e9989b2655e034c57cc73ae679a9;p=gcc.git Daily bump. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8bc8f3e3761..95aa1b5654f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,190 @@ +2020-10-23 Jan Hubicka + + * Makefile.in: Add symtab-thunks.o + (GTFILES): Add symtab-thunks.h and symtab-thunks.cc; remove cgraphunit.c + * cgraph.c: Include symtab-thunks.h. + (cgraph_node::create_thunk): Update + (symbol_table::create_edge): Update + (cgraph_node::dump): Update + (cgraph_node::call_for_symbol_thunks_and_aliases): Update + (set_nothrow_flag_1): Update + (set_malloc_flag_1): Update + (set_const_flag_1): Update + (collect_callers_of_node_1): Update + (clone_of_p): Update + (cgraph_node::verify_node): Update + (cgraph_node::function_symbol): Update + (cgraph_c_finalize): Call thunk_info::release. + (cgraph_node::has_thunk_p): Update + (cgraph_node::former_thunk_p): Move here from cgraph.h; reimplement. + * cgraph.h (struct cgraph_thunk_info): Rename to symtab-thunks.h. + (cgraph_node): Remove thunk field; add thunk bitfield. + (cgraph_node::expand_thunk): Move to symtab-thunks.h + (symtab_thunks_cc_finalize): Declare. + (cgraph_node::has_gimple_body_p): Update. + (cgraph_node::former_thunk_p): Update. + * cgraphclones.c: Include symtab-thunks.h. + (duplicate_thunk_for_node): Update. + (cgraph_edge::redirect_callee_duplicating_thunks): Update. + (cgraph_node::expand_all_artificial_thunks): Update. + (cgraph_node::create_edge_including_clones): Update. + * cgraphunit.c: Include symtab-thunks.h. + (vtable_entry_type): Move to symtab-thunks.c. + (cgraph_node::analyze): Update. + (analyze_functions): Update. + (mark_functions_to_output): Update. + (thunk_adjust): Move to symtab-thunks.c + (cgraph_node::expand_thunk): Move to symtab-thunks.c + (cgraph_node::assemble_thunks_and_aliases): Update. + (output_in_order): Update. + (cgraphunit_c_finalize): Do not clear vtable_entry_type. + (cgraph_node::create_wrapper): Update. + * gengtype.c (open_base_files): Add symtab-thunks.h + * ipa-comdats.c (propagate_comdat_group): UPdate. + (ipa_comdats): Update. + * ipa-cp.c (determine_versionability): UPdate. + (gather_caller_stats): Update. + (count_callers): Update + (set_single_call_flag): Update + (initialize_node_lattices): Update + (call_passes_through_thunk_p): Update + (call_passes_through_thunk): Update + (propagate_constants_across_call): Update + (find_more_scalar_values_for_callers_subset): Update + (has_undead_caller_from_outside_scc_p): Update + * ipa-fnsummary.c (evaluate_properties_for_edge): Update. + (compute_fn_summary): Update. + (inline_analyze_function): Update. + * ipa-icf.c: Include symtab-thunks.h. + (sem_function::equals_wpa): Update. + (redirect_all_callers): Update. + (sem_function::init): Update. + (sem_function::parse): Update. + * ipa-inline-transform.c: Include symtab-thunks.h. + (inline_call): Update. + (save_inline_function_body): Update. + (preserve_function_body_p): Update. + * ipa-inline.c (inline_small_functions): Update. + * ipa-polymorphic-call.c: Include alloc-pool.h, symbol-summary.h, + symtab-thunks.h + (ipa_polymorphic_call_context::ipa_polymorphic_call_context): Update. + * ipa-pure-const.c: Include symtab-thunks.h. + (analyze_function): Update. + * ipa-sra.c (check_for_caller_issues): Update. + * ipa-utils.c (ipa_reverse_postorder): Update. + (ipa_merge_profiles): Update. + * ipa-visibility.c (non_local_p): Update. + (cgraph_node::local_p): Update. + (function_and_variable_visibility): Update. + * ipa.c (symbol_table::remove_unreachable_nodes): Update. + * lto-cgraph.c: Include alloc-pool.h, symbol-summary.h and + symtab-thunks.h + (lto_output_edge): Update. + (lto_output_node): Update. + (compute_ltrans_boundary): Update. + (output_symtab): Update. + (verify_node_partition): Update. + (input_overwrite_node): Update. + (input_node): Update. + * lto-streamer-in.c (fixup_call_stmt_edges): Update. + * symtab-thunks.cc: New file. + * symtab-thunks.h: New file. + * toplev.c (toplev::finalize): Call symtab_thunks_cc_finalize. + * trans-mem.c (ipa_tm_mayenterirr_function): Update. + (ipa_tm_execute): Update. + * tree-inline.c (expand_call_inline): Update. + * tree-nested.c (create_nesting_tree): Update. + (convert_all_function_calls): Update. + (gimplify_all_functions): Update. + * tree-profile.c (tree_profiling): Update. + * tree-ssa-structalias.c (associate_varinfo_to_alias): Update. + * tree.c (free_lang_data_in_decl): Update. + * value-prof.c (init_node_map): Update. + +2020-10-23 Marek Polacek + + PR c++/91741 + * doc/invoke.texi: Document -Wsizeof-array-div. + +2020-10-23 Martin Sebor + + PR middle-end/97552 + * attribs.c (init_attr_rdwr_indices): Handle static VLA parameters. + +2020-10-23 Douglas Rupp + + * config/vxworks.h (VXWORKS_NET_LIBS_RTP): Use -lrtnet if + rtnetStackLib.h is available,fallback to -lnet otherwise. + +2020-10-23 Douglas Rupp + + * gcc.c (if-exists-then-else): New built-in spec function. + * doc/invoke.texi: Document it. + +2020-10-23 Tulio Magno Quites Machado Filho + + * doc/extend.texi (PowerPC Built-in Functions): Replace + extraneous characters with whitespace. + +2020-10-23 Martin Liska + + * gcov.c (read_count_file): Never call gcov_sync with a negative + value. + +2020-10-23 Jakub Jelinek + + * Makefile.in (PLUGIN_HEADERS): Add gomp-constants.h and $(EXPR_H). + (s-header-vars): Accept not just spaces but also tabs between *_H name + and =. Handle common/config/ headers similarly to config. Don't + throw away everything from first ... to last / on the remaining + string, instead skip just ... to corresponding last / without + intervening spaces and tabs. + (install-plugin): Treat common/config headers like config headers. + * config/i386/t-i386 (TM_H): Add + $(srcdir)/common/config/i386/i386-cpuinfo.h. + +2020-10-23 Jakub Jelinek + + PR tree-optimization/97164 + * stor-layout.c (layout_type): Also reject arrays where element size + is constant, but not a multiple of element alignment. + +2020-10-23 Eric Botcazou + + * tree-ssa-loop-ivopts.c (analyze_and_mark_doloop_use): Bail out if + the loop is subject to a pragma Unroll with no specific count. + +2020-10-23 Dennis Zhang + + * config/arm/mve.md (mve_vsubq): New entry for vsub instruction + using expression 'minus'. + (mve_vsubq_f): Use minus instead of VSUBQ_F unspec. + * config/arm/neon.md (sub3, sub3_fp16): Removed. + (neon_vsub): Use gen_sub3 instead of gen_sub3_fp16. + * config/arm/vec-common.md (sub3): Use the new mode macros + ARM_HAVE__ARITH. Use iterator VDQ instead of VALL. + +2020-10-23 Martin Liska + + PR lto/97524 + * lto-wrapper.c (make_exists): New function. + (run_gcc): Use it to check that make is present and working + for parallel execution. + +2020-10-23 Richard Biener + + Revert: + 2020-10-22 Richard Biener + + PR middle-end/97521 + * expr.c (expand_expr_real_1): Be more careful when + expanding a VECTOR_BOOLEAN_TYPE_P VECTOR_CSTs. + +2020-10-23 Kewen Lin + + * tree-vect-loop.c (vect_transform_loop): Remove the redundant + LOOP_VINFO_FULLY_MASKED_P check. + 2020-10-23 Dennis Zhang * config/arm/mve.md (mve_vsubq): New entry for vsub instruction diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b3873063e3e..b858c4c782c 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201023 +20201024 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a986499f0d2..4b4e760bd37 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,396 @@ +2020-10-23 Iain Sandoe + + * adaint.c: On Darwin platforms, define st_atim to + st_atimespec. Likwise st_mtim to st_mtimespec. + +2020-10-23 Eric Botcazou + + * Makefile.rtl (EXTRA_GNATRTL_NONTASKING_OBJS) [IA64/Linux]: Fix typo. + +2020-10-23 Eric Botcazou + + * Makefile.rtl (EXTRA_GNATRTL_NONTASKING_OBJS) [IA64/Linux]: Fix typo. + +2020-10-23 Alexandre Oliva + + PR ada/97504 + * Makefile.rtl (LIBGNAT_TARGET_PAIRS): Select wraplf version + of Aux_Long_Long_Float for s390 and remaining sparc and + powerpc targets. + +2020-10-23 Dmitriy Anisimkov + + * Makefile.rtl (GNATRTL_SOCKETS_OBJS): New object + g-socpol$(objext) New source files noted: g-socpol.adb, + g-socpol.ads, g-socpol__dummy.adb, g-socpol__dummy.ads, + g-sopowa.adb, g-sopowa__posix.adb, g-sopowa__mingw.adb, + g-spogwa.adb, g-spogwa.ads. + * impunit.adb (Non_Imp_File_Names_95): New base filename + g-socpol in "GNAT Library Units" section for GNAT.Sockets.Poll + unit. + * libgnat/g-socket.ads, libgnat/g-socket.adb: + (Raise_Socket_Error): Moved from body to private part of + specification to use in GNAT.Sockets.Poll. + * libgnat/g-socpol.ads, libgnat/g-socpol.adb: Main unit of the + implementation. + * libgnat/g-socpol__dummy.ads, libgnat/g-socpol__dummy.adb: + Empty unit for the systems without sockets support. + * libgnat/g-spogwa.ads, libgnat/g-spogwa.adb: Generic unit + implementing sockets poll on top of select system call. + * libgnat/g-sopowa.adb (Wait): Separate implementation for + operation systems with poll system call support. + * libgnat/g-sopowa__posix.adb (Wait): Separate implementation + for POSIX select system call. + * libgnat/g-sopowa__mingw.adb (Wait): Separate implementation + for Windows select system call. + * gsocket.h (_WIN32_WINNT): Increase to 0x0600 for winsock2.h to + allow WSAPoll related definitions. + * s-oscons-tmplt.c: Fix comment next to #endif for + #if defined (__linux__) || defined (__ANDROID__) line. Include + for all except VxWorks and Windows. + (SIZEOF_nfds_t): New definition. + (SIZEOF_fd_type): New definition. + (SIZEOF_pollfd_events): New definition. + (POLLIN, POLLPRI, POLLOUT, POLLERR, POLLHUP, POLLNVAL): New + definitions for VxWorks to be able to emulate poll on top of + select in it. Define POLLPRI as zero on Windows as it is not + supported there. + (Poll_Linkname): New definition, because the poll system call + has different name in Windows and POSIX. + +2020-10-23 Justin Squirek + + * checks.adb (Apply_Accessibility_Check): Skip checks against + the extra accessibility of a function result when in Ada 2005 + mode or earlier. + * exp_ch3.adb (Build_Initialization_Call): Modify accessibility + level calls to use Accessibility_Level. + (Expand_N_Object_Declaration): Modify accessibility level calls + to use Accessibility_Level. + * exp_ch4.adb (Expand_Allocator_Expression): Add static check + for anonymous access discriminants. Remove unneeded propagation + of accessibility actual. + (Expand_N_In): Modify accessibility level calls to use + Accessibility_Level. + (Expand_N_Type_Conversion): Modify accessibility level calls to + use Accessibility_Level. + * exp_ch5.adb (Expand_N_Assignment_Statement): Modify + accessibility level calls to use Accessibility_Level. + * exp_ch6.adb (Expand_Call_Helper): Rewrite accessibility + calculation for the extra accessibility of result actual in + function calls, and modify accessibility level calls to use + Accessibility_Level. + (Check_Against_Result_Level): Removed. + * exp_ch9.adb (Expand_N_Requeue_Statement): Add dynamic + accessibility check for requeues + * sem_attr.adb (Resolve_Attribute): Modify accessibility level + calls to use Accessibility_Level. + * sem_ch13.adb (Associate_Storage_Pool): Modify accessibility + level calls to use Accessibility_Level. + * sem_ch4.adb (Analyze_Call): Add static check for explicitly + aliased formals in function calls within return statements. + * sem_ch6.adb (Check_Return_Construct_Accessibility): Rewrite + routine to account for non-aggregate return objects. + (Generate_Minimum_Accessibility): Created. + (Analyze_Call): Modify accessibility level calls to use + Accessibility_Level. + (Analyze_Subprogram_Body_Helper): Add generation of minimum + accessibility for the extra accessibility of the function + result. + * sem_ch9.adb (Analyze_Requeue): Modify accessibility level + calls to use Accessibility_Level. + * sem_res.adb: (Check_Aliased_Parameters): Modify accessibility + level calls to use Accessibility_Level. + (Valid_Conversion): Modify accessibility level calls to use + Accessibility_Level. + * sem_util.adb, sem_util.ads (Accessibility_Level_Helper): + Renamed to Accessibility_Level, add detection for functions in + prefix notation, and add cases where to return zero when + specified. Modified to take new, more descriptive, parameters. + (Accessibility_Level): Created. + (Function_Call_Level): Removed. + (Function_Call_Or_Allocator_Level): Created to centralize the + calculation accessibility levels for function calls and + allocators. + (Static_Accessibility_Level): Removed. + (Dynamic_Accessibility_Level): Removed. + (Get_Dynamic_Accessibility): Renamed from Get_Accessibility. + (In_Return_Value): Created to determine if a given expression + contributes to the current function's return value. + (Is_Master): Created. + (Is_Explicitly_Aliased): Created + +2020-10-23 Bob Duff + + * doc/gnat_ugn/gnat_utility_programs.rst: Document + --no-comments-fill. + +2020-10-23 Piotr Trojanek + + * contracts.adb (Analyze_Entry_Or_Subprogram_Contract, + Analyze_Subprogram_Body_Stub_Contract): Fix missing references + to Subprogram_Variant where similar references to Contract_Cases + are present. + * sem_prag.adb (Analyze_Contract_Case, Analyze_Variant): Check + that aggregate parameter has no expressions. + (Analyze_Pragma): Replace Contract_Cases with Subprogram_Variant + in a copy-pasted comment. + +2020-10-23 Philippe Gil + + * libgnat/g-socket.ads: Fix comment typo. + +2020-10-23 Eric Botcazou + + * doc/gnat_rm/implementation_defined_pragmas.rst (VFA): Remove uage + restrictions in conjunction with Atomic and Aliased. + * gnat_rm.texi: Regenerate. + * aspects.ads (Aspect_Id): Add Aspect_Full_Access_Only. + (Is_Representation_Aspect): Likewise. + (Aspect_Names): Likewise. + (Aspect_Delay): Likewise. + * einfo.ads (Is_Atomic_Or_VFA): Rename into... + (Is_Full_Access): ...this. + (Is_Volatile_Full_Access): Document new usage for Full_Access_Only. + * einfo.adb (Is_Atomic_Or_VFA): Rename into... + (Is_Full_Access): ...this. + * freeze.ads (Is_Atomic_VFA_Aggregate): Rename into... + (Is_Full_Access_Aggregate): ...this. + * freeze.adb (Is_Atomic_VFA_Aggregate): Rename into... + (Is_Full_Access_Aggregate): ...this. Adjust to above renaming. + (Freeze_Array_Type): Likewise. + (Freeze_Entity): Likewise. + * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Likewise. + (Expand_Record_Aggregate): Likewise. + * exp_ch4.adb (Expand_N_Op_Eq): Likewise. + * exp_ch5.adb (Expand_Assign_Array): Likewise. + * exp_ch8.adb (Evaluation_Required): Likewise. + * layout.adb (Layout_Type): Likewise. + (Set_Composite_Alignment): Likewise. + * sem_aux.ads (Has_Rep_Item): Delete. + * sem_aux.adb (Has_Rep_Item): Likewise. + * sem_attr.adb (Resolve_Attribute) : Implement + new legality rules in C.6(12). + * sem_ch12.adb (Instantiate_Object): Likewise. + * sem_res.adb (Resolve_Actuals): Likewise. + * sem_ch13.adb (Inherit_Delayed_Rep_Aspects): Deal with aspect + Full_Access_Only. + (Check_False_Aspect_For_Derived_Type): Likewise. + (Make_Pragma_From_Boolean_Aspect): Test for the presence of Expr. + Deal with aspect Full_Access_Only. + (Analyze_Aspects_At_Freeze_Point): Likewise. + (Analyze_One_Aspect): Do not set Delay_Required to true even for + Always_Delay boolean aspects if they have no expression. Force + Delay_Required to true for aspect Full_Access_Only in all cases. + Reject aspect Full_Access_Only if not in Ada 2020 mode. + (Check_Aspect_At_End_Of_Declarations): Deal with empty expression. + (Check_Aspect_At_Freeze_Point): Likewise. + (Rep_Item_Entity): Delete. + (Inherit_Aspects_At_Freeze_Point): Align handling for Bit_Order + with that for Scalar_Storage_Order. + * sem_prag.adb (Check_Atomic_VFA): Delete. + (Check_VFA_Conflicts): Likewise. + (Check_Full_Access_Only): New procedure. + (Process_Atomic_Independent_Shared_Volatile): Call to implement + the new legality checks in C.6(8/2) and mark the entity last. + (Analyze_Pragma) : Remove obsolete check. + * sem_util.ads (Is_Atomic_Or_VFA_Object): Rename into... + (Is_Full_Access_Object): ...this. + (Is_Subcomponent_Of_Atomic_Object): Rename into... + (Is_Subcomponent_Of_Full_Access_Object): ...this. + * sem_util.adb (Inherit_Rep_Item_Chain): Use Present_In_Rep_Item. + (Is_Atomic_Or_VFA_Object): Rename into... + (Is_Full_Access_Object): ...this. + (Is_Subcomponent_Of_Atomic_Object): Rename into... + (Is_Subcomponent_Of_Full_Access_Object): ...this and adjust. + * snames.ads-tmpl (Name_Full_Access_Only): New name of aspect. + * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust for renaming. + (promote_object_alignment): Likewise. + (gnat_to_gnu_field): Likewise. Rename local variable and use + specific qualifier in error message for Volatile_Full_Access. + * gcc-interface/trans.c (lvalue_required_p): Likewise. + +2020-10-23 Arnaud Charlet + + * lib-writ.ads, lib-writ.adb (Write_ALI): No longer read + existing ALI files in -gnatc mode. + +2020-10-23 Arnaud Charlet + + * libgnat/g-socthi__mingw.adb (C_Select): Fix logic in code and + make it explicit that we are checking against null values before + dereferencing them. + +2020-10-23 Eric Botcazou + + * exp_imgv.adb (Expand_Image_Attribute): For an enumeration type + subject to pragma Discard_Names, convert 'Pos to Long_Long_Integer + before applying 'Img to the result. + +2020-10-23 Ed Schonberg + + * freeze.adb (Freeze_Type_Refs): Add guard on freezing of the + designated type of an access type appearing in the expression, + when expression includes an explicit dereference whose prefix + includes a function call. + +2020-10-23 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_Delta_Or_Update): Handle + subtype_indication; do not apply range checks for ranges; add + comment saying that others_choices is not allowed. + +2020-10-23 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_N_Aggregate, + Expand_SPARK_Delta_Or_Update): Expand + Iterated_Component_Association occurring within delta + aggregates. + (Expand_SPARK): Apply SPARK-specific expansion to ordinary + aggregates. + +2020-10-23 Johannes Kanig + + * exp_util.adb, exp_util.ads + (Containing_Package_With_Ext_Axioms, + Has_Annotate_Pragma_For_External_Axiomatizations): Removed. + * sem_ch8.adb (Analyze_Subprogram_Renaming): Removed code + related to external axiomatizations. + * einfo.ads + (Is_Generic_Actual_Subprogram): Removed comment about external + axiomatization. + +2020-10-23 Ed Schonberg + + * sem_aggr.adb (Resolve_Aggregate): Do not call + Resolve_Container_Aggregate if compilation version is earlier + than Ada_2020. + +2020-10-23 Arnaud Charlet + + * doc/gnat_rm/implementation_defined_pragmas.rst: Improve + documentation of pragma Abort_Defer. + * gnat_rm.texi: Regenerate. + +2020-10-23 Ghjuvan Lacambre + + * exp_prag.adb (Etype_Or_Dim3): New function. + (Expand_Pragma_Cuda_Execute): Use Etype_Or_Dim3 for temporary + decls. + +2020-10-23 Arnaud Charlet + + * libgnat/s-fileio.adb (Open): Fix setting of Tempfile. + +2020-10-23 Ghjuvan Lacambre + + * exp_prag.adb (Get_Launch_Kernel_Arg_Type): Renamed to + Get_Nth_Arg_Type and made more generic. + (Build_Dim3_Declaration): Now builds a CUDA.Internal.Dim3 + instead of a CUDA.Vector_Types.Dim3. + (Build_Shared_Memory_Declaration): Now infers needed type from + Launch_Kernel instead of using a hard-coded type. + (Expand_Pragma_CUDA_Execute): Build additional temporaries to + store Grids and Blocks. + * rtsfind.ads: Move Launch_Kernel from public to internal + package. + +2020-10-23 Arnaud Charlet + + * sem_ch4.adb (Complete_Object_Operation): Only mark entities + referenced if we are compiling the extended main unit. + * sem_attr.adb (Analyze_Attribute [Attribute_Tag]): Record a + reference on the type and its scope. + +2020-10-23 Ed Schonberg + + * freeze.adb (Is_Uninitialized_Aggregate): Recognize an array + aggregate with box initialization, scalar components, and no + component default values. + (Freeze_Entity, Check_Address_Clause): Call it, and simplify + freeze code for entity by removing useless assignment. + +2020-10-23 Javier Miranda + + * sem_ch3.adb (Check_Abstract_Overriding): Subprogram renamings + cannot be overridden. + (Derive_Subprogram): Enable setting attribute + Requires_Overriding on functions with controlling access results + of record extensions with a null extension part require + overriding (AI95-00391/06). + +2020-10-23 Piotr Trojanek + + * sem_aggr.adb (Resolve_Delta_Array_Aggregate): Push scope of + the implicit loop before entering name of the index parameter, + not after; enter name no matter if the identifier has been + decorated before. + +2020-10-23 Gary Dismukes + + * sem_ch4.adb (Analyze_Call): In the case where the call is not + overloaded, check for a call to an abstract nondispatching + operation and flag an error. + +2020-10-23 Eric Botcazou + + * gnat1drv.adb (Adjust_Global_Switches): Rewrite again code enabling + or disabling the support for 128-bit integer types. + +2020-10-23 Arnaud Charlet + + * alloc.ads, aspects.adb, aspects.ads, atree.adb, atree.ads, + casing.adb, casing.ads, csets.adb, csets.ads, debug.adb, debug.ads, + einfo.adb, einfo.ads, elists.adb, elists.ads, fname.adb, fname.ads, + gnatvsn.adb, gnatvsn.ads, hostparm.ads, indepsw-aix.adb, + indepsw-darwin.adb, indepsw-gnu.adb, indepsw.adb, indepsw.ads, + krunch.adb, krunch.ads, lib-list.adb, lib-sort.adb, lib.adb, lib.ads, + namet-sp.adb, namet-sp.ads, namet.adb, namet.ads, nlists.adb, + nlists.ads, opt.adb, opt.ads, output.adb, output.ads, rident.ads, + scans.adb, scans.ads, scil_ll.adb, scil_ll.ads, sem_aux.ads, + sem_aux.adb, sfn_scan.adb, sinfo.adb, sinfo.ads, sinput.adb, + sinput.ads, snames.adb-tmpl, snames.ads-tmpl, stand.ads, + stringt.adb, stringt.ads, table.adb, table.ads, types.adb, + types.ads, uintp.adb, uintp.ads, uname.adb, uname.ads, + urealp.adb, urealp.ads, vast.adb, vast.ads, widechar.adb, + widechar.ads: Update header. + +2020-10-23 Arnaud Charlet + + * libgnat/a-nbnbin.adb (From_String): Take advantage of + Long_Long_Long_Integer. + * libgnat/s-genbig.ads, libgnat/s-genbig.adb (To_Bignum): New + function taking a Long_Long_Long_Integer. + +2020-10-23 Justin Squirek + + * sem_util.adb (Accessibility_Call_Helper): In the selected + component case, test if a prefix is a function call and whether + the subprogram call is not being used in its entirety and use + the Innermost_Master_Scope_Depth in that case. + (Innermost_Master_Scope_Depth): Test against the node_par + instead of its identifier to avoid misattributing unnamed blocks + as not being from source. + (Function_Call_Level): Add calculation for whether a subprogram + call is initializing an object in its entirety. + (Subprogram_Call_Level): Renamed to Function_Call_Level. + +2020-10-23 Piotr Trojanek + + * sem_prag.adb (Check_External_Properties): Rewrite to match the + SPARK RM description. + +2020-10-23 Piotr Trojanek + + * contracts.adb (Check_Type_Or_Object_External_Properties): + Cleanup. + +2020-10-23 Piotr Trojanek + + * sem_prag.adb (Analyze_External_Property_In_Decl_Part): Set the + output parameter Expr_Val to the (implicit) pragma argument even + when returning early. + 2020-10-22 Eric Botcazou * Makefile.rtl (GNATRTL_128BIT_PAIRS): Add i-cexten.ads. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index e6f1920da86..27a59c2a22f 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,23 @@ +2020-10-23 Jan Hubicka + + * c-common.c (c_common_finalize_early_debug): Update for new thunk api. + +2020-10-23 Marek Polacek + + PR c++/91741 + * c-common.c (verify_tree): Handle PAREN_SIZEOF_EXPR. + (c_common_init_ts): Likewise. + * c-common.def (PAREN_SIZEOF_EXPR): New tree code. + * c-common.h (maybe_warn_sizeof_array_div): Declare. + * c-warn.c (sizeof_pointer_memaccess_warning): Unwrap NOP_EXPRs. + (maybe_warn_sizeof_array_div): New function. + * c.opt (Wsizeof-array-div): New option. + +2020-10-23 Martin Sebor + + PR c/97463 + * c-warn.c (warn_parm_ptrarray_mismatch): Move null test earlier. + 2020-10-22 Martin Liska PR c/94722 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 839bfa17ad1..8c6893b9f31 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,17 @@ +2020-10-23 Marek Polacek + + PR c++/91741 + * c-parser.c (c_parser_binary_expression): Implement -Wsizeof-array-div. + (c_parser_postfix_expression): Set PAREN_SIZEOF_EXPR. + (c_parser_expr_list): Handle PAREN_SIZEOF_EXPR like SIZEOF_EXPR. + * c-tree.h (char_type_p): Declare. + * c-typeck.c (char_type_p): No longer static. + +2020-10-23 Martin Sebor + + PR middle-end/97552 + * c-decl.c (get_parm_array_spec): Handle static VLA parameters. + 2020-09-19 Martin Sebor PR c/50584 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5d9fbe125f8..67cbc420147 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2020-10-23 Marek Polacek + + PR c++/91741 + * typeck.c (cp_build_binary_op): Implement -Wsizeof-array-div. + 2020-10-22 Patrick Palka PR c++/97328 diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index e35f984386f..2d7945cc6ef 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,7 @@ +2020-10-23 Jan Hubicka + + * decl.cc (finish_thunk): Update for new thunk api. + 2020-10-22 Jan Hubicka * decl.cc: Include tree-nested.h diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 1fe3248a262..5fbbce841c5 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,8 @@ +2020-10-23 Jan Hubicka + + * lto-partition.c (add_symbol_to_partition_1): Update for new thunk + api. + 2020-08-27 Martin Liska * lto-common.c (lto_file_finalize): Set exact argument of a vector diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d7c7c5f2630..78166d21a44 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,60 @@ +2020-10-23 Marek Polacek + + * c-c++-common/Wsizeof-array-div1.c: Expect certain warnings on + lp64 targets only. + * g++.dg/warn/Wsizeof-array-div2.C: Only run on lp64 targets. + +2020-10-23 Marek Polacek + + PR c++/91741 + * c-c++-common/Wsizeof-pointer-div.c: Add dg-warning. + * c-c++-common/Wsizeof-array-div1.c: New test. + * g++.dg/warn/Wsizeof-array-div1.C: New test. + * g++.dg/warn/Wsizeof-array-div2.C: New test. + +2020-10-23 Martin Sebor + + PR middle-end/97552 + * gcc.dg/Wvla-parameter-2.c: Adjust text of expected warning. + * gcc.dg/Wnonnull-5.c: New test. + +2020-10-23 Martin Sebor + + PR c/97463 + * gcc.dg/pr97463.c: New test. + +2020-10-23 David Edelsohn + + * gcc.target/powerpc/vec-rlmi-rlnm.c: Update xxlor expect. + +2020-10-23 Jonathan Wakely + + * g++.dg/compat/eh/filter2_y.C: Add noexcept(false) to + destructor. + +2020-10-23 Jakub Jelinek + + PR tree-optimization/97164 + * c-c++-common/pr97164.c: New test. + * gcc.c-torture/execute/pr36093.c: Move ... + * gcc.dg/pr36093.c: ... here. Add dg-do compile and dg-error + directives. + * gcc.c-torture/execute/pr43783.c: Move ... + * gcc.dg/pr43783.c: ... here. Add dg-do compile, dg-options and + dg-error directives. + +2020-10-23 Dennis Zhang + + * gcc.target/arm/simd/mve-vsub_1.c: New test. + +2020-10-23 Richard Biener + + Revert: + 2020-10-23 Richard Biener + + PR middle-end/97521 + * gcc.target/i386/pr97521.c: New testcase. + 2020-10-23 Dennis Zhang * gcc.target/arm/simd/mve-vsub_1.c: New test. diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 5b1faafc9aa..c8616a2bd6d 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,9 @@ +2020-10-23 Rasmus Villemoes + + * config/gthr-vxworks-thread.c: #include gthr.h before + testing the guard defined there. + * config/gthr-vxworks-cond.c: Likewise. + 2020-10-21 Douglas Rupp Olivier Hainque diff --git a/libgcc/config/libbid/ChangeLog b/libgcc/config/libbid/ChangeLog index a1a9f46fc22..ce4b57e4baf 100644 --- a/libgcc/config/libbid/ChangeLog +++ b/libgcc/config/libbid/ChangeLog @@ -1,3 +1,8 @@ +2020-10-23 Jakub Jelinek + + PR tree-optimization/97164 + * bid_functions.h (UINT192): Decrease alignment to 8 bytes. + 2020-05-05 Martin Liska PR libgcc/92565 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 2a4b21d2d37..e6656ec6497 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,10 @@ +2020-10-23 Patrick Palka + + * include/std/ranges (single_view::single_view): Mark the + in place constructor explicit as per LWG 3428. + (take_view): Remove the constraint on the deduction guide's + template parameter as per LWG 3447. + 2020-10-23 Jonathan Wakely * include/experimental/memory_resource: Include .