Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Pierre-Marie de Rodat
| 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
mkresin
mkresin
thess
thess
fbarrat
fbarrat
phil
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
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
hs
khem
tpetazzoni
mkorpershoek
marex
liwang
mmichelson
apritzel
danielhb
groug
npiggin
pareddja
robimarko
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
blocktrron
monstr
vigneshr
mraynal
stewart
stewart
freenix
kabel
rfried
jagan
horms
akumar
jacmet
arbab
wsa
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
ehristev
bmeng
ukleinek
ukleinek
ag
xypron
metan
rmilecki
rmilecki
ivanhu
sjg
prom
kevery
abelloni
Hauke
Hauke
trini
apconole
svanheule
chleroy
pablo
pablo
legoater
legoater
legoater
rw
rw
wbx
bjonglez
ynezz
pevik
aik
xback
xback
richiejp
dangole
dangole
sbabic
sbabic
forty
next_ghost
anuppatel
anuppatel
echaudron
acer
benh
rgrimm
pratyush
segher
passgat
jms
jms
jms
festevam
mans0n
ruscur
jmberg
Andes
linusw
linusw
ymorin
ymorin
numans
jk
jk
jk
jk
xuyang
kubu
matthias_bgg
tambarus
pbrobinson
imaximets
apalos
dceara
strlen
strlen
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
ktraynor
arnout
calebccff
anguy11
nbd
nbd
robh
paulus
stroese
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
»