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
| 3078 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Needs Review / ACK
Handled Elsewhere
Search
Archived
No
Yes
Both
Delegate
------
Nobody
jgarzik
arnd
ymano
smfrench
jlayton
tseliot
ogasawara
amitk
awhitcroft
mst
dayangkun
jwboyer
jwboyer
colinking
colinking
azummo
dwmw2
rtg
sconklin
smb
aliguori
bradf
galak
galak
demarchi
ms
bhundven
chbs
kengyu
kadlec
pdp
regit
jabk
laforge
laforge
tonyb
sfr
alai
zecke
zecke
__damien__
luka
luka
prafulla@marvell.com
cyrus
PeterHuewe
kiho
jow
jow
ypwong
nico
dedeckeh
dedeckeh
yousong
yousong
tomcwarren
mb
mrchuck
vineetg76
computersforpeace
Noltari
Noltari
patrick_delaunay
ee07b291
ldir
ldir
stefanct
zhouhan
carldani
blp
ffainelli
ffainelli
regXboi
bbrezillon
pravin
mkp
jpettit
phil
mkresin
mkresin
thess
thess
fbarrat
fbarrat
linville
jesse
tjaalton
esben
abrodkin
abrodkin
diproiettod
tbot
stephenfin
vriera
darball1
sammj
ajd
jogo
jogo
bhelgaas
blogic
blogic
tagr
tagr
tagr
oohal
russellb
ptomsich
agraf
joestringer
davem
davem
davem
mwalle
naveen
pchotard
pepe2k
pepe2k
arj
arj
andmur01
amitay
matttbe
pabeni
istokes
aparcar
Ansuel
goliath
martineau
tytso
danielschwierzeck
mkorpershoek
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
khem
hs
tpetazzoni
marex
liwang
robimarko
apritzel
danielhb
groug
mmichelson
npiggin
pareddja
atishp
netdrv
mkubecek
stintel
stintel
jkicinski
cpitchen
maximeh
dsa
jstancek
pm215
bpf
jonhunter
shettyg
lorpie01
acelan
wigyori
wigyori
apopple
dja
alexhung
lynxis
lynxis
brgl
brgl
peda
akodanev
narmstrong
981213
0andriy
chunkeey
snowpatch_ozlabs
snowpatch_ozlabs
snowpatch_ozlabs
aivanov
atishp04
shemminger
monstr
vigneshr
horms
mraynal
blocktrron
stewart
stewart
freenix
wsa
prom
rfried
akumar
ehristev
Jaehoon
jacmet
ivanhu
xypron
rsalvaterra
adrianschmutzler
sjg
hegdevasant
hegdevasant
metan
bmeng
jagan
ukleinek
ukleinek
ag
rmilecki
rmilecki
kevery
kabel
arbab
trini
rw
rw
apconole
pablo
pablo
abelloni
wbx
Hauke
Hauke
legoater
legoater
legoater
chleroy
svanheule
bjonglez
ynezz
aik
sbabic
sbabic
pevik
xback
xback
richiejp
dangole
dangole
forty
acer
echaudron
benh
rgrimm
next_ghost
anuppatel
anuppatel
segher
passgat
pratyush
jms
jms
jms
ymorin
ymorin
mans0n
ruscur
jk
jk
jk
jk
numans
xuyang
jmberg
Andes
festevam
linusw
linusw
matthias_bgg
tambarus
stroese
kubu
imaximets
apalos
dceara
strlen
strlen
pbrobinson
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
arnout
ktraynor
robh
nbd
nbd
anguy11
paulus
calebccff
jm
Apply
«
1
2
...
25
26
27
…
30
31
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Volatility, validity checks, and System.Aux_DEC
[Ada] Volatility, validity checks, and System.Aux_DEC
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Improve error message when named number passed as global item
[Ada] Improve error message when named number passed as global item
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Fix setting of Has_Predicate flag for aggregate subtypes
[Ada] Fix setting of Has_Predicate flag for aggregate subtypes
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Plug small loophole with pathological packed array type
[Ada] Plug small loophole with pathological packed array type
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] gnatbind: ghost code with -gnatQ
[Ada] gnatbind: ghost code with -gnatQ
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Missing predicate check on declaration with aggregate expression
[Ada] Missing predicate check on declaration with aggregate expression
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Crash on generic instantiation in ignored Ghost context
[Ada] Crash on generic instantiation in ignored Ghost context
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Crash on compilation unit function that builds in place
[Ada] Crash on compilation unit function that builds in place
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Crash on ignored Ghost expression function
[Ada] Crash on ignored Ghost expression function
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Remove vxlink and vxaddr2line from this repository
[Ada] Remove vxlink and vxaddr2line from this repository
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Complete implementation of RM C.6(19) clause
[Ada] Complete implementation of RM C.6(19) clause
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Stubs that complete generic subprogram do have a "prior declaration"
[Ada] Stubs that complete generic subprogram do have a "prior declaration"
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Support access types in GNATprove
[Ada] Support access types in GNATprove
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Better error message from GNATprove on illegal switch
[Ada] Better error message from GNATprove on illegal switch
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Additionsal trasformations for unnesting in package bodies
[Ada] Additionsal trasformations for unnesting in package bodies
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Remove vxworks*-crtbe-link.spec
[Ada] Remove vxworks*-crtbe-link.spec
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Spurious visibility error on aspect Predicate
[Ada] Spurious visibility error on aspect Predicate
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Fix an ICE on instantiated subprogram with -gnatc
[Ada] Fix an ICE on instantiated subprogram with -gnatc
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Spurious errors on aspect specifications in generic units
[Ada] Spurious errors on aspect specifications in generic units
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Crash on nesting of subunits with bodies acting as specs
[Ada] Crash on nesting of subunits with bodies acting as specs
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Suppress call to Initial_Condition when the annotation is ignored
[Ada] Suppress call to Initial_Condition when the annotation is ignored
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]
[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Spurious error on dependent expression that is an array
[Ada] Spurious error on dependent expression that is an array
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Add leap seconds for 2015 and 2016
[Ada] Add leap seconds for 2015 and 2016
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Fix recent regression on array aggregate with dynamic subtype
[Ada] Fix recent regression on array aggregate with dynamic subtype
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Fix internal error on package instantiation on private type
[Ada] Fix internal error on package instantiation on private type
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Fix problematic overloading of operator in Ada 95 mode
[Ada] Fix problematic overloading of operator in Ada 95 mode
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] A task not executing an entry call consumes an Entry_Call slot
[Ada] A task not executing an entry call consumes an Entry_Call slot
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Fix assertion failures with -gnatde and -gnatdv
[Ada] Fix assertion failures with -gnatde and -gnatdv
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Gigi support for OpenACC pragmas
[Ada] Gigi support for OpenACC pragmas
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Missing check on if-expression
[Ada] Missing check on if-expression
- - - -
-
-
-
2018-12-03
Pierre-Marie de Rodat
New
[Ada] Problem with boundary case of XOR operation and unnesting
[Ada] Problem with boundary case of XOR operation and unnesting
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Fix small regression with others choice in array aggregate
[Ada] Fix small regression with others choice in array aggregate
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Remove couple of recently added dead tests
[Ada] Remove couple of recently added dead tests
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Spurious error on Ghost null procedure
[Ada] Spurious error on Ghost null procedure
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] More complete information level for -gnatR output
[Ada] More complete information level for -gnatR output
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Crash on interface equality covered by a renaming declaration
[Ada] Crash on interface equality covered by a renaming declaration
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Use of Suppress_Initialization with pragma Thread_Local_Storage
[Ada] Use of Suppress_Initialization with pragma Thread_Local_Storage
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Missing constraint check on if-expression returning a string
[Ada] Missing constraint check on if-expression returning a string
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit
[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Crash on use of generic formal package
[Ada] Crash on use of generic formal package
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Compiler crash on decl. with limited aggregate and address clause
[Ada] Compiler crash on decl. with limited aggregate and address clause
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] System'To_Address not always static
[Ada] System'To_Address not always static
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Enhance constraints propagation to ease the work of optimizers
[Ada] Enhance constraints propagation to ease the work of optimizers
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Renamed equality leads to spurious errors
[Ada] Renamed equality leads to spurious errors
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Crash on ignored Ghost assignment
[Ada] Crash on ignored Ghost assignment
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Visibility error on used enumerated type
[Ada] Visibility error on used enumerated type
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Unnesting transformations for blocks in package bodies
[Ada] Unnesting transformations for blocks in package bodies
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Improper extension of bounds of fixed-point type
[Ada] Improper extension of bounds of fixed-point type
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Limited function violates No_Exception_Propagation
[Ada] Limited function violates No_Exception_Propagation
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Crash on tagged equality
[Ada] Crash on tagged equality
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Record components do not appear in the Global contract
[Ada] Record components do not appear in the Global contract
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Fix handling of generic actuals with default expression in SPARK
[Ada] Fix handling of generic actuals with default expression in SPARK
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Lingering loop for ignored Ghost assignment
[Ada] Lingering loop for ignored Ghost assignment
- - - -
-
-
-
2018-11-14
Pierre-Marie de Rodat
New
[Ada] Fix spurious -Wuninitialized warnings for small records
[Ada] Fix spurious -Wuninitialized warnings for small records
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Fix spurious error on derived record passed as Out parameter
[Ada] Fix spurious error on derived record passed as Out parameter
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Fix strange warning when using Ada.Iterator_Interface
[Ada] Fix strange warning when using Ada.Iterator_Interface
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Internal error on inlined renaming of subprogram instance
[Ada] Internal error on inlined renaming of subprogram instance
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Spurious error message on visibiliy change in aspect expression
[Ada] Spurious error message on visibiliy change in aspect expression
- - - -
-
-
-
2018-10-09
Pierre-Marie de Rodat
New
[Ada] Fix inheritance of representation items defined as aspects
[Ada] Fix inheritance of representation items defined as aspects
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Spurious ineffective use_clause warning
[Ada] Spurious ineffective use_clause warning
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Issue info message on inlined subprograms in GNATprove mode
[Ada] Issue info message on inlined subprograms in GNATprove mode
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Missing front-end code for constraint checks on fixed point exprs
[Ada] Missing front-end code for constraint checks on fixed point exprs
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Spurious elaboration issue due to inlining
[Ada] Spurious elaboration issue due to inlining
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Do not issue by default info messages for inlining in GNATprove
[Ada] Do not issue by default info messages for inlining in GNATprove
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Spurious error on interface conversion under ZFP
[Ada] Spurious error on interface conversion under ZFP
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Spurious error on private extension with predicate
[Ada] Spurious error on private extension with predicate
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Spurious dependency on secondary stack
[Ada] Spurious dependency on secondary stack
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Mimic the C++ ABI when passing class-wide conversion actuals
[Ada] Mimic the C++ ABI when passing class-wide conversion actuals
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Pair miscount in Dynamic_HTable.Put
[Ada] Pair miscount in Dynamic_HTable.Put
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] New unit GNAT.Sets
[Ada] New unit GNAT.Sets
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Illegal formal objects associated with anonymous acc-to-subp args
[Ada] Illegal formal objects associated with anonymous acc-to-subp args
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Missing error on non-limited derived type with limited component
[Ada] Missing error on non-limited derived type with limited component
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Inlining of renamed subprogram instances in package body
[Ada] Inlining of renamed subprogram instances in package body
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Preparation for new description of interface thunks
[Ada] Preparation for new description of interface thunks
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Crash on expression functions within quantified expressions
[Ada] Crash on expression functions within quantified expressions
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Missing predicate check on return value
[Ada] Missing predicate check on return value
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Fix assertion failure on record subtype with -gnatRj
[Ada] Fix assertion failure on record subtype with -gnatRj
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Regression in partial compilation of RCI units
[Ada] Regression in partial compilation of RCI units
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Set Current_Error_Node directly
[Ada] Set Current_Error_Node directly
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File
- - - -
-
-
-
2018-09-26
Pierre-Marie de Rodat
New
[Ada] Add a new gnat tool vxlink
[Ada] Add a new gnat tool vxlink
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Crash on expression function and tagged types
[Ada] Crash on expression function and tagged types
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Spurious crash on expression function as completion with contracts
[Ada] Spurious crash on expression function as completion with contracts
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Retention of with clauses for ignored Ghost units
[Ada] Retention of with clauses for ignored Ghost units
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Crash processing SPARK annotate aspect
[Ada] Crash processing SPARK annotate aspect
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Spurious error on overriding protected function in instance
[Ada] Spurious error on overriding protected function in instance
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Update for Ownership rules for access types according to AI12-0240
[Ada] Update for Ownership rules for access types according to AI12-0240
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Spurious ambiguity error on call returning an access type
[Ada] Spurious ambiguity error on call returning an access type
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Improper copying of limited arrays with default initialization
[Ada] Improper copying of limited arrays with default initialization
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Fix internal error on extension of record with representation clause
[Ada] Fix internal error on extension of record with representation clause
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Spurious "Duplicated symbol" error with discriminated tasks
[Ada] Spurious "Duplicated symbol" error with discriminated tasks
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Define versions of dimension system for Float and Long_Float
[Ada] Define versions of dimension system for Float and Long_Float
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] General purpose doubly linked list for compiler and tool use
[Ada] General purpose doubly linked list for compiler and tool use
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Crash on entry in generic with dynamic elaboration checks
[Ada] Crash on entry in generic with dynamic elaboration checks
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Compiler abort on call to expr. function for default discriminant
[Ada] Compiler abort on call to expr. function for default discriminant
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Dynamically resizable, load factor-based hash table
[Ada] Dynamically resizable, load factor-based hash table
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
[Ada] Enumeration types with non-standard representation
[Ada] Enumeration types with non-standard representation
- - - -
-
-
-
2018-08-21
Pierre-Marie de Rodat
New
«
1
2
...
25
26
27
…
30
31
»