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: Pass Error_Node to calls to Error_Msg in lib-load.adb
2023-06-20
Ghjuvan Lac
a
mbre
ada:
Pass
E
rro
r
_Node to calls to Erro
r
_Msg in lib-load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire Dross
ada: Remove re
f
erences
to Mi
g
ht_Not_Return and Alw
a
ys_Return
commit
|
commitdiff
|
tree
2023-06-20
Javi
e
r Miranda
a
d
a: Spurious error
on
package instanti
a
tion
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desp
l
anque
s
ada: Fix ed
g
e c
a
se in Ada
.
Calendar
.
Forma
t
ting
.
Time_Of
commit
|
commitdiff
|
tree
2023-06-15
Marc Poulhiès
ada: Remove unused files
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
da: Fix wrong code
f
or ACATS
c
d1c03i on Morello
t
a
r
get
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
z
ou
ad
a
: Fix wr
o
ng finalization for double subtype of bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanq
u
es
a
d
a: Ma
k
e
m
i
nor improve
m
ents to use
r
's g
u
ide
commit
|
commitdiff
|
tree
2023-06-15
Y
a
nnick M
o
y
ada: Reject Loop_Entry i
n
sid
e
p
r
efix of Loop_E
n
try
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
o
tcazou
ada: Fix too small
s
econd
a
ry stack all
o
cation for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
o
tcazou
ada:
F
ix intern
a
l error
on loop itera
t
or
f
i
l
ter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
ric B
o
tca
z
ou
a
da: Revert latest change to
F
i
nd_
H
ook_Context
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fi
x
too small s
e
cond
a
ry sta
c
k allocat
i
on for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
z
o
u
ada: Remov
e
de
a
d code in Expand_Iterator_Loop_Ove
r
_Container
commit
|
commitdiff
|
tree
2023-06-15
R
o
na
n
De
s
plan
q
ues
a
d
a:
Add escape
hatch to configurable run-tim
e
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ada: Fix missing finali
z
ation for aggregates nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johannes Kliemann
ada
:
Adjust
QNX
A
da prio
r
it
i
es to match QNX system
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Rona
n
De
s
p
lan
q
ues
a
da: Adjus
t
c
omments in
t
argparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accept
a
spect
A
lways_
T
erminates on packa
g
es
commit
|
commitdiff
|
tree
2023-06-15
P
i
otr Tro
j
ane
k
ada: Acce
p
t
aspec
t
Always_T
e
r
m
inat
e
s on entries
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Reject as
p
ec
t
Al
w
ays_T
e
r
mina
t
es on func
t
i
o
ns and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c
B
o
tca
z
ou
a
d
a: Fix m
i
ssing
e
rror
o
n function
c
all r
e
turning incomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: Fi
x
m
i
n
or
is
s
ues in comments
commit
|
commitdiff
|
tree
2023-06-15
Eric Bot
c
a
z
o
u
ada:
Remove T
t
yp
e
s
.
Max_Unalig
n
ed_Field
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
z
ou
ada:
F
i
x inverted
i
mplementation of RM 8
.
4(10)
c
l
ause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
a
d
a: Accept aspect Al
w
ays
_
Terminates withou
t
e
xpression
commit
|
commitdiff
|
tree
2023-06-15
Javier Miranda
ad
a
: C
r
ash on C++ con
s
truct
o
r of private type
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Remove
o
bsole
t
e ref
e
rences for Build_Transient_Obje
c
t_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c Botcazou
ada:
F
ix a
s
pe
c
t
Linker
_
Section ig
n
ored on subpro
g
ram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
i
o
t
r
T
r
o
janek
ada: Cle
a
nup analysi
s
of iter
a
ted
component asso
c
iation
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
: Fix decoration o
f
iterated
c
o
m
pone
n
t association
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob Duf
f
ada: Add missing ss_mark/ss_release in quantif
i
e
d
ex
p
ressions
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada: Recognize iterated_component_association as repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r T
r
ojanek
ada: R
e
co
g
nize iterated_com
p
onent_associ
a
tion as potentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Troja
n
ek
ada: Disable
in
l
i
ning in potent
i
ally uneva
l
uat
e
d co
n
texts
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojane
k
ada:
Implemen
t
new
a
spect Always_
T
ermi
n
ates for S
P
ARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
oja
n
ek
a
da: Skip elaborat
i
o
n
chec
k
s
f
or a
b
stract subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcazou
ada: Fix another case of
missing Ha
s
_Pr
i
vat
e
_View flag
commit
|
commitdiff
|
tree
2023-06-13
Marc Poulhiès
a
da:
F
ix iter
a
ted compo
n
ent
i
n
i
t
ializa
t
ion
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcazou
a
d
a: Fix
exce
p
ti
o
n ra
i
sed o
n
inval
i
d
contract in gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
az
o
u
ada: F
i
x spurious error on c
a
ll to function returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada:
F
ix intern
a
l error on impo
r
ted function with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botc
a
zou
a
d
a
:
S
treamline e
x
pansion of controlled actions f
o
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
az
o
u
a
d
a:
Remove obsole
t
e code in An
a
lyze_Assignment
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
r
ojanek
ad
a
: Remove unr
e
ferenced routine Is_Inherited_
O
peration_For_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Sma
l
l house
k
eep
i
ng
w
or
k
i
n
expansion o
f
extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Er
i
c Botcazou
ada: Fix wrong expansion of lim
i
t
ed
e
xtension
aggregate
commit
|
commitdiff
|
tree
2023-06-13
Yan
n
ick Moy
ad
a
: Mark attribute In
i
tializ
e
d as ghost code
commit
|
commitdiff
|
tree
2023-06-13
Daniel
King
ada:
A
dd N
o
_E
l
aborati
o
n_Code_A
l
l pr
a
gm
a
t
o
System
.
Storage_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcazou
ada: Factor ou
t
t
a
g
assignment
s
from type in
ex
p
an
d
er
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
a
da: Use ghost predicate
i
n stan
d
ard
library
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otc
a
zo
u
ad
a
:
Fix expansion
o
f aggregates with controlled
componen
t
s
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
da
:
Factor common processing i
n
expansion of aggregate
s
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojanek
ada:
R
emove wrong comment ab
o
ut exp
a
nsi
o
n of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piot
r
T
r
ojanek
ada:
Cleanup fin
d
ing of locally handled exc
e
ption handlers
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
a
da: Clea
n
up expansion of
locally handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
T
une s
t
yle
i
n dete
c
tion of writable f
u
nct
i
on a
c
tual
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
Sim
p
lif
y
appending
t
o a
ne
w
l
y
c
r
eated list
commit
|
commitdiff
|
tree
2023-06-13
Yannick
M
o
y
ad
a
: Support
n
ew G
N
AT-sp
e
c
i
f
ic as
p
ect
G
h
ost_
P
r
e
dicate
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Remove explicit de
c
o
r
ation of w
r
apper cr
e
a
ted
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada: Fi
x
wrong access for q
u
alified
a
ggregate w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazo
u
a
d
a: Fix i
n
ternal error on qual
i
fied aggreg
a
te
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
cazou
a
da
:
Add missing guards for deg
e
nerate storage
m
o
dels
commit
|
commitdiff
|
tree
2023-05-30
Marc Poul
h
iès
ada: Fix incorrect copies
b
eing used
w
i
t
h 'Address
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Bo
t
caz
o
u
a
da: Fix bogus S
t
orage_Error
on
dynamic arra
y
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fix minor issue with Mod op
e
rato
r
commit
|
commitdiff
|
tree
2023-05-30
E
r
i
c
B
o
t
c
azou
ada: Minor generic tweaks left and and right
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: M
a
k
e internal_err
o
r_function more robu
s
t
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
c
a
zou
ada
:
A
d
j
ust again t
h
e
imp
l
em
e
ntat
i
o
n of storage mod
e
l
s
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada:
Simplify the
i
m
ple
m
entation of storage mod
e
ls
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
ada: Mak
e
use of Ca
n
not_Be_Sup
e
rflat
flag on
N
_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botc
a
zou
a
da: Disable PIE mode dur
i
ng t
h
e build of the Ad
a
front-end
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
ad
a
: Fix storage model handling for dere
f
erence as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otca
z
ou
ada: Smal
l
c
l
eanups
and fixes in expansion of aggregates
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
ad
a
: F
i
x w
r
ong expansion of
a
rray aggreg
a
t
e wi
t
h
noncontiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botc
a
zou
a
da: Fix inte
r
n
al error on ar
r
ay consta
n
t in expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
ada: Fix fallout o
f
r
e
cent fix
f
or
missing f
i
na
l
ization
commit
|
commitdiff
|
tree
2023-05-30
Joel Brobecker
ada:
Add S
y
ste
m
.
Tra
c
ebac
k
.
Symbolic
.
Modul
e
_Name
sup
p
ort
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
P
iotr Trojanek
ada: Only
build ac
c
es
s
-to-subprogr
a
m wrappers
when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ronan Desplan
q
ues
ada: Fix minor
issues
i
n user's guide
commit
|
commitdiff
|
tree
2023-05-30
Joha
n
nes Kliema
n
n
ada
:
Ensure Defau
l
t
_Stack_Size is greater t
h
an Minim
u
m_S
t
ack
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botca
z
ou
ada: Fix
regres
s
io
n
of secondar
y
stack management in
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otcazou
ada: Use
g
eneralized
loop iter
a
t
i
on in
P
ut_Image
r
outines
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Bo
t
cazou
ada:
Fix visi
b
ility error with DIC
o
r Type_
I
nvariant
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ced
r
i
c
Landet
a
da: Fix coding s
t
yle in init
.
c
commit
|
commitdiff
|
tree
2023-05-29
Ce
d
ric L
a
n
d
et
ada: Define sigset for systems that do
e
s not supo
r
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Ce
d
ric Landet
a
da:
Set
g
-
spogwa as
a
GN
A
T
R
TL_SOCKET
S
_
O
BJS
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
otca
z
ou
ada: Fix spur
i
ous error
o
n imported generic func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix memory
l
e
a
k in expression fu
n
ction returning
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
atr
i
ck Bernardi
ada: Use
C
ode_
A
ddress attribute to determine s
u
b
p
r
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric B
o
tcazou
ada:
Call
idiomatic routine in
E
xpa
n
d_Si
m
ple_Func
t
ion_Return
commit
|
commitdiff
|
tree
2023-05-29
E
r
ic Botcazou
ada:
Fix wrong
f
i
na
l
iz
a
tio
n
for loop on indexed contain
e
r
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
ada: Fix bogus
error o
n
conditio
n
a
l
expres
s
ion with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
n
ek
ad
a
: Fi
x
cras
h
on
sem
i
-
r
e
cur
s
ive call
i
n
acc
e
ss-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojanek
ada: At
t
a
c
h
p
r
e/post on acce
s
s-to-subprogram to in
t
ernal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: R
e
move r
e
dund
a
nt protection against empty lists
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
ada: Re
m
o
v
e
extr
a
whi
t
espace
f
rom FOR
l
oops
commit
|
commitdiff
|
tree
2023-05-29
P
iotr T
r
ojan
e
k
ada: Cleanup detection
of
t
ype su
p
port sub
p
rogram entitie
s
commit
|
commitdiff
|
tree
2023-05-29
Eric Bot
c
azou
ada: Fix wrong fin
a
liza
t
ion for case ex
p
ressi
o
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
otcazo
u
ada: Fix internal error with pragma Compile_Ti
m
e_{Warning
.
.
.
commit
|
commitdiff
|
tree
next