Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Pierre-Marie de Rodat
| State =
Action Required
| Archived =
No
| 63 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not applicable
Changes Requested
Failed CI
Superseded
Deferred
Committed
Dropped
DCO or assignment missing
Search
Archived
No
Yes
Both
Delegate
------
Nobody
siddhesh
siddhesh
siddhesh
codonell
azanella
gbenson
jankratochvil
ppluzhnikov
neleai
tromey
palves
keiths
sergiodj
StanShebs
teawater
simark
rth
roland
davem
schwab
Allan
aj
ldv
tschwinge
tschwinge
tschwinge
andreaskr
fweimer
ChrisMetcalf
jsm28
aurel32
will
vapier
vapier
tuliom
hjl
triegel
jwlemke
cltang
macro
nsz
pwbot
arjun
stli
ludo
rj
zack
mfabian
rluzynski
dj
sthibaul
mscastanho
lamm
girish946
maennich
dodji
zimmerma
rzinsly
lukma
mjw
goldsteinn
raoni
jason
jwakely
jwakely
maximk
trodgers
trodgers
ams
ams
ams
rearnsha
siddhesh_staff
lancesix
aburgess
Apply
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