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
xypron
wsa
rfried
jagan
prom
kevery
ivanhu
metan
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
arbab
bmeng
sjg
ag
kabel
horms
rmilecki
rmilecki
akumar
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
...
3
4
5
…
30
31
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[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 internal error on mix of controlled and protected types
[Ada] Fix internal error on mix of controlled and protected types
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix internal error on predicate aspect with iterator
[Ada] Fix internal error on predicate aspect with iterator
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Implement component finalization ordering rules for type extensions
[Ada] Implement component finalization ordering rules for type extensions
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Remove duplicated detection of user-defined equality
[Ada] Remove duplicated detection of user-defined equality
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Improve building of untagged equality
[Ada] Improve building of untagged equality
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2
[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Couple of small consistency tweaks
[Ada] Couple of small consistency tweaks
- - - -
-
-
-
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] Pick volatile refinement property of a subtype from its base type
[Ada] Pick volatile refinement property of a subtype from its base type
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Clarify code for detecting volatile refinement properties
[Ada] Clarify code for detecting volatile refinement properties
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Remove duplicated code for detecting enabled pragmas
[Ada] Remove duplicated code for detecting enabled pragmas
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix incorrect call to inherited function with limited return type
[Ada] Fix incorrect call to inherited function with limited return type
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Storage_Model_Object fails to return object entity
[Ada] Storage_Model_Object fails to return object entity
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Only use alternate stack when needed
[Ada] Only use alternate stack when needed
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Extend hardcfr testing (documentation)
[Ada] Extend hardcfr testing (documentation)
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] CUDA: use binder to generate kernel-registration code
[Ada] CUDA: use binder to generate kernel-registration code
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Fix iterated component association for array aggregate
[Ada] Fix iterated component association for array aggregate
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Simplify helper units for formal hashed sets/maps
[Ada] Simplify helper units for formal hashed sets/maps
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Ada ABI change when building with assertions
[Ada] Ada ABI change when building with assertions
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Take into account GNSA_ROOT env var for prefix
[Ada] Take into account GNSA_ROOT env var for prefix
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Handle IN iterator for class-wide derived object of iterator type
[Ada] Handle IN iterator for class-wide derived object of iterator type
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Facilitate proof of Overwrite in bounded strings library
[Ada] Facilitate proof of Overwrite in bounded strings library
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Fix code example on representation clause
[Ada] Fix code example on representation clause
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Do not overwrite limited view of result type
[Ada] Do not overwrite limited view of result type
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Wrong address for class-wide interface access conversion
[Ada] Wrong address for class-wide interface access conversion
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Crash in task body reference to discriminant
[Ada] Crash in task body reference to discriminant
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Improve expected type error messages
[Ada] Improve expected type error messages
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Document control flow redundancy
[Ada] Document control flow redundancy
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Fix compiler crash on FOR iteration scheme over container
[Ada] Fix compiler crash on FOR iteration scheme over container
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83
[Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83
[Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Fix the Ada 2022 iterated component association RM reference
[Ada] Fix the Ada 2022 iterated component association RM reference
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Spurious access error in function returning type with access discriminant
[Ada] Spurious access error in function returning type with access discriminant
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Accept effectively volatile components in actuals
[Ada] Accept effectively volatile components in actuals
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Remove redundant guard in checks for volatile actuals
[Ada] Remove redundant guard in checks for volatile actuals
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Ineffective use type clause warnings cause compile time crash
[Ada] Ineffective use type clause warnings cause compile time crash
- - - -
-
-
-
2022-05-13
Pierre-Marie de Rodat
New
[Ada] Skip postponed validation checks with compilation errors
[Ada] Skip postponed validation checks with compilation errors
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Restore double quotes in debug printouts
[Ada] Restore double quotes in debug printouts
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Reuse collective subtype for comparison operators where possible
[Ada] Reuse collective subtype for comparison operators where possible
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Remove unreferenced Is_Selector_Name routine
[Ada] Remove unreferenced Is_Selector_Name routine
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name
[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix warning about generic subprograms withed but not referenced
[Ada] Fix warning about generic subprograms withed but not referenced
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix warning about generic subprograms withed but not instantiated
[Ada] Fix warning about generic subprograms withed but not instantiated
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Remove useless pragma Warnings Off from runtime units
[Ada] Remove useless pragma Warnings Off from runtime units
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Do not issue a warning on a postcondition of True or False
[Ada] Do not issue a warning on a postcondition of True or False
- - - -
-
-
-
2022-05-12
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] Add ghost code to facilitate proof with SPARK
[Ada] Add ghost code to facilitate proof with SPARK
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Remove use of use-clauses in loaded runtime units
[Ada] Remove use of use-clauses in loaded runtime units
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding
[Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Remove redundant guard against Any_String
[Ada] Remove redundant guard against Any_String
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Accept raise expressions as operands of boolean operators
[Ada] Accept raise expressions as operands of boolean operators
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Plug loophole in Possible_Type_For_Conditional_Expression
[Ada] Plug loophole in Possible_Type_For_Conditional_Expression
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Adapt CodePeer analysis of GNAT to changes in dependencies
[Ada] Adapt CodePeer analysis of GNAT to changes in dependencies
- - - -
-
-
-
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] Introduce hardbool Machine_Attribute for Ada
[Ada] Introduce hardbool Machine_Attribute for Ada
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix scope of block in expanded protected entry body
[Ada] Fix scope of block in expanded protected entry body
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix style checking rule for square brackets in Ada 2022 and above
[Ada] Fix style checking rule for square brackets in Ada 2022 and above
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Fix typos in syntax for implementation-defined pragmas
[Ada] Fix typos in syntax for implementation-defined pragmas
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Reuse generic string hash for invocation signatures
[Ada] Reuse generic string hash for invocation signatures
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Document Aggregate_Individually_Assign as a configuration pragma
[Ada] Document Aggregate_Individually_Assign as a configuration pragma
- - - -
-
-
-
2022-05-12
Pierre-Marie de Rodat
New
[Ada] Sort Detect_Blocking alphabetically among names and pragmas
[Ada] Sort Detect_Blocking alphabetically among names and pragmas
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas
[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Correctly reject record aggregate using brackets
[Ada] Correctly reject record aggregate using brackets
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix unbalanced paren in documentation marker for GNAT Studio
[Ada] Fix unbalanced paren in documentation marker for GNAT Studio
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix spurious ambiguity for if_expression containing operator
[Ada] Fix spurious ambiguity for if_expression containing operator
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Do not create useless itype in Constrain_Access
[Ada] Do not create useless itype in Constrain_Access
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Detect infinite loops with operators in exit conditions
[Ada] Detect infinite loops with operators in exit conditions
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Adapt proof of System.Arith_Double after update of Z3
[Ada] Adapt proof of System.Arith_Double after update of Z3
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Update categorization of implementation restrictions
[Ada] Update categorization of implementation restrictions
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix "S p e c" and "B o d y" file headers
[Ada] Fix "S p e c" and "B o d y" file headers
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Add SUSE 32bit dependency
[Ada] Add SUSE 32bit dependency
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix formatting glitches in GNAT User's Guide
[Ada] Fix formatting glitches in GNAT User's Guide
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Use pygments for Ada code examples of elaboration control
[Ada] Use pygments for Ada code examples of elaboration control
- - - -
-
-
-
2022-05-11
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 crash on Secondary_Stack_Size with discriminant
[Ada] fix crash on Secondary_Stack_Size with discriminant
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Reset Reachable field when mutating label into loop entity
[Ada] Reset Reachable field when mutating label into loop entity
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix layout of tables in PDF version of GNAT RM
[Ada] Fix layout of tables in PDF version of GNAT RM
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix layout in description of aspects and pragmas
[Ada] Fix layout in description of aspects and pragmas
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Fix markup in description of implementation-defined characteristics
[Ada] Fix markup in description of implementation-defined characteristics
- - - -
-
-
-
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] Add guard for making only legal labels unreachable
[Ada] Add guard for making only legal labels unreachable
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Properly reject unsupported address specifications
[Ada] Properly reject unsupported address specifications
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Move Reachable flag to E_Label entities
[Ada] Move Reachable flag to E_Label entities
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value
[Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value
- - - -
-
-
-
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] Optimize nonstandard boolean validity checking
[Ada] Optimize nonstandard boolean validity checking
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Optimize nonstandard boolean conversions
[Ada] Optimize nonstandard boolean conversions
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Handle non-standard booleans in if_expression condition
[Ada] Handle non-standard booleans in if_expression condition
- - - -
-
-
-
2022-05-10
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] Simplify call to overloaded Earlier_In_Extended_Unit
[Ada] Simplify call to overloaded Earlier_In_Extended_Unit
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Remove repeated conversions between Source_Ptr and Int
[Ada] Remove repeated conversions between Source_Ptr and Int
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Reuse Is_Rewrite_Substitution where possible
[Ada] Reuse Is_Rewrite_Substitution where possible
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Cleanup detection of No_Elist with No and Present
[Ada] Cleanup detection of No_Elist with No and Present
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Prevent search for references in postconditions from going too far
[Ada] Prevent search for references in postconditions from going too far
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
[Ada] Remove tiny and incomplete optimization for unset references
[Ada] Remove tiny and incomplete optimization for unset references
- - - -
-
-
-
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] Refine iteration from entities to formals
[Ada] Refine iteration from entities to formals
- - - -
-
-
-
2022-05-10
Pierre-Marie de Rodat
New
«
1
2
...
3
4
5
…
30
31
»