Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Pierre-Marie de Rodat
| 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
hs
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
khem
tpetazzoni
mkorpershoek
marex
liwang
robimarko
mmichelson
apritzel
danielhb
groug
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
blocktrron
monstr
vigneshr
mraynal
horms
stewart
stewart
freenix
rmilecki
rmilecki
rfried
kevery
akumar
jacmet
xypron
wsa
Jaehoon
rsalvaterra
adrianschmutzler
sjg
hegdevasant
hegdevasant
prom
bmeng
jagan
ukleinek
ukleinek
ag
ehristev
metan
kabel
ivanhu
arbab
abelloni
chleroy
pablo
pablo
apconole
svanheule
legoater
legoater
legoater
rw
rw
wbx
trini
Hauke
Hauke
bjonglez
ynezz
aik
sbabic
sbabic
pevik
xback
xback
richiejp
dangole
dangole
forty
next_ghost
anuppatel
anuppatel
echaudron
acer
benh
rgrimm
segher
passgat
pratyush
jms
jms
jms
festevam
mans0n
Andes
ruscur
jmberg
linusw
linusw
ymorin
ymorin
numans
jk
jk
jk
jk
xuyang
matthias_bgg
tambarus
kubu
apalos
dceara
pbrobinson
imaximets
strlen
strlen
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
ktraynor
arnout
nbd
nbd
robh
anguy11
calebccff
paulus
jm
stroese
Apply
«
1
2
...
24
25
26
…
30
31
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Missing error on generic type with representation clause
[Ada] Missing error on generic type with representation clause
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Elaboration order v4.0 and generic instantiations
[Ada] Elaboration order v4.0 and generic instantiations
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Missing runtime range checks with -gnatVa
[Ada] Missing runtime range checks with -gnatVa
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Missing escape of the double quote in JSON output
[Ada] Missing escape of the double quote in JSON output
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Spurious error when instance of generic is used as formal package
[Ada] Spurious error when instance of generic is used as formal package
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Prevent inconsistent state for inlining in GNATprove
[Ada] Prevent inconsistent state for inlining in GNATprove
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Expand Enum_Rep attribute reference in GNATprove mode
[Ada] Expand Enum_Rep attribute reference in GNATprove mode
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Fix scopes for local variables in task/protected bodies
[Ada] Fix scopes for local variables in task/protected bodies
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Expand type of static expressions in GNATprove mode
[Ada] Expand type of static expressions in GNATprove mode
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Handle implicit moves in SPARK ownership pointer support
[Ada] Handle implicit moves in SPARK ownership pointer support
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Make -gnatRj output strictly conforming JSON
[Ada] Make -gnatRj output strictly conforming JSON
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Fix ownership checking for pointers in SPARK
[Ada] Fix ownership checking for pointers in SPARK
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Issue error on illegal ownership in SPARK
[Ada] Issue error on illegal ownership in SPARK
- - - -
-
-
-
2019-07-09
Pierre-Marie de Rodat
New
[Ada] Set dummy Etype for the fake __HEAP entity in GNATprove
[Ada] Set dummy Etype for the fake __HEAP entity in GNATprove
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Small overhaul in Repinfo unit
[Ada] Small overhaul in Repinfo unit
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Remove dependency on Win32 GDI (Graphical Interface)
[Ada] Remove dependency on Win32 GDI (Graphical Interface)
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Diagnostics for Elaboration order v4.0
[Ada] Diagnostics for Elaboration order v4.0
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Wrong evaluation of membership test
[Ada] Wrong evaluation of membership test
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine
[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Assertion failure on validity check for Address
[Ada] Assertion failure on validity check for Address
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Crash on timed entry call with a delay given by a type conversion
[Ada] Crash on timed entry call with a delay given by a type conversion
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Do not erase precise type on fixed-point real literal
[Ada] Do not erase precise type on fixed-point real literal
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Fix crash on extension of private type with -gnatRj
[Ada] Fix crash on extension of private type with -gnatRj
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Semantics of Delete for fixed strings
[Ada] Semantics of Delete for fixed strings
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] More data rates supported on Linux
[Ada] More data rates supported on Linux
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs
[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Spurious error reported by pragma Compile_Time_Error
[Ada] Spurious error reported by pragma Compile_Time_Error
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Crash in interface derivation with null primitive
[Ada] Crash in interface derivation with null primitive
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Spurious visibility error on dynamic_predicate aspect in generic
[Ada] Spurious visibility error on dynamic_predicate aspect in generic
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Crash on Image and Value attributes
[Ada] Crash on Image and Value attributes
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Crash on named actual in postcondition for generic subprogram
[Ada] Crash on named actual in postcondition for generic subprogram
- - - -
-
-
-
2019-07-08
Pierre-Marie de Rodat
New
[Ada] Incorrect accessibility check
[Ada] Incorrect accessibility check
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Compiler loop on illegal nested accept statement
[Ada] Compiler loop on illegal nested accept statement
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Crash on deallocating component with discriminated task
[Ada] Crash on deallocating component with discriminated task
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Fix internal error on packed array In/Out actual parameter
[Ada] Fix internal error on packed array In/Out actual parameter
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Missing range check on assignment to bit-packed array
[Ada] Missing range check on assignment to bit-packed array
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Failure to detect trivial infinite recursion
[Ada] Failure to detect trivial infinite recursion
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Failure to detect trivial infinite recursion
[Ada] Failure to detect trivial infinite recursion
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Wrong accessibility level under -gnat12
[Ada] Wrong accessibility level under -gnat12
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Crash on exported build-in-place function
[Ada] Crash on exported build-in-place function
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Spurious error on aggregate with choice that is predicted subtype
[Ada] Spurious error on aggregate with choice that is predicted subtype
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Removing support for SCIL "contract-only" subprogram bodies
[Ada] Removing support for SCIL "contract-only" subprogram bodies
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Compiler abort on a dynamic predicate used in a precondition
[Ada] Compiler abort on a dynamic predicate used in a precondition
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Fix inlining in GNATprove inside quantified expressions
[Ada] Fix inlining in GNATprove inside quantified expressions
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] No_Stream_Optimizations ignored for 'Class'Input
[Ada] No_Stream_Optimizations ignored for 'Class'Input
- - - -
-
-
-
2019-07-05
Pierre-Marie de Rodat
New
[Ada] Clean up support for validity checks in the compiler
[Ada] Clean up support for validity checks in the compiler
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Spurious error on instantiation and limited_with_clause
[Ada] Spurious error on instantiation and limited_with_clause
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Spurious error on non-default C++ constructor
[Ada] Spurious error on non-default C++ constructor
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] SPARK_Mode Off now allowed inside subprogram
[Ada] SPARK_Mode Off now allowed inside subprogram
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Assertion failure on Default_Initial_Condition
[Ada] Assertion failure on Default_Initial_Condition
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Management of internal data structures in Sem_Elab
[Ada] Management of internal data structures in Sem_Elab
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Spurious error on incomplete tagged formal parameter
[Ada] Spurious error on incomplete tagged formal parameter
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Bug in composition of equality for variant records
[Ada] Bug in composition of equality for variant records
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Expr. func. with private formal rejected in nested Ghost package
[Ada] Expr. func. with private formal rejected in nested Ghost package
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Missing actual for generated initialization procedure
[Ada] Missing actual for generated initialization procedure
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Better error messages for ownership errors in SPARK
[Ada] Better error messages for ownership errors in SPARK
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Synchronized object definition in SPARK updated
[Ada] Synchronized object definition in SPARK updated
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Hang on expansion of library-level instantiation
[Ada] Hang on expansion of library-level instantiation
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Fix crash in SPARK ownership checking
[Ada] Fix crash in SPARK ownership checking
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Skip code not in SPARK for ownership analysis
[Ada] Skip code not in SPARK for ownership analysis
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Spurious error on 'First in a generic context
[Ada] Spurious error on 'First in a generic context
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Keep assertions in internal units enabled for GNATprove
[Ada] Keep assertions in internal units enabled for GNATprove
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Spurious dimensionality error on aggregate with "others" assoc.
[Ada] Spurious dimensionality error on aggregate with "others" assoc.
- - - -
-
-
-
2019-07-04
Pierre-Marie de Rodat
New
[Ada] Forced elaboration order in Elaboration order v4.0
[Ada] Forced elaboration order in Elaboration order v4.0
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Crash on anonymous access-to-class-wide with tasks
[Ada] Crash on anonymous access-to-class-wide with tasks
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Incorrect expansion on renamings of formal parameters
[Ada] Incorrect expansion on renamings of formal parameters
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Suppress warnings in generic instantiations with pragma Warnings
[Ada] Suppress warnings in generic instantiations with pragma Warnings
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Improve warnings about infinite loops
[Ada] Improve warnings about infinite loops
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Crash on front-end inlining of subp. with aspect specifications
[Ada] Crash on front-end inlining of subp. with aspect specifications
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] New routine to access file on command line
[Ada] New routine to access file on command line
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Spurious visibility error in inlined function
[Ada] Spurious visibility error in inlined function
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] SPARK pointer support extended to local borrowers and observers
[Ada] SPARK pointer support extended to local borrowers and observers
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Fix bogus error on array with overaligned scalar component
[Ada] Fix bogus error on array with overaligned scalar component
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Extend -gnatw.z warning to array types
[Ada] Extend -gnatw.z warning to array types
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Spurious error with static predicate in generic unit
[Ada] Spurious error with static predicate in generic unit
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Make loop labels unique for front-end inlined calls
[Ada] Make loop labels unique for front-end inlined calls
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Style check for mixed-case identifiers
[Ada] Style check for mixed-case identifiers
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Missing consistency check for constant modifier
[Ada] Missing consistency check for constant modifier
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Spurious error on dynamic predicate in a generic context
[Ada] Spurious error on dynamic predicate in a generic context
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Spurious error on predicate of subtype in generic
[Ada] Spurious error on predicate of subtype in generic
- - - -
-
-
-
2019-07-03
Pierre-Marie de Rodat
New
[Ada] Spurious error on inst. of partially defaulted formal package
[Ada] Spurious error on inst. of partially defaulted formal package
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] More permissive use of GNAT attribute Enum_Rep
[Ada] More permissive use of GNAT attribute Enum_Rep
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Spurious error private subtype derivation
[Ada] Spurious error private subtype derivation
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Crash on improper pragma Weak_External
[Ada] Crash on improper pragma Weak_External
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Remove a SPARK rule about implicit Global
[Ada] Remove a SPARK rule about implicit Global
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] SPARK support for pointers through ownership
[Ada] SPARK support for pointers through ownership
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Revert "Global => null" on calendar routines that use timezones
[Ada] Revert "Global => null" on calendar routines that use timezones
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Wrong code with -gnatVa on lock-free protected objects
[Ada] Wrong code with -gnatVa on lock-free protected objects
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Implement GNAT.Graphs
[Ada] Implement GNAT.Graphs
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Improve error message on mult/div between fixed-point and integer
[Ada] Improve error message on mult/div between fixed-point and integer
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Cleanup references to LynuxWorks in docs and comments
[Ada] Cleanup references to LynuxWorks in docs and comments
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] gprbuild fails to find ghost ALI files
[Ada] gprbuild fails to find ghost ALI files
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Compiler abort on use of Invalid_Value on numeric positive subtype
[Ada] Compiler abort on use of Invalid_Value on numeric positive subtype
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] Crash due to missing freeze nodes in transient scope
[Ada] Crash due to missing freeze nodes in transient scope
- - - -
-
-
-
2019-07-01
Pierre-Marie de Rodat
New
[Ada] GNAT.Sockets: fix recent regressions
[Ada] GNAT.Sockets: fix recent regressions
- - - -
-
-
-
2019-03-22
Pierre-Marie de Rodat
New
[Ada] Add "Global => null" contracts to Ada.Calendar routines
[Ada] Add "Global => null" contracts to Ada.Calendar routines
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Spurious error with pragma Thread_Local_Storage
[Ada] Spurious error with pragma Thread_Local_Storage
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Do not expand code inside ignored ghost bodies
[Ada] Do not expand code inside ignored ghost bodies
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
[Ada] Crash on misplaced First operation for GNAT iterable type
[Ada] Crash on misplaced First operation for GNAT iterable type
- - - -
-
-
-
2018-12-11
Pierre-Marie de Rodat
New
«
1
2
...
24
25
26
…
30
31
»