]>
2018-12-11 | pmderodat | [Ada] Unnesting: fix a missing activation record subprogram so that it is usable for visible... ...Expand_Freeze_Entity): Handle properly the freezing of a finalizer routine generated for a controlled... declaration. Special processing already applies to finalizers |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Unnesting: ensure Current_Subprogram is always... ...Unnesting: ensure Current_Subprogram is always initialized * exp_unst.adb (Unnest_Subprogram): Ensure Current_Subprogram is |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix -gnatR3 output for dynamically constrained... is present, take the values from it. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix setting of Has_Predicate flag for aggregate... flag properly set if the array component... ...case component is a type no yet frozen, for which |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Plug small loophole with pathological packed... storage unit. In this case, the front-end fails to detect that calls to the packing manpulation routines of the run time are necessary. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix elaboration of record with 1-element dynamic... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] gnatbind: ghost code with -gnatQ ...Avoid silent failure; give an error |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Unnesting: fix for constrained arrays and improve... ...for constrained arrays and improve static constants ...rather than create a reference through the activation |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Missing predicate check on declaration with aggregate... initialization procedure, but the check is needed... ... Dynamic_Predicate failed at root.ads:30 with Root; procedure Pred is package Root with SPARK_Mode is end Root; |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Crash on generic instantiation in ignored Ghost... ...corrects the freezing of entities to properly is ignored Ghost, and the construct frozen is non-Ghost. frozen is non-Ghost. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Uintp: add a new UI_From_Integral generic constructor [Ada] Uintp: add a new UI_From_Integral generic constructor * uintp.ads, uintp.adb (UI_From_Integral): New generic function, from any Integer type. If type is... ...to a call to UI_To_Int with appropriate conversions; otherwise the routine uses the existing mechanism... The routine must not be applied to a... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Crash on compilation unit function that builds... ... Previously this was handled properly only if the function was a ...Build_Itype_Reference): Handle properly an itype |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] GNAT.Sockets: fix timeout computations for sockets |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Minor reformattings |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Crash on ignored Ghost expression function ...the tree when the entity being frozen is non-Ghost, and the context from a spec expression context when... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Remove vxlink and vxaddr2line from this repository ...Remove vxlink and vxaddr2line from this repository not related with the Ada front-end. 2018-12-11 Jerome Lambourg <lambourg@adacore... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Minor reformatting |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Complete implementation of RM C.6(19) clause |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Stubs that complete generic subprogram do have... ...Stubs that complete generic subprogram do have a "prior declaration" The intuition behind the Is_Subprogram_Stub_Without_Prior_Declaration utility routine is to detect stubs that act... ...that correspond to generic subprogram declarations. This patch affects a routine that is only used in GNATprove... frontend test provided. An example... procedure Proc; procedure Proc is separate; -- now... -- p-proc.adb -- procedure Proc is 2018-12-11 Piotr Trojanek <trojanek@adacore.com> * sem_util.adb (Is_Subprogram_Stub_Without_Prior_Declaration): ...stubs that complete a generic subprogram. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] GNATprove: improve proofs for uninitialized constraine... [Ada] GNATprove: improve proofs for uninitialized... ...adb (Analyze_Allocator): In GNATprove mode build a ...constraint. This allows additional proofs to be applied |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Support access types in GNATprove ... Support access types in GNATprove |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Better error message from GNATprove on illegal... [Ada] Better error message from GNATprove on illegal... When a compilation switch is wrongly passed to GNATprove without the ...hyphen, this patch issues a clear error message instead of the ...adb (Gnat1drv): Issue specific error message in GNATprove mode when multiple file names... New procedure to print file names on the... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix runtime stack overflow for out/in-out actuals... avoids stack overflow errors at runtime. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Additionsal trasformations for unnesting in package... elaboration procedure for a package body when... subprograms in the statement part of... properly, these subprograms must appear... ...references can be placed in the proper activation algorithm to cover subprograms generated in nested loops... procedure in more complex cases. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Remove vxworks*-crtbe-link.spec 2018-12-11 Jerome Lambourg <lambourg@adacore... |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Spurious visibility error on aspect Predicate [Ada] Spurious visibility error on aspect Predicate procedure Reset (This : out Stack... procedure Push (This : in out Stack... procedure Pop (This : in out Stack... Annotate => (GNATprove, "Because zeroing Top is sufficient"); procedure Reset (This : out Stack) is procedure Push (This : in out Stack... procedure Pop (This : in out Stack... Freeze_Entity_Checks): Process aspect Predicate in the same |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix an ICE on instantiated subprogram with -gnatc ...Fix an ICE on instantiated subprogram with -gnatc $ gcc -c p-proc.ads -gnatc procedure P.Proc is new G; generic procedure G; Skip aliasing subprograms. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Update gnatmetric documentation for the Libadalang... * doc/gnat_ugn/gnat_utility_programs.rst: Update gnatmetric |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Fix an ACATS regression with CCG (Is_CCG_Supported_Aggregate): New subprogram that replaces |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Update gnatstub documentation for the Libadalang... * doc/gnat_ugn/gnat_utility_programs.rst: Update gnatstub |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Spurious errors on aspect specifications in generic... [Ada] Spurious errors on aspect specifications in... This patch fixes spurious errors on aspect specifications on... aspect specifications, and improves error message on illegal aspect ...adb (Push_Type, Pop_Type): New procedures, used for ...ve_Aspect_Expressions): Use the new subprograms. (Check_Aspect_At_End_Of_Declarations): Improve error message. (Is_Derived_Type_With_Constraint): New subprogram to uncover and type is frozen. Additional parameter to improve error message on illegal aspect ...static_pred1.adb: Expect an error message. |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Document the -fgnat-encodings switch 2018-12-11 Pierre-Marie de Rodat <derodat@adacore.com> ...gnat_ugn/building_executable_programs_with_gnat.rst: |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Crash on nesting of subunits with bodies acting... subprogram subunits acting as bodies... procedure W.B.C is procedure E; procedure E is separate; procedure E is remove parent contexts from library-level subprogram bodies in |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Suppress call to Initial_Condition when the annotation... ...generation of the Initial_Condition procedure procedure Set_Flag; procedure Set_Flag is generate an Initial_Condition procedure and a call to it when |
commit | commitdiff | tree |
2018-12-11 | pmderodat | [Ada] Almost always inline init. procedure of small... [Ada] Almost always inline init. procedure of small and simple records ...decl.c (inline_status_for_subprog): New function. (gnat_to_gnu_entity) <E_Subprogram_Type>: Use it to get the inlining status of the subprogram. ...interface/utils.c (create_subprog_decl): Likewise. Deal |
commit | commitdiff | tree |
2018-12-10 | uros | * gcc.dg/sinatan-1.c: Use dg-add-options ieee. |
commit | commitdiff | tree |
2018-12-10 | uros | PR target/88418 |
commit | commitdiff | tree |
2018-12-10 | ro | Don't try to use libgcc-unwind.map with --disable-shared... |
commit | commitdiff | tree |
2018-12-08 | ro | Pass GDCFLAGS and CCASFLAGS to libphobos subdirs |
commit | commitdiff | tree |
2018-12-07 | vmakarov | 2018-12-07 Vladimir Makarov <vmakarov@redhat.com> 2018-12-07 Vladimir Makarov <vmakarov@redhat.com> 2018-12-07 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-12-07 | ro | Add forgotten PR marker. |
commit | commitdiff | tree |
2018-12-07 | ro | Build gcc.target/i386/ipa-stack-alignment-2.c with... |
commit | commitdiff | tree |
2018-12-06 | vmakarov | 2018-12-06 Vladimir Makarov <vmakarov@redhat.com> 2018-12-06 Vladimir Makarov <vmakarov@redhat.com> ...ira_init_register_move_cost): Use info from ...contains_reg_of_mode): Don't use cost from bigger |
commit | commitdiff | tree |
2018-12-06 | uros | * dwarf2out.c (field_byte_offset): Remove |
commit | commitdiff | tree |
2018-12-05 | uros | * config/i386/cygming.h (PCC_BITFIELD_TYPE_MATTERS... (GROUP_BITFIELDS_BY_ALIGN): Ditto. |
commit | commitdiff | tree |
2018-12-05 | ro | Provide SPARCv9 MAXALIGN in gcc.target/sparc/attr-aligned... Provide SPARCv9 MAXALIGN in gcc.target... |
commit | commitdiff | tree |
2018-12-05 | ro | Build gcc.target/sparc/20181129-?.c as C99 |
commit | commitdiff | tree |
2018-12-04 | vmakarov | 2018-12-04 Vladimir Makarov <vmakarov@redhat.com> 2018-12-04 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-12-04 | vmakarov | 2018-12-04 Vladimir Makarov <vmakarov@redhat.com> 2018-12-04 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-12-03 | uros | * config/i386/sse.md (vec_concatv2df): Change (v,xm,C) |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Fixes for various wrong and missing error messages... [Ada] Fixes for various wrong and missing error messages on... GNAT was missing errors as well as issuing messages... come from source. Add test for the renaming... generic body for proper determination of whether a... ...calling In_Generic_Body (now properly checks for |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Spurious error on dependent expression that is... [Ada] Spurious error on dependent expression that... This patch fixes a spurious error on a array expression that is a ...qualification, to avoid spurious errors when different bounds from those of the type of the contect. |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Add leap seconds for 2015 and 2016 |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Spelling fixes and minor reformatting |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Fix recent regression on array aggregate with... with dynamic subtype that is wrongly flagged as static by the front-end because of a recent improvement made in the handling of... of fixing the problematic test, pluging a few loopholes... ...ic_Component): New predicate extracted from... nor Is_Controlled for the type, but test whether... |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Fix internal error on package instantiation on... [Ada] Fix internal error on package instantiation on private... ...whose full view is a type derived from a scalar or an The problem is that the front-end creates... ...adds an assertion checking this property in the front-end |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Fix problematic overloading of operator in Ada... [Ada] Fix problematic overloading of operator... ...deciding whether an initialization procedure can be inherited from parent to derived type to the... ...which allowed inheriting a null procedure. ...of another null initialization procedure for * exp_ch3.adb (Build_Record_Init_Proc): Inherit an initialization procedure if it is present, even if... |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] A task not executing an entry call consumes an... introduced to represent key ATC nesting... introduce for the ATC level definitions. ... the GNAT Extended Ravenscar Profile now System.Tasking.Protected_Objects.Single_Entry was... System.Tasking.Protected_Objects where this assumption... ...implementation of this patch. Aside from enabling an extra pragma Profile (GNAT_Extended_Ravenscar); with Ada.Synchronous_Task_Control; procedure Main is Ada.Synchronous_Task_Control.Suspend_Until_True... Ada.Synchronous_Task_Control.Suspend_Until_True... with Ada.Synchronous_Task_Control; A_SO : Ada.Synchronous_Task_Control.Suspension_Object; B_SO : Ada.Synchronous_Task_Control.Suspension_Object; Ada.Synchronous_Task_Control.Set_True (Tasks... Ada.Synchronous_Task_Control.Set_True (Tasks... protected type PT is protected body PT is ...ATC_Level_Base): Redefine to span from constants are introduced to represent key ATC nesting... (Ada_Task_Control_Block): The default initialization of ATC_Level_Base constants. Comments improved ...s-taskin.adb (Initialize): Improve the initialisation ...adb (Create_Restricted_Task): Improve the * libgnarl/s-tposen.adb (Protected_Single_Entry_Call): Reference |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Fix assertion failures with -gnatde and -gnatdv |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Minor reformattings |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Enhance comment |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Gigi support for OpenACC pragmas Matching front-end bits to support Acc_Kernels... helpers for OpenACC pragmas processing in Pragma_to_gnu. |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT... configurations where the latter is inappropriate, for example |
commit | commitdiff | tree |
2018-12-03 | pmderodat | [Ada] Missing check on if-expression raised CONSTRAINT_ERROR : foo.ads:13 range check failed procedure Main is pragma Profile (Ravenscar); project Test is procedure Do_Something (B : in out... procedure Do_Something (B : in out... |
commit | commitdiff | tree |
2018-12-02 | uros | * config/i386/i386.c (inline_memory_move_cost): Correctly |
commit | commitdiff | tree |
2018-11-30 | vmakarov | 2018-11-30 Vladimir Makarov <vmakarov@redhat.com> 2018-11-30 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-29 | vmakarov | 2018-11-29 Vladimir Makarov <vmakarov@redhat.com> 2018-11-29 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-29 | uros | * config/i386/i386.c (inline_memory_move_cost): TARGET_INTER_UNIT_MOVES_FROM_VEC and TARGET_INTER_UNIT_MOVES_TO_VEC |
commit | commitdiff | tree |
2018-11-28 | vmakarov | 2018-11-28 Vladimir Makarov <vmakarov@redhat.com> 2018-11-28 Vladimir Makarov <vmakarov@redhat.com> * ira-costs.c (scan_one_insn): Process subregs when updating costs for pseudos and allocnos from insn. |
commit | commitdiff | tree |
2018-11-27 | macro | MIPS: Add `-mfix-r5900' option for the R5900 short... ...enables the R5900 short loop workaround. ...with the R5900 target. The workaround is implemented by GAS * config/mips/mips.c (mips_reorg_process_insns) ...invoke.texi: Document the `r5900' processor name, and |
commit | commitdiff | tree |
2018-11-26 | uros | PR target/88178 |
commit | commitdiff | tree |
2018-11-25 | ro | Disable gdc execution tests without libphobos (check_effective_target_d_runtime): New proc. ...Effective-Target Keywords, Environment |
commit | commitdiff | tree |
2018-11-25 | vmakarov | 2018-11-25 Vladimir Makarov <vmakarov@redhat.com> 2018-11-25 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-23 | vmakarov | 2018-11-23 Vladimir Makarov <vmakarov@redhat.com> 2018-11-23 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-23 | vmakarov | 2018-11-23 Vladimir Makarov <vmakarov@redhat.com> 2018-11-23 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-22 | uros | * config/i386/i386.c (ix86_check_avx_upper_register): |
commit | commitdiff | tree |
2018-11-22 | vmakarov | 2018-11-22 Vladimir Makarov <vmakarov@redhat.com> 2018-11-22 Vladimir Makarov <vmakarov@redhat.com> 2018-11-22 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-22 | uros | * config/i386/i386.c (ix86_avx_emit_vzeroupper): Remove. ...i386/i386.c (ix86_avx_emit_vzeroupper): Remove. ...emit_mode_set) <case AVX_U128>: Emit vzeroupper here. |
commit | commitdiff | tree |
2018-11-21 | uros | Revert the revert: 2013-10-26 Vladimir Makarov <vmakarov@redhat.com> 2013-10-25 Vladimir Makarov <vmakarov@redhat.com> |
commit | commitdiff | tree |
2018-11-21 | uros | PR middle-end/88129 |
commit | commitdiff | tree |
2018-11-21 | uros | PR target/85667 |
commit | commitdiff | tree |
2018-11-20 | uros | PR target/88070 fallthrough edge to the exit block. |
commit | commitdiff | tree |
2018-11-16 | uros | PR target/88051 |
commit | commitdiff | tree |
2018-11-14 | uros | * config/i386/i386.c (ix86_print_operand_address_as... |
commit | commitdiff | tree |
2018-11-14 | ro | Handle libphobos in contrib/gcc_update |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Problem with boundary case of XOR operation and... [Ada] Problem with boundary case of XOR... ...True .. True raises constraint error. Previous to this patch, were not handled properly when unnesting is in effect. ...ads, exp_util.adb: Change the profile of ...xpand_Boolean_Operation): Use this new profile. |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Update signal constants for GNU/Linux ...linux__alpha.ads, libgnarl/s-linux__android.ads, ... Move SIG32, SIG33 and SIG34 from the unmasked list to |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Fix small regression with others choice in array... ...parameter of the Convert_To_Positional routine. Unfortunately a fine-grained control based on the analysis of the process a bit cumbersome. For example... unit from a call to a parameterless function. procedure P is from... |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31... ...inc: Fix stack checking test errors in |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Remove couple of recently added dead tests (Flatten): Likewise. Move comment around. |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Spurious error on Ghost null procedure [Ada] Spurious error on Ghost null procedure procedures to set the Ghost mode of... ...expansion are marked as Ghost, and provide a proper * sem_ch6.adb (Analyze_Null_Procedure): Capture Ghost and ...global state at the start of the routine. Set the ...related global state on exit from the routine. |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] More complete information level for -gnatR output ...gnat_ugn/building_executable_programs_with_gnat.rst * switch-c.adb (Scan_Front_End_Switches): Add support for... |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Crash on interface equality covered by a renaming... The frontend crashes processing a tagged... allow the called routine to identify renamings of... |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Use of Suppress_Initialization with pragma Thread_Loca... ...Check_Pragma_Thread_Local_Storage): New routine. A ...ialization as it is no longer used. Use routine |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Missing constraint check on if-expression returning... ...33:21: warning: string length wrong for type "T" defined at line 5 ...33:21: warning: "Constraint_Error" will be raised at run time ...37:39: warning: string length wrong for type "T" defined at line 5 ...37:39: warning: "Constraint_Error" will be raised at run time ...38:39: warning: "Constraint_Error" will be raised at run time ...39:39: warning: "Constraint_Error" will be raised at run time procedure Ce is package Aerodrome_Identifier is ADEP : Aerodrome_Identifier.T; procedure Assign (X : Flight_Identifier... ...Put_Line (X.ADEP); -- outputs the 4 zero bytes function Env_Aerodrome_Value return String is (... Here : Aerodrome_Identifier.T; ...should always raise Constraint_Error !! else Env_Aerodrome_Value & "!"), ...Length = 5) then "" else Env_Aerodrome_Value); ...Length = 5) then Nothing else Env_Aerodrome_Value); |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Fix assertion failure on pragma Compile_Time_Error... ...failure on pragma Compile_Time_Error in generic unit * sem_prag.adb (Process_Compile_Time_Warning_Or_Error... register a compile-time warning or error for 'Alignment or 'Size * gnat.dg/compile_time_error1.adb, gnat.dg/compile_time_error1.ads, gnat.dg/compile_time_error1_pkg.ads: New testcase. |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Crash on use of generic formal package |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Compiler crash on decl. with limited aggregate... |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] System'To_Address not always static the compiler incorrectly gives an error when initializing such a ..._Static_Expression, Raises_Constraint_Error): Simplify |
commit | commitdiff | tree |
2018-11-14 | pmderodat | [Ada] Enhance constraints propagation to ease the work... [Ada] Enhance constraints propagation to ease the work of optimizers optimizations to be performed by the front-end. [constraint_error when procedure p__my_g__TinfoBIP (_init... procedure p__my_g__arrIP (_init :... procedure p__my_g__recIP (_init :... ...the type of the entity has a narrower range than that of |
commit | commitdiff | tree |
next |