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: Use ghost predicate in standard library
2023-06-13
Y
a
n
nick Moy
a
d
a: Use ghost predicate i
n
standard library
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcazo
u
ada:
Fix expansion of aggrega
t
es with cont
r
olled compone
n
ts
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
B
o
tca
z
ou
a
d
a: Fact
o
r common
pr
o
cessin
g
in expa
n
sio
n
of aggregates
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
roja
n
ek
ada:
R
emove wrong comment
about
expa
n
sion of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr
T
rojan
e
k
ada: Cleanup
fi
n
din
g
o
f
locally ha
n
dled exce
p
tion handler
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada
:
Cleanup expan
s
ion of
locally handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Tune styl
e
in dete
c
t
i
o
n
of writable function
a
ctuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
da: Simpli
f
y appending to
a newly cre
a
ted list
commit
|
commitdiff
|
tree
2023-06-13
Ya
n
n
ick Moy
ada: Suppor
t
new GNAT-specific asp
e
ct Ghost_Predicate
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
da
:
Remove explicit decora
t
ion
o
f wrapper crea
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
c
azou
ada: Fi
x
wrong
a
c
c
es
s
f
or q
u
a
lif
i
ed aggrega
t
e with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botca
z
o
u
ada:
Fix in
t
ernal er
r
or
on qual
i
fied a
g
greg
a
te
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Add missing
guards fo
r
degenerate
s
torage
m
odels
commit
|
commitdiff
|
tree
2023-05-30
Marc
Poulhiès
a
da: Fix
inc
o
rrect copies
being used with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazo
u
a
da: Fix
b
og
u
s S
t
orage_Error
o
n dy
n
am
i
c array wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada:
F
i
x min
o
r issue with Mod operator
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
ada: Minor generic tweaks left
a
nd an
d
ri
g
ht
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazo
u
ada: Ma
k
e internal
_
err
o
r_function more robust
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazo
u
ad
a
:
A
d
j
ust ag
a
in the i
m
plem
e
ntation of storage m
o
dels
commit
|
commitdiff
|
tree
2023-05-30
E
ric Bo
t
caz
o
u
ada: Simplif
y
the implementatio
n
of sto
r
age
m
o
d
els
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botc
a
zou
a
d
a: Make use of Cannot_Be_Superf
l
at flag on N_
R
ange
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada
:
Dis
a
ble
P
IE mo
d
e
during th
e
build of the
Ada front-
e
nd
commit
|
commitdiff
|
tree
2023-05-30
M
a
rc P
o
ulhiè
s
ada: Fix sto
r
age mo
d
el
h
andling f
o
r d
e
reference
a
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
a
da: S
m
all cl
e
anu
p
s
and fixes in expansion
o
f aggregate
s
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcaz
o
u
ada: Fix
w
r
o
ng expa
n
s
i
on of array a
g
gregate with
n
o
n
contiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
a
d
a: F
i
x internal e
r
r
o
r
on
array constant in expre
s
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Fix
fall
o
ut of re
c
ent
fix for
missing final
i
zation
commit
|
commitdiff
|
tree
2023-05-30
Joe
l
Brobe
c
ker
ada:
A
dd System
.
Traceba
c
k
.
Symbolic
.
Module_Name suppor
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
P
i
otr Trojan
e
k
ada: Only buil
d
acce
s
s
-
to-subprogram wrappers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ronan Desp
l
an
q
u
e
s
ada: Fix minor is
s
ues in user
'
s g
u
ide
commit
|
commitdiff
|
tree
2023-05-30
Johannes Kliemann
ad
a
: Ensure Default_Stack_Size is gre
a
ter than Minimu
m
_Stack
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Bo
t
ca
z
ou
ad
a
: Fix reg
r
ession of
secon
d
ary
s
tack
management in
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c
B
otca
z
ou
ada:
U
se generalized loo
p
iterat
i
on in Put_Image routines
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazo
u
a
da: Fix
v
isibili
t
y
err
o
r with DIC or Ty
p
e_Inva
r
iant
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Cedric Landet
a
d
a: Fix
c
oding s
t
yle in
i
n
i
t
.
c
commit
|
commitdiff
|
tree
2023-05-29
Ce
d
ric Landet
ada: Define sig
s
e
t for system
s
that
does no
t
su
p
or
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Cedric Lan
d
et
ada: Set g-sp
o
gwa as a GNATRTL_SOCKET
S
_
O
BJS
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
d
a: Fix spu
r
io
u
s error o
n
i
m
ported generi
c
functio
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
da: Fix memory lea
k
in expression f
u
nction returning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Patrick Bernardi
a
d
a: Use Code_Add
r
ess
a
ttribute
to
d
e
t
ermi
n
e subpro
g
ram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botc
a
zou
a
da: Call idiomati
c
routine in Expand_Simple_Function_Return
commit
|
commitdiff
|
tree
2023-05-29
Er
i
c
B
otcazou
a
d
a
: Fix
w
r
ong finalizati
o
n for
lo
o
p o
n
indexed
cont
a
i
ner
commit
|
commitdiff
|
tree
2023-05-29
Eri
c
Bot
c
a
z
ou
ad
a
: Fix b
o
gus err
o
r o
n
c
o
n
d
itional expr
e
ss
i
on
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Fix crash on semi-r
e
c
u
r
s
iv
e
call
i
n access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojanek
ada: Attach pre/post
on ac
c
ess-to-subprogra
m
to
int
e
r
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
ada:
Remove redundant
p
ro
t
ect
i
on against
e
mpty lists
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Remove ext
r
a whitespace f
r
o
m FOR
loops
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Cleanup detect
i
on of type support subprogram enti
t
ies
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
da: Fix
wrong finalization
f
o
r case expression i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazo
u
ada:
F
i
x int
e
rnal error with
pragma Compile_T
i
m
e
_{Warn
i
ng
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fi
x
small
f
all
o
ut
o
f
p
revious cha
n
ge
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix r
e
mai
n
ing fai
l
ures in Ro
m
an Numbe
r
s
t
est
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
otcazou
ada: Fix memory
leak in
mul
t
i-dimensi
o
nal array aggregate
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazo
u
ada: F
i
x wrong result f
o
r membersh
i
p
test o
f
null in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botca
z
ou
ada: Fix small fall
o
ut of pr
e
vious change
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botc
a
z
o
u
ada: Fix
wrong
f
in
a
liz
a
t
i
on f
o
r c
a
l
l
to BIP function
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
t
r
T
rojanek
ada:
A
ccept paramete
r
s of enclosing subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
M
a
r
c
Pou
l
hiès
ad
a
:
Fix crash on ve
c
tor
init
i
a
lizat
i
on
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojan
e
k
ada: Allow at
t
ributes like First and Last
to be read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
E
r
ic B
o
t
c
azou
a
da:
Repair sup
p
ort f
o
r user-d
e
fin
e
d
liter
a
ls in arithmetic
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Baird
ad
a
:
Default_
C
o
mpone
n
t_Va
l
ue trumps Initia
l
i
ze/Normaliz
e
_S
c
alar
s
commit
|
commitdiff
|
tree
2023-05-29
Ja
v
ier M
i
randa
ada: Crash o
n
aggrega
t
e for tagged
reco
r
d with di
s
crim
i
nant
s
commit
|
commitdiff
|
tree
2023-05-29
P
i
o
t
r
Tro
j
a
n
ek
ada: Reuse routine for get
t
ing from body
entity
to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr
T
ro
j
anek
ada:
Fi
x
retr
i
eval
o
f spec entity from entry body entity
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
da: Restore parent link for bot
h
lists and nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Arnaud Charlet
ada: Refining handling of inlini
n
g for C
C
G
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
d
a: Fix spurious error on nest
e
d instantiations w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Tune me
s
s
age for missin
g
'Resu
l
t in
C
ontrac
t
_
Cases
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Simpl
i
f
y
rem
o
val o
f
formals from the sco
p
e
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
rojanek
a
da: T
u
ne message fo
r
pre/
p
ost on access-to-subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Javier
M
i
randa
ada: Spurio
u
s
e
rror on string inter
p
ol
a
tion
commit
|
commitdiff
|
tree
2023-05-29
Johannes K
l
i
em
a
nn
ad
a
: Add QNX
spec
i
fic
v
ersion of Sy
s
tem
.
Parameters
commit
|
commitdiff
|
tree
2023-05-29
Yan
n
ick Moy
ada:
R
est
o
re SPARK_Mod
e
O
n
f
o
r numerical funct
i
ons
commit
|
commitdiff
|
tree
2023-05-29
M
a
r
c Poulhiès
ada: Fix restora
t
i
on
of parent link
commit
|
commitdiff
|
tree
2023-05-29
P
iot
r
Trojanek
ada: Analyze p
r
e/p
o
s
t
on access-to-subprogram with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
B
ob Duff
ada: Corrections to premature-r
e
fere
n
ces rules
commit
|
commitdiff
|
tree
2023-05-26
Bo
b
Duff
ada: Fix typos
"statment" and
"
cond
t
ion"
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: U
s
e
trunc
a
t
i
on for d
y
namic conversion
s
from floating
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
J
avier Miranda
ada:
C
rash on
f
unction r
e
turn
i
n
g al
l
ocated object conta
i
ning
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
a
d
a: Default initiali
z
e entit
y
to avoid C
o
dePeer m
e
ssa
g
e
commit
|
commitdiff
|
tree
2023-05-26
Yann
i
c
k
Mo
y
ada: Min
o
r
doc cl
a
r
i
f
ication
commit
|
commitdiff
|
tree
2023-05-26
Yann
i
ck Moy
ada
:
Complete contracts
of S
P
ARK units
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada: F
i
x crash on 'Img as generic actual function
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
o
j
a
nek
ada: Remove redu
n
dant guard against empty
l
ists
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botca
z
ou
ada: Fix double
f
re
e
on finalization of
V
ector in array
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric B
o
t
c
azou
ada: Fix i
n
ternal error
o
n
Big_Integer
c
onversion gho
s
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr
T
rojanek
ada: Simplify expansion of set membership
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ada:
C
leanup expansion
o
f membershi
p
o
p
er
a
tors into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Remove l
e
fto
v
er
code for count
i
ng
protected en
t
r
ies
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix detectio
n
of non-
s
ta
t
ic expressions in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
d
a: Reorder components in Ad
a
.
Containers
.
Boun
d
ed_Doubly_L
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Re
o
rder components i
n
Ada
.
C
o
ntainers
.
Res
t
ricte
d
_Doubl
y
_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Reject thin 'Unrestricted_Access value to aliased
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
oj
a
n
ek
a
da: Si
m
plify iteration over r
e
cord compo
n
ent
items
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
oj
a
n
e
k
ada: Fix
han
d
ling of Global contrac
t
s
i
nside generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Tune detection of exp
r
ession
funct
i
ons within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
J
a
v
i
er
M
ir
a
nda
ada: Crash on loo
p
in
d
ispatching condi
t
ional en
t
ry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
ada: Remove
r
e
dunda
n
t pr
o
te
c
tion a
g
ainst empty list
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
jane
k
a
d
a: Cleanu
p
s in
h
andling of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix
i
teration over co
m
pone
n
t
i
tems w
i
th
p
ragma
s
commit
|
commitdiff
|
tree
next