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
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
tpetazzoni
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
hs
khem
mkorpershoek
marex
liwang
robimarko
mmichelson
danielhb
groug
npiggin
apritzel
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
blocktrron
monstr
vigneshr
mraynal
stewart
stewart
jacmet
freenix
wsa
rfried
jagan
prom
kevery
xypron
metan
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
arbab
bmeng
sjg
ag
kabel
horms
rmilecki
rmilecki
akumar
ivanhu
ehristev
ukleinek
ukleinek
abelloni
trini
apconole
wbx
svanheule
pablo
pablo
chleroy
Hauke
Hauke
legoater
legoater
legoater
rw
rw
bjonglez
ynezz
aik
pevik
xback
xback
richiejp
dangole
dangole
sbabic
sbabic
acer
forty
next_ghost
anuppatel
anuppatel
echaudron
benh
rgrimm
pratyush
segher
passgat
jms
jms
jms
mans0n
ruscur
Andes
jmberg
numans
linusw
linusw
festevam
jk
jk
jk
jk
ymorin
ymorin
xuyang
kubu
matthias_bgg
tambarus
pbrobinson
apalos
imaximets
dceara
strlen
strlen
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
arnout
ktraynor
calebccff
anguy11
robh
nbd
nbd
paulus
jm
stroese
Apply
«
1
2
...
28
29
30
31
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Robustify traceback caching for executable in current dir
[Ada] Robustify traceback caching for executable in current dir
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Remove External aspect from predefined abstract states
[Ada] Remove External aspect from predefined abstract states
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Spurious error in inlining for GNATprove on prefix call notation
[Ada] Spurious error in inlining for GNATprove on prefix call notation
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Spurious error on synchronous refinement
[Ada] Spurious error on synchronous refinement
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Crash on incorrect frontend inlining in GNATprove mode
[Ada] Crash on incorrect frontend inlining in GNATprove mode
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Tighten Object_Reader.Get_Memory_Bounds
[Ada] Tighten Object_Reader.Get_Memory_Bounds
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Robustify traceback symbolization from dwarf info
[Ada] Robustify traceback symbolization from dwarf info
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Propagate load addresses for traceback cache on Linux
[Ada] Propagate load addresses for traceback cache on Linux
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Only allow Has_Discriminants on type entities
[Ada] Only allow Has_Discriminants on type entities
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Extend legality of Scalar_Storage_Order to formal types
[Ada] Extend legality of Scalar_Storage_Order to formal types
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[Ada] Premature secondary stack reclamation
[Ada] Premature secondary stack reclamation
- - - -
-
-
-
2018-05-21
Pierre-Marie de Rodat
New
[PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR
[PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR
- - - -
-
-
-
2018-02-09
Pierre-Marie de Rodat
New
[Ada] Warning on out-of-range value for default-initialized scalar object
[Ada] Warning on out-of-range value for default-initialized scalar object
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Crash on build-in-place call with address specification for target
[Ada] Crash on build-in-place call with address specification for target
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Allow uses of range utility routines on private types
[Ada] Allow uses of range utility routines on private types
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Prohibit concurrent types in Ghost regions
[Ada] Prohibit concurrent types in Ghost regions
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Detection of illegal constituent assignments
[Ada] Detection of illegal constituent assignments
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] No error on missing enclosing parentheses in Expression Function
[Ada] No error on missing enclosing parentheses in Expression Function
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Missing diagnostic of categorization dependency
[Ada] Missing diagnostic of categorization dependency
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Incorrect diagnostic on illegal with clause
[Ada] Incorrect diagnostic on illegal with clause
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Spurious error on referene to subcoponrnt in dynamic predicate
[Ada] Spurious error on referene to subcoponrnt in dynamic predicate
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Secondary stack leaks during object initialization
[Ada] Secondary stack leaks during object initialization
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Null procedures not allowed in protected definitions
[Ada] Null procedures not allowed in protected definitions
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] gnatbind -f switch gives an error for duplicates
[Ada] gnatbind -f switch gives an error for duplicates
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Crash on expression function as completion, with implicit dereference
[Ada] Crash on expression function as completion, with implicit dereference
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Warning on use of predefined operations on an actual fixed-point type
[Ada] Warning on use of predefined operations on an actual fixed-point type
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK)
[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK)
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] New implementation for Normalize_Pathname
[Ada] New implementation for Normalize_Pathname
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Secondary stack leak due to controlled component
[Ada] Secondary stack leak due to controlled component
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Handling of pragma Predicate
[Ada] Handling of pragma Predicate
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Different runtime behavior of Predicate_Failure
[Ada] Different runtime behavior of Predicate_Failure
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Integer overflow in SS_Allocate
[Ada] Integer overflow in SS_Allocate
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Illegal protected calls in inherited pre/postconditions
[Ada] Illegal protected calls in inherited pre/postconditions
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Encoding of with clauses in ALI files
[Ada] Encoding of with clauses in ALI files
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Finding proper scope when inside entry body
[Ada] Finding proper scope when inside entry body
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Missing finalization in case expression
[Ada] Missing finalization in case expression
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Crash on iterated_component_association in expression function
[Ada] Crash on iterated_component_association in expression function
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Wrong column in sloc of "expect name" error for loop variant
[Ada] Wrong column in sloc of "expect name" error for loop variant
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Inconsistent scope chain due to quantified expression
[Ada] Inconsistent scope chain due to quantified expression
- - - -
-
-
-
2018-01-11
Pierre-Marie de Rodat
New
[Ada] Added warning on membership tests
[Ada] Added warning on membership tests
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious alias error on access to array indexed by non-standard enum
[Ada] Spurious alias error on access to array indexed by non-standard enum
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious error on equality operator on incomplete type
[Ada] Spurious error on equality operator on incomplete type
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious 'W' ALI line due to implicit with clause
[Ada] Spurious 'W' ALI line due to implicit with clause
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious error and missing warning on static predicate
[Ada] Spurious error and missing warning on static predicate
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Concurrent types in pragma Initializes
[Ada] Concurrent types in pragma Initializes
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Fix incorrect assignment to array with Component_Size clause
[Ada] Fix incorrect assignment to array with Component_Size clause
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Missing error on illegal initialization item
[Ada] Missing error on illegal initialization item
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Verify Part_Of indicator in non-SPARK code
[Ada] Verify Part_Of indicator in non-SPARK code
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Crash on expression function and discriminant-dependent component
[Ada] Crash on expression function and discriminant-dependent component
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Optimizing allocators for arrays with non-static upper bound
[Ada] Optimizing allocators for arrays with non-static upper bound
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Reject certain constants as constituents
[Ada] Reject certain constants as constituents
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious warning on default initialized object
[Ada] Spurious warning on default initialized object
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Crash on subprogram instantiation in nested package
[Ada] Crash on subprogram instantiation in nested package
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Ignore external calls from instances for elaboration
[Ada] Ignore external calls from instances for elaboration
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Completing expression function need not trigger loading of package body
[Ada] Completing expression function need not trigger loading of package body
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms)
[Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms)
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Fix inconsistent usage of Machine in s-fatgen.adb
[Ada] Fix inconsistent usage of Machine in s-fatgen.adb
- - - -
-
-
-
2017-12-15
Pierre-Marie de Rodat
New
[Ada] Spurious error with private overriding of overloaded subprogram
[Ada] Spurious error with private overriding of overloaded subprogram
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Improve debugging of task type discriminants
[Ada] Improve debugging of task type discriminants
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Reject properly an aspect Predicate on a formal type
[Ada] Reject properly an aspect Predicate on a formal type
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Warn on weal elaboration model for SPARK
[Ada] Warn on weal elaboration model for SPARK
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Fix indirect calls to imported subprograms within generic
[Ada] Fix indirect calls to imported subprograms within generic
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Legacy elaboration model and relaxed elaboration mode
[Ada] Legacy elaboration model and relaxed elaboration mode
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Fix end-of dwarf section detection in address symbolizer
[Ada] Fix end-of dwarf section detection in address symbolizer
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Fix handling of load addresses for backtraces through SO
[Ada] Fix handling of load addresses for backtraces through SO
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Propagate SLOC in iteration over array
[Ada] Propagate SLOC in iteration over array
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Improper visibility of loop parameter with Iterable aspect
[Ada] Improper visibility of loop parameter with Iterable aspect
- - - -
-
-
-
2017-12-05
Pierre-Marie de Rodat
New
[Ada] Handling of elaboration warnings
[Ada] Handling of elaboration warnings
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Spurious error on System'To_Address in -gnatc mode
[Ada] Spurious error on System'To_Address in -gnatc mode
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Disallow renamings declaring tagged primitives
[Ada] Disallow renamings declaring tagged primitives
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Allow calls to Is_CCT_Instance for records
[Ada] Allow calls to Is_CCT_Instance for records
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Fix more precise mode for parameter
[Ada] Fix more precise mode for parameter
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Disallow renamings declaring tagged primitives
[Ada] Disallow renamings declaring tagged primitives
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Crash on early call region of SPARK subprogram body
[Ada] Crash on early call region of SPARK subprogram body
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Compiler abort or infinite loop in malformed declaration
[Ada] Compiler abort or infinite loop in malformed declaration
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Spurious ineffective use_clause warning on use in boolean condition
[Ada] Spurious ineffective use_clause warning on use in boolean condition
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] New SPARK access-before-elaboration mechanism
[Ada] New SPARK access-before-elaboration mechanism
- - - -
-
-
-
2017-11-16
Pierre-Marie de Rodat
New
[Ada] Variable reads and writes
[Ada] Variable reads and writes
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Export Make_Independent from GNAT.Threads
[Ada] Export Make_Independent from GNAT.Threads
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Quadratic explosion caused by freezing of contracts
[Ada] Quadratic explosion caused by freezing of contracts
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Fix bootstrap issue with CodePeer justifications
[Ada] Fix bootstrap issue with CodePeer justifications
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Bump size limit for large static aggregates
[Ada] Bump size limit for large static aggregates
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Crash on use of Compile_Time_Error in a generic package
[Ada] Crash on use of Compile_Time_Error in a generic package
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Get rid of warnings about uninitialized variables
[Ada] Get rid of warnings about uninitialized variables
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Rewrite code and add justifications for static analysis
[Ada] Rewrite code and add justifications for static analysis
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Restriction Static_Dispatch_Tables
[Ada] Restriction Static_Dispatch_Tables
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Fix code quality issues reported by CodePeer at level 3
[Ada] Fix code quality issues reported by CodePeer at level 3
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Restriction Static_Dispatch_Tables
[Ada] Restriction Static_Dispatch_Tables
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Spurious error on pragma Unreferenced
[Ada] Spurious error on pragma Unreferenced
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Spurious error on read of out parameter in Ada_83 mode
[Ada] Spurious error on read of out parameter in Ada_83 mode
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Fix false positive of -gnatw.x on trivial instantiation
[Ada] Fix false positive of -gnatw.x on trivial instantiation
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Fix code quality issues reported by CodePeer
[Ada] Fix code quality issues reported by CodePeer
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Cleanup of Namet
[Ada] Cleanup of Namet
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] use_clauses sometimes ignored in generic template
[Ada] use_clauses sometimes ignored in generic template
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Misleading error or crash on illegal call with limited view
[Ada] Misleading error or crash on illegal call with limited view
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Crash on SPARK_Mode with illegal mode
[Ada] Crash on SPARK_Mode with illegal mode
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Warn on missing finalization of anonymous access-to-controlled
[Ada] Warn on missing finalization of anonymous access-to-controlled
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Adjust wording of error message to match the SPARK RM wording
[Ada] Adjust wording of error message to match the SPARK RM wording
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
[Ada] Spurious warning on elaboration issue in dead code
[Ada] Spurious warning on elaboration issue in dead code
- - - -
-
-
-
2017-11-09
Pierre-Marie de Rodat
New
«
1
2
...
28
29
30
31
»