repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
ada: Add pragma Annotate for GNATcheck exemptions
2023-10-19
S
he
r
i Bernstein
ada:
A
dd pr
a
g
m
a An
n
otate fo
r
GNAT
c
h
eck exe
m
ptio
n
s
commit
|
commitdiff
|
tree
2023-10-19
P
a
trick Bernardi
ada: Document gnat
b
ind -Q swit
c
h
commit
|
commitdiff
|
tree
2023-10-19
Ronan Despla
n
ques
ada: Seize
o
pportunity to re
u
s
e
List_Length
commit
|
commitdiff
|
tree
2023-10-19
Pi
o
tr Trojanek
ad
a
:
S
implify
"not Present" with "No"
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
ada: Fix i
n
ternal error on t
o
o large representation
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
R
onan
Desplanques
ada
:
Tweak internal subprog
r
am in Ada
.
Direct
o
ries
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
ada: R
e
move superfluous setter
proce
d
ure
commit
|
commitdiff
|
tree
2023-10-10
Eric Botc
a
zou
ada:
F
ix bad finalization
of limi
t
e
d
aggregate i
n
con
d
itiona
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Eric Bot
c
azo
u
ada:
F
i
x infinite
l
oop w
i
th
m
ulti
p
le
l
imite
d
w
ith cl
a
uses
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desplanq
u
es
ada: F
i
x fil
e
system entry filtering
commit
|
commitdiff
|
tree
2023-10-10
Ronan D
e
splanques
ada: Tweak doc
u
m
entation comments
commit
|
commitdiff
|
tree
2023-10-10
Javi
e
r
M
iranda
ada: Crash pr
o
c
e
ss
i
n
g prag
m
a
s
Comp
i
l
e
_
Time_Error
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botcazou
ada: Fix missing ca
l
l to
Finali
z
e_Protection
for simp
l
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botca
z
ou
ada: Fix deferred cons
t
ant wrongly reject
e
d
commit
|
commitdiff
|
tree
2023-09-26
M
a
rc
Poulhiè
s
ada: Fix unnesting gener
a
ted l
o
ops
w
i
t
h
nested finalization
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javier Miranda
ada:
Crash processing the accessibi
l
ity level of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botcazou
ada: Fix
m
i
ssing fina
l
ization of extended r
e
turn object
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
a
d
a: Upda
t
e per
s
onality
f
u
n
ction for CHERI p
u
re
c
ap
commit
|
commitdiff
|
tree
2023-09-26
Daniel K
i
n
g
ada
:
Fix co
n
v
ersions between addresse
s
a
nd in
t
egers
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Add CHE
R
I variant of System
.
St
r
eam_Attrib
u
tes
commit
|
commitdiff
|
tree
2023-09-26
D
a
niel
King
ada:
D
efine CHERI ex
c
ep
t
ion types
commit
|
commitdiff
|
tree
2023-09-26
Ronan Desp
l
anques
ada:
Make min
o
r corre
c
tion
s
to CUDA-related comm
e
nts
commit
|
commitdiff
|
tree
2023-09-26
D
erek S
c
hacht
ada: Dimensi
o
nal analysis when used
with ele
m
entary
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Yanni
c
k
Moy
ada:
C
larify RM references that justify a constraint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
R
i
chard Wai
ada: TSS finali
z
e addre
s
s subprogram ge
n
eration
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
R
i
chard Wai
ada: Private
extensi
o
ns w
i
th the keyword "
s
ynchronized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Poulhiès
a
d
a: Ref
i
n
e upper a
r
ray
b
ound for bit packed a
r
ray
commit
|
commitdiff
|
tree
2023-09-19
Javie
r
Miran
d
a
ada: Crash
p
rocessing type i
n
variants on child
subprogram
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada: Fix minor g
l
i
t
c
h in f
i
ni
s
h_record_ty
p
e
commit
|
commitdiff
|
tree
2023-09-15
Piotr Trojanek
ada: Ex
p
l
icitly an
a
lyze and expand null array a
g
greg
a
tes
commit
|
commitdiff
|
tree
2023-09-15
Eric Bo
t
cazou
ada: Fix wrong
optimization
of e
x
tende
d
return
for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick Bernar
d
i
a
da: Do
n
ot
p
erform local-exce
p
t
ion-to-goto optimization
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick Berna
r
di
ada: Generate r
u
nti
m
e restricti
o
n
s list when the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada: Fix i
n
ternal e
r
ror on m
i
saligned co
m
p
onent
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
a
d
a: Fi
x
internal er
r
or on
a
g
gregate nested in
c
ontainer
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le Gouguec
a
da: Remove G
N
A
T
P
r
o detai
l
s
regardin
g
m
o
ld
commit
|
commitdiff
|
tree
2023-09-15
Eric
B
o
tc
a
zou
ad
a
: Fix
i
nternal error o
n
expression function with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob Duff
a
d
a
:
Clean
u
p
scop
e
d
e
pth and relat
e
d c
o
de (tech
d
ebt)
commit
|
commitdiff
|
tree
2023-09-15
Javier Mir
a
n
d
a
ada: Crash
o
n creat
i
on of extra formals on type extension
commit
|
commitdiff
|
tree
2023-09-14
Y
a
n
n
i
c
k Moy
ad
a
: Improve
detection of deac
t
ivated code fo
r
warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Ass
e
rtion failure
o
n expansion of record wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier
Miranda
ada: Assertion
f
a
ilure on
c
alcula
t
ion of Large_Max_Size
_
Mutable
commit
|
commitdiff
|
tree
2023-09-14
Javier
M
iranda
a
da: Assertion failure on for-of lo
o
p
iterating o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
E
r
ic Botcazou
ada
:
Fix late final
i
z
a
tion for functio
n
call in de
l
ta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eri
c
Botca
z
ou
ad
a
:
Fi
x
premature finaliza
t
ion in loop over limited
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Ja
v
ier Mi
r
anda
ada: Asse
r
tion fai
l
ure adding e
x
tra f
o
rm
a
ls to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada: E
l
i
d
e
t
h
e
copy in e
x
ten
d
ed returns
for nonli
m
ite
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tromey
ada: Fix DWARF for
certain arrays
commit
|
commitdiff
|
tree
2023-09-05
Piot
r
T
r
ojane
k
ada: Remove redu
n
da
n
t prote
c
tion
against
e
mpty
list
commit
|
commitdiff
|
tree
2023-09-05
Piotr
Trojanek
ada: Add
g
uard
b
e
f
ore querying t
h
e type
f
or its in
t
erfac
e
s
commit
|
commitdiff
|
tree
2023-09-05
Piot
r
Trojanek
ada: Remove redundant
gu
a
rd against an empt
y
list of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
E
ric B
o
t
cazou
ad
a
: Fix
proble
m
atic secondary stack mana
g
ement in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob Duff
a
d
a: Fix crash on sel
e
cted
component loo
k
up
in generic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ro
n
an Despla
n
ques
ad
a
: Fix spurio
u
s
w
arnin
g
emissions
commit
|
commitdiff
|
tree
2023-09-05
Eri
c
Botcazou
ad
a
: Fix assertion failure on very
pecu
l
ia
r
enumeration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss Merzougue
ada
:
R
e
move TBC co
m
ment, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Javier
M
i
randa
ada: Cra
s
h on creation of extr
a
forma
l
s on typ
e
e
xte
n
sion
commit
|
commitdiff
|
tree
2023-09-05
Alexandre Oliva
ad
a
: Pas
s
-msmp when linkin
g
for p
p
c-vx6 --RTS
=
rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javier M
i
randa
a
da: Crash
on
function returning empty Ada
2
022 agg
r
egate
commit
|
commitdiff
|
tree
2023-09-05
S
t
eve B
a
ird
ada: Compi
l
er hangs on invalid postcondition
commit
|
commitdiff
|
tree
2023-09-05
Ste
v
e Baird
ada: Spurious warning about
n
egati
v
e modular literal
commit
|
commitdiff
|
tree
2023-09-05
Johannes Kliemann
a
da: Supp
o
r
t
setti
n
g task affin
i
ty on QNX
commit
|
commitdiff
|
tree
2023-09-05
Ghju
v
a
n
Lac
a
m
b
r
e
a
da: building_
e
xe
c
ut
a
bl
e
_progr
a
ms
_
with_
g
nat
.
rst:
fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Danie
l
K
i
n
g
ada: Preserve capability
v
alidity in address arithmetic
commit
|
commitdiff
|
tree
2023-09-05
Eric
B
otcazou
ada: Fix
i
nternal error
on instantiation with
priv
a
te
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
S
h
eri Bernstein
a
da: Rem
o
ve
GNATcheck viola
t
ions
commit
|
commitdiff
|
tree
2023-09-05
Rona
n
Desplanques
ad
a
: Add missing units to Makefile
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sh
e
ri Bernste
i
n
a
d
a
:
Handle GNATche
c
k viol
a
tion
s
commit
|
commitdiff
|
tree
2023-09-05
Ja
v
i
e
r Miran
d
a
ada:
E
n
for
c
e
subtype c
o
nformance o
f
interfac
e
primitive
s
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
ada:
T
w
e
ak co
m
m
e
n
t about taskin
g
cor
n
er case
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhiès
Revert "Ad
j
ust one Ada test"
commit
|
commitdiff
|
tree
2023-08-07
Sheri
Bernstein
ada:
R
e
f
a
ctor
m
u
ltiple r
e
t
u
rns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojanek
ada
:
Exte
n
d precondition
o
f
I
nterfa
c
es
.
C
.
St
r
ing
.
V
alue
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yannick Moy
ada: Cr
a
sh
i
n
G
N
A
Tprove due to wrong detection of i
n
lining
commit
|
commitdiff
|
tree
2023-08-07
Javier Miranda
ada: Spurious erro
r
on class-wide preconditions
commit
|
commitdiff
|
tree
2023-08-03
Sheri Bernst
e
in
a
d
a:
Add
p
r
a
gm
a
Ann
o
tate
f
o
r
G
N
A
T
check exemptions
commit
|
commitdiff
|
tree
2023-08-03
V
asiliy Fo
f
a
nov
ada: Rewrite Se
t
_Im
a
ge_*_Unsigned ro
u
tines to remove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Er
i
c Bo
t
cazou
ada: Fix spurious err
o
r on 'Input
of private type wit
h
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
ada:
Ad
j
ust again a
d
dress arith
m
e
t
ics in
S
ystem
.
Dwarf_Lines
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Fi
x
print
i
ng of numbers in JSON out
p
ut for data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick
Moy
ada
:
Disab
l
e
i
nlining of su
b
programs with
S
ki
p
(_Flow_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
St
e
ve Ba
i
rd
ada
:
Bugbox
c
ompilin
g
Co
n
strained_Protected_
O
b
jec
t
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
ada: In
c
orr
e
ct optimizat
i
on
f
or uncon
s
tr
a
ined limit
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal Obry
ada: Default Put_Image for
c
ompos
i
te
d
er
i
v
ed typ
e
s
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ya
n
nick Moy
ada: Fix generation of JSON output
f
or data representa
t
io
n
commit
|
commitdiff
|
tree
2023-08-01
Bob Duff
ada: ch
e
c
k Atree
.
G
et/Set_Field_Valu
e
commit
|
commitdiff
|
tree
2023-08-01
Léo Creu
s
e
ada: Emi
t
SCOs for nested decis
i
ons in quantified expr
e
ss
i
ons
commit
|
commitdiff
|
tree
2023-07-28
Er
i
c Botc
a
zou
a
da:
E
lide the copy in
e
xtended returns for nonlimit
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clément Chigot
ada: Add an a
s
s
e
rt in Posix In
t
errupt_W
a
it
commit
|
commitdiff
|
tree
2023-07-28
J
a
vier
M
i
r
anda
ada: F
i
x u
n
supported dispatchin
g
c
onstru
c
t
or call
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
ada
:
Add s
u
pport for binding to a specifi
c
n
etwork
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
L
éo Creuse
a
da: Add
m
i
s
s
i
ng SCO genera
t
ion fo
r
quantified
e
x
p
ressions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Rona
n
D
e
splan
q
ues
a
d
a: Fix race co
n
dition in prot
e
cted
entry
c
al
l
commit
|
commitdiff
|
tree
2023-07-28
Viljar
Indus
ada: Small ref
a
ctor
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
janek
ada: Add
g
uard
for de
t
ecti
o
n of
class-wide precondi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric
B
otcazou
a
da: Fix memory
explo
s
i
o
n on aggreg
a
te of nest
e
d
p
ac
k
ed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Troja
n
ek
ada
:
Leav
e
detection of
m
issing
r
etu
r
n in functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Tromey
ada: Emit enums rather tha
n
def
i
nes for vario
u
s constants
commit
|
commitdiff
|
tree
2023-07-28
Piot
r
Trojan
e
k
ada: Fix
t
ypo
i
n co
m
m
e
nt of
Ada
.
E
xceptions
.
Save_O
c
curren
c
e
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr Tr
o
janek
ada: Allow ca
l
ls
t
o Number_Formals when n
o
formals
.
.
.
commit
|
commitdiff
|
tree
next