Toggle navigation
Patchwork
GNU Compiler Collection
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Arnaud Charlet
| Archived =
No
| 2468 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
tpetazzoni
mariosix
dcaratti
ovsrobot
ovsrobot
aserdean
XiaoYang
hs
khem
mkorpershoek
marex
liwang
apritzel
danielhb
groug
npiggin
mmichelson
pareddja
robimarko
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
kabel
rfried
jagan
horms
wsa
arbab
metan
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
ehristev
bmeng
ukleinek
ukleinek
ag
xypron
rmilecki
rmilecki
akumar
ivanhu
sjg
prom
kevery
abelloni
pablo
pablo
trini
apconole
svanheule
chleroy
Hauke
Hauke
legoater
legoater
legoater
rw
rw
wbx
bjonglez
ynezz
pevik
aik
xback
xback
richiejp
dangole
dangole
sbabic
sbabic
forty
next_ghost
anuppatel
anuppatel
echaudron
acer
benh
rgrimm
pratyush
segher
passgat
jms
jms
jms
festevam
mans0n
ruscur
Andes
jmberg
ymorin
ymorin
numans
linusw
linusw
jk
jk
jk
jk
xuyang
kubu
matthias_bgg
tambarus
pbrobinson
imaximets
apalos
dceara
strlen
strlen
spectrum
cazzacarna
neocturne
aldot
TIENFONG
mpe
ktraynor
arnout
calebccff
anguy11
robh
nbd
nbd
paulus
stroese
jm
Apply
«
1
2
...
3
4
5
…
24
25
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Spurious error on container "of" loop
- - - -
-
-
-
2016-05-02
Arnaud Charlet
New
[Ada] Fix bug on Get_Line when incomplete last line in file
- - - -
-
-
-
2016-05-02
Arnaud Charlet
New
[Ada] Legality check of classwide Pre/Postcondition aspect
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Informational messages that are not warnings
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Detect singular matrices in Solve primitives for vectors and matrices.
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Spurious error on variable in private child package body
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] General handling of potential renamings in SPARK
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] wrong interface type conversion of in-out parameter
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Incomplete xref information in ALI file
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Crash on illegal use of limited view of type
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Fix runtime build failure on vxworks 653 2.5
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Missing error on classwide precondition on a generic subprogram
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Spurious dimensionality errors on multitidimensional aggregates.
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Missing error on illegal use of volatile object
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Spurious End_Error with Get_Line on strings without line terminators
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Remove superfluous use of secondary stack on object initialization
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Expression functions need not trigger loading of package body
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Reimplementation of interfacing aspects
- - - -
-
-
-
2016-04-27
Arnaud Charlet
New
[Ada] Detection of missing abstract state refinement
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Incorrect result of equality on multidimensional packed arrays
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Minimizing recompilation with multiple limited_with clauses
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Improved exception message for Host_Error
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Minor changes to warning message for exe filenames on Windows
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Freezing a subprogram does not always freeze its profile
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Improved handling of rep item chains
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Spurious errors with generalized iterators
- - - -
-
-
-
2016-04-21
Arnaud Charlet
New
[Ada] Spurious discriminant check on type with unknown discriminants
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Illegal use of current instance in attribute reference
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Leak with function returning String in exception handler
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Spurious error on binary operator in instance
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Missing style warning on overlong line is task subunit
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Constraint_Error on spurious ambiguity in instance
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Spurious discriminant error on aggregate for derived type
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Constraint_Error on spurious ambiguity in instance
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Crash on configuration pragma Check_Policy.
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Better error message for illegal aspect
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Wrong resolution of intrinsic in postcondition
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Do not use secondary stack in some cases
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Spurious error in if_expression with universal then_expression
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Legality of aspect Default_Storage_Pool
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Undefined symbol with invariant and private type extension
- - - -
-
-
-
2016-04-20
Arnaud Charlet
New
[Ada] Use thread_id as lwp id on Darwin
- - - -
-
-
-
2016-04-19
Arnaud Charlet
New
[Ada] Always require an elaboration counter when preserving control flow
- - - -
-
-
-
2016-04-19
Arnaud Charlet
New
[Ada] Withing Ghost units
- - - -
-
-
-
2016-04-19
Arnaud Charlet
New
[Ada] Illegal use of type name in a context where it is not a current instance.
- - - -
-
-
-
2016-04-19
Arnaud Charlet
New
[Ada] File descriptors leaking
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Compiler error and crash over iterators over qualified expressions.
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Issue check instead of error in static division by zero
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Stream output to fifos
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Improved error message for illegal procedure function definition.
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Clean up global variables
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Remove SPARK legality checks performed in GNATprove
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Optimization of Unbounded_Priority_Queues
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] New function GNAT.Source_Info.Compilation_ISO_Date
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Overflow in internal compiler tables
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Warning on (others => <>) that does not cover any components.
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Derivation of Ghost types
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Implicit self dependence of task on itself
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Spurious errors on tag indeterminate calls.
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Spurious inlining error with function completed by an expression function
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Add statistics dumping function to Atree package
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Fix small inefficiency in Disambiguate
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Fix inefficiency in Operator_Matches_Spec
- - - -
-
-
-
2016-04-18
Arnaud Charlet
New
[Ada] Crahs on indexing operation with named associations
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Make System.String_Hash available through GNAT.String_Hash
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Freezing of contracts, Part_Of and current instance of a concurrent type
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Concurrent constituents of a single protected/task type
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Better handling of invalid switches in GNAT.Command_Line
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] PR ada/66242 Finalization with restriction No_Exception_Propagation
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Crash on illegal use of limited view of classwide type
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Spurious visibility error with private subtye, inlining and instance
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Crash on function returning limited view of class-wide type
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Normalize_Pathname with unresolved reference directory
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] State refinement predicates for GNATprove
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Malformed argument with pragma Refined_State
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Undefined symbols with pragma Initialize_Scalars
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] Missing error on volatile return type of non-volatile function
- - - -
-
-
-
2015-11-18
Arnaud Charlet
New
[Ada] PR ada/68345
- - - -
-
-
-
2015-11-14
Arnaud Charlet
New
[Ada] Internal crash on illegal aspect Part_Of
- - - -
-
-
-
2015-11-13
Arnaud Charlet
New
[Ada] Handling of overloaded indexing functions
- - - -
-
-
-
2015-11-13
Arnaud Charlet
New
[Ada] Iterable aspect for an integer type
- - - -
-
-
-
2015-11-13
Arnaud Charlet
New
[Ada] housekeeping work in sigtramp.h
- - - -
-
-
-
2015-11-13
Arnaud Charlet
New
[Ada] Library-level error on aspects
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Spurious visibility error with derivation and incomplete declaration
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Crash on illegal selected component in synchronized body.
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Crash on inconsistent IF-expression
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Obscure messages due to freezing of contracts
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Legality checks on calls to a Generic_Dispatching_Constructor.
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Missing detection of elaboration dependency
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Contract_Cases on entries
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] More efficient code generated for object overlays
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Warn when a non-imported constant overlays a constant
- - - -
-
-
-
2015-11-12
Arnaud Charlet
New
[Ada] Spurious error on legal use of abstract state constituent
- - - -
-
-
-
2015-10-27
Arnaud Charlet
New
[Ada] Legality checks on initialization of limited objects
- - - -
-
-
-
2015-10-27
Arnaud Charlet
New
[Ada] Delete response file even when link failed
- - - -
-
-
-
2015-10-27
Arnaud Charlet
New
[Ada] Pragma SPARK_Mode and expression functions
- - - -
-
-
-
2015-10-27
Arnaud Charlet
New
[Ada] Renamings of volatile objects
- - - -
-
-
-
2015-10-26
Arnaud Charlet
New
[Ada] Single protected declaration transformation guarantee
- - - -
-
-
-
2015-10-26
Arnaud Charlet
New
[Ada] Ghost types, objects and synchronization
- - - -
-
-
-
2015-10-26
Arnaud Charlet
New
[Ada] References to task and protected types in aspects/pragmas
- - - -
-
-
-
2015-10-26
Arnaud Charlet
New
«
1
2
...
3
4
5
…
24
25
»