Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   63 patches
Patch Series rb/tb S/W/F Date Submitter Delegate State
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects [Ada] Add support for defaulted Storage_Model_Type aspect and subaspects - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix CodePeer warnings in GNAT sources [Ada] Fix CodePeer warnings in GNAT sources - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Use right implementation type for nonbinary-modulus ops [Ada] Use right implementation type for nonbinary-modulus ops - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix confusing error expression on an unknown restriction [Ada] Fix confusing error expression on an unknown restriction - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Remove out-of-range warning in unreachable code [Ada] Remove out-of-range warning in unreachable code - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Warn about unreachable code after calls with No_Return [Ada] Warn about unreachable code after calls with No_Return - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Clean up scanner [Ada] Clean up scanner - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix incorrect itype sharing for case expression in limited type return [Ada] Fix incorrect itype sharing for case expression in limited type return - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Cleanup repeated code for aggregate constraints checks [Ada] Cleanup repeated code for aggregate constraints checks - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Perform object rewriting as renaming only in the expander [Ada] Perform object rewriting as renaming only in the expander - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Do not make procedure call with only tag-indeternminate actuals dispatching [Ada] Do not make procedure call with only tag-indeternminate actuals dispatching - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in Expand_N_Object_Declaration [Ada] Small housekeeping work in Expand_N_Object_Declaration - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Use static stack allocation for small dynamic string concatenations [Ada] Use static stack allocation for small dynamic string concatenations - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Tech debt: Remove code duplication [Ada] Tech debt: Remove code duplication - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Do not use front-end build-in-place mechanism for nonlimited types [Ada] Do not use front-end build-in-place mechanism for nonlimited types - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Call-initialize all controlled objects in place [Ada] Call-initialize all controlled objects in place - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Update the documentation of functional containers [Ada] Update the documentation of functional containers - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Disable -flto when building the shared libgnat [Ada] Disable -flto when building the shared libgnat - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add contracts to Interfaces.C.Strings [Ada] Add contracts to Interfaces.C.Strings - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Allow confirming volatile properties on No_Caching variables [Ada] Allow confirming volatile properties on No_Caching variables - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Do not freeze subprogram body without spec too early [Ada] Do not freeze subprogram body without spec too early - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Add reference counting in functional containers [Ada] Add reference counting in functional containers - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Avoid creating a finalization wrapper block for functions [Ada] Avoid creating a finalization wrapper block for functions - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Do not freeze profiles for dispatch tables [Ada] Do not freeze profiles for dispatch tables - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in gnat_gimplify_expr [Ada] Small housekeeping work in gnat_gimplify_expr - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Secondary stack and a-tags [Ada] Secondary stack and a-tags - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix bogus visibility error with partially parameterized formal package [Ada] Fix bogus visibility error with partially parameterized formal package - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Streamline implementation of Has_Compatible_Representation [Ada] Streamline implementation of Has_Compatible_Representation - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Use Actions field of freeze nodes for subprograms [Ada] Use Actions field of freeze nodes for subprograms - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix expansion of attribute Loop_Entry wrt value propagation [Ada] Fix expansion of attribute Loop_Entry wrt value propagation - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Revise Storage_Model_Support operations to do checks and take objects and types [Ada] Revise Storage_Model_Support operations to do checks and take objects and types - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix internal error on iterated array aggregate [Ada] Fix internal error on iterated array aggregate - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Accept calls to abstract subprograms in class-wide pre/post-conditions [Ada] Accept calls to abstract subprograms in class-wide pre/post-conditions - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix spurious error on limited view with incomplete type [Ada] Fix spurious error on limited view with incomplete type - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Extend hardcfr testing (documentation) [Ada] Extend hardcfr testing (documentation) - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Make debug printouts more robust [Ada] Make debug printouts more robust - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Revamp analysis of conditional expressions [Ada] Revamp analysis of conditional expressions - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Rewrite Sem_Ch4.Find_Boolean_Types [Ada] Rewrite Sem_Ch4.Find_Boolean_Types - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Excess finalization on assignment with target name symbol [Ada] Excess finalization on assignment with target name symbol - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix markup in description of pragma Eliminate [Ada] Fix markup in description of pragma Eliminate - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Avoid crash for -gnatR -gnatc [Ada] Avoid crash for -gnatR -gnatc - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Incorrect ineffective use type clause warning [Ada] Incorrect ineffective use type clause warning - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup unnecessary declare block in Check_Unreachable_Code [Ada] Cleanup unnecessary declare block in Check_Unreachable_Code - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_Variant [Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_Variant - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Failure compiling "for ... of" loop over a slice [Ada] Failure compiling "for ... of" loop over a slice - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Prevent inlining-for-proof for calls inside ELSIF condition [Ada] Prevent inlining-for-proof for calls inside ELSIF condition - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Properly handle unprefixed references to components [Ada] Properly handle unprefixed references to components - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix internal error on declaration of derived discriminated record type [Ada] Fix internal error on declaration of derived discriminated record type - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Reduce scope of declare block in analysis of allocators [Ada] Reduce scope of declare block in analysis of allocators - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unnecessary block in code for expansion of allocators [Ada] Remove unnecessary block in code for expansion of allocators - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of System.Vectors.Boolean_Operations [Ada] Proof of System.Vectors.Boolean_Operations - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Fix a couple of issues with pragma Inspection_Point [Ada] Fix a couple of issues with pragma Inspection_Point - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary declare block [Ada] Remove unnecessary declare block - - --- 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] 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] Expand controlling function wrapper into expression function [Ada] Expand controlling function wrapper into expression function - - --- 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] 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] 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