Daily bump.
This commit is contained in:
GCC Administrator
parent
27f7ab27d1
commit
efe71fcc4c
187
gcc/ChangeLog
187
gcc/ChangeLog
|
|
@ -1,3 +1,190 @@
|
|||
2020-10-23 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* 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 <polacek@redhat.com>
|
||||
|
||||
PR c++/91741
|
||||
* doc/invoke.texi: Document -Wsizeof-array-div.
|
||||
|
||||
2020-10-23 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR middle-end/97552
|
||||
* attribs.c (init_attr_rdwr_indices): Handle static VLA parameters.
|
||||
|
||||
2020-10-23 Douglas Rupp <rupp@adacore.com>
|
||||
|
||||
* config/vxworks.h (VXWORKS_NET_LIBS_RTP): Use -lrtnet if
|
||||
rtnetStackLib.h is available,fallback to -lnet otherwise.
|
||||
|
||||
2020-10-23 Douglas Rupp <rupp@adacore.com>
|
||||
|
||||
* gcc.c (if-exists-then-else): New built-in spec function.
|
||||
* doc/invoke.texi: Document it.
|
||||
|
||||
2020-10-23 Tulio Magno Quites Machado Filho <tuliom@linux.ibm.com>
|
||||
|
||||
* doc/extend.texi (PowerPC Built-in Functions): Replace
|
||||
extraneous characters with whitespace.
|
||||
|
||||
2020-10-23 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcov.c (read_count_file): Never call gcov_sync with a negative
|
||||
value.
|
||||
|
||||
2020-10-23 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
* 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 <jakub@redhat.com>
|
||||
|
||||
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 <ebotcazou@adacore.com>
|
||||
|
||||
* 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 <dennis.zhang@arm.com>
|
||||
|
||||
* config/arm/mve.md (mve_vsubq<mode>): New entry for vsub instruction
|
||||
using expression 'minus'.
|
||||
(mve_vsubq_f<mode>): Use minus instead of VSUBQ_F unspec.
|
||||
* config/arm/neon.md (sub<mode>3, sub<mode>3_fp16): Removed.
|
||||
(neon_vsub<mode>): Use gen_sub<mode>3 instead of gen_sub<mode>3_fp16.
|
||||
* config/arm/vec-common.md (sub<mode>3): Use the new mode macros
|
||||
ARM_HAVE_<MODE>_ARITH. Use iterator VDQ instead of VALL.
|
||||
|
||||
2020-10-23 Martin Liska <mliska@suse.cz>
|
||||
|
||||
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 <rguenther@suse.de>
|
||||
|
||||
Revert:
|
||||
2020-10-22 Richard Biener <rguenther@suse.de>
|
||||
|
||||
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 <linkw@linux.ibm.com>
|
||||
|
||||
* tree-vect-loop.c (vect_transform_loop): Remove the redundant
|
||||
LOOP_VINFO_FULLY_MASKED_P check.
|
||||
|
||||
2020-10-23 Dennis Zhang <dennis.zhang@arm.com>
|
||||
|
||||
* config/arm/mve.md (mve_vsubq<mode>): New entry for vsub instruction
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20201023
|
||||
20201024
|
||||
|
|
|
|||
|
|
@ -1,3 +1,396 @@
|
|||
2020-10-23 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* adaint.c: On Darwin platforms, define st_atim to
|
||||
st_atimespec. Likwise st_mtim to st_mtimespec.
|
||||
|
||||
2020-10-23 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* Makefile.rtl (EXTRA_GNATRTL_NONTASKING_OBJS) [IA64/Linux]: Fix typo.
|
||||
|
||||
2020-10-23 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* Makefile.rtl (EXTRA_GNATRTL_NONTASKING_OBJS) [IA64/Linux]: Fix typo.
|
||||
|
||||
2020-10-23 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
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 <anisimko@adacore.com>
|
||||
|
||||
* 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
|
||||
<poll.h> 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 <squirek@adacore.com>
|
||||
|
||||
* 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 <duff@adacore.com>
|
||||
|
||||
* doc/gnat_ugn/gnat_utility_programs.rst: Document
|
||||
--no-comments-fill.
|
||||
|
||||
2020-10-23 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* 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 <gil@adacore.com>
|
||||
|
||||
* libgnat/g-socket.ads: Fix comment typo.
|
||||
|
||||
2020-10-23 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* 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) <Attribute_Access>: 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) <Pragma_Atomic_Components>: 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 <charlet@adacore.com>
|
||||
|
||||
* lib-writ.ads, lib-writ.adb (Write_ALI): No longer read
|
||||
existing ALI files in -gnatc mode.
|
||||
|
||||
2020-10-23 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* 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 <ebotcazou@adacore.com>
|
||||
|
||||
* 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 <schonberg@adacore.com>
|
||||
|
||||
* 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 <trojanek@adacore.com>
|
||||
|
||||
* 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 <trojanek@adacore.com>
|
||||
|
||||
* 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 <kanig@adacore.com>
|
||||
|
||||
* 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 <schonberg@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Aggregate): Do not call
|
||||
Resolve_Container_Aggregate if compilation version is earlier
|
||||
than Ada_2020.
|
||||
|
||||
2020-10-23 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Improve
|
||||
documentation of pragma Abort_Defer.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2020-10-23 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* exp_prag.adb (Etype_Or_Dim3): New function.
|
||||
(Expand_Pragma_Cuda_Execute): Use Etype_Or_Dim3 for temporary
|
||||
decls.
|
||||
|
||||
2020-10-23 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-fileio.adb (Open): Fix setting of Tempfile.
|
||||
|
||||
2020-10-23 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* 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 <charlet@adacore.com>
|
||||
|
||||
* 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 <schonberg@adacore.com>
|
||||
|
||||
* 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 <miranda@adacore.com>
|
||||
|
||||
* 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 <trojanek@adacore.com>
|
||||
|
||||
* 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 <dismukes@adacore.com>
|
||||
|
||||
* 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 <ebotcazou@adacore.com>
|
||||
|
||||
* gnat1drv.adb (Adjust_Global_Switches): Rewrite again code enabling
|
||||
or disabling the support for 128-bit integer types.
|
||||
|
||||
2020-10-23 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* 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 <charlet@adacore.com>
|
||||
|
||||
* 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 <squirek@adacore.com>
|
||||
|
||||
* 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 <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb (Check_External_Properties): Rewrite to match the
|
||||
SPARK RM description.
|
||||
|
||||
2020-10-23 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* contracts.adb (Check_Type_Or_Object_External_Properties):
|
||||
Cleanup.
|
||||
|
||||
2020-10-23 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* 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 <ebotcazou@adacore.com>
|
||||
|
||||
* Makefile.rtl (GNATRTL_128BIT_PAIRS): Add i-cexten.ads.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,23 @@
|
|||
2020-10-23 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* c-common.c (c_common_finalize_early_debug): Update for new thunk api.
|
||||
|
||||
2020-10-23 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
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 <msebor@redhat.com>
|
||||
|
||||
PR c/97463
|
||||
* c-warn.c (warn_parm_ptrarray_mismatch): Move null test earlier.
|
||||
|
||||
2020-10-22 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR c/94722
|
||||
|
|
|
|||
|
|
@ -1,3 +1,17 @@
|
|||
2020-10-23 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
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 <msebor@redhat.com>
|
||||
|
||||
PR middle-end/97552
|
||||
* c-decl.c (get_parm_array_spec): Handle static VLA parameters.
|
||||
|
||||
2020-09-19 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR c/50584
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2020-10-23 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
PR c++/91741
|
||||
* typeck.c (cp_build_binary_op): Implement -Wsizeof-array-div.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/97328
|
||||
|
|
|
|||
|
|
@ -1,3 +1,7 @@
|
|||
2020-10-23 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* decl.cc (finish_thunk): Update for new thunk api.
|
||||
|
||||
2020-10-22 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* decl.cc: Include tree-nested.h
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2020-10-23 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* lto-partition.c (add_symbol_to_partition_1): Update for new thunk
|
||||
api.
|
||||
|
||||
2020-08-27 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* lto-common.c (lto_file_finalize): Set exact argument of a vector
|
||||
|
|
|
|||
|
|
@ -1,3 +1,60 @@
|
|||
2020-10-23 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
* 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 <polacek@redhat.com>
|
||||
|
||||
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 <msebor@redhat.com>
|
||||
|
||||
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 <msebor@redhat.com>
|
||||
|
||||
PR c/97463
|
||||
* gcc.dg/pr97463.c: New test.
|
||||
|
||||
2020-10-23 David Edelsohn <dje.gcc@gmail.com>
|
||||
|
||||
* gcc.target/powerpc/vec-rlmi-rlnm.c: Update xxlor expect.
|
||||
|
||||
2020-10-23 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* g++.dg/compat/eh/filter2_y.C: Add noexcept(false) to
|
||||
destructor.
|
||||
|
||||
2020-10-23 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
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 <dennis.zh@live.com>
|
||||
|
||||
* gcc.target/arm/simd/mve-vsub_1.c: New test.
|
||||
|
||||
2020-10-23 Richard Biener <rguenther@suse.de>
|
||||
|
||||
Revert:
|
||||
2020-10-23 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/97521
|
||||
* gcc.target/i386/pr97521.c: New testcase.
|
||||
|
||||
2020-10-23 Dennis Zhang <dennis.zhang@arm.com>
|
||||
|
||||
* gcc.target/arm/simd/mve-vsub_1.c: New test.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
2020-10-23 Rasmus Villemoes <rv@rasmusvillemoes.dk>
|
||||
|
||||
* 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 <rupp@adacore.com>
|
||||
Olivier Hainque <hainque@adacore.com>
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2020-10-23 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/97164
|
||||
* bid_functions.h (UINT192): Decrease alignment to 8 bytes.
|
||||
|
||||
2020-05-05 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR libgcc/92565
|
||||
|
|
|
|||
|
|
@ -1,3 +1,10 @@
|
|||
2020-10-23 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
* 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 <jwakely@redhat.com>
|
||||
|
||||
* include/experimental/memory_resource: Include <tuple>.
|
||||
|
|
|
|||
Loading…
Reference in New Issue