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: Assertion failure adding extra formals to late overriding subp.
2023-06-27
Eric Botcazo
u
ada:
F
i
x
double finalization of case expression in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric B
o
tc
a
z
o
u
ad
a
: Fix incorrect ha
n
dling of ite
r
at
o
r
s
p
e
c
ifications
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Claire Dross
ada:
Correct the contract of Ada
.
Te
x
t_IO
.
Get_L
i
ne
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Fix too
late finalization and secondar
y
s
t
a
ck
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Plug s
m
all
loophol
e
in the handling
o
f pri
v
ate
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eri
c
B
o
t
cazou
ada
:
Plug
another l
o
op
h
ole in the
h
an
d
ling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Viljar
Indus
ad
a
: Up
d
ate printing containe
r
a
gg
r
ega
t
es
f
or debugging
commit
|
commitdiff
|
tree
2023-06-27
Vil
j
ar Indu
s
ada: Fix
expa
n
ding
c
ontaine
r
aggregates
commit
|
commitdiff
|
tree
2023-06-20
E
r
ic Botcazou
ada: Minor tweak
s
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
ada:
Fix crash on inlining in GNATp
r
ove
commit
|
commitdiff
|
tree
2023-06-20
E
r
i
c Botcazou
ada: Further
f
i
x
es to ha
n
dling of private views in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desplanques
a
d
a: Remove outdated
c
omment
commit
|
commitdiff
|
tree
2023-06-20
Er
i
c
Botcazou
ada
:
Fix couple
o
f issues in documenta
t
io
n
of overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannic
k
Moy
ada: Do n
o
t issue
w
arni
n
g on postco
n
dition in
s
ome
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Y
annick Moy
ada: Add the ability
t
o add err
o
r
c
o
des to erro
r
m
e
ssages
commit
|
commitdiff
|
tree
2023-06-20
P
iotr Trojane
k
ada
:
F
ix fo
r
attribu
t
e
Range in
Exceptional_
C
ases
commit
|
commitdiff
|
tree
2023-06-20
Jos
e
R
uiz
ada: Do
c
ume
n
t partition-wide
A
d
a signal
h
an
d
lers
commit
|
commitdiff
|
tree
2023-06-20
Piotr Troja
n
ek
ada: Fix f
o
r quantified expres
s
ions in Exc
e
p
tiona
l
_
Cases
commit
|
commitdiff
|
tree
2023-06-20
Bob Duf
f
ada: Fix bug in pre
d
ic
a
te chec
k
s with a
d
dr
e
ss clau
s
es
commit
|
commitdiff
|
tree
2023-06-20
Eric Bo
t
caz
o
u
ada:
Fix fallout of fix to handling
of
private vie
w
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Daniel King
ada: Add CHERI intrinsic bindings a
n
d helper fun
c
tions
.
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otc
a
zou
ada: Sma
l
l
f
ixes to handling o
f
priva
t
e v
i
e
w
s
in instan
c
es
commit
|
commitdiff
|
tree
2023-06-20
Eri
c
Botcazou
a
d
a: Fix internal
e
rro
r
on ag
g
r
egate
w
i
thi
n
c
ontainer
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Gh
j
uvan
L
acambr
e
a
da
:
Fix -fdiagnostics-
f
ormat=
j
s
o
n not printi
n
g all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric B
o
tcazou
ada: Introduce -g
n
ateH switch
to force re
v
e
rse Bit_Ord
e
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yann
i
ck Moy
ada: Upda
t
e
a
n
nota
t
ions in runtime for
proof
commit
|
commitdiff
|
tree
2023-06-20
Marc Poul
h
i
ès
a
da
:
Fix typ
e
deriva
t
ion o
f
subtyp
e
of
der
i
ve
d
type
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan
Lacambre
ada: Pass Err
o
r_
N
ode to calls to Error_
M
sg in lib-l
o
ad
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire
Dross
ad
a
: Remove references to
M
ight_Not_R
e
turn
a
nd Alway
s
_
Return
commit
|
commitdiff
|
tree
2023-06-20
J
a
vie
r
Mirand
a
ada: Spurious error
on package
instantiat
i
o
n
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desplanques
ada:
F
ix ed
g
e case in Ada
.
Calendar
.
Form
a
t
t
i
ng
.
Time_Of
commit
|
commitdiff
|
tree
2023-06-15
Mar
c
Po
u
lhiès
ada: Re
m
o
ve unused files
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Botcazou
ada:
F
i
x
wrong co
d
e
f
or AC
A
TS
cd1c0
3
i
on Morello targe
t
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada:
Fi
x
wron
g
fina
l
i
z
a
t
i
on for
double subtype of bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ro
n
a
n
De
s
planques
ada: Make mino
r
im
p
rovements t
o
user's guide
commit
|
commitdiff
|
tree
2023-06-15
Ya
n
n
ick Moy
ada
:
Reject
L
o
o
p_En
t
ry i
n
side prefix of
Loop_
E
ntry
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fi
x
too sm
a
ll secondary stack allocat
i
on for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix in
t
ernal error on
l
oop iterato
r
f
ilter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
Botcazo
u
ada:
R
e
vert lates
t
change t
o
Find
_
Hook_
C
ontext
commit
|
commitdiff
|
tree
2023-06-15
E
ri
c
Botcazou
ada: Fix too small secondary stack allocation for re
t
urned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Bot
c
azou
ada:
R
emo
v
e de
a
d c
o
de in Ex
p
and_Iterator_Loop_O
v
er
_
Container
commit
|
commitdiff
|
tree
2023-06-15
Ronan
Des
p
lanques
ada
:
Add escape hat
c
h
to
conf
i
g
u
ra
b
le run-time
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Botc
a
zo
u
ada
:
Fix missing
f
i
n
alization f
o
r ag
g
reg
a
tes nest
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johannes Kliemann
a
da: Adjust QNX Ada
priorit
i
e
s
to
match QNX
s
y
stem
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan D
e
splanques
ada: Adjust commen
t
s in
t
argpa
r
m
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Pi
o
tr
T
rojanek
ada
:
Accept aspe
c
t Always_Te
r
mina
t
es on p
a
ckag
e
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accep
t
aspect Always_Te
r
minates
o
n entries
commit
|
commitdiff
|
tree
2023-06-15
P
iotr
T
rojanek
ad
a
: R
e
ject aspect Always_T
e
rmin
a
tes on funct
i
ons and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Botcaz
o
u
a
da
:
Fix missin
g
error
o
n
fun
c
tio
n
c
a
ll returnin
g
incomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan
Desplanques
ad
a
: Fix
m
inor
issues in comments
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
otcazo
u
ada: Remove
Ttypes
.
Max_Unaligned_F
i
eld
commit
|
commitdiff
|
tree
2023-06-15
E
r
i
c Botcazou
ada: Fix inverted implemen
t
ation
o
f R
M
8
.
4
(
1
0) clause
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accept aspect Always_Terminates without expressi
o
n
commit
|
commitdiff
|
tree
2023-06-15
Javier
M
irand
a
ada:
Crash on C++
constructor of private type
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c Botcazou
ada: Remove obsolet
e
refere
n
ces for Build_Transi
e
nt_Object_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
c
a
z
ou
ada
:
F
i
x aspe
c
t
Linker_Section igno
r
ed on subpr
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojane
k
ada:
C
lea
n
up
analysis of it
e
rated component
assoc
i
a
tio
n
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada: Fix
dec
o
r
a
tion of ite
r
ated component as
s
ociation
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob Du
f
f
ada:
Add missing ss
_
mark/ss_release
i
n quantifie
d
expres
s
i
ons
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojanek
ada: Recog
n
ize iterated
_
component_association
a
s
repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Troj
a
nek
a
d
a: Recognize
i
t
erate
d
_comp
o
nent_associat
i
on
a
s
p
o
tenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
a
d
a: Disabl
e
inlining in potentially u
n
e
v
al
u
at
e
d
contexts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada: Implement new aspect
A
lways_Termi
n
ates for SPARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
rojanek
ad
a
: Skip
e
laboration checks for abst
r
act subprogram
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcazou
ada: Fix
a
nothe
r
case of
m
issing Has_P
r
ivate_V
i
ew f
l
ag
commit
|
commitdiff
|
tree
2023-06-13
Marc Poulhi
è
s
ada: Fix
iter
a
ted component initiali
z
at
i
on
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ad
a
:
Fix exception
r
ais
e
d on inv
a
l
i
d cont
r
a
ct in
g
eneric
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botc
a
zou
ad
a
: Fix spurious error on c
a
l
l to function returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botca
z
ou
ada: Fix in
t
ernal error
on imp
o
rte
d
function with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bo
t
c
a
zou
ada: Streamline e
x
p
a
nsion of co
n
trolled actions
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
ric
B
otcazou
ada: Remove obsolete co
d
e i
n
Analyze_As
s
i
gnment
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
: Re
m
ove
u
nreferen
c
ed routine Is_Inheri
t
ed_Operat
i
on_Fo
r
_T
y
pe
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
B
o
tcazou
ada: Small
h
o
u
se
k
eeping work in expansi
o
n
o
f ext
e
n
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Er
i
c Botca
z
ou
a
da: Fix wrong expansion of limited exte
n
s
ion aggr
e
gate
commit
|
commitdiff
|
tree
2023-06-13
Yannic
k
Moy
ada: Mark attri
b
ute Initi
a
l
iz
e
d as
g
host code
commit
|
commitdiff
|
tree
2023-06-13
Daniel King
ada: Add No_E
l
a
borati
o
n_Code_All pr
a
gma to System
.
Stora
g
e
_
El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botca
z
ou
ada: Factor out
t
ag as
s
ignments
f
rom type in expand
e
r
commit
|
commitdiff
|
tree
2023-06-13
Yan
n
ic
k
Moy
ada: Use ghost predicate in standard l
i
brar
y
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazo
u
ada:
Fix expan
s
i
on of aggre
g
ates wit
h
co
n
trolle
d
compone
n
ts
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Factor common pr
o
cessing
i
n ex
p
ansi
o
n
of aggregates
commit
|
commitdiff
|
tree
2023-06-13
Piot
r
T
ro
j
ane
k
ada: Remove wrong comment about expansion o
f
exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr Troj
a
nek
ada:
C
leanup finding
of locall
y
h
andled except
i
o
n
handlers
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
r
o
j
a
n
ek
ada: C
l
eanup e
x
pansion of locally
h
an
d
led exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada: Tune style in det
e
c
t
ion of writab
l
e
function
actuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Simplify appending to a newly cr
e
ated list
commit
|
commitdiff
|
tree
2023-06-13
Yannick
M
oy
a
d
a: S
u
pport new GNAT-specific aspect Ghost_Predic
a
te
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
:
R
emov
e
e
x
plicit
decoration o
f
w
rapper c
r
eated
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazo
u
ada:
F
i
x w
r
o
n
g acc
e
ss for qual
i
fied agg
r
egate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Bot
c
azou
ada: Fix inte
r
nal er
r
or on
q
u
ali
f
ied
aggre
g
ate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcaz
o
u
ada: Add missing guards for degenerate
s
torage models
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
ada: Fix
i
ncorrect copies being u
s
ed with 'Addre
s
s
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada
:
Fix b
o
gus
S
to
r
age_Error on
dynami
c
array with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Bot
c
azou
ada: Fix minor issue w
i
t
h Mod oper
a
tor
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Minor generic
tweaks left and a
n
d
ri
g
ht
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
c
a
z
ou
ad
a
: Make internal_err
o
r
_
f
unct
i
o
n more robust
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Adju
s
t agai
n
the implementation of storage models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Simplify the
impl
e
m
e
ntation of
sto
r
age models
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcaz
o
u
a
d
a: Ma
k
e use of Cannot_Be_Sup
e
rflat flag o
n
N_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Bot
c
az
o
u
ada: Disable PIE mode du
r
ing the
build of th
e
Ada fro
n
t-en
d
commit
|
commitdiff
|
tree
2023-05-30
Marc
P
oulhiès
ad
a
: Fix storage model handling for
derefere
n
ce as
.
.
.
commit
|
commitdiff
|
tree
next