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 finalization of case expression in concatenation
2023-06-27
Eric Botca
z
ou
ada: Fix do
u
bl
e
finalization of case
e
xpressio
n
in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Er
i
c Botc
a
zo
u
ad
a
:
Fix
i
n
correct handling of i
t
er
a
tor sp
e
cificat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Claire Dr
o
ss
ada: Co
r
rect the con
t
r
a
ct of Ada
.
Text
_
I
O
.
Get
_
Line
commit
|
commitdiff
|
tree
2023-06-27
Eric
Botcazou
a
d
a: Fix too late finalization and secondary sta
c
k
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
o
t
cazo
u
a
d
a
:
Plug smal
l
loophole in th
e
handling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcaz
o
u
ada: Pl
u
g a
n
other loophole
i
n
the handling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Vi
l
jar I
n
dus
ada
:
U
p
d
ate printing
c
o
n
tainer
a
ggregates for deb
u
gging
commit
|
commitdiff
|
tree
2023-06-27
Viljar
Ind
u
s
ada: Fix expandi
n
g conta
i
ner aggreg
a
tes
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada: M
i
n
o
r
tweaks
commit
|
commitdiff
|
tree
2023-06-20
Ya
n
nick
M
oy
ada: Fix cra
s
h
on inlining in GNATprove
commit
|
commitdiff
|
tree
2023-06-20
E
ric Botcazou
ada: Further fixes to handling of
p
rivate views in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ro
n
a
n Desplanques
ada
:
Remov
e
o
u
tdated comment
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ad
a
: Fix
c
ouple of i
s
s
ues in do
c
um
e
ntation of ov
e
r
f
low
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
a
da: Do
n
ot is
s
ue warning on
postcond
i
tion i
n
some
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick
Moy
ada: Add the abi
l
i
ty to add error c
o
des to error
m
essages
commit
|
commitdiff
|
tree
2023-06-20
Piot
r
Trojanek
ad
a
: Fix for attribute Ra
n
ge in Exceptional_Ca
s
es
commit
|
commitdiff
|
tree
2023-06-20
Jose R
u
iz
ada: Do
c
um
e
nt
p
ar
t
ition-wid
e
Ada s
i
gnal h
a
ndlers
commit
|
commitdiff
|
tree
2023-06-20
P
i
otr Trojan
e
k
ada: Fix
f
or q
u
antified expres
s
i
o
n
s in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Bob Duff
ada: Fix bug in p
r
edi
c
ate ch
e
c
k
s
with add
r
es
s
clauses
commit
|
commitdiff
|
tree
2023-06-20
E
r
i
c
Botcazo
u
ada: Fix fal
l
out
o
f
f
ix to handlin
g
of
p
r
i
v
ate v
i
ews
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Dani
e
l King
ada: Ad
d
CH
E
RI
intrins
i
c bin
d
ings an
d
helper
f
unct
i
ons
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcaz
o
u
a
d
a: Smal
l
fixes to hand
l
ing of
p
rivate views in insta
n
ces
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcaz
o
u
ada: F
i
x
i
n
tern
a
l error
o
n ag
g
regate wi
t
hin container
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
G
h
juva
n
Lacambre
ada: Fix
-
fdiagnos
t
ics-forma
t
=
json not printing all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
E
ric Botcazou
ada: Intr
o
duc
e
-gnateH swit
c
h to force reve
r
se Bit_
O
rder
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick
M
oy
ad
a
: U
p
date annot
a
t
i
ons in runtime for proof
commit
|
commitdiff
|
tree
2023-06-20
Ma
r
c
P
o
ulhiès
a
d
a: Fix type derivation of sub
t
ype of
derived type
commit
|
commitdiff
|
tree
2023-06-20
G
h
juvan Laca
m
bre
ada: Pass Error_Nod
e
to c
a
lls to Error_
M
sg in lib-loa
d
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Cl
a
ire Dr
o
ss
a
d
a
:
Remove
references to Mig
h
t_N
o
t_Return and Always_Return
commit
|
commitdiff
|
tree
2023-06-20
Javier Mira
n
da
ada: Spu
r
ious error
on pa
c
ka
g
e instant
i
a
tion
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desplanques
ada: Fix
e
dge case in Ada
.
Calendar
.
Format
t
ing
.
Time_Of
commit
|
commitdiff
|
tree
2023-06-15
Marc
P
oulhiès
a
d
a: Remove unuse
d
fil
e
s
commit
|
commitdiff
|
tree
2023-06-15
Eri
c
Botcazou
ada: Fix wrong
c
ode fo
r
ACATS cd1c03i
on Morel
l
o target
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botcazou
a
d
a: Fix
w
r
o
n
g
finali
z
ation f
o
r double s
u
btyp
e
o
f b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanque
s
a
da:
M
a
ke minor improvements to user's guide
commit
|
commitdiff
|
tree
2023-06-15
Yan
n
ick Moy
ad
a
: Reject Loop_Entry inside prefix
of
Loo
p
_Entry
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix too
s
m
a
ll secondary stack allocat
i
o
n
for retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Bot
c
azou
ada: F
i
x
i
nternal
e
rror on
loop iterator filter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
Botcazou
ada: Revert latest ch
a
nge to
Find_Ho
o
k_Context
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Bot
c
azou
a
da: Fi
x
too sm
a
ll se
c
ondary stack al
l
ocation for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eri
c
Botcazou
ada:
R
emove dead code
in Exp
a
nd
_
Iterator_Loop_Over
_
Co
n
t
ainer
commit
|
commitdiff
|
tree
2023-06-15
Rona
n
D
esplanques
ada:
A
dd escap
e
h
atch to
c
onfigurab
l
e r
u
n-time
commit
|
commitdiff
|
tree
2023-06-15
E
ri
c
Botcazou
ada: Fix mi
s
s
in
g
fina
l
ization for aggrega
t
es nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johan
n
es
Klieman
n
ada
:
Adjust QNX Ada prioritie
s
to ma
t
ch QNX system
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: Adjust
c
ommen
t
s in
t
a
rgparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
P
iotr Troj
a
n
e
k
a
d
a: Accept aspect
A
lways_Terminates on packag
e
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojan
e
k
ada:
A
c
cept aspec
t
A
l
w
a
ys_Terminat
e
s o
n
entries
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojan
e
k
ada: Rejec
t
aspect Alw
a
ys_Termina
t
e
s on fun
c
tions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada:
F
ix mis
s
ing error
on fu
n
ction call
returning incompl
e
te
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
o
n
an
Desplanques
ad
a
:
F
ix mino
r
i
ssues i
n
comments
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
B
o
t
caz
o
u
ada:
R
e
mo
v
e Ttypes
.
Max_U
n
aligned_Fi
e
l
d
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazo
u
ada: Fix inverted imp
l
em
e
ntati
o
n of RM 8
.
4(10) clause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
iotr
Tro
j
an
e
k
a
d
a: Accept aspect
Always_Termin
a
tes without expression
commit
|
commitdiff
|
tree
2023-06-15
Javier Mira
n
d
a
ada
:
C
rash on C++ co
n
structor
of
pr
i
vate type
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
da:
Remove obsolete refer
e
nces
for
Build_Transient_Ob
j
ect_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
ric
Botcazou
ad
a
: Fix asp
e
ct Linker_Section ignored on subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Tro
j
anek
ada: Cleanu
p
a
nalysi
s
of
iterat
e
d component a
s
sociation
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
rojanek
ada: Fix decoration of iterated componen
t
associati
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob Duff
ada
:
Add
missing
s
s_
m
ark/ss_release in quantified
e
xpre
s
sions
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
d
a: Recogniz
e
iterated_component_association as re
p
ea
t
ed
l
y
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
d
a
:
R
ecog
n
ize iterate
d
_compon
e
nt_association as potentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojanek
a
da: Disable inlining in poten
t
i
all
y
unevaluated contex
t
s
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr
T
rojanek
ada:
Implemen
t
new
aspe
c
t A
l
ways_T
e
r
mi
n
ate
s
for
SPARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada: Skip elabor
a
tion checks for abstract
subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
o
t
cazou
a
d
a:
Fix
another case of
m
i
ssin
g
H
as_Private_
V
ie
w
flag
commit
|
commitdiff
|
tree
2023-06-13
Ma
r
c Poulh
i
ès
ada: Fix iterated
c
omp
o
nen
t
initialization
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botcazou
a
d
a
: Fix exce
p
t
i
on r
a
ised o
n
in
v
alid contract i
n
generi
c
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
i
c
Botcazou
ada: F
i
x spurious e
r
ro
r
o
n call to fu
n
ction returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcaz
o
u
ada: Fix internal
e
r
ror on imp
o
rted function with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
B
otca
z
ou
ada: Str
e
amline e
x
pans
i
on of controlled
act
i
ons
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
i
c
Botcazou
ada: Remove obsolete c
o
de in Analyze
_
Assignme
n
t
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
ada: Remove unreferenced routin
e
Is_Inhe
r
ited_Operation
_
For_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
azou
ada: S
m
all hou
s
ekeeping w
o
rk i
n
expansion
o
f extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic
Botcazou
a
d
a
:
F
i
x wrong expa
n
sion
o
f
limited extension a
g
gregate
commit
|
commitdiff
|
tree
2023-06-13
Y
anni
c
k
M
oy
ada: M
a
rk attri
b
ute Initialized as ghost
c
ode
commit
|
commitdiff
|
tree
2023-06-13
Daniel Kin
g
ada:
A
dd No
_
Elaboration
_
Code_All pra
g
ma to
S
ystem
.
S
torage_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Factor out
t
a
g ass
i
gnm
e
nts from
ty
p
e in ex
p
an
d
e
r
commit
|
commitdiff
|
tree
2023-06-13
Yann
i
ck Moy
ada: Use ghos
t
predicate
in standar
d
library
commit
|
commitdiff
|
tree
2023-06-13
Eric Bo
t
cazou
ada: Fix
e
x
p
ansion of aggreg
a
t
e
s with con
t
rolled
c
o
mponents
commit
|
commitdiff
|
tree
2023-06-13
Eric Botc
a
zou
ad
a
: Factor comm
o
n
p
r
oc
e
ssing
in ex
p
a
n
s
ion of
a
ggregate
s
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
t
r Tr
o
ja
n
ek
ada: Remove
wr
o
ng commen
t
ab
o
ut expa
n
sion of exc
e
pti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr
Tro
j
anek
ada: Cleanup finding o
f
locally ha
n
dl
e
d
ex
c
eption
ha
n
dlers
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
Cleanup ex
p
ansion of loc
a
lly handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
ada: Tune sty
l
e in det
e
ction
o
f writabl
e
functio
n
ac
t
uals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Simplify
ap
p
ending to a
n
ewly cre
a
ted list
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada
:
S
u
p
p
ort ne
w
GNAT-specif
i
c
aspect Ghost_Pred
i
ca
t
e
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada
:
Remo
v
e expl
i
cit de
c
orat
i
on of wra
p
per
c
reated
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcaz
o
u
ad
a
: Fix wrong
a
cce
s
s for qualified aggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
i
c
B
o
tcazou
ada: F
i
x inte
r
n
al error o
n
qua
l
ified
aggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada
:
Add missi
n
g guards for degener
a
t
e
st
o
rage models
commit
|
commitdiff
|
tree
2023-05-30
Marc Po
u
lhiès
ada:
Fix inc
o
rre
c
t c
o
pi
e
s being u
s
ed with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
da: Fix bogus Storag
e
_Error on dynamic arr
a
y
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
i
c Bo
t
cazou
ada: Fix
m
inor issue wi
t
h Mod operato
r
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Mi
n
or gen
e
ric tweaks l
e
f
t and an
d
right
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada:
M
ake i
n
te
r
n
a
l_error_fun
c
tion more robu
s
t
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otcazou
ad
a
: A
d
jus
t
again t
h
e
i
mplementation
o
f stor
a
ge
models
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazou
ada: Simplify
the implementation of storage
m
od
e
ls
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazo
u
a
d
a:
Make
u
se of Cann
o
t
_
B
e
_Superflat
fla
g
on N_R
a
nge
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada:
D
isable P
I
E
mode
d
u
ring th
e
build
o
f the Ada front-end
commit
|
commitdiff
|
tree
2023-05-30
Marc Pou
l
hi
è
s
ada: F
i
x storage
model
handli
n
g for
d
erefer
e
nce
a
s
.
.
.
commit
|
commitdiff
|
tree
next