Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 5 6 7 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Consistent suppression for warnings inside null loops [Ada] Consistent suppression for warnings inside null loops - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guard for inserting non-empty list [Ada] Remove unnecessary guard for inserting non-empty list - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guards for appending non-empty lists [Ada] Remove unnecessary guards for appending non-empty lists - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Check scalar range in arrays constructed by concatenation [Ada] Check scalar range in arrays constructed by concatenation - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] treepr: print value only for discrete types [Ada] treepr: print value only for discrete types - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Use non-internal representation for access subprograms if UC to Address [Ada] Use non-internal representation for access subprograms if UC to Address - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] treepr: Print value of static expression [Ada] treepr: Print value of static expression - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Add an option to Get_Fullest_View to not recurse [Ada] Add an option to Get_Fullest_View to not recurse - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Warn on import of parent package [Ada] Warn on import of parent package - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Small cleanup of osint-m.adb [Ada] Small cleanup of osint-m.adb - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Warn on subtype declaration of null range [Ada] Warn on subtype declaration of null range - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unnecessary declare block [Ada] Remove unnecessary declare block - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Simplify traversal for removing warnings from dead code [Ada] Simplify traversal for removing warnings from dead code - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove a locally handled exception [Ada] Remove a locally handled exception - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Move messages on division by zero to the right operand [Ada] Move messages on division by zero to the right operand - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guards for non-empty lists [Ada] Remove unnecessary guards for non-empty lists - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Fix regression in freezing code for instantiations [Ada] Fix regression in freezing code for instantiations - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unreferenced Warn_On_Instance [Ada] Remove unreferenced Warn_On_Instance - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Fix style in comments about warning messages [Ada] Fix style in comments about warning messages - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Simplify type conversions in source pointer arithmetic [Ada] Simplify type conversions in source pointer arithmetic - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Refactor repeated implicit conversion from Char_Code to Uint [Ada] Refactor repeated implicit conversion from Char_Code to Uint - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Fix style in calls to Compile_Time_Constraint_Error [Ada] Fix style in calls to Compile_Time_Constraint_Error - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Fix spurious error on instantiation with Text_IO name [Ada] Fix spurious error on instantiation with Text_IO name - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Avoid building malformed component constraints [Ada] Avoid building malformed component constraints - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Avoid building malformed component constraints [Ada] Avoid building malformed component constraints - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Spurious error when using current instance of type [Ada] Spurious error when using current instance of type - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove duplicates of empty strings [Ada] Remove duplicates of empty strings - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Rename Any_Access into Universal_Access [Ada] Rename Any_Access into Universal_Access - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Suppress spurious CodePeer check on generic actual subprogram [Ada] Suppress spurious CodePeer check on generic actual subprogram - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Justify false positive message from CodePeer analysis of GNAT [Ada] Justify false positive message from CodePeer analysis of GNAT - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Removal of technical debt [Ada] Removal of technical debt - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Crash in class-wide pre/postconditions [Ada] Crash in class-wide pre/postconditions - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Simplify repeated calls in printing of GNAT AST [Ada] Simplify repeated calls in printing of GNAT AST - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Simplify GNAT AST printing with simple GNAT hash table [Ada] Simplify GNAT AST printing with simple GNAT hash table - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Proof of runtime unit for non-binary modular exponentiation [Ada] Proof of runtime unit for non-binary modular exponentiation - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for binary modular exponentiation [Ada] Proof of runtime units for binary modular exponentiation - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Improve support for casing on types with controlled parts [Ada] Improve support for casing on types with controlled parts - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Simplify detection of alphabetic characters with membership test [Ada] Simplify detection of alphabetic characters with membership test - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Expand controlling function wrapper into expression function [Ada] Expand controlling function wrapper into expression function - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Expand controlling functions wrappers in GNATprove mode [Ada] Expand controlling functions wrappers in GNATprove mode - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Use Add_Char_To_Name_Buffer for 1-character strings [Ada] Use Add_Char_To_Name_Buffer for 1-character strings - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Simplify calls to Name_Find with known string parameter [Ada] Simplify calls to Name_Find with known string parameter - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Compiler crash with -gnatR2 and with of child [Ada] Compiler crash with -gnatR2 and with of child - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove extra whitespace in declarations and parameters lists [Ada] Remove extra whitespace in declarations and parameters lists - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove explicit "in" in internal parameter association [Ada] Remove explicit "in" in internal parameter association - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Align arrows in parameter associations [Ada] Align arrows in parameter associations - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove extra space in parameter associations [Ada] Remove extra space in parameter associations - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Fix layout of parameters in calls to Predef_Spec_Or_Body [Ada] Fix layout of parameters in calls to Predef_Spec_Or_Body - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Fix condition to build subtype for discriminated types [Ada] Fix condition to build subtype for discriminated types - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Add contracts for the proof of System.Arith_128 [Ada] Add contracts for the proof of System.Arith_128 - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Simplify handling of user-defined numeric literals [Ada] Simplify handling of user-defined numeric literals - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks on) [Ada] Proof of runtime units for integer exponentiation (checks on) - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary check for missing parameter specifications [Ada] Remove unnecessary check for missing parameter specifications - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Introduce expression functions for contract of Scan_Exponent [Ada] Introduce expression functions for contract of Scan_Exponent - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Prevent Get_Current_Value_Condition from returning the same node [Ada] Prevent Get_Current_Value_Condition from returning the same node - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Simplify making of null procedure wrappers [Ada] Simplify making of null procedure wrappers - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks off) [Ada] Proof of runtime units for integer exponentiation (checks off) - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove redundant code related to instances with formal subprograms [Ada] Remove redundant code related to instances with formal subprograms - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Fix sharing of formal parameters between wrapper spec and body [Ada] Fix sharing of formal parameters between wrapper spec and body - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Renamed_Entity should return Entity_Id [Ada] Renamed_Entity should return Entity_Id - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Deconstruct dead wrappers added for external axiomatization [Ada] Deconstruct dead wrappers added for external axiomatization - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Fix lemma in generic unit System.Arith_Double [Ada] Fix lemma in generic unit System.Arith_Double - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Reduce runtime dependencies on stage1 [Ada] Reduce runtime dependencies on stage1 - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[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
« 1 2 ... 5 6 7 … 30 31 »