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
Eric Botcazou
ada: Fix double free on
f
i
na
l
ization of
Vector in
array
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
otcaz
o
u
ada:
F
ix internal er
r
or o
n
Big_In
t
e
g
e
r
conversion
g
host
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a: Simplify
e
xpansion of
set
me
m
be
r
s
hip
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
ojanek
ada: Cleanup e
x
pansion of membership oper
a
tors into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada: Remove le
f
tover code f
o
r counting p
r
ote
c
t
ed
e
n
tries
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix detect
i
on o
f
n
on-static ex
p
re
s
sions in r
e
c
o
r
ds
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botc
a
zou
a
d
a:
Reorder compo
n
ents in Ada
.
Cont
a
iners
.
Bounded_Doub
l
y
_Lin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
d
a: Re
o
rder componen
t
s in A
d
a
.
Containers
.
Restr
i
cted_Doubly_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada
:
Rej
e
ct thin '
U
nrestricted_Access valu
e
to
a
li
a
sed
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr
T
rojanek
ada:
S
impl
i
fy it
e
ration over rec
o
rd compon
e
nt
i
tems
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojane
k
ada: Fix handling of Global co
n
tracts i
n
side generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr T
r
oj
a
ne
k
ada:
T
u
n
e detection of express
i
o
n functi
o
ns
within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Mira
n
d
a
ada
:
Cra
s
h
on
l
o
op in
d
ispat
c
h
i
n
g
co
n
ditiona
l
entr
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr T
r
o
j
anek
ada
:
Remove redundant protection aga
i
nst empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Troja
n
ek
ada: C
l
eanu
p
s in handling o
f
aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojanek
ada: Fix iteration over
c
omponent items with pragmas
commit
|
commitdiff
|
tree
2023-05-26
J
avier Mi
r
anda
ad
a
: Duplicate d
e
claration of _m
a
s
t
er ent
i
t
y
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada
:
Remove
r
edundant gu
a
r
d
s from handlin
g
of
r
ecord
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric B
o
tcazou
ada: Remo
v
e
Is_De
s
c
endant_Of_Address f
l
ag from Sta
n
d
ard_Addr
e
s
s
commit
|
commitdiff
|
tree
2023-05-26
Ghjuvan Lacambre
ada: Handle n
e
w Controlli
n
g_Tag
f
ormat when conve
r
tin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
anek
ada:
Us
e
cont
e
x
t
variables
in expa
n
sion of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botc
a
zou
ada: F
i
x
missing fi
n
alization in lib
r
ary-level inst
a
nce
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
otcazou
ada:
Minor t
w
e
ak in condition
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojane
k
a
da: Simplify exp
a
nsion of po
s
itional aggregates
commit
|
commitdiff
|
tree
2023-05-26
Doug Rup
p
a
d
a: Use computed
value f
r
om os_constants t
o
def
i
ne
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada
:
Fix ano
t
her couple
of unchecked conversion
s
to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
r
o
j
a
n
ek
ada: Refine types for an access
i
bility-checkin
g
routine
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojan
e
k
ada: Clean style in expansion of array agg
r
eg
a
tes
commit
|
commitdiff
|
tree
2023-05-26
Ronan Despla
n
ques
ada:
F
i
x late extra formals creatio
n
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botcazou
ada: Add missing guard
s
in Selected_
R
ange_Checks
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
o
t
c
a
zou
ada
:
Enhance
Is_N
u
ll_Ra
n
ge and Not_Null_Range predicates
commit
|
commitdiff
|
tree
2023-05-25
J
avie
r
Miranda
a
d
a: Missin
g
w
arning
on null-excluding ar
r
ay aggre
g
ate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Troj
a
nek
ada:
E
x
pect Exce
p
tional_
C
as
e
s as a context f
o
r attribute Old
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojane
k
a
da: Use procedural variant of Ne
x
t_Index where pos
s
ible
commit
|
commitdiff
|
tree
2023-05-25
Javie
r
Miranda
ada
:
C
r
ash on em
p
t
y
aggregate using the Ada
2022 notation
commit
|
commitdiff
|
tree
2023-05-25
Johann
e
s
Kliemann
ada: Enable Support_Atomic_P
r
imitiv
e
s on VxWorks 7
PPC
commit
|
commitdiff
|
tree
2023-05-25
Eric
B
otcazou
ada: Fix interna
l
error on
d
eclare-expr
e
s
sion in post
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
T
o
m
T
romey
ada: R
e
quire succ
e
ssful bui
l
d
of
x
s
namest
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zo
u
ad
a
: Minor adjustments to Standard_Addre
s
s
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zou
ada:
Add size clause
t
o
System
.
Addres
s
commit
|
commitdiff
|
tree
2023-05-25
Mar
c
Poulhiè
s
ada: Fix erro
r
m
e
ss
a
ge
f
o
r
Agg
r
eg
a
t
e aspect
commit
|
commitdiff
|
tree
2023-05-25
Bob Duf
f
ada: Switch fr
o
m E_
V
oid to Is_No
t
_Self_Hidde
n
commit
|
commitdiff
|
tree
2023-05-25
E
r
i
c Botcazou
ada: Decouple size of
a
d
dresses and p
o
in
t
ers
fro
m
size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Tro
j
a
nek
ada: Fix
copying
of quantified expressions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada: Deconst
r
uct a
no longe
r
us
e
d parameter
of New_Copy_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada
:
C
l
e
a
n
up copying
of n
o
de
t
rees
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Troj
a
nek
ada: Simpli
f
y copying of no
d
e lists
commit
|
commitdiff
|
tree
2023-05-25
Ste
v
e Baird
ada: A
v
oid duplic
a
te
d
stream
i
ng subp
r
ogram
s
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada: F
i
x crash during fun
c
tion re
t
urn anal
y
sis
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
r
o
janek
ada: Remo
v
e unused i
n
itial valu
e
of
a
l
o
cal variable
commit
|
commitdiff
|
tree
2023-05-25
Marc
Poulhiès
ada: Fix (again) incorrect
h
andling of Aggre
g
ate
aspect
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Prevent
se
a
rch of
calls in preco
n
dition
s
from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Fix com
m
ents for recently a
d
de
d
SPARK a
s
pect
s
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr T
r
ojanek
ad
a
:
A
dd missing supp
o
rtive code for recently added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troj
a
nek
ada: Tune handling
o
f attributes Old in contract E
x
c
eptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ad
a
: Remove redundant guards from
c
alls to Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcazou
a
d
a
: Small tw
e
a
k
to im
p
lementatio
n
of by-copy semantics
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada: Fix cop
y
-
p
aste mistake
i
n analysis of
Exception
a
l_Cases
commit
|
commitdiff
|
tree
2023-05-25
Rona
n
Desplanques
ada: E
n
ri
c
h document
a
tion of subprog
r
am
commit
|
commitdiff
|
tree
2023-05-25
Ronan Despla
n
q
u
es
ada: Ma
x
imize
u
s
e
o
f
existing constant
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desp
l
anques
ad
a
: Reduce
s
pan o
f
varia
b
le
commit
|
commitdiff
|
tree
2023-05-25
Bob D
u
ff
a
d
a: Set I
s
_Not_Sel
f
_
H
idden flag in m
o
re
cases
commit
|
commitdiff
|
tree
2023-05-25
Ronan Des
p
lanques
a
da: H
a
ndle contr
o
lling access parameters in
DTWs
commit
|
commitdiff
|
tree
2023-05-25
Bob
D
u
f
f
ada:
A
d
d Entry_Cancel_
P
aramete
r
to E
_
L
abel
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zou
ada: Mino
r
fixes in desc
r
i
p
ti
o
n
of scope de
p
th
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
j
a
nek
ada: Tune
warning about assignmen
t
ju
s
t be
f
ore a rai
s
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
io
t
r T
r
oja
n
ek
ada: A
c
cept aliased par
a
mete
r
s i
n
Exc
e
ptional_Ca
s
es
commit
|
commitdiff
|
tree
2023-05-25
Ma
r
c Poulhiès
a
d
a: Fix in
c
o
rrect handling of Aggregate asp
e
ct
commit
|
commitdiff
|
tree
2023-05-25
Bob
Duff
ada: Fix obsolete comment in Sinfo
.
Utils
commit
|
commitdiff
|
tree
2023-05-25
Mar
c
Poulhiès
a
da: Fix SP
A
RK context not
r
estored when Lo
a
d_U
n
it
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada:
Restrict us
e
o
f
formal pa
r
amet
e
r
s
wit
h
in excep
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: A
c
ce
p
t and ana
l
yze
n
ew as
p
ect Exceptio
n
al_Cases
commit
|
commitdiff
|
tree
2023-05-23
Eri
c
Bo
t
cazou
ada: Rework fix for inter
n
a
l
err
o
r on
q
uantified
expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Gar
y
D
is
m
ukes
ada: ICE
on BIP call in class-wide
f
u
nction return
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick
B
ern
a
rd
i
ada: Remove
r
edu
n
d
a
nt par
e
ntheses fr
o
m Syst
e
m
.
Stac
k
_Checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr
T
r
ojanek
ad
a
: Add tags
t
o war
n
ings
controlled by Warn
_
On_Redundant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Cleanup inconsi
s
t
ent itera
t
i
o
n over
e
x
cepti
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c B
o
tcazou
ada: Fix latent issue in support
f
or pro
t
e
cted entries
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botc
a
zou
a
da: Fix address manip
u
la
t
ion issue i
n
the
t
asking
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Ra
p
hael Amiard
ada: Make strin
g
interpolation
p
art o
f
t
h
e core
extensions
commit
|
commitdiff
|
tree
2023-05-23
Claire
Dross
ada: Up
d
ate
ghost co
d
e
for
pr
o
of
of integer input
f
unctions
commit
|
commitdiff
|
tree
2023-05-23
Arnaud
Cha
r
let
ada: Add new switch -g
n
atyz
commit
|
commitdiff
|
tree
2023-05-23
E
ric B
o
tcazou
ada: Fix
m
i
nor
address arithmetic issues in System
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Eric Botca
z
ou
ada:
Fix o
v
ersight in latest change
commit
|
commitdiff
|
tree
2023-05-23
Raphael Ami
a
rd
ada
:
Reorganiz
e
documentation of G
N
AT experimental
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
r
i
c Botcaz
o
u
ada: Fix resolution of mod o
p
erator of System
.
Stora
g
e_Elements
commit
|
commitdiff
|
tree
2023-05-23
Va
d
im God
u
n
ko
ad
a
: Remove unnecessary c
a
ll
to
Detach
.
commit
|
commitdiff
|
tree
2023-05-23
Ron
a
n
Des
p
lanques
ada: Fix reference to Ada issue
in comment
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c Botcazou
ada
:
F
i
x address
arithm
e
t
ic issu
e
s
in the expanded
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
E
ri
c
Botcazou
ada: Fix address arithmetic is
s
ues in the runtime
commit
|
commitdiff
|
tree
2023-05-23
Steve B
a
ird
ada: A d
i
scriminant
o
f a
v
ariabl
e
i
s
not a
variable
commit
|
commitdiff
|
tree
2023-05-23
Yanni
c
k
Mo
y
ada: Add def
a
ult value at ini
t
ialization for CodePeer
commit
|
commitdiff
|
tree
2023-05-23
Yannick Moy
a
da: Fac
i
litate pro
o
f of Int
e
rfa
c
es
.
C
.
To_Ada
commit
|
commitdiff
|
tree
2023-05-23
Eric Botc
a
zou
ada: Remove the body of S
y
ste
m
.
Storage_Elem
e
nts
commit
|
commitdiff
|
tree
2023-05-23
Javier Mir
a
nda
ada: Spurious errors on cla
s
s-w
i
de precon
d
itions of
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr
Trojanek
ad
a
: Turn assertions into defensive code in error
l
ocations
commit
|
commitdiff
|
tree
2023-05-23
Ronan Despla
n
que
s
ad
a
: Add mention of wh
a
t LSP stands
for
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
nek
a
d
a:
F
ix e
n
ding
s
of pretty-
p
rinted n
u
meric literals
commit
|
commitdiff
|
tree
2023-05-23
Eric Bo
t
cazou
ad
a
: Fi
x
inte
r
n
al
e
r
ror on
quantifie
d
expres
s
ion
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c
B
o
t
ca
z
ou
ada: Fi
x
b
o
g
us error
on pre
d
icated limited record dec
l
are
d
.
.
.
commit
|
commitdiff
|
tree
next