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: Minor tweaks for comparison operators
2023-06-15
E
ric B
o
tcazou
ada: Fix
too small seco
n
dary
s
tac
k
allocat
i
on for re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
B
otcazou
a
d
a:
Fix in
t
erna
l
erro
r
on loo
p
it
e
rato
r
filte
r
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada
:
Rever
t
latest change to Find_H
o
ok_Context
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ad
a
:
F
ix too small secondary sta
c
k allocation for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
Botca
z
ou
ada: Remove
d
ead
code in E
x
p
a
n
d_Itera
t
or_Lo
o
p
_
O
ver_Co
n
tainer
commit
|
commitdiff
|
tree
2023-06-15
Rona
n
Despla
n
ques
ada: Add e
s
c
ape hatch to co
n
figurable run-time
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
o
t
cazou
ada: Fix mis
s
ing finaliza
t
ion for ag
g
regat
e
s nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
J
o
ha
n
nes
K
liemann
ada: Adjust QNX Ada priorities to match QNX system
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Des
p
lanq
u
es
ada: Adjust com
m
ents in targparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accep
t
as
p
ect Always_Terminates on p
a
ckages
commit
|
commitdiff
|
tree
2023-06-15
Pi
o
tr Troj
a
ne
k
ada: Accept aspect Alw
a
ys_T
e
rminate
s
on entrie
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Tro
j
a
nek
ada: R
e
ject aspe
c
t Always_Terminates on functions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Botcazou
ada:
Fix missing
error on functio
n
call returnin
g
inco
m
plete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
onan Desplanques
ada: Fix mino
r
issues
i
n
comments
commit
|
commitdiff
|
tree
2023-06-15
Eric
Botcaz
o
u
a
d
a: Remo
v
e Ttyp
e
s
.
Max
_
Unaligned_Field
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Botcazou
a
da: Fix inv
e
rted implementa
t
io
n
o
f RM 8
.
4(10) clause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr
T
ro
j
anek
ada
:
Accep
t
aspect
Always_Terminates
w
ithout e
x
pression
commit
|
commitdiff
|
tree
2023-06-15
Javier Miran
d
a
ada: Crash o
n
C+
+
constru
c
tor of p
r
iv
a
te type
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Remove obsolete references f
o
r Build_Transient_Object_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Botca
z
ou
a
da
:
F
ix aspect Linke
r
_Section ignore
d
o
n
s
u
b
program
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojane
k
ada:
C
lean
u
p analysis of iterated component asso
c
iation
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada
:
Fi
x
decoration
o
f iterated
c
omponent associa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob
D
uff
ada: Ad
d
mi
s
s
i
ng ss_mar
k
/ss_re
l
e
a
se in quantified
e
xpressions
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
: Recogn
i
z
e ite
r
ated_co
m
ponent_association as re
p
e
a
te
d
l
y
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada
:
Recognize iterated
_
component_association a
s
p
otentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada
:
D
i
sable inlining in potentially unevalua
t
ed
co
n
texts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada: Implement
new aspec
t
Always_Termin
a
tes f
o
r SPARK
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Tro
j
anek
a
d
a: S
k
ip elabora
t
ion checks
for abstract subpro
g
ra
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fi
x
another case of
mis
s
ing Has_Pr
i
vate_View
flag
commit
|
commitdiff
|
tree
2023-06-13
Marc
P
oulhiès
ad
a
:
Fix iterated comp
o
ne
n
t init
i
alization
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix e
x
cepti
o
n r
a
ised
o
n inv
a
lid contract
in generic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcazou
ada:
F
ix spurious
e
rror on call to
f
uncti
o
n returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric B
o
tcazou
ada: Fix in
t
ernal error on imported fu
n
ction with pos
t
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
o
t
cazou
ada:
S
treamline expansion o
f
controlled
actions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
da: Re
m
o
ve obsolete code in Analyze_Assig
n
ment
commit
|
commitdiff
|
tree
2023-06-13
P
iotr
T
rojanek
ada: Remove unreferenc
e
d
r
outine Is_Inher
i
t
e
d_Operation_For_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric
Botcazou
ada: Small hous
e
keeping
w
or
k
in expansion of extens
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botcazou
ada: Fix wron
g
expansio
n
of
limited e
x
te
n
sion
a
g
gregate
commit
|
commitdiff
|
tree
2023-06-13
Ya
n
nick M
o
y
ada: Mark att
r
ibute Initiali
z
ed as ghost code
commit
|
commitdiff
|
tree
2023-06-13
Dan
i
el
K
ing
ada:
A
dd N
o
_Elaboration_Code
_
All
p
ragma
to System
.
S
torage_E
l
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcazou
ada:
Factor out
tag assignments from
type i
n
expander
commit
|
commitdiff
|
tree
2023-06-13
Yann
i
ck
Moy
a
d
a
: Use ghost predicat
e
in standard library
commit
|
commitdiff
|
tree
2023-06-13
Eric
Bot
c
azou
ada: Fix
expansio
n
of agg
r
egates wi
t
h
c
ontrol
l
ed comp
o
ne
n
ts
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
d
a
: F
a
ctor
c
ommo
n
p
r
oc
e
s
sing in expansion
of ag
g
regates
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ad
a
: Remo
v
e wrong comment about expansion of
e
x
c
eptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
a
d
a
: Clea
n
up
f
inding of loca
l
ly ha
n
dled exception handlers
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojanek
ada:
Cleanup expan
s
i
on of locally handled
exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Troja
n
ek
ada: Tune
st
y
l
e in det
e
ctio
n
of writable function actuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada:
Simplify
appending to a newly crea
t
ed
l
i
st
commit
|
commitdiff
|
tree
2023-06-13
Yannick Mo
y
ada: S
u
pport new GNAT-sp
e
c
ific
a
spect Ghost_Pred
i
ca
t
e
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojane
k
ada:
R
e
move expl
i
cit dec
o
ration of wrapper cre
a
ted
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
da:
Fix wrong access fo
r
qual
i
f
i
ed aggregate w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Fix
internal error on qualified agg
r
egate w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botca
z
ou
ada: Add
m
is
s
ing guard
s
for degene
r
ate stora
g
e
m
odels
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
ada:
Fix incorrect copies being used with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada:
F
i
x bogus Storage_Error on
dynamic a
r
ray with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcaz
o
u
ada: Fix
minor issue with Mod
o
perator
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcaz
o
u
a
da: Mi
n
o
r generic tweaks left a
n
d and
r
ight
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Make i
n
ternal
_
error_functi
o
n more robust
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
da
:
Adjus
t
again the implementat
i
o
n
of storage mode
l
s
commit
|
commitdiff
|
tree
2023-05-30
E
ric B
o
tcazou
a
d
a: Simplify the implementation
o
f sto
r
a
ge model
s
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
d
a
: Make use of Can
n
ot_Be_Superfl
a
t flag o
n
N_
R
ange
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Bo
t
cazou
ada: Disable PIE mode dur
i
ng t
h
e bui
l
d of the Ada front
-
end
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
ada: Fix sto
r
age
m
odel h
a
ndling
for dereferenc
e
as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otc
a
zou
ada: Sm
a
ll cleanups and fixes in expans
i
on of aggr
e
gates
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fix
wrong expansion of array
a
ggregate
with
n
oncontiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
a
da:
F
ix in
t
ernal error on array constant in expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fi
x
fallout of recent fix for missin
g
f
i
nalization
commit
|
commitdiff
|
tree
2023-05-30
Joel Brobeck
e
r
a
da
:
Add System
.
Tra
c
e
bac
k
.
Symbolic
.
Modul
e
_Name
s
u
ppor
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr T
r
ojanek
a
d
a: Only
bu
i
ld a
c
cess-to-su
b
pr
o
gram wr
a
ppers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ronan
D
esplanques
ada: Fix mino
r
issues in us
e
r's guide
commit
|
commitdiff
|
tree
2023-05-30
Joha
n
nes Kl
i
emann
ada: Ensure Def
a
ult_Stack
_
Size is g
r
eater than Mi
n
imum_Stack
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
ad
a
: Fix regression of secondary stack management i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric
Botcazou
ad
a
: Use ge
n
erali
z
ed
l
o
o
p
itera
t
io
n
in Put_Image
ro
u
tines
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic B
o
tcazou
ada: Fix
v
i
si
b
ili
t
y error
w
ith D
I
C
o
r Type_Invariant
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Cedric Land
e
t
ada: F
i
x co
d
ing style in in
i
t
.
c
commit
|
commitdiff
|
tree
2023-05-29
Cedric
Landet
ad
a
:
D
efine si
g
set for
s
y
s
t
e
ms that does not suport
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Cedric
Land
e
t
ada:
S
e
t
g-spogw
a
as a GNATRTL_SOCKETS_OBJS
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix spurious error on imported ge
n
er
i
c function
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Bot
c
azou
ada: Fix
m
emory leak
i
n e
x
pression function retur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Patrick
B
er
n
ardi
a
d
a: Use
C
ode_Address attr
i
bute to determine su
b
p
r
ogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
t
c
azou
ada: Call idio
m
atic rou
t
ine in Expand_Simple
_
Func
t
ion_Return
commit
|
commitdiff
|
tree
2023-05-29
Eri
c
B
otcaz
o
u
ada: Fix wrong finalizatio
n
for loop on indexed
co
n
t
ainer
commit
|
commitdiff
|
tree
2023-05-29
Eric Botca
z
o
u
ada: F
i
x bog
u
s error on condition
a
l
express
i
on with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
d
a: Fix crash on semi-recursive call in
a
cc
e
ss-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Attach p
r
e/pos
t
on access-to-s
u
bp
r
ogram to int
e
r
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
r
o
janek
a
d
a
:
Remo
v
e redunda
n
t protectio
n
ag
a
inst e
m
pty lists
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Tr
o
janek
ada:
Remo
v
e ext
r
a whitespace from FOR loops
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojan
e
k
ada: Cleanu
p
d
etection of type supp
o
rt subpro
g
ram
entities
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada:
F
i
x
wrong finaliza
t
ion fo
r
case e
x
p
ression in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: F
i
x
internal error with pr
a
gma Compi
l
e_Time
_
{
Warning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
t
cazou
ada: Fix small fallout of p
r
evious chang
e
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazo
u
ada: Fix remaining failures in Roma
n
Number
s
test
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcazou
ada: Fi
x
me
m
ory leak
in mult
i
-dimen
s
ion
a
l
a
r
ray ag
g
regat
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix wrong resu
l
t
f
or membershi
p
test o
f
n
u
ll in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
E
r
i
c
Botcazou
ada: Fix sm
a
ll fallo
u
t of
p
revious
c
h
a
nge
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix
wron
g
finaliza
t
ion for call t
o
BIP function
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troja
n
ek
ada: Ac
c
ept paramet
e
rs o
f
enc
l
osing subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Ma
r
c Poul
h
iès
ada: Fix crash
o
n vec
t
or initializ
a
t
ion
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojan
e
k
ada: Allow
attribute
s
like F
i
rs
t
and Last to be r
e
ad
.
.
.
commit
|
commitdiff
|
tree
next