Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Archived =
No
| 127588 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
mkorpershoek
marex
tpetazzoni
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
wsa
Jaehoon
rsalvaterra
adrianschmutzler
sjg
hegdevasant
hegdevasant
prom
bmeng
jagan
ukleinek
ukleinek
ag
xypron
ehristev
metan
kabel
ivanhu
arbab
abelloni
chleroy
pablo
pablo
apconole
svanheule
Hauke
Hauke
legoater
legoater
legoater
rw
rw
wbx
trini
bjonglez
ynezz
aik
sbabic
sbabic
pevik
xback
xback
richiejp
dangole
dangole
forty
next_ghost
anuppatel
anuppatel
echaudron
benh
rgrimm
acer
segher
pratyush
passgat
jms
jms
jms
festevam
mans0n
Andes
ruscur
jmberg
jk
jk
jk
jk
xuyang
linusw
linusw
ymorin
ymorin
numans
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
...
588
589
590
…
1275
1276
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Proof of System.Arith_32 for double arithmetic on 32bits
[Ada] Proof of System.Arith_32 for double arithmetic on 32bits
- - - -
-
-
-
2021-12-02
Pierre-Marie de Rodat
New
[Ada] Proof of System.Val_Util utilities for 'Value support
[Ada] Proof of System.Val_Util utilities for 'Value support
- - - -
-
-
-
2021-12-02
Pierre-Marie de Rodat
New
[Ada] Proof of System.Vectors.Boolean_Operations
[Ada] Proof of System.Vectors.Boolean_Operations
- - - -
-
-
-
2022-01-11
Pierre-Marie de Rodat
New
[Ada] Proof of runtime unit for non-binary modular exponentiation
[Ada] Proof of runtime unit for non-binary modular exponentiation
- - - -
-
-
-
2022-01-06
Pierre-Marie de Rodat
New
[Ada] Proof of runtime units for binary modular exponentiation
[Ada] Proof of runtime units for binary modular exponentiation
- - - -
-
-
-
2022-01-06
Pierre-Marie de Rodat
New
[Ada] Proof of runtime units for integer exponentiation (checks off)
[Ada] Proof of runtime units for integer exponentiation (checks off)
- - - -
-
-
-
2022-01-05
Pierre-Marie de Rodat
New
[Ada] Proof of runtime units for integer exponentiation (checks on)
[Ada] Proof of runtime units for integer exponentiation (checks on)
- - - -
-
-
-
2022-01-05
Pierre-Marie de Rodat
New
[Ada] Proof of support units for 'Width on signed integers
[Ada] Proof of support units for 'Width on signed integers
- - - -
-
-
-
2021-12-02
Pierre-Marie de Rodat
New
[Ada] Proof of the runtime support for attribute 'Width
[Ada] Proof of the runtime support for attribute 'Width
- - - -
-
-
-
2021-10-20
Pierre-Marie de Rodat
New
[Ada] Proof of unit System.Case_Util
[Ada] Proof of unit System.Case_Util
- - - -
-
-
-
2022-01-11
Pierre-Marie de Rodat
New
[Ada] Propagate DIC, Invariant and Predicate attributes to views
[Ada] Propagate DIC, Invariant and Predicate attributes to views
- - - -
-
-
-
2020-06-09
Pierre-Marie de Rodat
New
[Ada] Propagate Ghost status from parent to derived subprograms
[Ada] Propagate Ghost status from parent to derived subprograms
- - - -
-
-
-
2021-10-05
Pierre-Marie de Rodat
New
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types
- - - -
-
-
-
2022-06-02
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] Propagate TREE_THIS_NOTRAP flag
- - - -
-
-
-
2011-06-06
Eric Botcazou
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] Propagate null-exclusion to anonymous access types
[Ada] Propagate null-exclusion to anonymous access types
- - - -
-
-
-
2022-06-01
Pierre-Marie de Rodat
New
[Ada] Propagate predicate function to a full view of a private subtype
[Ada] Propagate predicate function to a full view of a private subtype
- - - -
-
-
-
2020-10-20
Pierre-Marie de Rodat
New
[Ada] Proper aspect placement for package declaratios/instantiations
- - - -
-
-
-
2011-08-02
Arnaud Charlet
New
[Ada] Proper detection of errors in variant choices
- - - -
-
-
-
2013-10-10
Arnaud Charlet
New
[Ada] Proper freezing for dispatching expression functions.
[Ada] Proper freezing for dispatching expression functions.
- - - -
-
-
-
2022-07-12
Pierre-Marie de Rodat
New
[Ada] Proper handling of Has_Element in user-defined iterators
- - - -
-
-
-
2011-12-21
Arnaud Charlet
New
[Ada] Proper handling of Raise_Expression nodes in Ada 2012
- - - -
-
-
-
2014-02-20
Arnaud Charlet
New
[Ada] Proper handling of aspects on a compilation unit package instance
- - - -
-
-
-
2013-09-10
Arnaud Charlet
New
[Ada] Proper handling of dimension information in a type conversion.
[Ada] Proper handling of dimension information in a type conversion.
- - - -
-
-
-
2017-09-07
Arnaud Charlet
New
[Ada] Proper handling of meaningless size clauses
- - - -
-
-
-
2012-07-09
Arnaud Charlet
New
[Ada] Proper handling of packed array of small record with reverse SSO
- - - -
-
-
-
2014-05-21
Arnaud Charlet
New
[Ada] Proper implementation of interfacing aspects.
- - - -
-
-
-
2012-06-12
Arnaud Charlet
New
[Ada] Proper matching of attribute 'Result in Refined_Depends
- - - -
-
-
-
2017-01-23
Arnaud Charlet
New
[Ada] Proper placement and analysis of aspects/pragmas Depends and Global
- - - -
-
-
-
2013-04-23
Arnaud Charlet
New
[Ada] Proper qualification of concurrent discriminants
[Ada] Proper qualification of concurrent discriminants
- - - -
-
-
-
2017-09-25
Pierre-Marie de Rodat
New
[Ada] Proper resolution of Initializes and Initial_Condition
[Ada] Proper resolution of Initializes and Initial_Condition
- - - -
-
-
-
2017-10-14
Pierre-Marie de Rodat
New
[Ada] Properly check violations of machine scalar rules
- - - -
-
-
-
2010-10-26
Arnaud Charlet
New
[Ada] Properly delay Address aspect
- - - -
-
-
-
2010-10-11
Arnaud Charlet
New
[Ada] Properly detect passing volatile A.B to non-volatile formal
- - - -
-
-
-
2011-11-21
Arnaud Charlet
New
[Ada] Properly handle unprefixed references to components
[Ada] Properly handle unprefixed references to components
- - - -
-
-
-
2022-05-09
Pierre-Marie de Rodat
New
[Ada] Properly initialize aggregated projects to compute dependencies
- - - -
-
-
-
2011-08-29
Arnaud Charlet
New
[Ada] Properly initialize value of global variable Unit_Casing before use
- - - -
-
-
-
2013-04-24
Arnaud Charlet
New
[Ada] Properly recognize NEL as end of line in UTF-8 encoding mode
- - - -
-
-
-
2011-11-21
Arnaud Charlet
New
[Ada] Properly reject unsupported address specifications
[Ada] Properly reject unsupported address specifications
- - - -
-
-
-
2022-05-11
Pierre-Marie de Rodat
New
[Ada] Properly set TYPE_SIZES_GIMPLIFIED
[Ada] Properly set TYPE_SIZES_GIMPLIFIED
- - - -
-
-
-
2019-06-29
Eric Botcazou
New
[Ada] Protect against potentially uninitialized source information
- - - -
-
-
-
2014-01-24
Arnaud Charlet
New
[Ada] Protect generation of Alfa sections in ALI files against empty node
- - - -
-
-
-
2012-03-30
Arnaud Charlet
New
[Ada] Protected and task units in SPARK
- - - -
-
-
-
2015-10-26
Arnaud Charlet
New
[Ada] Protected extension as full type for limited private rejected
- - - -
-
-
-
2011-09-06
Arnaud Charlet
New
[Ada] Protected objects with interrupt handlers are legal in nested scopes
- - - -
-
-
-
2012-08-06
Arnaud Charlet
New
[Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type
[Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Provide dummy body for big integers library used in reduced runtimes
[Ada] Provide dummy body for big integers library used in reduced runtimes
- - - -
-
-
-
2021-10-20
Pierre-Marie de Rodat
New
[Ada] Provide extended contracts for formal doubly linked lists
- - - -
-
-
-
2017-04-27
Arnaud Charlet
New
[Ada] Provide extended contracts for formal vectors
- - - -
-
-
-
2017-04-27
Arnaud Charlet
New
[Ada] Provide library for functional containers
- - - -
-
-
-
2017-04-27
Arnaud Charlet
New
[Ada] Provide new function Uintp.UI_To_Unsigned_64
[Ada] Provide new function Uintp.UI_To_Unsigned_64
- - - -
-
-
-
2021-06-17
Pierre-Marie de Rodat
New
[Ada] Push -shared-libgcc where needed.
[Ada] Push -shared-libgcc where needed.
- - - -
-
-
-
2019-06-30
Iain Sandoe
New
[Ada] Put imported spec in ALI file when body is not found
- - - -
-
-
-
2011-08-03
Arnaud Charlet
New
[Ada] Put_Image attribute
[Ada] Put_Image attribute
- - - -
-
-
-
2020-06-12
Pierre-Marie de Rodat
New
[Ada] Put_Image attribute
[Ada] Put_Image attribute
- - - -
-
-
-
2020-06-11
Pierre-Marie de Rodat
New
[Ada] Put_Image attribute
[Ada] Put_Image attribute
- - - -
-
-
-
2020-06-11
Pierre-Marie de Rodat
New
[Ada] Put_Image attribute
[Ada] Put_Image attribute
- - - -
-
-
-
2020-06-05
Pierre-Marie de Rodat
New
[Ada] Put_Image improvements for strings
[Ada] Put_Image improvements for strings
- - - -
-
-
-
2020-06-15
Pierre-Marie de Rodat
New
[Ada] Put_Image: Enable for access-to-subprogram types
[Ada] Put_Image: Enable for access-to-subprogram types
- - - -
-
-
-
2020-06-15
Pierre-Marie de Rodat
New
[Ada] Put_Image: Implement for private types with full real type
[Ada] Put_Image: Implement for private types with full real type
- - - -
-
-
-
2020-06-15
Pierre-Marie de Rodat
New
[Ada] QNX shared libraries - arm-qnx build gnatlib .so's
[Ada] QNX shared libraries - arm-qnx build gnatlib .so's
- - - -
-
-
-
2022-06-01
Pierre-Marie de Rodat
New
[Ada] Quadratic compile time with tagged types
[Ada] Quadratic compile time with tagged types
- - - -
-
-
-
2018-05-24
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] Qualified expressions and Code statements in Ada 2012
- - - -
-
-
-
2011-10-13
Arnaud Charlet
New
[Ada] Qualify internal access-to-subprogram types as not null
[Ada] Qualify internal access-to-subprogram types as not null
- - - -
-
-
-
2021-05-05
Pierre-Marie de Rodat
New
[Ada] Quantified expressions and functions with side effects
- - - -
-
-
-
2012-03-30
Arnaud Charlet
New
[Ada] Quantified expressions in pre/postconditions and other contexts
- - - -
-
-
-
2010-10-26
Arnaud Charlet
New
[Ada] RFA: Add some "missing" integer_one_node conversions
- - - -
-
-
-
2014-05-10
Richard Sandiford
New
[Ada] RISC-V: Initial riscv linux Ada port.
[Ada] RISC-V: Initial riscv linux Ada port.
- - - -
-
-
-
2018-07-05
Jim Wilson
New
[Ada] RTEMS: use default stack checking emulation package
[Ada] RTEMS: use default stack checking emulation package
- - - -
-
-
-
2021-10-11
Pierre-Marie de Rodat
New
[Ada] RTEMS: use regular RTEMS API for minimum stack size calculation
[Ada] RTEMS: use regular RTEMS API for minimum stack size calculation
- - - -
-
-
-
2021-10-11
Pierre-Marie de Rodat
New
[Ada] Race condition in Make_Independent
- - - -
-
-
-
2011-08-29
Arnaud Charlet
New
[Ada] Race condition in allocator with finalization
- - - -
-
-
-
2016-05-02
Arnaud Charlet
New
[Ada] Raise Capacity_Error on formal vector insertion
[Ada] Raise Capacity_Error on formal vector insertion
- - - -
-
-
-
2020-10-21
Pierre-Marie de Rodat
New
[Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows
[Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows
- - - -
-
-
-
2021-05-07
Pierre-Marie de Rodat
New
[Ada] Raise Constraint_Error in overflow case involving rounding
[Ada] Raise Constraint_Error in overflow case involving rounding
- - - -
-
-
-
2019-09-17
Pierre-Marie de Rodat
New
[Ada] Raise Constraint_Error when converting negative values to Char_Code
[Ada] Raise Constraint_Error when converting negative values to Char_Code
- - - -
-
-
-
2022-05-09
Pierre-Marie de Rodat
New
[Ada] Raise Program_Error on default initialization of references
- - - -
-
-
-
2015-05-22
Arnaud Charlet
New
[Ada] Raise exception if Current_Directory does not exist
- - - -
-
-
-
2017-04-27
Arnaud Charlet
New
[Ada] Raise exception on call to Expect for a dead process
[Ada] Raise exception on call to Expect for a dead process
- - - -
-
-
-
2019-09-18
Pierre-Marie de Rodat
New
[Ada] Raise expressions and unconstrained components
[Ada] Raise expressions and unconstrained components
- - - -
-
-
-
2021-06-16
Pierre-Marie de Rodat
New
[Ada] Raise_Expression in membership test causes test to fail
- - - -
-
-
-
2013-04-11
Arnaud Charlet
New
[Ada] Ravenscar simple barriers and validity checks
[Ada] Ravenscar simple barriers and validity checks
- - - -
-
-
-
2017-09-18
Pierre-Marie de Rodat
New
[Ada] Re-enable -feliminate-unused-debug-types by default
- - - -
-
-
-
2011-04-02
Gerald Pfeifer
New
[Ada] Re-enable -feliminate-unused-debug-types by default
- - - -
-
-
-
2011-04-02
Eric Botcazou
New
[Ada] Re-implement classwide invariants to evaluate statically
- - - -
-
-
-
2017-04-25
Arnaud Charlet
New
[Ada] Read references in ali files for out-mode parameters
- - - -
-
-
-
2013-02-06
Arnaud Charlet
New
[Ada] Recognize HIDE directive in SPARK as special comment
- - - -
-
-
-
2011-08-02
Arnaud Charlet
New
[Ada] Recognize delta and extension aggregates as objects
[Ada] Recognize delta and extension aggregates as objects
- - - -
-
-
-
2020-11-24
Pierre-Marie de Rodat
New
[Ada] Recompile if ALI file newer than object file
- - - -
-
-
-
2010-10-04
Arnaud Charlet
New
[Ada] Recompile when a dependency has been replaced with another file name
- - - -
-
-
-
2010-10-07
Arnaud Charlet
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] Record fatal errors in tree even in -gnatq/Q mode
- - - -
-
-
-
2015-02-05
Arnaud Charlet
New
[Ada] Record original expression associated with actual subtypes
- - - -
-
-
-
2010-06-22
Arnaud Charlet
New
[Ada] Recover from significant slowdown in the front-end
- - - -
-
-
-
2017-04-25
Arnaud Charlet
New
[Ada] Recover proof of Ada.Strings.Fixed with assertions
[Ada] Recover proof of Ada.Strings.Fixed with assertions
- - - -
-
-
-
2022-01-11
Pierre-Marie de Rodat
New
[Ada] Recover proof of Scaled_Divide in System.Arith_64
[Ada] Recover proof of Scaled_Divide in System.Arith_64
- - - -
-
-
-
2022-09-02
Marc Poulhiès
New
[Ada] Redefine FD_SETSIZE before including system headers
- - - -
-
-
-
2011-12-12
Arnaud Charlet
New
[Ada] Redefine IOV_MAX on Tru64 and VMS
- - - -
-
-
-
2010-06-14
Arnaud Charlet
New
«
1
2
...
588
589
590
…
1275
1276
»