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
wsa
rfried
jagan
prom
kevery
xypron
metan
Jaehoon
rsalvaterra
adrianschmutzler
hegdevasant
hegdevasant
arbab
bmeng
sjg
ag
kabel
horms
rmilecki
rmilecki
akumar
ivanhu
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
…
30
31
»
Patch
Series
A/F/R/T
S/W/F
Date
Submitter
Delegate
State
[Ada] Adapt proof of runtime unit s-arit32
[Ada] Adapt proof of runtime unit s-arit32
- - - -
-
-
-
2022-05-30
Pierre-Marie de Rodat
New
[Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unit
[Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unit
- - - -
-
-
-
2022-05-30
Pierre-Marie de Rodat
New
[Ada] Delete no-longer-used Convert_To_Return_False flag
[Ada] Delete no-longer-used Convert_To_Return_False flag
- - - -
-
-
-
2022-05-30
Pierre-Marie de Rodat
New
[Ada] Add empty constructors to the functional containers
[Ada] Add empty constructors to the functional containers
- - - -
-
-
-
2022-05-30
Pierre-Marie de Rodat
New
[Ada] Fix new CUDA kernel registration scheme
[Ada] Fix new CUDA kernel registration scheme
- - - -
-
-
-
2022-05-30
Pierre-Marie de Rodat
New
[Ada] Do not give warnings for compiler-generated entities by default
[Ada] Do not give warnings for compiler-generated entities by default
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Small housekeeping work in gnat_gimplify_expr
[Ada] Small housekeeping work in gnat_gimplify_expr
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix internal error on unchecked union with component clauses (2)
[Ada] Fix internal error on unchecked union with component clauses (2)
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Do not set Current_Error_Node to a node without location
[Ada] Do not set Current_Error_Node to a node without location
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix internal error on semi-circular record types
[Ada] Fix internal error on semi-circular record types
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix for internal error on semi-circular record aggregate
[Ada] Fix for internal error on semi-circular record aggregate
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Preserve unchecked conversion of string constant
[Ada] Preserve unchecked conversion of string constant
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Remove redundant marking of illegal pragma with error posted
[Ada] Remove redundant marking of illegal pragma with error posted
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix continuation message without a prior error
[Ada] Fix continuation message without a prior error
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Mark Requires_Transient_Scope as Inline
[Ada] Mark Requires_Transient_Scope as Inline
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix spurious violations of No_Secondary_Stack restriction
[Ada] Fix spurious violations of No_Secondary_Stack restriction
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windows
[Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windows
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Preserve and reuse original type in Narrow_Large_Operation
[Ada] Preserve and reuse original type in Narrow_Large_Operation
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Wrong interface dynamic dispatch via access parameter
[Ada] Wrong interface dynamic dispatch via access parameter
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Ignore Predicate_Failure in GNATprove mode
[Ada] Ignore Predicate_Failure in GNATprove mode
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Avoid copy operation for returns involving function calls
[Ada] Avoid copy operation for returns involving function calls
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix invalid expanded code for entry families
[Ada] Fix invalid expanded code for entry families
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Cleanup expansion of protected entry families
[Ada] Cleanup expansion of protected entry families
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix proof of runtime unit a-strfix and a-strsup
[Ada] Fix proof of runtime unit a-strfix and a-strsup
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Support Ada 2022 null array aggregates
[Ada] Support Ada 2022 null array aggregates
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Further adapt proof of double arithmetic runtime unit
[Ada] Further adapt proof of double arithmetic runtime unit
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Improve optimization of "=" on bit-packed arrays
[Ada] Improve optimization of "=" on bit-packed arrays
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Casing style on record components
[Ada] Casing style on record components
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Small housekeeping work continued
[Ada] Small housekeeping work continued
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Small housekeeping work
[Ada] Small housekeeping work
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Remove dead code for scope entity having E_Subprogram_Body kind
[Ada] Remove dead code for scope entity having E_Subprogram_Body kind
- - - -
-
-
-
2022-05-19
Pierre-Marie de Rodat
New
[Ada] Fix proof of runtime unit s-imageu
[Ada] Fix proof of runtime unit s-imageu
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp
[Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] arm-qnx-7.1: stack-checking and sigtramp implementation
[Ada] arm-qnx-7.1: stack-checking and sigtramp implementation
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Adapt proof of double arithmetic runtime unit
[Ada] Adapt proof of double arithmetic runtime unit
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix proof of runtime unit s-valeu
[Ada] Fix proof of runtime unit s-valeu
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Disable Vet calls when container checks are disabled
[Ada] Disable Vet calls when container checks are disabled
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] arm-qnx-7.1: undefined reference to fma* symbols
[Ada] arm-qnx-7.1: undefined reference to fma* symbols
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts
[Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Improve error messages for occurrence of GNAT extensions without -gnatX
[Ada] Improve error messages for occurrence of GNAT extensions without -gnatX
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix Ada-QNX task priority conversion
[Ada] Fix Ada-QNX task priority conversion
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Use specific predicate before manipulating BIP_Alloc_Form
[Ada] Use specific predicate before manipulating BIP_Alloc_Form
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Crash building VSS with compiler built with assertions
[Ada] Crash building VSS with compiler built with assertions
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix proof of runtime units
[Ada] Fix proof of runtime units
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Errors missed on ACATS test B650007
[Ada] Errors missed on ACATS test B650007
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix the parsing for delta aggregate
[Ada] Fix the parsing for delta aggregate
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Secondary stack and a-tags
[Ada] Secondary stack and a-tags
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix problematic underflow for Float_Type'Value
[Ada] Fix problematic underflow for Float_Type'Value
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Spurious error on freezing of tagged types in SPARK
[Ada] Spurious error on freezing of tagged types in SPARK
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Rework optimization skipping pragma check in object declaration
[Ada] Rework optimization skipping pragma check in object declaration
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix internal error on subprogram instantiation
[Ada] Fix internal error on subprogram instantiation
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Overriding error on type derived from discriminated untagged private type
[Ada] Overriding error on type derived from discriminated untagged private type
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Prevent overflow in computation of aggregate size
[Ada] Prevent overflow in computation of aggregate size
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Freezing too strict in instances
[Ada] Freezing too strict in instances
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Fix incorrect freezing with generic child unit
[Ada] Fix incorrect freezing with generic child unit
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library
[Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Small performance tweak in recent change
[Ada] Small performance tweak in recent change
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] New port arm-qnx
[Ada] New port arm-qnx
- - - -
-
-
-
2022-05-18
Pierre-Marie de Rodat
New
[Ada] Restore defensive guard in checks for volatile actuals
[Ada] Restore defensive guard in checks for volatile actuals
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Subprogram renaming fails to hide homograph
[Ada] Subprogram renaming fails to hide homograph
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] CUDA: remove code performing kernel registration
[Ada] CUDA: remove code performing kernel registration
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Enhance the warning on C enum with size clause for size /= 32
[Ada] Enhance the warning on C enum with size clause for size /= 32
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Allow inlining for proof inside generics
[Ada] Allow inlining for proof inside generics
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
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] Cleanups related to front-end SJLJ
[Ada] Cleanups related to front-end SJLJ
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] GNAT.Binary_Search is not internal
[Ada] GNAT.Binary_Search is not internal
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix insertion of declaration inside quantified expression
[Ada] Fix insertion of declaration inside quantified expression
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix Forced sign flag in formatted string
[Ada] Fix Forced sign flag in formatted string
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix small glitch in Expand_N_Full_Type_Declaration
[Ada] Fix small glitch in Expand_N_Full_Type_Declaration
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Requires_Cleanup_Actions and N_Protected_Body
[Ada] Requires_Cleanup_Actions and N_Protected_Body
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Output.w always writes to stderr
[Ada] Output.w always writes to stderr
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix bogus visibility error with partially parameterized formal package
[Ada] Fix bogus visibility error with partially parameterized formal package
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Take full view of private type
[Ada] Take full view of private type
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Allow 'Reduce with -gnat2022
[Ada] Allow 'Reduce with -gnat2022
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Don't create calls to Abort_Undefer when not Abort_Allowed
[Ada] Don't create calls to Abort_Undefer when not Abort_Allowed
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Typo fix in finalization comment
[Ada] Typo fix in finalization comment
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Initialize Compiler_State to avoid Constraint_Error
[Ada] Initialize Compiler_State to avoid Constraint_Error
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Deal with derived record types in Has_Compatible_Representation
[Ada] Deal with derived record types in Has_Compatible_Representation
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Streamline implementation of Has_Compatible_Representation
[Ada] Streamline implementation of Has_Compatible_Representation
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Remove superfluous call to Original_Node
[Ada] Remove superfluous call to Original_Node
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Crash freezing declaration that will raise constraint error
[Ada] Crash freezing declaration that will raise constraint error
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Use Actions field of freeze nodes for subprograms
[Ada] Use Actions field of freeze nodes for subprograms
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditions
[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditions
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix documentation of using attribute Loop_Entry in pragmas
[Ada] Fix documentation of using attribute Loop_Entry in pragmas
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Check token to be "access", reject it if not
[Ada] Check token to be "access", reject it if not
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Enable current value propagation within pragma expressions
[Ada] Enable current value propagation within pragma expressions
- - - -
-
-
-
2022-05-17
Pierre-Marie de Rodat
New
[Ada] Fix fallout of change in equality for untagged record types
[Ada] Fix fallout of change in equality for untagged record types
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix expansion of attribute Loop_Entry wrt value propagation
[Ada] Fix expansion of attribute Loop_Entry wrt value propagation
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Remove useless code related to current value propagation
[Ada] Remove useless code related to current value propagation
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Type invariant or postcondition may cause uninitialized memory reads
[Ada] Type invariant or postcondition may cause uninitialized memory reads
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Freeze target type on qualified expression expansion
[Ada] Freeze target type on qualified expression expansion
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix proof of double arithmetic units
[Ada] Fix proof of double arithmetic units
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files
[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter
[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] sigaction result not properly checked in __gnat_install_handler (QNX)
[Ada] sigaction result not properly checked in __gnat_install_handler (QNX)
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix thinko in QNX's implementation of __gnat_install_handler
[Ada] Fix thinko in QNX's implementation of __gnat_install_handler
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Add <stdlib.h> #include in cstreams.c
[Ada] Add <stdlib.h> #include in cstreams.c
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] replace call to bzero in terminals.c by call to memset
[Ada] replace call to bzero in terminals.c by call to memset
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Revise Storage_Model_Support operations to do checks and take objects and types
[Ada] Revise Storage_Model_Support operations to do checks and take objects and types
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
[Ada] Fix iterated element association loop var escaping loop scope
[Ada] Fix iterated element association loop var escaping loop scope
- - - -
-
-
-
2022-05-16
Pierre-Marie de Rodat
New
«
1
2
3
4
…
30
31
»