aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2020-06-15[Ada] Replace repeated Ekind with Ekind_InPiotr Trojanek1-2/+1
2020-06-15 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * exp_ch6.adb (Expand_Call_Helper): Replace repeated Ekind with Ekind_In.
2020-06-15[Ada] Remove excessive parensPiotr Trojanek2-3/+3
2020-06-15 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * exp_ch6.adb, sem_util.adb: Remove excessive parents, especially since they don't make the code any easier to read.
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek11-11/+402
2020-06-15 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * aspects.ads (Aspect_Id): Add Aspect_Relaxed_Initialization. (Implementation_Defined_Aspect): Add new aspect. (Aspect_Argument): Add new aspect with Optional_Expression argument. (Is_Representation_Aspect): Add new aspect as a non-representation one. (Aspect_Names): Add name for the new aspect. (Aspect_Delay): Add new aspect as a non-delayed one. * sem_ch3.adb: Minor reformatting. * einfo.ads, einfo.adb (Is_Relaxed_Initialization_State): New query; reuses existing code for querying abstract state options. * exp_attr.adb (Expand_N_Attribute_Reference): For now ignore attribute 'Initialized. * sem_attr.adb (Analyze_Attribute_Old_Result): Allow attribute 'Result to be used in the aspect Relaxed_Initialization expression. (Analyze_Attribute): Analyze attribute 'Initialized; based on existing code for attribute 'Valid_Scalars. (Eval_Attribute): Do not expect attribute 'Initialized, just like attribute 'Valid_Scalars is not expected. * sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): New routine. (Analyze_Aspect_Specifications): Analyze new aspect in a dedicated routine. (Check_Aspect_At_Freeze_Point): Do not expect new aspect. * sem_prag.adb (Analyze_Abstract_State): Support option Relaxed_Initialization on abstract states. * sem_util.ads, sem_util.adb (Has_Relaxed_Initialization): New query for the GNATprove backend. * snames.ads-tmpl (Snames): Add Name_Ids for the new aspect and attribute; add an Attribute_Id for the new attribute.
2020-06-15[Ada] Put_Image: Enable for access-to-subprogram typesBob Duff4-11/+9
2020-06-15 Bob Duff <duff@adacore.com> gcc/ada/ * exp_put_image.adb, libgnat/s-putima.adb, libgnat/s-putima.ads, rtsfind.ads: Enable Put_Image if Is_Access_Subprogram_Type (Typ). Remove comment saying it's disabled in that case. Rename Put_Image_Access_Prot to be Put_Image_Access_Prot_Subp to clarify that we're talking about access-to-subprogram, not access-to-protected-object.
2020-06-15[Ada] Clean up error handling of 'ImageBob Duff2-37/+39
2020-06-15 Bob Duff <duff@adacore.com> gcc/ada/ * sem_attr.adb (Check_Image_Type): New procedure for checking the type, depending on language version. Disable the Ada 2020 support until the corresponding expander work is done. (Analyze_Image_Attribute): Call Check_Image_Type. Rearrange the code to be simplier and more logical. When P_Type is modified, modify P_Base_Type accordingly. * sem_util.adb (Is_Object_Image): Do not return False if the prefix is a type. X'Image should be considered an image of an object iff X is an object (albeit illegal pre-2020 if nonscalar).
2020-06-15[Ada] Put_Image: Enable for access-to-subprogram typesBob Duff4-6/+43
2020-06-15 Bob Duff <duff@adacore.com> gcc/ada/ * libgnat/s-putima.ads, libgnat/s-putima.adb (Put_Image_Access_Subp, Put_Image_Access_Prot): New procedures for printing access-to-subprogram objects. Remove an explicit " ", because Put_Image includes the annoying leading blank. * rtsfind.ads: Add new procedures in s-putima. * exp_put_image.adb: Call new procedures as appropriate.
2020-06-15[Ada] Put_Image: Implement for private types with full real typeBob Duff2-9/+24
2020-06-15 Bob Duff <duff@adacore.com> gcc/ada/ * exp_imgv.adb (Expand_Image_Attribute): Allow private types. Put_Image generates Image for numeric types, and private types whose full type is numeric. This requires the Conversion_OK flag for integer and floating-point types. For fixed point, we need the extra conversion. * exp_put_image.adb (Build_Elementary_Put_Image_Call): Remove special handling of real types. (Enable_Put_Image): Enable for reals.
2020-06-15[Ada] Put_Image improvements for stringsBob Duff6-64/+61
2020-06-15 Bob Duff <duff@adacore.com> gcc/ada/ * exp_attr.adb (Put_Image): Use underlying type for strings. Remove unchecked union processing. * exp_put_image.adb (Tagged_Put_Image_Enabled): Use -gnatd_z to enable default Put_Image for tagged types. This allows testing that feature. (Build_String_Put_Image_Call): Set Conversion_OK flag. (Make_Component_List_Attributes): Remove unchecked union processing. (Enable_Put_Image): Disable for unchecked unions. Enable for nonscalar types (which were mistakenly disabled in earlier changes). * debug.adb: Document -gnatd_z switch. * libgnat/s-putima.adb (Put_Image_String, Put_Image_Wide_String, Put_Image_Wide_Wide_String): Double double-quote characters. Forget about special handling of control characters for now -- that's rare enough to not be a priority, and it's not clear what the right thing to do is anyway. * namet.adb: Minor: Improve debugger-friendliness. * sinfo.ads: Minor: Add "???" comment.
2020-06-15[Ada] Remove unreferenced and dubious Is_Renaming_DeclarationPiotr Trojanek2-25/+0
2020-06-15 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * sem_util.ads, sem_util.adb (Is_Renaming_Declaration): Remove.
2020-06-15[Ada] Link failure with call to expression function in preconditionEd Schonberg1-3/+9
2020-06-15 Ed Schonberg <schonberg@adacore.com> gcc/ada/ * freeze.adb (Freeze_Expression): When traversing the tree looking for the proper insertion point for the freeze node of an entity that is declared in an outer scope, set the candidate subprogram body node properly. Previous code has an off-by-one error.
2020-06-15[Ada] Implement AI12-0077 Has_Same_Storage on objects of size zeroEric Botcazou1-12/+25
2020-06-15 Eric Botcazou <ebotcazou@adacore.com> gcc/ada/ * exp_attr.adb (Expand_N_Attribute_Reference) <Has_Same_Storage>: Do not do superfluous work. Add the condition (X'Size /= 0) on both paths and turn binary AND into short-circuit AND THEN.
2020-06-15[Ada] Update 'Loop_Entry checking to match changes in 'Old rules.Steve Baird1-3/+3
2020-06-15 Steve Baird <baird@adacore.com> gcc/ada/ * sem_attr.adb (Analyze_Attribute): In the Loop_Entry case, replace a call to Statically_Denotes_Object with a call to Statically_Names_Object and clean up the preceding comment.
2020-06-15[Ada] Use uniform type resolution for membership testsEric Botcazou1-14/+13
2020-06-15 Eric Botcazou <ebotcazou@adacore.com> gcc/ada/ * sem_res.adb (Resolve_Set_Membership): Remove local variable. In the non-overloaded case, call Intersect_Types on the left operand and the first alternative to get the resolution type. But test the subtype of the left operand to give the warning.
2020-06-15RISC-V: Suppress warning for signed and unsigned integer comparison.Kito Cheng1-3/+3
gcc/ChangeLog: * config/riscv/riscv.c (riscv_gen_gpr_save_insn): Change type to unsigned for i. (riscv_gpr_save_operation_p): Change type to unsigned for i and len.
2020-06-15Optimize multiplication for V8QI,V16QI,V32QI under TARGET_AVX512BW.liuhongt7-2/+234
2020-06-13 Hongtao Liu <hongtao.liu@intel.com> gcc/ChangeLog: PR target/95488 * config/i386/i386-expand.c (ix86_expand_vecmul_qihi): New function. * config/i386/i386-protos.h (ix86_expand_vecmul_qihi): Declare. * config/i386/sse.md (mul<mode>3): Drop mask_name since there's no real simd int8 multiplication instruction with mask. Also optimize it under TARGET_AVX512BW. (mulv8qi3): New expander. gcc/testsuite/ChangeLog: * gcc.target/i386/avx512bw-pr95488-1.c: New test. * gcc.target/i386/avx512bw-pr95488-2.c: Ditto. * gcc.target/i386/avx512vl-pr95488-1.c: Ditto. * gcc.target/i386/avx512vl-pr95488-2.c: Ditto.
2020-06-15Daily bump.GCC Administrator4-1/+56
2020-06-14Avoid crash when global symbol table is empty with -fdump-fortran-global.Thomas Koenig1-1/+4
This just avoids a crash with -fdump-fortran-global when the global symbol table is empty. This is strictly a developer's option, no user impact. gcc/fortran/ChangeLog: 2020-06-14 Thomas Koenig <tkoenig@gcc.gnu.org> PR fortran/42122 * dump-parse-tree.c (gfc_dump_global_symbols): If the symroot is empty, just output "empty".
2020-06-14PR fortran/95088 - Buffer overflows with PDTs, submodules and long symbolsHarald Anlauf2-11/+34
With PDTs (parameterized derived types) and submodules, name mangling results in variably long internal symbols. Instead of using a fixed-size intermediate buffer, which is actually not really needed, just use a pointer to strings. 2020-06-14 Harald Anlauf <anlauf@gmx.de> gcc/fortran/ PR fortran/95088 * class.c (get_unique_type_string): Replace use of fixed size buffer by internally passing a pointer to strings.
2020-06-14Always use locations from get and put arguments for error messages.Thomas Koenig2-2/+16
A simple and obvios patch - the error location was taken from a variable that was not initialized for optional variables. gcc/fortran/ChangeLog: * check.c (gfc_check_random_seed): Always use locations from get and put arguments for error messages. gcc/testsuite/ChangeLog: * gfortran.dg/random_seed_4.f90: New test.
2020-06-14When avoiding double deallocation, look at namespace, expression and component.Thomas Koenig5-7/+82
Our finalization handling is a mess. Really, we should get to try and get this fixed for gcc 11. In the meantime, here is a patch which fixes a regression I introduced when fixing a regression with a memory leak. The important thing here is to realize that we do not need to finalize (and deallocate) multiple times for the same expression and the same component in the same namespace. It might cause code size regressions, but better big code than wrong code... gcc/fortran/ChangeLog: PR fortran/94109 * class.c (finalize_component): Return early if finalization has already happened for expression and component within namespace. * gfortran.h (gfc_was_finalized): New type. (gfc_namespace): Add member was_finalzed. (gfc_expr): Remove finalized. * symbol.c (gfc_free_namespace): Free was_finalized. gcc/testsuite/ChangeLog: PR fortran/94109 * gfortran.dg/finalize_34.f90: Adjust free counts. * gfortran.dg/finalize_36.f90: New test.
2020-06-14d: Fix line lengths after mechanical field renames.Iain Buclaw2-4/+8
gcc/d/ChangeLog: * expr.cc (ExprVisitor::visit (AssocArrayLiteralExp *)): Fix line lengths, no functional change. * typeinfo.cc (TypeInfoVisitor::layout_interfaces): Likewise. (layout_classinfo_interfaces): Likewise.
2020-06-14testsuite: Re-add gdc.test prefix in test names (PR testsuite/95575)Iain Buclaw1-6/+12
gcc/testsuite/ChangeLog: PR testsuite/95575 * lib/gdc-utils.exp (gdc-do-test): Re-add $subdir link and inclusion in filename.
2020-06-14Daily bump.GCC Administrator3-1/+22
2020-06-13Correct test to avoid failures in ILP32.Martin Sebor1-7/+7
Amends: PR middle-end/95353 - spurious -Wstringop-overflow writing to a trailing array plus offset. gcc/testsuite/ChangeLog: * gcc.dg/builtin-stringop-chk-5.c: Make assertions independent of data model.
2020-06-13Remove failing test case accidentally committed.Thomas Koenig1-39/+0
When committing 0cfc34ad1293a5e19f1dc67c461c58d99222ac9d, I accidentylly committed gcc/testsuite/gfortran.dg/finalize_36.f90 . This removes this, again. gcc/testsuite/ChangeLog: * gfortran.dg/finalize_36.f90: Remove accidentally committed test case.
2020-06-13Disable -Wstringop-overflow warning after checking code path of caller.Thomas Koenig2-0/+47
The warning that is disabled, only on this single line, has been inspected and found to be not applicable; it is known that the size of the buffer is safe. libgfortran/ChangeLog: 2020-06-13 Thomas Koenig <tkoenig@gcc.gnu.org> PR libfortran/95313 * io/write.c (ztoa_big): Disable -Wstringop-overflow for one line.
2020-06-13Daily bump.GCC Administrator6-1/+500
2020-06-12runtime: fix arenaBaseOffset for aix/ppcClément Chigot3-3/+3
The arenaBaseOffset modifications was aimed only for aix/ppc64. Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/237038
2020-06-12go.test: update issue4085b.go to version from Go 1.13Ian Lance Taylor1-1/+3
This lets the test pass on AIX. Not updating to master because we get slightly different error messages, so that is a more complex change.
2020-06-12tsan: Add param to disable func-entry-exit instrumentationMarco Elver5-2/+67
Adds param tsan-instrument-func-entry-exit, which controls if __tsan_func_{entry,exit} calls should be emitted or not. The default behaviour is to emit the calls. This may be required by alternative race detection runtimes. One such runtime is the Kernel Concurrency Sanitizer (KCSAN): https://github.com/google/ktsan/wiki/KCSAN After this change, GCC should satisfy all requirements for KCSAN: https://lore.kernel.org/lkml/20200515150338.190344-7-elver@google.com/ gcc/ChangeLog: * gimplify.c (gimplify_function_tree): Optimize and do not emit IFN_TSAN_FUNC_EXIT in a finally block if we do not need it. * params.opt: Add --param=tsan-instrument-func-entry-exit=. * tsan.c (instrument_memory_accesses): Make fentry_exit_instrument bool depend on new param. gcc/testsuite/ChangeLog: * c-c++-common/tsan/func_entry_exit.c: New test. * c-c++-common/tsan/func_entry_exit_disabled.c: New test.
2020-06-12Add .clang-tidy to git ignored.Martin Liska1-0/+1
Installed as obvious. ChangeLog: * .gitignore: Add .clang-tidy.
2020-06-12testcase for shared DR alignmentRichard Biener1-0/+41
This adds a reduced C testcase from libgomp.fortran/examples-4/target-1.f90 and libgomp.fortran/examples-4/target_data-1.f90 FAILs, showing a case of SLP instance stmt sharing that affects the shared dataref alignment info. 2020-06-12 Richard Biener <rguenther@suse.de> * gcc.dg/vect/bb-slp-44.c: New testcase.
2020-06-12vect: Fix an ICE in vect_loop_versioning [PR95570]Fei Yang2-49/+45
In the test case for PR95570, the only data reference in the loop is a gather-statter access. Scalar evolution analysis for this data reference failed, so DR_STEP is NULL_TREE. This leads to the segmentation fault. We should filter out scatter-gather access in vect_enhance_data_refs_alignment. 2020-06-12 Felix Yang <felix.yang@huawei.com> gcc/ PR tree-optimization/95570 * tree-vect-data-refs.c (vect_relevant_for_alignment_p): New function. (vect_verify_datarefs_alignment): Call it to filter out data references in the loop whose alignment is irrelevant. (vect_get_peeling_costs_all_drs): Likewise. (vect_peeling_supportable): Likewise. (vect_enhance_data_refs_alignment): Likewise. gcc/testsuite/ PR tree-optimization/95570 * gcc.dg/vect/pr95570.c: New test.
2020-06-12fix vectorizable_condition ICE with EXTRACT_LAST_REDUCTIONRichard Biener1-1/+2
The previous reorg missed a guard around the else clause access. 2020-06-12 Richard Biener <rguenther@suse.de> PR tree-optimization/95633 * tree-vect-stmts.c (vectorizable_condition): Properly guard the vec_else_clause access with EXTRACT_LAST_REDUCTION.
2020-06-12libstdc++: Improve tests for std::atomic_flagJonathan Wakely3-12/+10
The tests for clear() and test_and_set() didn't cover all cases. * testsuite/29_atomics/atomic_flag/clear/1.cc: Also test clear() when the value is currently set. * testsuite/29_atomics/atomic_flag/test_and_set/explicit.cc: Actually check the return value. * testsuite/29_atomics/atomic_flag/test_and_set/implicit.cc: Likewise.
2020-06-12libstdc++: Make std::atomic_flag::test members constJonathan Wakely3-10/+26
Also fix the tests so they run without an explicit -std=gnu++2a in the RUNTESTFLAGS, and test the new function on const-qualified objects. * include/bits/atomic_base.h (atomic_flag::test): Add missing const qualifiers. * testsuite/29_atomics/atomic_flag/test/explicit.cc: Add dg-options and verify results of test function. * testsuite/29_atomics/atomic_flag/test/implicit.cc: Likewise.
2020-06-12[Ada] Fix anonymous-to-named access type implicit conversion legality checkingSteve Baird1-6/+83
2020-06-12 Steve Baird <baird@adacore.com> gcc/ada/ * sem_res.adb (Valid_Conversion): The simpler cases of violations of the aforementioned 8.6 rule are already handled correctly. These include cases where the operand of the type conversion is an access parameter or a stand-alone object of an anonymous access type. Add code to detect violations where the operand of the type conversion is an access discriminant whose accessibility level is tied to one of the other simpler cases. This is implemented in a new function, Valid_Conversion.Is_Discrim_Of_Bad_Access_Conversion_Argument, which is called in place of the previous test.
2020-06-12[Ada] Enable Put_Image in pre-Ada-2020 modesBob Duff7-35/+80
2020-06-12 Bob Duff <duff@adacore.com> gcc/ada/ * exp_attr.adb (Put_Image): Remove assertion. This assertion is False in mixed-Ada-version programs. * exp_put_image.adb (Tagged_Put_Image_Enabled): New flag to make it easy to experiment with Put_Image on tagged types. False in this version. (Enable_Put_Image): Enable in pre-2020. Workarounds: Disable for tagged types if Tagged_Put_Image_Enabled is False. Disable for access-to-subprogram types. Disable if errors have been detected, or Sink is unavailable. (Preload_Sink): Move all conditionals here, from Sem_Ch10, so they can be nearby related code in Enable_Put_Image. Load Sink only if we have seen a tagged type. This removes the dilemma about calling Preload_Sink when compiling the compiler, which caused unwanted dependences. * exp_put_image.ads (Preload_Sink): New formal Compilation_Unit, needed to move all conditionals here, from Sem_Ch10. * libgnat/a-stouut.adb (Put_UTF_8): Make this suitable for inlining, so we don't get warnings about inlining in some tests. And so it can be inlined! * opt.ads (Tagged_Seen): New flag (see Preload_Sink). * scng.adb (Scan): Set new Tagged_Seen flag. * sem_ch10.adb (Analyze_Compilation_Unit): Move conditionals and comments regarding Preload_Sink into Preload_Sink.
2020-06-12[Ada] AI12-0074 View conversions and out parameters passed by copyArnaud Charlet1-56/+81
2020-06-12 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * sem_res.adb (Resolve_Actuals): Check for AI12-0074.
2020-06-12[Ada] Bump secondary stack alignment factor in full runtimesOlivier Hainque2-4/+17
2020-06-12 Olivier Hainque <hainque@adacore.com> gcc/ada/ * libgnat/s-secsta.ads (Memory_Alignment): New constant, memory alignment for chunks and allocated blocks. Initialize to Standard'Maximum_Alignment * 2. (Chunk_Memory): Use it. * libgnat/s-secsta.adb (Round_Up): Likewise.
2020-06-12[Ada] Alphabetic ordering for name and pragmasPiotr Trojanek3-21/+21
2020-06-12 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * par-prag.adb: Fix ordering. * snames.ads-tmpl (Name_Test_Case, Pragma_Test_Case): Likewise. * sem_prag.adb (Sig_Flags): Likewise.
2020-06-12[Ada] Fix handling of Ada 83 OUT parameter ruleArnaud Charlet1-2/+24
2020-06-12 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * sem_res.adb (Resolve_Entity_Name): Fix handling of expressions containing array attributes wrt Ada 83 detection.
2020-06-12[Ada] Implement AI12-0369Steve Baird4-127/+205
2020-06-12 Steve Baird <baird@adacore.com> gcc/ada/ * sem_util.ads, sem_util.adb: Define 3 new Boolean-valued functions - Statically_Denotes_Entity, Statically_Denotes_Object, and Statically_Names_Object. The first two were taken from sem_attr.adb. The term "statically names" is defined in the Ada RM and the new function Statically_Names_Object is intended to reflect that definition, or more precisely, as described in a comment in the code, to reflect the expected future definition of that term. * sem_attr.adb: Delete functions Statically_Denotes_Object and Statically_Denotes_Entity; these two functions have been moved to package Sem_Util. Replace call to Statically_Denotes_Object with a call to Statically_Names_Object as per AI12-0217 (a binding interpretation, so no Ada_Version check). * exp_ch9.adb (Expand_Entry_Barrier.Is_Simple_Barrier): Change name of function (it was previously Is_Simple_Barrier_Name) because the function should return True in the case of a static expression; implement this requirement. Change function to include a call to Statically_Names_Object so that, for Ada_2020 and later, it will return True for appropriate subcomponent names. (Expand_Entry_Barrier.Is_Pure_Barrier): Handle N_Indexed_Component and N_Selected_Component cases by calling Statically_Names_Object. (Expand_Entry_Barrier): Reorganize to treat Simple_Barriers and Pure_Barriers more uniformly. Prevent cascaded errors.
2020-06-12[Ada] Compiler locks up with -gnatX and formal subprogram with aspectsEd Schonberg1-7/+14
2020-06-12 Ed Schonberg <schonberg@adacore.com> gcc/ada/ * sem_ch12.adb (Find_Matching_Actual): Add guard on search loops to detect a compilation error when using a compiler built without assertions. (Instantiate_Formal_Subprogram): Create a new subprogram name for the actual only if formal has contract aspects and expansion is enabled.
2020-06-12[Ada] Improve code generated for assignment of dynamic record aggregatesEric Botcazou1-80/+231
2020-06-12 Eric Botcazou <ebotcazou@adacore.com> gcc/ada/ * exp_aggr.adb: Add with and use clauses for Sem_Mech. (Get_Base_Object): New function to get the base object of a node. (In_Place_Assign_OK): Add Target_Object parameter. Deal with a qualified expression on entry. Remove short-circuit for array aggregates with a single "others" choice. Do not look into the components of the aggregate if the parent is an allocator. (Check_Component): Add T_OK parameter and rewrite. (Safe_Component): Invoke Check_Component with T_OK set to False. (Convert_To_Assignments): Try to use an in-place assignment for any target; for that, call Get_Base_Object on the target and pass the result to In_Place_Assign_OK. (Expand_Array_Aggregate): Use Parent_Kind and Parent_Node more consistently. For an assignment, call Get_Base_Object on the target and pass the result to In_Place_Assign_OK.
2020-06-12[Ada] Don't correct socket timeout on Windows Server 2019Dmitriy Anisimkov3-12/+29
2020-06-12 Dmitriy Anisimkov <anisimko@adacore.com> gcc/ada/ * socket.c (__gnat_minus_500ms): Use GetVersionEx to detect Windows Server version. * libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): Remade to Boolean constant. * libgnat/g-socket.adb (Set_Socket_Option): Use Minus_500ms_Windows_Timeout constant instead of function call.
2020-06-12[Ada] AI12-0350 Swap for Indefinite_HoldersArnaud Charlet4-0/+52
2020-06-12 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * libgnat/a-coinho.ads, libgnat/a-coinho.adb, libgnat/a-coinho__shared.ads, libgnat/a-coinho__shared.adb (Swap): New procedure.
2020-06-12[Ada] Fix handling of subprograms declared in a protected bodyArnaud Charlet4-290/+238
2020-06-12 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * exp_ch6.adb (Expand_N_Subprogram_Declaration): Do nothing for a subprogram declared in a protected body. * exp_ch9.ads, exp_ch9.adb (Build_Private_Protected_Declaration): Moved to sem_ch6.adb. (Expand_N_Protected_Body): Do nothing for a subprogram declared in a protected body. * sem_ch6.adb (Build_Internal_Protected_Declaration): Moved from exp_ch9.adb and renamed and fixed to ensure in particular that such subprograms have convention Intrinsic and have no protected version. (Analyze_Subprogram_Body_Helper): Call Build_Internal_Protected_Declaration. (Move_Pragmas): Moved up and merged with the more general version from Build_Private_Protected_Declaration. We only want to copy selected pragmas, most pragmas are not suitable for a copy on the spec.
2020-06-12[Ada] Diagnose illegal overriding indicators in protected bodiesEd Schonberg1-0/+13
2020-06-12 Ed Schonberg <schonberg@adacore.com> gcc/ada/ * sem_ch6.adb (Check_Overriding_Indicatior): Reject an overriding indicator on a subprogram declared within a protected body.
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek6-15/+12
2020-06-12 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * contracts.adb, einfo.adb, sem_ch4.adb, sem_ch6.adb, sem_res.adb, sem_util.adb: Replace Ekind_In with Is_Entry.
generated by cgit v1.1 at 2025-05-28 19:50:40 +0000