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
2023-06-20
Eric Botcazou
ada: Mino
r
tweaks
commit
|
commitdiff
|
tree
2023-06-20
Yanni
c
k Moy
ad
a
:
Fix
crash on
i
n
lining in
G
NATprove
commit
|
commitdiff
|
tree
2023-06-20
E
ric
Botcaz
o
u
a
da: Fur
t
her fixe
s
to
han
d
ling
of private views i
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ronan
D
esplanques
a
d
a: R
e
m
o
v
e ou
t
d
ated c
o
m
ment
commit
|
commitdiff
|
tree
2023-06-20
Eric Bot
c
azo
u
ada
:
Fi
x
coup
l
e
of issues in docu
m
en
t
ation
of overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Mo
y
ada: Do
n
ot issue
warn
i
ng
on
postcondition in som
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Y
annic
k
Moy
ada: Add the ability to add error co
d
e
s
to error messa
g
e
s
commit
|
commitdiff
|
tree
2023-06-20
Piotr Tr
o
janek
ada
:
Fix
f
or
a
ttribute Range in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
J
ose Ru
i
z
ada: Doc
u
ment pa
r
titi
o
n-
w
ide Ada
s
igna
l
handlers
commit
|
commitdiff
|
tree
2023-06-20
Piotr
T
r
o
jan
e
k
ada: Fix for quantifi
e
d e
x
press
i
ons in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Bob D
u
ff
a
da: Fix bug in predi
c
a
t
e checks
with
a
ddress clauses
commit
|
commitdiff
|
tree
2023-06-20
E
ric Botcaz
o
u
ada: Fi
x
fallout of fi
x
to ha
n
dling of private views
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Daniel King
ada: Add
C
HERI intrinsic bi
n
dings
and help
e
r func
t
i
o
n
s
.
commit
|
commitdiff
|
tree
2023-06-20
E
r
ic Bo
t
cazou
ada: Small
f
i
xes to h
a
ndling of private v
i
ews in i
n
s
t
ances
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazo
u
ad
a
:
Fix int
e
rnal e
r
r
or on agg
r
egate within co
n
t
aine
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan L
a
cambre
ada: Fix -fdiagnost
i
cs-format=json not printing a
l
l
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otcazou
ada: Introduce -gn
a
teH switch to forc
e
reverse Bit
_
O
rder
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yan
n
ick Moy
ada:
U
pdate an
n
otations in runtime fo
r
pro
o
f
commit
|
commitdiff
|
tree
2023-06-20
Marc Poulhiès
ada: Fix type derivation of subt
y
pe
of
d
eri
v
ed t
y
pe
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan
L
acambre
ada: Pass Error
_
Node to ca
l
ls
t
o Error_Msg in lib-load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
C
la
i
re Dross
ada
:
Remove refe
r
e
n
ces to
M
ight_Not_Return and Always_R
e
turn
commit
|
commitdiff
|
tree
2023-06-20
J
a
vier
Mira
n
da
ada: Spurious error on package inst
a
ntiation
commit
|
commitdiff
|
tree
2023-06-20
Ron
a
n Desplanques
ada: F
i
x e
d
ge
c
ase in Ada
.
Calendar
.
Formatting
.
Time_
O
f
commit
|
commitdiff
|
tree
2023-06-15
Marc Poulhiès
ada: Remove
u
nused fi
l
es
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
B
otcazou
ada: Fix wrong
c
ode
f
o
r ACATS cd1c
0
3i on Morello target
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada:
Fix
wrong finaliza
t
ion
for double subtype of bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan D
e
splanques
ada: Make minor im
p
ro
v
ement
s
to
user's
guide
commit
|
commitdiff
|
tree
2023-06-15
Yannick
Moy
ada: Rejec
t
Loo
p
_En
t
ry i
n
side
p
refix
of Lo
o
p_Ent
r
y
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ad
a
: Fi
x
too small s
e
condary stack allocatio
n
for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazo
u
ada: Fix
i
n
ternal er
r
or o
n
l
oop i
t
erato
r
f
i
lter
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
otcazou
ada: Rever
t
late
s
t
c
hange
to
F
ind_Hook_Context
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix too small seco
n
dary stack allocat
i
on for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Remove dead code i
n
E
xpan
d
_Iterat
o
r_L
o
op_O
v
er
_
Container
commit
|
commitdiff
|
tree
2023-06-15
Ronan Des
p
lan
q
ues
ada: Add escape hatch
t
o
conf
i
g
ura
b
le run-
t
ime
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix
m
issing fin
a
lization for ag
g
r
e
gates
nes
t
ed
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johannes Klieman
n
ada: A
d
just QNX Ada p
r
i
o
r
ities to m
a
tch QNX syst
e
m
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
o
n
an Desp
l
a
nqu
e
s
ada: Adjust
c
omments in t
a
r
gparm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r
T
roj
a
n
e
k
ada: Accept aspect Always_Terminates on packages
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Troj
a
nek
ada: Accept aspe
c
t Always_Terminates o
n
entries
commit
|
commitdiff
|
tree
2023-06-15
Pi
o
tr T
r
oja
n
ek
ada: Reje
c
t a
s
pect
Always_Terminates on fu
n
ctio
n
s
and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic B
o
tcazou
ad
a
:
F
i
x
m
i
ssing error on fun
c
tion call returning incomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada
:
Fi
x
mi
n
o
r
i
ssues in
com
m
ents
commit
|
commitdiff
|
tree
2023-06-15
Eric Botca
z
ou
ada:
R
e
move Ttypes
.
Max_Unal
i
gned_Fi
e
l
d
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c
Botcazou
a
d
a: Fi
x
inve
r
ted implementation of RM 8
.
4(10) clause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojane
k
ada: Accep
t
aspect Alwa
y
s_Terminat
e
s
witho
u
t
expres
s
ion
commit
|
commitdiff
|
tree
2023-06-15
Javier Miran
d
a
ada: Crash on C++ construct
o
r
of private type
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botc
a
zo
u
ada: Re
m
ove obsolete references
f
or Build_Transient_Object_
S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix a
s
pect Lin
k
er_Section ignored on
s
ubprogr
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Tr
o
ja
n
ek
ada: Cleanu
p
analysis of iterated
c
omp
o
ne
n
t associati
o
n
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ada: Fix d
e
cora
t
ion of iter
a
ted com
p
o
n
ent association
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bo
b
Duff
a
d
a
:
A
dd
m
i
s
s
ing s
s
_mark/ss_r
e
lease
in q
u
antified expressions
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada
:
Recogni
z
e iterated_component_association
as repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piot
r
Trojanek
ada: R
e
cognize iterate
d
_component_associat
i
on as pote
n
t
ially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr Trojanek
ada: Disa
b
le i
n
lining in potentially uneval
u
ate
d
contexts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ada:
I
mple
m
ent ne
w
asp
e
ct Always_Ter
m
inates f
o
r SPARK
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr
T
r
oja
n
e
k
ada: Ski
p
elabor
a
tion checks for ab
s
tract subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcazou
ad
a
: Fix an
o
ther case of m
i
ssing Has_Private_View flag
commit
|
commitdiff
|
tree
2023-06-13
Marc
Poulh
i
ès
ada
:
Fix ite
r
ated
c
omponent i
n
iti
a
lizati
o
n
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: F
i
x exception raised on inva
l
id contract in generic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
d
a: Fix spurious error on call to function returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix
i
nter
n
al error on impor
t
e
d function w
i
th po
s
t
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botc
a
zou
ada: Streamli
n
e expansion
o
f cont
r
olled actions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botca
z
ou
ada: Remove obsolet
e
code in
A
nalyze_
A
ssignme
n
t
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojanek
ada: Remove u
n
referenced routi
n
e Is_Inherit
e
d_Operat
i
on_F
o
r_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric Bo
t
caz
o
u
ada: Small housekeeping wo
r
k in
expansion of extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
azou
ada: F
i
x
wrong expansion
o
f
limite
d
extens
i
on aggregate
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada: M
a
rk attribute
Initia
l
ized as ghost code
commit
|
commitdiff
|
tree
2023-06-13
Dan
i
el King
ada: Add No_Elaboration_Code_All pragma to System
.
St
o
r
a
ge_E
l
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcaz
o
u
ada: Factor
o
ut tag assignme
n
t
s from
type
in expa
n
der
commit
|
commitdiff
|
tree
2023-06-13
Y
a
nnic
k
M
o
y
ada:
Use ghost p
r
edicat
e
in
s
tandard
l
i
brary
commit
|
commitdiff
|
tree
2023-06-13
Er
i
c
Botcazou
ada:
Fi
x
expans
i
on of aggr
e
gates with
c
ontrolle
d
comp
o
n
ents
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazo
u
a
da: F
a
cto
r
c
o
m
m
on proc
e
ssing i
n
ex
p
ansion of agg
r
eg
a
tes
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada: Re
m
ove wrong c
o
mme
n
t about
e
xpansion of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr
Trojan
e
k
ada: Cleanup fin
d
i
n
g of locally handled exception handl
e
rs
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
a
d
a: Cleanup expansion o
f
locally handled e
x
ception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
T
une styl
e
i
n detection of writable funct
i
on actuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
o
j
anek
ada:
S
implify a
p
pend
i
ng to
a
newly created list
commit
|
commitdiff
|
tree
2023-06-13
Yannick
M
oy
a
d
a: Support new GNAT-
s
pe
c
ific aspect
G
h
o
st_Predicate
commit
|
commitdiff
|
tree
2023-06-13
P
i
ot
r
Trojanek
ada: Remove expli
c
it decoration of wrapper cre
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada: Fix wrong
a
ccess for
q
ualified
a
ggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada: Fix internal err
o
r on
qualified aggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Add missing gu
a
rds f
o
r dege
n
erate storag
e
mo
d
els
commit
|
commitdiff
|
tree
2023-05-30
Marc Po
u
lhiès
ada: Fix incorrect copie
s
being used with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
d
a: Fix bogus Sto
r
age_Err
o
r
on dyn
a
m
ic arra
y
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otc
a
zou
ada:
F
i
x mi
n
o
r issu
e
w
i
th Mod operato
r
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Minor ge
n
eric tweaks
l
eft an
d
and right
commit
|
commitdiff
|
tree
2023-05-30
Eric Bot
c
a
zou
a
da: Make i
n
t
e
rnal_error_functio
n
more robust
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
B
o
tcazou
ada: Ad
j
us
t
ag
a
in
t
he imp
l
ementatio
n
of stor
a
ge models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Simplify the
implementat
i
on of storag
e
models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada: Make u
s
e of Cannot_Be_Superfla
t
flag on N_Ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazou
ada: Disable PIE mode during the build of
t
he Ada fron
t
-end
commit
|
commitdiff
|
tree
2023-05-30
M
arc Pou
l
hiès
ada:
F
ix sto
r
age model handling
for
deref
e
ren
c
e as
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
zou
ada: Sma
l
l
c
l
eanups and
fixe
s
in expansion of
a
ggre
g
ates
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
cazou
a
d
a: F
i
x wrong expansion of a
r
ray aggregate
w
i
t
h n
o
ncont
i
guo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
da: Fix internal err
o
r o
n
array
constant in expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcaz
o
u
ad
a
:
F
ix fallout of recent fix for missing finalization
commit
|
commitdiff
|
tree
2023-05-30
Joel
Brobec
k
e
r
a
d
a
:
Add Syste
m
.
Traceback
.
S
y
m
bolic
.
M
o
d
u
le_Name suppor
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr Tr
o
jane
k
a
d
a
:
Only build acces
s
-
to-subprogram
w
rappers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Ronan Desplanqu
e
s
ada
:
Fix minor issues
in
user's guide
commit
|
commitdiff
|
tree
2023-05-30
Johannes
K
l
iemann
ada
:
Ensure Default
_
Stac
k
_Size
i
s greater th
a
n Min
i
mu
m
_Stack
.
.
.
commit
|
commitdiff
|
tree
next