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: Fix double free on finalization of Vector in array aggregate
2023-05-26
Eri
c
Bo
t
cazou
a
d
a: Fix doub
l
e free on fina
l
iza
t
ion of
V
e
c
tor
in
a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
i
c Botcazou
a
d
a: Fix internal err
o
r on Big_In
t
eger conversion
g
host
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
a
da: Si
m
plif
y
e
x
p
an
s
ion o
f
set membership
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ad
a
:
Clean
u
p
expansion of
membership operators into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r T
r
ojanek
ada: Rem
o
ve
leftover code for counting
p
r
o
te
c
ted entries
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada: Fix
detection
of non-sta
t
ic expressions in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcaz
o
u
ada: Reord
e
r
components in Ada
.
Conta
i
ners
.
Bounded_Doubly_Lin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botca
z
ou
ada: Reorder co
m
ponents in Ada
.
Containers
.
Rest
r
i
cted_Doubly_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c Botcazou
a
da: R
e
j
ect thin 'Unrestricted_Access value to aliased
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr T
r
ojanek
ada: Si
m
plify i
t
e
r
atio
n
over
r
ecord component ite
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada: Fix handling of Global
c
ontracts inside generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Troja
n
ek
ada
:
Tune
d
etection of e
x
pressi
o
n f
u
nction
s
w
i
t
hin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javie
r
Mir
a
n
d
a
ada: Cra
s
h
on loop in dispat
c
hing co
n
dit
i
o
nal entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
ada: Remove
r
edundant prote
c
t
i
on ag
a
inst e
m
p
t
y lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
anek
ada
:
Cleanups in handling of
a
ggreg
a
t
es
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
ada
:
Fix iteration
o
v
er component items with
pragmas
commit
|
commitdiff
|
tree
2023-05-26
J
avier
M
iranda
ada: Duplic
a
te declaration
of
_master entity
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
Trojanek
a
da: Re
m
ove redundant guards
from handling of
record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Remove Is_Descendant_Of_A
d
dress f
l
ag from St
a
ndard
_
Address
commit
|
commitdiff
|
tree
2023-05-26
Ghjuvan Lacam
b
re
ada:
H
andle new Contr
o
lling_
T
a
g format wh
e
n converting
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr
T
rojanek
ada:
Use c
o
nte
x
t
v
ariables in expansion of aggre
g
a
tes
commit
|
commitdiff
|
tree
2023-05-26
Eric
Botcazou
a
da: Fix missing finalization in l
i
bra
r
y-level instan
c
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric B
o
tcazou
ada: Mino
r
tweak in condition
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
ojan
e
k
ada
:
Simplify expans
i
o
n of po
s
itional aggregates
commit
|
commitdiff
|
tree
2023-05-26
Doug
Rupp
ada: Use computed va
l
ue
f
rom os_c
o
nstants
t
o
d
e
fine
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric Botcazou
ada: Fix an
o
ther c
o
uple of
unch
e
ck
e
d co
n
versions
to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojanek
ada: Refine typ
e
s for
a
n accessibility-che
c
ki
n
g
r
o
u
tine
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
anek
a
d
a: C
l
ean style in expa
n
s
i
on o
f
array aggregat
e
s
commit
|
commitdiff
|
tree
2023-05-26
R
o
nan Desplanques
ada: Fix late extra for
m
als
c
reat
i
o
n
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
da: Ad
d
mi
s
sing gu
a
rds
in
S
elected_Range
_
C
h
ecks
commit
|
commitdiff
|
tree
2023-05-26
Eric
Botcaz
o
u
ada: Enhance Is_Null_Ra
n
ge a
n
d Not_N
u
ll_Range pr
e
d
i
cates
commit
|
commitdiff
|
tree
2023-05-25
Javier
M
i
randa
a
d
a: Missing w
a
rning on null-excluding array
aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
da: Expec
t
Exceptional_Cases as
a
cont
e
xt
f
o
r
a
t
t
ribute Old
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Use procedural variant of Next_Inde
x
where
p
oss
i
ble
commit
|
commitdiff
|
tree
2023-05-25
Javier Miranda
ada: Crash
on e
m
pty
aggregate
u
sing the Ada 202
2
n
o
tation
commit
|
commitdiff
|
tree
2023-05-25
Johannes Klieman
n
ada: Enable S
u
pport_Atom
i
c_Primitives on VxWorks 7 PPC
commit
|
commitdiff
|
tree
2023-05-25
E
r
ic
B
otcazou
ada: Fix internal error on decl
a
re
-
e
x
pr
e
ssion in pos
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Tom
Trome
y
ada: Require
succ
e
ssf
u
l
b
uild of xsnamest
commit
|
commitdiff
|
tree
2023-05-25
Eric
B
otcazou
ada:
Minor adjus
t
m
e
nts to Stan
d
ard
_
A
d
dress
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c Botcazou
ada: Add size
c
lause to Sys
t
em
.
Addr
e
ss
commit
|
commitdiff
|
tree
2023-05-25
Mar
c
Poulhiès
ada: Fix error mes
s
a
g
e for
A
g
gr
e
gate aspect
commit
|
commitdiff
|
tree
2023-05-25
Bo
b
D
u
ff
ad
a
: Swit
c
h from
E
_Void to
Is
_
Not_Self_Hidden
commit
|
commitdiff
|
tree
2023-05-25
E
r
i
c
Botcazou
a
da:
Dec
o
uple size of add
r
ess
e
s a
n
d poin
t
e
r
s from size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
t
r Tr
o
janek
ad
a
:
Fix cop
y
ing of qu
a
nti
f
i
ed expressions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada: Deconstruct a no longer used
parame
t
er of New_Copy_
T
ree
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
r
oj
a
n
ek
a
d
a:
Cl
e
an u
p
c
opy
i
ng of node trees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: S
i
mplif
y
c
o
pying of
n
ode lis
t
s
commit
|
commitdiff
|
tree
2023-05-25
Steve Bai
r
d
ada: A
v
oid duplicated stream
i
ng
s
ubprograms
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada: Fix cr
a
sh duri
n
g function retu
r
n an
a
l
y
sis
commit
|
commitdiff
|
tree
2023-05-25
P
iotr
Trojanek
ada:
R
emove unuse
d
initial value of a l
o
cal variab
l
e
commit
|
commitdiff
|
tree
2023-05-25
M
a
rc Po
u
l
h
i
ès
a
da: Fix (again) in
c
o
rrect handl
i
ng of Aggr
e
gate aspect
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
P
reven
t
search of calls
in pr
e
conditions fro
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
T
r
ojanek
a
da: Fix commen
t
s for recent
l
y add
e
d SPARK
a
spec
t
s
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
a
da: Add missing supportive cod
e
fo
r
recentl
y
added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
r
ojanek
a
da: Tune handling of a
t
tributes
Old i
n
con
t
ract
E
x
c
e
ptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r
T
rojanek
ada: Remove red
u
ndant guards from calls to Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Eri
c
Botcazou
ada: S
m
all twea
k
t
o
i
mp
l
eme
n
tation
o
f by-copy semantics
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ad
a
: Fix copy-paste mi
s
take in
a
nalysi
s
of Excepti
o
n
a
l_
C
ases
commit
|
commitdiff
|
tree
2023-05-25
R
o
nan Desplanques
ada: Enrich documentation
of subprogr
a
m
commit
|
commitdiff
|
tree
2023-05-25
Ron
a
n D
e
s
p
l
an
q
ues
ada: Max
i
m
ize u
s
e of exi
s
tin
g
constant
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanques
ada: Red
u
ce
span of variable
commit
|
commitdiff
|
tree
2023-05-25
B
o
b Duf
f
ada: Set
Is_Not
_
Self_Hidd
e
n fla
g
in more
c
ases
commit
|
commitdiff
|
tree
2023-05-25
Ronan
D
esplanqu
e
s
a
da:
Handle controlling access parameters in
D
T
W
s
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: A
d
d Entry
_
Cancel_P
a
ramet
e
r t
o
E_
L
abel
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcazou
a
d
a: Minor fixes in
d
e
scription of scope depth
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojane
k
ada: Tune wa
r
ning abo
u
t assignment just befo
r
e
a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r
Tr
o
janek
ada: Accept aliased parameters
i
n Exceptional_Cases
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
a
d
a: Fix
i
ncorrect handling of
A
gg
r
egate aspe
c
t
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Fix obsolet
e
com
m
ent in Sinfo
.
Utils
commit
|
commitdiff
|
tree
2023-05-25
Mar
c
Poul
h
iès
a
d
a
: Fix
S
PARK co
n
text
n
ot
rest
o
red when Load_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada
:
Restrict
use of for
m
al
p
arameters
w
ithin exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Tro
j
anek
ada: Accept
a
nd a
n
al
y
ze new asp
e
c
t Excep
t
io
n
al_
C
a
ses
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
tcazou
ada: Rework
f
ix for in
t
ernal
error on qua
n
tified
e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gar
y
Dism
u
kes
ad
a
: ICE on BIP
c
a
ll in class
-
wid
e
function re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pat
r
ick B
e
r
nardi
ada
:
Re
m
ove redundant
p
arenthe
s
es f
r
o
m
System
.
S
tack_Chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
oja
n
ek
ada: Add tags t
o
w
ar
n
i
n
gs controlled by
W
a
r
n
_
On_Red
u
ndant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada:
C
lean
u
p incons
i
ste
n
t iterati
o
n
o
ver
e
xception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
tc
a
zou
ada: Fix
l
ate
n
t i
s
sue in sup
p
ort
for pro
t
ec
t
ed entrie
s
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otcazou
a
d
a: F
i
x
address
m
a
ni
p
u
l
ation issu
e
i
n the tasking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Ra
p
h
ael
A
miard
ada: Make stri
n
g inte
r
p
olation part of
t
he core extensions
commit
|
commitdiff
|
tree
2023-05-23
Claire Dross
ada: Update gh
o
st code for proof of
i
nteger input fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2023-05-23
Arnaud Charle
t
a
da
:
Add new
switch -gnat
y
z
commit
|
commitdiff
|
tree
2023-05-23
Eri
c
B
o
t
ca
z
ou
ada:
Fix mi
n
or
a
d
d
ress
a
rithmetic issues
in Syste
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
tcazou
ada: Fix ove
r
sig
h
t
i
n late
s
t
change
commit
|
commitdiff
|
tree
2023-05-23
R
aphael Amiard
ada: Reorganiz
e
documentation of
G
NAT experimental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazo
u
a
da: Fix resol
u
tion of mod o
p
e
rator of
S
y
st
e
m
.
Stor
a
ge_
E
lemen
t
s
commit
|
commitdiff
|
tree
2023-05-23
Vadim Godunko
ada: Remove unnecessary call to Detach
.
commit
|
commitdiff
|
tree
2023-05-23
Ronan Desplanq
u
e
s
ad
a
: F
i
x ref
e
rence to
A
da
i
ssue
i
n
comment
commit
|
commitdiff
|
tree
2023-05-23
Eric B
o
tc
a
zou
ada:
F
ix addr
e
ss
arithmetic
i
ssues in the expanded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric
B
otcazou
ada: Fix add
r
ess arithmet
i
c issues in the
r
untime
commit
|
commitdiff
|
tree
2023-05-23
Stev
e
Baird
ada: A discriminant
o
f
a variab
l
e is not a vari
a
ble
commit
|
commitdiff
|
tree
2023-05-23
Y
an
n
ick Moy
ada: Ad
d
default value at
i
nitia
l
ization fo
r
Cod
e
Peer
commit
|
commitdiff
|
tree
2023-05-23
Yannick Moy
ada: Facilita
t
e pr
o
o
f o
f
Interfaces
.
C
.
To_Ada
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazo
u
a
da:
Re
m
ove the body of System
.
Sto
r
a
g
e_
E
l
ements
commit
|
commitdiff
|
tree
2023-05-23
Javier Mirand
a
ada: Spurious errors
o
n c
l
a
s
s-wide p
r
ec
o
ndit
i
ons of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
t
r Troja
n
ek
ada: T
u
rn ass
e
rtions into d
e
fensive co
d
e
in
e
rror
locatio
n
s
commit
|
commitdiff
|
tree
2023-05-23
Ronan De
s
p
l
an
q
ues
ada
:
Add mention of
what
L
SP
s
tands for
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fi
x
ending
s
of
p
re
t
t
y-
p
r
inted nu
m
eric literals
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ad
a
:
F
ix internal err
o
r
on q
u
a
n
tified
expressi
o
n with
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botcazou
ada:
F
ix
bogus error on predicated limite
d
rec
o
rd declared
.
.
.
commit
|
commitdiff
|
tree
next