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: Make use of Cannot_Be_Superflat flag on N_Range nodes
2023-05-30
Eric Botca
z
ou
ada:
M
ak
e
use o
f
Cannot_Be_Su
p
er
f
l
at flag on N_Ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
a
da: Disabl
e
PI
E
mode during the build of th
e
Ada fr
o
nt
-
end
commit
|
commitdiff
|
tree
2023-05-30
M
arc P
o
ulhiès
ad
a
: Fi
x
stor
a
ge mod
e
l handlin
g
f
or dereference as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazou
ada:
S
m
a
ll cle
a
nup
s
and fixes
i
n expansion of aggr
e
g
at
e
s
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Bot
c
azou
ada
:
Fix w
r
ong
e
xpansion of array a
g
grega
t
e wi
t
h non
c
o
n
t
i
guo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botc
a
zou
ada: Fix inter
n
al er
r
or
on a
r
r
ay constant
i
n expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazou
ada
:
F
ix fa
l
lout of re
c
ent
f
ix
f
or missing finaliz
a
tion
commit
|
commitdiff
|
tree
2023-05-30
Joel
Brobe
c
ker
ada: Add System
.
Traceba
c
k
.
Symbolic
.
Module_Name support
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Pio
t
r Tr
o
janek
ada: Only build access-to
-
s
u
bpro
g
ram w
r
appers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ro
n
an Desplanques
ad
a
: Fix mi
n
or issues i
n
user's
g
u
ide
commit
|
commitdiff
|
tree
2023-05-30
Johannes
Kl
i
em
a
nn
ada
:
Ensure
D
ef
a
u
lt_S
t
ack_S
i
ze is
greater than Minimum_Stac
k
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada: Fix
regr
e
ssion
o
f secondar
y
s
t
a
ck
ma
n
agement in
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric
B
o
tcazou
ada: Use
g
eneralized loop iter
a
tion
i
n
P
ut_Image routines
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botc
a
zou
ada: Fix visibility
error
with
D
IC or Type_I
n
v
ariant
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Cedric Landet
ad
a
: F
i
x coding style in
i
nit
.
c
commit
|
commitdiff
|
tree
2023-05-29
Cedric
Landet
ada: Define si
g
set fo
r
s
y
stems that do
e
s not suport
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Ce
d
ric Landet
a
d
a
: Set g
-
s
pogwa as a GNATRTL_SOCKE
T
S_OBJS
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ad
a
: Fix spuri
o
u
s
error
o
n
i
mp
o
r
ted g
e
n
e
r
ic
f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazo
u
ada: Fix memor
y
leak in ex
p
ression
f
uncti
o
n
re
t
urning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pa
t
ri
c
k Bernard
i
a
d
a: Use Code_Address attribute to
d
etermine subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Er
i
c
Botca
z
ou
ada: Call idiomatic rou
t
ine in Expand_Simple_Function_Return
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
o
t
cazou
ada: Fix wron
g
fin
a
lizat
i
on f
o
r loop on indexed container
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
otcaz
o
u
ada: Fi
x
bogus
error on conditional e
x
pres
s
ion
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada: Fix crash
on semi-rec
u
rsiv
e
call
i
n
a
c
c
e
ss-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Att
a
ch
pre/p
o
st on acce
s
s-to-s
u
bprogram t
o
internal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
rojanek
a
d
a: Remo
v
e
redundant protection aga
i
n
s
t em
p
ty li
s
ts
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
oja
n
ek
a
d
a
:
Remo
v
e extra white
s
pace
from FOR loops
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Troja
n
ek
ada: Cleanu
p
detection of type support subp
r
ogram
entities
commit
|
commitdiff
|
tree
2023-05-29
Eric Bo
t
cazou
ada: Fix wrong fina
l
ization for ca
s
e
e
xp
r
e
ssion
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
t
cazou
ada: F
i
x int
e
r
n
al
e
rror with
p
rag
m
a Co
m
pi
l
e_Ti
m
e_{Warni
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcaz
o
u
a
da: Fix sma
l
l fallout of
previous chang
e
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcazou
ada: Fix remaining fai
l
ures in Rom
a
n
Numbers tes
t
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
tcazou
ada: Fix memory leak
i
n multi-dimensional
array agg
r
egate
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcazou
ada: Fix
w
r
o
ng re
s
ult for membershi
p
t
e
st of
n
ull
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix smal
l
fallout of
p
r
evious ch
a
n
g
e
commit
|
commitdiff
|
tree
2023-05-29
Eri
c
Botcazou
ada
:
Fix wrong finaliza
t
ion fo
r
call to BIP fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Accept parameters of enclo
s
in
g
subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Marc Poulhiès
ada: Fix crash on vector initi
a
l
i
zation
commit
|
commitdiff
|
tree
2023-05-29
P
i
ot
r
Trojan
e
k
ada:
A
llo
w
attrib
u
t
es
like First and
L
a
st to be read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada
:
Repair support
f
or user-defined literals
i
n
arithmetic
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Ba
i
rd
ada: Default_Compone
n
t_Value trum
p
s Initialize/No
r
malize_Scalars
commit
|
commitdiff
|
tree
2023-05-29
J
a
vier
M
iranda
ada: Cras
h
on aggregate for t
a
gged record
w
ith discri
m
inants
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r
Troj
a
n
e
k
ada: Reuse routi
n
e for getting f
r
o
m
bod
y
entity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
F
ix
retr
i
eval of spec e
n
tity
f
rom entry body entity
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Restore pa
r
ent link fo
r
b
oth lists and
n
ode
s
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Arnaud Charl
e
t
ada
:
R
e
fining handling of i
n
lining for CCG
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix spuriou
s
error
o
n nest
e
d
inst
a
nt
i
ations
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Tune
messag
e
for missing
'
Result in Contract_Cases
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
T
r
ojanek
ada: Si
m
pl
i
f
y removal of formals from th
e
scope
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
a
d
a
:
Tune message for pre/post on
a
c
c
ess-to-su
b
program
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Javier Miran
d
a
ada: Spu
r
ious error on string inte
r
polation
commit
|
commitdiff
|
tree
2023-05-29
Johannes
K
l
iemann
ada: Add Q
N
X spec
i
fic ver
s
ion of
S
ystem
.
Para
m
eters
commit
|
commitdiff
|
tree
2023-05-29
Yannick Moy
ada: Restore SPAR
K
_Mo
d
e On
f
or numerical functions
commit
|
commitdiff
|
tree
2023-05-29
Marc Poulhiès
ada:
F
ix
re
s
to
r
ation
o
f par
e
nt
l
i
nk
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojan
e
k
ada
:
Analyze pre/post on access-to-subprogram w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Bo
b
Duff
ada:
C
o
r
r
e
ctions to premat
u
r
e
-re
f
erences rul
e
s
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada
:
F
ix
t
y
p
o
s "stat
m
ent
"
a
n
d "condtion"
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Botcazou
ada: Use t
r
un
c
ation for dyna
m
ic
co
n
v
e
rsions
f
r
o
m
f
loating
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ad
a
: Cra
s
h
on fu
n
ction returning allocated object
containing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Y
a
nnick Moy
ada:
Defau
l
t
i
niti
a
lize entity to av
o
id
C
odePe
e
r
mes
s
a
ge
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
ada: Minor doc clarification
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
ada: Complet
e
contracts of
SPARK unit
s
commit
|
commitdiff
|
tree
2023-05-26
Bob Du
f
f
a
d
a
:
Fix crash
on 'Img as generic actual function
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojan
e
k
ada: Remo
v
e redundant guar
d
a
ga
i
nst empty list
s
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
B
otcazou
ada:
F
ix double free on
f
i
n
a
lization of Vector in ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c Botcazou
ada: Fix inter
n
al er
r
or on Big_Integer conversion ghost
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
ada: Si
m
plify
e
x
pansion
of set membe
r
ship
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Cleanup e
x
pansion of membersh
i
p
o
perators into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
anek
a
da: Re
m
ov
e
lefto
v
e
r
code
f
o
r
counting
p
rotect
e
d entries
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada: Fix detection of non-static e
x
p
r
e
ssi
o
n
s
i
n re
c
o
r
d
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Bot
c
azou
ada: Reor
d
er
c
o
mponents in
A
d
a
.
Cont
a
iner
s
.
Bounded_D
o
ub
l
y_Lin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Reorder
c
omponents in Ada
.
Containers
.
Restricted_
D
oubl
y
_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
otcazou
ada: Reje
c
t th
i
n 'Unre
s
tricted_Acces
s
v
al
u
e to alias
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Simplify i
t
era
t
ion over record co
m
ponent
i
te
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
a
da:
F
ix handling of Global contracts insid
e
gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Tune det
e
c
t
ion o
f
e
xpression funct
i
ons within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ier Mir
a
nda
a
da:
C
ras
h
on
l
oo
p
in di
s
patching con
d
i
t
i
onal entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Tr
o
jan
e
k
ada: Remove redundant
p
rotect
i
on against empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
ek
a
d
a
: Cleanups in handli
n
g o
f
aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada
:
Fix i
t
e
r
ation over compo
n
en
t
items with pragm
a
s
commit
|
commitdiff
|
tree
2023-05-26
Javie
r
Miranda
ada:
D
uplicate decla
r
ation of _master
entity
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
da: Re
m
ov
e
redundant guards from
h
andli
n
g of recor
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazo
u
a
d
a
: Remove Is_Des
c
endant_Of
_
Address flag from Standard_Address
commit
|
commitdiff
|
tree
2023-05-26
G
hjuvan Lacambre
ada: Hand
l
e new Controlling_Tag f
o
rm
a
t
w
h
en conver
t
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Troja
n
ek
ada: Use con
t
ext variable
s
in expansion of aggr
e
gates
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
otcazou
ada: Fix m
i
ssing final
i
za
t
i
o
n
i
n l
i
brary-level insta
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric
Bot
c
azou
ada: Min
o
r
tweak
in condition
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada:
S
i
mplif
y
expansion
o
f
position
a
l
a
ggr
e
gates
commit
|
commitdiff
|
tree
2023-05-26
Doug Rup
p
ada: Us
e
c
ompute
d
value fro
m
os_consta
n
ts to defi
n
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric Botcazou
a
d
a:
F
ix another couple of unche
c
k
ed
c
on
v
ersions to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
anek
ada:
R
efine types for a
n
ac
c
essibility-
c
hecking
r
outine
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
a
da: Clea
n
style
i
n expansio
n
of array aggregates
commit
|
commitdiff
|
tree
2023-05-26
Ronan Des
p
lanques
ada: Fix
l
ate
extra formals creation
commit
|
commitdiff
|
tree
2023-05-26
Eric B
o
tc
a
zou
ad
a
: Add missing guards in Select
e
d_R
a
nge_Checks
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
da
:
Enhance
I
s_Null_Rang
e
an
d
Not_Null_Range
p
redicates
commit
|
commitdiff
|
tree
2023-05-25
Ja
v
ie
r
Miranda
ada: Missing warning on null-excluding array aggrega
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
E
xpect Ex
c
epti
o
nal_Cas
e
s as a context f
o
r attribu
t
e
O
ld
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
ro
j
a
nek
ada: Use pro
c
edural
varian
t
of Next_Index
wher
e
p
o
ssible
commit
|
commitdiff
|
tree
2023-05-25
J
a
vier
M
iranda
ada: Crash on empty aggregate
u
sing the Ada
2
022 n
o
tat
i
o
n
commit
|
commitdiff
|
tree
2023-05-25
Joh
a
nnes
K
liem
a
nn
ada:
E
n
a
b
l
e Suppor
t
_
Atomic_Prim
i
t
i
ves on V
x
W
o
rks
7
P
PC
commit
|
commitdiff
|
tree
next