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 internal error on aggregate within container aggregate
2023-06-20
Eric Botcazou
ada
:
Fix internal error on a
g
gregate within cont
a
iner
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Gh
j
u
van Lacamb
r
e
ada: F
i
x -fdiagnos
t
ics-forma
t
=
j
son n
o
t print
i
n
g
all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada:
I
ntro
d
uce -gnat
e
H swit
c
h
to force
r
everse
B
i
t_Order
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yann
i
ck Moy
ada: Update an
n
otations
i
n runtim
e
for proof
commit
|
commitdiff
|
tree
2023-06-20
Marc Poulhiès
ada: Fi
x
type derivat
i
on of subtype of derived type
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Lacambre
ada: Pas
s
Erro
r
_Node to calls to Error_Msg in lib-
l
oad
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire Dro
s
s
ada: Remove re
f
ere
n
ces to M
i
ght
_
Not_Return and
Al
w
a
y
s
_Return
commit
|
commitdiff
|
tree
2023-06-20
Javier Miranda
ada:
S
purious
error
o
n pa
c
kage instan
t
iatio
n
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desp
l
anques
ada: Fix edge case in Ada
.
Calendar
.
For
m
at
t
in
g
.
T
i
me_Of
commit
|
commitdiff
|
tree
2023-06-15
Marc
P
o
ulhiès
ada:
R
e
move unus
e
d files
commit
|
commitdiff
|
tree
2023-06-15
E
ric Bo
t
caz
o
u
a
da: Fix wrong c
o
de for ACATS cd1c03
i
on Morello targ
e
t
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
B
o
tcazou
ada:
Fix wrong f
i
nalizati
o
n for dou
b
le subtype of bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
o
na
n
Desp
l
anques
ada:
M
ake mi
n
or i
m
provement
s
to
u
ser's guide
commit
|
commitdiff
|
tree
2023-06-15
Yan
n
i
ck M
o
y
ada: Reject L
o
op_Ent
r
y inside prefix of
L
o
o
p
_
Entry
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
caz
o
u
ada: Fix too
sma
l
l se
c
ondary st
a
c
k
a
llocati
o
n for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a
:
Fix internal err
o
r on
l
o
op i
t
e
rator filter wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazo
u
ad
a
: Reve
r
t latest chan
g
e to Find_Ho
o
k_Context
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Bot
c
azou
ada:
F
ix to
o
s
m
all s
e
c
ondary stack alloca
t
ion for retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
ric
Botcazou
ada: Re
m
o
ve dead code
in Expand_Iterator_Loop_Over_Container
commit
|
commitdiff
|
tree
2023-06-15
Ronan
D
e
s
plan
q
ues
ada
:
Add escap
e
hatch
t
o c
o
nfigurable r
u
n-tim
e
commit
|
commitdiff
|
tree
2023-06-15
Eric B
o
tcazou
ada:
F
ix m
i
ssi
n
g final
i
zation for agg
r
egates nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Joha
n
ne
s
K
liema
n
n
a
d
a
: Adjust QN
X
A
d
a
prioritie
s
t
o
m
atch QNX
s
ystem
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan D
e
s
planques
ada:
Adjust
c
o
mments in targparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Acc
e
pt a
s
pect Always_
T
er
m
inates on packages
commit
|
commitdiff
|
tree
2023-06-15
Piotr
T
r
o
jane
k
ada: Accept as
p
ect Always_Termin
a
te
s
on ent
r
ies
commit
|
commitdiff
|
tree
2023-06-15
P
i
otr Trojanek
a
d
a: Re
j
ect aspect Al
w
ay
s
_Term
i
n
ates on
f
unctions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Botcazou
ada:
F
ix missing erro
r
on funct
i
on ca
l
l
returning
incomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: Fix
m
inor
i
ssues
i
n
commen
t
s
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botcazou
ada: Remove Tty
p
es
.
Max_Unaligned_Field
commit
|
commitdiff
|
tree
2023-06-15
Eric Bot
c
azou
ada: Fix inverted imp
l
ementation of
R
M
8
.
4
(10)
c
la
u
se
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Trojanek
ada
:
Acc
e
pt a
s
pe
c
t
Always_Ter
m
inates witho
u
t ex
p
ression
commit
|
commitdiff
|
tree
2023-06-15
Javier
Miranda
ada:
Cra
s
h
on C++ constructor
of pr
i
vate type
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Botcazou
a
da:
R
em
o
ve obsolete
references for B
u
ild_Transi
e
n
t_Object
_
S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ad
a
: Fi
x
a
s
pect Li
n
k
e
r_Section
i
g
nored on sub
p
rogram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojan
e
k
ada: Cleanup anal
y
s
is of ite
r
a
t
ed component a
s
s
o
ciation
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Tro
j
anek
ada:
F
ix
d
ecor
a
t
ion
of it
e
rated c
o
mpone
n
t
a
s
s
o
ciation
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob
D
u
f
f
ad
a
:
Ad
d
missing ss_mark/ss_rel
e
ase
in quantified expres
s
ion
s
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
tr T
r
o
janek
ada: Reco
g
nize i
t
e
r
a
ted_compon
e
nt_association as r
e
pea
t
edly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
ada:
R
eco
g
nize ite
r
ated_component_associ
a
tion as pot
e
nt
i
a
lly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
a
nek
ada: Disable
i
nlinin
g
in potentially unevaluated cont
e
xts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada
:
Implement new aspect Always
_
T
erminates
f
o
r SPARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojan
e
k
a
d
a: Skip el
a
b
ora
t
ion checks fo
r
abstract
s
u
b
programs
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botc
a
zou
a
da: Fix
a
n
o
t
her case of miss
i
ng Has_Private_View flag
commit
|
commitdiff
|
tree
2023-06-13
Marc Poulhiès
ada: Fix iterat
e
d comp
o
nen
t
i
nitializat
i
on
commit
|
commitdiff
|
tree
2023-06-13
E
ric Bo
t
cazou
ada: Fix
exc
e
p
t
ion
raised on i
n
valid contrac
t
in gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
ric
B
o
t
cazo
u
ada: Fix spuri
o
us er
r
or on call to function returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada:
F
ix internal e
r
ror on import
e
d
fun
c
tion with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Er
i
c
Botcazou
ada: Streamline expan
s
ion of
c
ontro
l
led
a
c
t
ions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ad
a
:
Remove obsole
t
e code in Analyze_Assi
g
n
m
ent
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Remove unreferenced routine I
s
_Inherite
d
_Operation_For_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
o
t
cazou
ada: Small houseke
e
p
ing w
o
rk in e
x
pansion of extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bo
t
cazou
ada: Fix wro
n
g e
x
pansion of limited ext
e
n
s
ion agg
r
egate
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada:
M
ark
attribute Init
i
a
l
iz
e
d as ghost
c
ode
commit
|
commitdiff
|
tree
2023-06-13
Daniel King
ad
a
: Ad
d
No_Elaboration_Code_All pragma
t
o System
.
Storag
e
_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
da: Fac
t
or out
t
ag assignments f
r
om type in expander
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada: Use ghost predicate in
s
tandard l
i
brary
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix expan
s
ion
of aggregates with
c
ontrolled comp
o
nents
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
o
t
cazou
ada:
Fac
t
or
common proce
s
sing in
e
xpansion of aggregates
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojanek
ad
a
: Remov
e
wrong comment about expansion of exce
p
ti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Cleanu
p
f
ind
i
ng of locally handled
exception han
d
l
e
rs
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Tro
j
anek
a
da: Cl
e
anup
expa
n
sion of
l
ocal
l
y handle
d
exceptio
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Troja
n
ek
ada: Tune style in
de
t
ection of writable funct
i
on
a
ctuals
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
tr Trojan
e
k
ada: Simpl
i
fy appending to a newly cr
e
ated list
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
a
d
a: Support n
e
w GNAT-sp
e
cific aspect
G
h
o
st_Predica
t
e
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada: Remove
e
xp
l
icit d
e
c
o
rati
o
n of wr
a
p
per created
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada
:
Fix wro
n
g access for q
u
a
lified a
g
greg
a
te with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botca
z
ou
ada: Fix internal
e
r
r
or on qualified aggre
g
at
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazo
u
ada: Add missing gua
r
ds
f
or degenerate storage m
o
del
s
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
a
d
a:
Fix in
c
orrect co
p
ies being u
s
ed with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c
Botcazou
ada: Fi
x
b
o
gus
S
torage_Er
r
or on
dynamic array
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
o
tcazou
ada:
F
i
x
m
in
o
r issue with Mod operator
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcaz
o
u
ada: Mino
r
generic tw
e
aks left and
and
r
i
ght
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada:
M
ake intern
a
l
_error
_
f
u
nction more r
o
b
u
st
commit
|
commitdiff
|
tree
2023-05-30
E
r
i
c
Botcazou
ada:
A
djust again the
imple
m
entation of
stora
g
e models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Si
m
pli
f
y
the imp
l
ement
a
tion
o
f sto
r
a
g
e mod
e
ls
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
cazou
ada: Make
use of Ca
n
n
ot_Be_
S
u
perflat fla
g
on N
_
Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Bo
t
caz
o
u
ada: Disable PIE mode during t
h
e build of
the Ada front-e
n
d
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
ada: F
i
x storage mod
e
l han
d
l
i
ng for de
r
e
fere
n
c
e
as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric B
o
tca
z
ou
ada: S
m
all cleanups
a
nd
f
i
x
e
s in expansion of agg
r
egates
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fix wr
o
ng expansi
o
n of
a
rray aggregate wit
h
noncontiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic B
o
tca
z
ou
ada: Fi
x
internal err
o
r on array
c
ons
t
a
nt in exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada:
F
ix fallout of re
c
en
t
fix
fo
r
miss
i
ng final
i
za
t
ion
commit
|
commitdiff
|
tree
2023-05-30
Joel Brobecker
ada: Add System
.
Traceba
c
k
.
Sy
m
bo
l
i
c
.
Modu
l
e_Name
support
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr
Trojanek
a
da:
O
nly build access-to
-
subpr
o
gram wrapp
e
rs when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
R
o
nan Despl
a
nques
ada: Fix minor issue
s
in user's
g
u
i
de
commit
|
commitdiff
|
tree
2023-05-30
Johannes Kliemann
ada: Ensure Default_Stack_S
i
ze is gr
e
ater than
M
inimum
_
Stack
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
d
a: F
i
x regression of secondary stack man
a
gement
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Use generalized
l
o
o
p
iterati
o
n in Put_Image routines
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
a
d
a
:
Fix
v
i
sibility error with DIC
o
r T
y
pe_Invarian
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Cedric Landet
ada: Fix coding style in
i
nit
.
c
commit
|
commitdiff
|
tree
2023-05-29
Cedric La
n
det
ada: Define sigset for syst
e
ms that does not sup
o
rt
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
C
edri
c
La
n
d
et
a
d
a
: Se
t
g-
s
pogwa a
s
a GNATRT
L
_
S
O
CKETS_OBJS
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: F
i
x spurious err
o
r on im
p
o
r
ted generic function
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
d
a:
F
ix me
m
ory leak in expression function returning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Patrick Bernardi
ada: Use
C
o
de_Add
r
e
s
s attribute
t
o
determi
n
e subpr
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
o
tcazou
ada: Call idiomat
i
c
routine in
Exp
a
n
d_
S
i
m
ple_Function_Re
t
urn
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
tca
z
ou
a
d
a: Fix wr
o
ng f
i
na
l
iz
a
tio
n
f
o
r
loop on indexed contai
n
er
commit
|
commitdiff
|
tree
2023-05-29
Eric Botc
a
zou
ada: Fix bogus error on co
n
d
i
t
i
o
n
al e
x
pression
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
j
anek
ada: Fix cra
s
h
on semi-
r
ecursive call in access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
ja
n
e
k
ada: At
t
ach
p
re/post
o
n
ac
c
ess-to-subprogram t
o
intern
a
l
.
.
.
commit
|
commitdiff
|
tree
next