Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
[COMMITTED,01/30] ada: Missing dynamic predicate checks
| State =
Action Required
| Archived =
No
| 30 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
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
hs
khem
tpetazzoni
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
vigneshr
monstr
mraynal
stewart
stewart
jacmet
freenix
jagan
xypron
rfried
ukleinek
ukleinek
sjg
kevery
ivanhu
metan
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
arbab
bmeng
rmilecki
rmilecki
ag
akumar
wsa
kabel
prom
ehristev
horms
abelloni
apconole
wbx
svanheule
pablo
pablo
chleroy
Hauke
Hauke
legoater
legoater
legoater
rw
rw
trini
bjonglez
ynezz
aik
xback
xback
richiejp
sbabic
sbabic
dangole
dangole
pevik
acer
forty
next_ghost
anuppatel
anuppatel
echaudron
benh
rgrimm
segher
pratyush
passgat
jms
jms
jms
mans0n
ruscur
numans
linusw
linusw
jk
jk
jk
jk
ymorin
ymorin
jmberg
festevam
Andes
xuyang
kubu
matthias_bgg
tambarus
pbrobinson
apalos
dceara
imaximets
strlen
strlen
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
ktraynor
arnout
robh
nbd
nbd
calebccff
anguy11
paulus
jm
stroese
Apply
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[COMMITTED,30/30] ada: Compiler goes into loop
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,29/30] ada: Remove -gnatdJ switch
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,28/30] ada: Fix segmentation fault on slice of array with Unbounded_String component
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,27/30] ada: Remove Iterable from list of GNAT-specific attributes
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,26/30] ada: Fix test for giving hint on ambiguous aggregate
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,25/30] ada: Missing postcondition runtime check in inherited primitive
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,24/30] ada: Revert changing a GNATProve mode message to a non-warning
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,23/30] ada: Deep copy of an expression sometimes fails to copy entities
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,22/30] ada: Minor cleanups in generic formal matching
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,21/30] ada: Remove message about goto rewritten as a loop
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,20/30] ada: Remove warning insertion characters from info messages
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,19/30] ada: Convert an info message to a continuation
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,18/30] ada: Simplify code in Cannot_Inline
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,17/30] ada: List subprogram body entities in scopes
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,16/30] ada: Interfaces order disables class-wide prefix notation calls
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,15/30] ada: Fix Super attribute documentation
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,14/30] ada: Fix expansion of protected subprogram bodies
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,13/30] ada: Fix oversight in latest finalization fix
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,12/30] ada: Check global mode restriction on encapsulating abstract states
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,11/30] ada: Streamline elaboration of local tagged types
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,10/30] ada: Do not inline subprogram which could cause SPARK violation
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,09/30] ada: Fix incorrect String lower bound in gnatlink
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,08/30] ada: Reject too-strict alignment specifications.
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,07/30] ada: Inline if -gnatn in CCG mode even if -O0
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,06/30] ada: Fix fallout of previous finalization change
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,05/30] ada: Missing support for 'Old with overloaded function
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,04/30] ada: Simplify checks for Address and Object_Size clauses
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,03/30] ada: Add support for symbolic backtraces with DLLs on Windows
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,02/30] ada: Fix too late finalization of temporary object
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New
[COMMITTED,01/30] ada: Missing dynamic predicate checks
[COMMITTED,01/30] ada: Missing dynamic predicate checks
- - - -
-
-
-
2024-06-13
Marc Poulhiès
New