Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   2515 patches
« 1 2 3 425 26 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Remove obsolete a-assert [Ada] Remove obsolete a-assert - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Do not back-annotate maximum size for limited types [Ada] Do not back-annotate maximum size for limited types - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Fix packing for array component with discriminated part [Ada] Fix packing for array component with discriminated part - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Invalid memory access on finalization of class-wide type [Ada] Invalid memory access on finalization of class-wide type - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of System.Arith_32 for double arithmetic on 32bits [Ada] Proof of System.Arith_32 for double arithmetic on 32bits - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Reset internal flags for -gnatD and -gnatG [Ada] Reset internal flags for -gnatD and -gnatG - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Fix obsolete array aggregate warning being triggered by expanded code [Ada] Fix obsolete array aggregate warning being triggered by expanded code - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Amend proof of System.Arith_Double to remove justifications [Ada] Amend proof of System.Arith_Double to remove justifications - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Add pragma Annotate for CodePeer analysis [Ada] Add pragma Annotate for CodePeer analysis - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of support units for 'Width on signed integers [Ada] Proof of support units for 'Width on signed integers - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Cleanup detection of suspension objects [Ada] Cleanup detection of suspension objects - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Cleanup insertion of single freezing actions [Ada] Cleanup insertion of single freezing actions - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Cleanups related to expansion of dispatching primitives [Ada] Cleanups related to expansion of dispatching primitives - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Inline all calls in Ada.Task_Identification [Ada] Inline all calls in Ada.Task_Identification - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Enhance freezing code for instantiations [Ada] Enhance freezing code for instantiations - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Enable expansion of dispatching equality for GNATprove [Ada] Enable expansion of dispatching equality for GNATprove - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Separate building of equality from other dispatching routines [Ada] Separate building of equality from other dispatching routines - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Split spec and body of expression function with Subprogram_Variant [Ada] Split spec and body of expression function with Subprogram_Variant - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Remove extra space after assignment symbol [Ada] Remove extra space after assignment symbol - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Don't allow entry in implicit with chain to be ghost [Ada] Don't allow entry in implicit with chain to be ghost - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Simplify iteration over record components [Ada] Simplify iteration over record components - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Refactor nested loops in warning on unassigned out parameter [Ada] Refactor nested loops in warning on unassigned out parameter - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Remove duplicated condition in warnings about read-before-write [Ada] Remove duplicated condition in warnings about read-before-write - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64 [Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64 - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete [Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] More intuitive names in sanity-checking of derived types [Ada] More intuitive names in sanity-checking of derived types - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of System.Val_Util utilities for 'Value support [Ada] Proof of System.Val_Util utilities for 'Value support - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of Boolean'Image and Boolean'Value [Ada] Proof of Boolean'Image and Boolean'Value - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Fix possible memory corruption for hostnames longer than 1024 bytes [Ada] Fix possible memory corruption for hostnames longer than 1024 bytes - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Fix incorrect fixed-point computation in expression function [Ada] Fix incorrect fixed-point computation in expression function - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Tune whitespace of the bounded lists Aggregate aspect [Ada] Tune whitespace of the bounded lists Aggregate aspect - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Allow formal functions to have a default in the form of an expression function [Ada] Allow formal functions to have a default in the form of an expression function - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Do not return freeze nodes for start of early call regions [Ada] Do not return freeze nodes for start of early call regions - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Fix crash on pragma Compile_Time_Warning/Error [Ada] Fix crash on pragma Compile_Time_Warning/Error - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Syntax error on "not null procedure" [Ada] Syntax error on "not null procedure" - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Tidy up freezing code for instantiations [Ada] Tidy up freezing code for instantiations - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Fix typo in comment [Ada] Fix typo in comment - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Fix issues with ignored ghost code and unnesting [Ada] Fix issues with ignored ghost code and unnesting - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Do not free task for _parent [Ada] Do not free task for _parent - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Spurious warning when using 'Type_Key on generic formal [Ada] Spurious warning when using 'Type_Key on generic formal - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Create object file for ignored ghost compilation unit [Ada] Create object file for ignored ghost compilation unit - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Fix small discrepancy between -gnatG and -gnatD[G] outputs [Ada] Fix small discrepancy between -gnatG and -gnatD[G] outputs - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Improve error messages for dot notation when -gnatX not used [Ada] Improve error messages for dot notation when -gnatX not used - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Add query for extended precision floating-point types [Ada] Add query for extended precision floating-point types - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Replace low-level detection of subprograms with high-level wrapper [Ada] Replace low-level detection of subprograms with high-level wrapper - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Sync whitespace between variants of Indefinite_Holders unit [Ada] Sync whitespace between variants of Indefinite_Holders unit - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Sort list of Ada runtime units in Makefile.rtl [Ada] Sort list of Ada runtime units in Makefile.rtl - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Improve messages on incorrect state refinement in SPARK [Ada] Improve messages on incorrect state refinement in SPARK - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Storage error on untagged prefixed subprogram calls with -gnatX [Ada] Storage error on untagged prefixed subprogram calls with -gnatX - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Avoid duplication for Sets functions [Ada] Avoid duplication for Sets functions - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Simplify building of inequality function body [Ada] Simplify building of inequality function body - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Cleanup listing of representation info [Ada] Cleanup listing of representation info - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Minor cleanup in translation of calls to subprograms [Ada] Minor cleanup in translation of calls to subprograms - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Warn for bidirectional characters [Ada] Warn for bidirectional characters - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Avoid warnings regarding rep clauses in generics -- follow-on [Ada] Avoid warnings regarding rep clauses in generics -- follow-on - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix comments about expansion of array equality [Ada] Fix comments about expansion of array equality - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Avoid warnings regarding rep clauses in generics [Ada] Avoid warnings regarding rep clauses in generics - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] ACATS BDC1002 shall not error on arbitrary aspect [Ada] ACATS BDC1002 shall not error on arbitrary aspect - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Do not assume a priority value of zero is a valid priority [Ada] Do not assume a priority value of zero is a valid priority - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Don't carry action bodies for expansion of array equality [Ada] Don't carry action bodies for expansion of array equality - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Use predefined equality for arrays inside records [Ada] Use predefined equality for arrays inside records - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix oversight in latest change to Has_Compatible_Type [Ada] Fix oversight in latest change to Has_Compatible_Type - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Create explicit ghost mirror unit for big integers [Ada] Create explicit ghost mirror unit for big integers - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix Constraint error on rexgexp close bracket find algorithm [Ada] Fix Constraint error on rexgexp close bracket find algorithm - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Extend optimized equality of 2-element arrays [Ada] Extend optimized equality of 2-element arrays - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Warn when interfaces swapped between full and partial view [Ada] Warn when interfaces swapped between full and partial view - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Better error message on missing parentheses [Ada] Better error message on missing parentheses - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix Codepeer warning [Ada] Fix Codepeer warning - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Tidy up implementation of Has_Compatible_Type [Ada] Tidy up implementation of Has_Compatible_Type - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls [Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Print Storage_Pool and Procedure_To_Call fields [Ada] Print Storage_Pool and Procedure_To_Call fields - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Do not indicate a pending abort if the task is already aborting [Ada] Do not indicate a pending abort if the task is already aborting - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Hang on compilation of unit with type extension in body [Ada] Hang on compilation of unit with type extension in body - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Crash on expansion of tagged membership test [Ada] Crash on expansion of tagged membership test - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Initialize Current_Source_Unit [Ada] Initialize Current_Source_Unit - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Use atomics in runtime on ARM and Aarch64 VxWorks [Ada] Use atomics in runtime on ARM and Aarch64 VxWorks - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Accessibility fix [Ada] Accessibility fix - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup copying of parameter lists [Ada] Cleanup copying of parameter lists - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup building of renamed equality [Ada] Cleanup building of renamed equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Refine type in expansion of array equality [Ada] Refine type in expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Simplify building of entity occurrences [Ada] Simplify building of entity occurrences - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Return a valid value when handling Constraint_Error [Ada] Return a valid value when handling Constraint_Error - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Simplify expansion of array equality [Ada] Simplify expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Reference in Unbounded_String is almost never null [Ada] Reference in Unbounded_String is almost never null - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Errors on globals in expressions of predicate aspects in generic bodies [Ada] Errors on globals in expressions of predicate aspects in generic bodies - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Tune comment about expansion of array equality [Ada] Tune comment about expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Add missing regular expression syntax error check [Ada] Add missing regular expression syntax error check - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Complete support for prefixed call on subtypes/derived types [Ada] Complete support for prefixed call on subtypes/derived types - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Fix detection of array aggregates with single others associations [Ada] Fix detection of array aggregates with single others associations - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Fix support for prefixed call with incomplete type declarations [Ada] Fix support for prefixed call with incomplete type declarations - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Guard against illegal items in Global but not Depends [Ada] Guard against illegal items in Global but not Depends - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Build activation chain for BIP only when needed [Ada] Build activation chain for BIP only when needed - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Remove gnatfind and gnatxref [Ada] Remove gnatfind and gnatxref - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Spurious error on user-defined literal and operator [Ada] Spurious error on user-defined literal and operator - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Follow-on cleanups for Uint fields [Ada] Follow-on cleanups for Uint fields - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Fix bugs in Base_Type_Only (etc.) fields [Ada] Fix bugs in Base_Type_Only (etc.) fields - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Simplify iteration of record components when expanding equality [Ada] Simplify iteration of record components when expanding equality - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Relax INOX restrictions when casing on composite value. [Ada] Relax INOX restrictions when casing on composite value. - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Update the inactive GMP variant of Big_Integers [Ada] Update the inactive GMP variant of Big_Integers - - - - --- 2021-10-25 Pierre-Marie de Rodat New
« 1 2 3 425 26 »