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: Plug small loophole in the handling of private views in instances
2023-06-27
Eric B
o
tcazou
ada:
P
lug small loophole in the han
d
li
n
g of privat
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Bot
c
azo
u
ada:
P
l
u
g
a
nother
l
o
o
phole in the handling
of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Vilja
r
Indus
a
da: Upda
t
e printi
n
g container aggregate
s
f
o
r debugging
commit
|
commitdiff
|
tree
2023-06-27
Vil
j
ar
I
n
dus
ada
:
F
i
x expanding co
n
ta
i
ner a
g
gregates
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcaz
o
u
ad
a
:
Minor tweaks
commit
|
commitdiff
|
tree
2023-06-20
Y
a
nnick
M
o
y
a
d
a
:
F
i
x crash
o
n inlining in GNATprove
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otcaz
o
u
ada: Further fixes to handling of private views in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ronan D
e
sp
l
anques
ada: Remove outda
t
ed comm
e
nt
commit
|
commitdiff
|
tree
2023-06-20
E
r
i
c
Botcazou
ada:
F
ix couple o
f
issues in do
c
umentation o
f
overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Y
a
n
nick Moy
ada: Do not issue war
n
in
g
o
n po
s
tcondition
i
n so
m
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick M
o
y
a
da
:
Add the ability to ad
d
e
r
ror codes to e
r
ror messages
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
ada: Fix for attribute Ra
n
g
e in Exce
p
tional_Ca
s
es
commit
|
commitdiff
|
tree
2023-06-20
Jo
s
e
R
uiz
a
da:
Do
c
ument partition-wide Ada sig
n
al ha
n
dle
r
s
commit
|
commitdiff
|
tree
2023-06-20
Pio
t
r T
r
oja
n
ek
ad
a
: Fix for quantif
i
ed
e
x
pressions
i
n
E
xceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Bob
Du
f
f
ada: Fix bug
i
n predicate checks with address clauses
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
a
da:
F
ix fallou
t
of
f
i
x
to h
a
ndli
n
g of private
v
iews
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Da
n
iel King
ada: A
d
d CHERI intr
i
nsic bindings and
h
elper f
u
nctions
.
commit
|
commitdiff
|
tree
2023-06-20
Eric
B
otcaz
o
u
ada: S
m
all fixes
t
o
hand
l
ing of privat
e
views
in
i
n
s
tances
commit
|
commitdiff
|
tree
2023-06-20
Eric Bo
t
cazou
ada: Fix inte
r
n
a
l
erro
r
on aggregat
e
within contai
n
er
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan La
c
a
m
b
re
ada: Fix -fdiagno
s
tics-f
o
rmat=json
n
ot
p
rinting all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
E
r
ic Botcazou
ada: Introduce -gnateH
switc
h
to force
reverse Bi
t
_Or
d
er
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ya
n
n
ick Moy
ada: Update annotations in r
u
ntime for proof
commit
|
commitdiff
|
tree
2023-06-20
M
arc
P
oulhi
è
s
ada: Fix ty
p
e derivatio
n
of subtyp
e
of derived ty
p
e
commit
|
commitdiff
|
tree
2023-06-20
Ghjuv
a
n Lacambre
a
d
a: Pass E
r
ror_
N
ode to ca
l
ls to Err
o
r
_Ms
g
in
l
ib-load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire Dross
ada: R
e
move referenc
e
s to Might_Not
_
Re
t
urn and Always_Retu
r
n
commit
|
commitdiff
|
tree
2023-06-20
Javier
M
iranda
ada
:
Spurio
u
s error on package ins
t
an
t
iation
commit
|
commitdiff
|
tree
2023-06-20
Rona
n
Desplanques
ada: Fix e
d
ge
c
ase in Ada
.
Calendar
.
Formatting
.
Time_Of
commit
|
commitdiff
|
tree
2023-06-15
Marc
Poulhiè
s
ada: Remove unused files
commit
|
commitdiff
|
tree
2023-06-15
Eric Botca
z
o
u
ada:
F
ix wrong
cod
e
for ACATS c
d
1c03i on Morello
target
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botca
z
ou
ada: Fix
wrong finaliz
a
t
ion
f
or d
o
uble
s
ubtype o
f
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ro
n
an Desplanqu
e
s
ada:
M
ake minor
impro
v
ements to user'
s
guide
commit
|
commitdiff
|
tree
2023-06-15
Yann
i
ck
Moy
ad
a
:
Rej
e
c
t Loop_Entry
inside
p
refix of Lo
o
p_Entr
y
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix too small secondary stack a
l
l
o
cation for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
Bo
t
c
azou
ada: Fix internal error on loop iterat
o
r filter
w
ith
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
otcazou
ada
:
Rever
t
latest c
h
ange to Find
_
Hook
_
C
o
n
text
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Fix too small seconda
r
y
stack al
l
ocation
f
or returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcaz
o
u
a
d
a
: Re
m
ov
e
dead
c
o
de in Expand_I
t
erat
o
r_Lo
o
p_
O
v
er_Contai
n
er
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: Add escape
h
atch to confi
g
urable run
-
time
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Bot
c
azou
a
da:
Fix missing finali
z
ati
o
n
f
or aggregates nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johan
n
es Kliemann
ada: Adju
s
t QNX Ada
p
ri
o
rities to match Q
N
X s
y
stem
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan
D
esplanques
ada: Adjust
c
omment
s
in targ
p
arm
.
ads
commit
|
commitdiff
|
tree
2023-06-15
P
i
otr
T
roj
a
nek
ada: Acc
e
pt aspect Alwa
y
s_Terminates on packag
e
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada:
A
ccept aspect Alw
a
y
s_Terminates
on entri
e
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Tr
o
j
a
ne
k
ada
:
Reje
c
t aspect Always_Te
r
mina
t
es
o
n functions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ada: Fix missin
g
error on
f
unction call
retur
n
ing inco
m
p
lete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ro
n
an
Des
p
l
an
q
ues
ada: Fi
x
m
inor
i
ssu
e
s
i
n
co
m
me
n
ts
commit
|
commitdiff
|
tree
2023-06-15
Eric
Botca
z
ou
ada: Remove
Ttypes
.
Max
_
Unaligned_Field
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcaz
o
u
ada: Fi
x
i
nve
r
t
ed i
m
pleme
n
tatio
n
of
R
M
8
.
4(10)
claus
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Troja
n
ek
ada: Acce
p
t
aspect A
l
ways_Termin
a
tes withou
t
expression
commit
|
commitdiff
|
tree
2023-06-15
J
avier Mi
r
anda
ada: Crash on C++
const
r
uctor of private type
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a: Re
m
o
ve obsole
t
e references
f
o
r
Build_Tran
s
ient_Object_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
caz
o
u
ada: F
i
x
aspec
t
Linker_Section ignored on subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Cleanup analysis of iterated co
m
pon
e
n
t
association
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
oj
a
nek
ada: Fix d
e
coratio
n
of iterat
e
d component associ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob Duff
ada: Add
m
issing
ss_mark/ss_re
l
ease in qu
a
ntified exp
r
ession
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada
:
Recognize iterated_co
m
po
n
e
n
t_as
s
ociation as repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
jane
k
a
d
a
: Recogniz
e
i
t
era
t
ed_com
p
onent_association a
s
po
t
entially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
D
isable inlining in potent
i
a
l
l
y
une
v
aluated con
t
exts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Imple
m
ent new aspect Always_
T
e
rminate
s
for SPAR
K
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojanek
ada: Skip elaboration
c
hecks
f
or abstr
a
ct su
b
program
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada
:
Fix anothe
r
case of miss
i
ng Has_Privat
e
_Vie
w
flag
commit
|
commitdiff
|
tree
2023-06-13
Marc
P
oulhi
è
s
ada: Fix i
t
e
rated com
p
onent initiali
z
ation
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic B
o
tcazou
ada: Fix exceptio
n
r
a
i
s
e
d on in
v
al
i
d contract in ge
n
er
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix
spuriou
s
e
r
ror
on call
t
o functi
o
n
r
eturning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botca
z
ou
ada: Fix internal
error on impor
t
e
d
f
u
nction
w
it
h
post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcaz
o
u
a
d
a: Str
e
amli
n
e ex
p
ansion of controlled action
s
fo
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botcazo
u
a
da:
R
emove obsole
t
e
code in
A
n
alyze_Assignment
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
:
R
em
o
ve unreferenced
r
outi
n
e Is_Inherited_Op
e
r
ation_Fo
r
_
T
ype
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada
:
Small housekeeping work i
n
expan
s
i
on of
e
xtension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botcazou
ad
a
: Fix wron
g
expansion of
l
imited extension
a
gg
r
e
g
ate
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada: Mark attribute
Initialized as ghost
code
commit
|
commitdiff
|
tree
2023-06-13
D
a
ni
e
l Ki
n
g
ada:
Add No
_
Elaboration
_
Code_All
pragm
a
to
System
.
Stora
g
e_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcazou
ada:
Fact
o
r out t
a
g assignments from type in expander
commit
|
commitdiff
|
tree
2023-06-13
Y
a
nnick Moy
ada: Use ghost
p
redicate in sta
n
dard l
i
bra
r
y
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: F
i
x expansion of aggre
g
at
e
s w
i
th contr
o
lled componen
t
s
commit
|
commitdiff
|
tree
2023-06-13
Eric
Botca
z
ou
ada: Factor
c
ommon process
i
ng i
n
exp
a
nsion of aggrega
t
es
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
ne
k
ada
:
R
e
m
ove wrong comment abou
t
expan
s
ion of excep
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Cle
a
nup finding of lo
c
ally handl
e
d exceptio
n
handlers
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
d
a: Cleanup
e
x
pansion of
loca
l
l
y
handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
roj
a
nek
ada: Tune st
y
le in de
t
ecti
o
n
o
f wr
i
t
able function actuals
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr
Troja
n
ek
a
da:
S
i
mplify appending to a n
e
wl
y
cr
e
at
e
d lis
t
commit
|
commitdiff
|
tree
2023-06-13
Yannick Mo
y
ad
a
:
S
upp
o
r
t
new GNAT-specific as
p
ect Ghost_Predicate
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Remo
v
e ex
p
l
icit dec
o
ration of wrapper
c
r
e
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Fix wrong
a
c
cess for qualified ag
g
regate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botca
z
ou
a
da: Fix int
e
rnal error on qualifi
e
d aggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric B
o
tcaz
o
u
a
d
a:
A
dd mi
s
sing
g
u
a
rds for degenerate storage models
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
a
da: Fix i
n
c
o
rre
c
t
cop
i
e
s
bein
g
used w
i
t
h 'Ad
d
ress
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada
:
Fix bog
u
s S
t
orage_Error on dynamic ar
r
ay with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
a
d
a: F
i
x m
i
nor issue with Mod operator
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c
Botc
a
z
o
u
a
da: Minor gen
e
ric t
w
e
aks lef
t
and and right
commit
|
commitdiff
|
tree
2023-05-30
Eric Botc
a
z
o
u
ada: Make
i
nternal_er
r
or_function mo
r
e
r
o
bus
t
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otcazou
ada: Adjust
again the implementatio
n
of sto
r
age mode
l
s
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c
Botcazou
a
d
a
: Simplify th
e
im
p
lementatio
n
of storage mod
e
ls
commit
|
commitdiff
|
tree
2023-05-30
Eric Bo
t
c
a
zou
ada: Mak
e
use of Cannot_Be_S
u
p
e
rfla
t
flag on N_Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
i
c
Botcazou
ada: Disable PIE
m
od
e
du
r
ing the build of
t
he Ad
a
front-end
commit
|
commitdiff
|
tree
2023-05-30
Ma
r
c Poulhiès
ada: Fix stora
g
e model handling
for de
r
efer
e
nce
a
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
r
ic Botcazou
ada: Small cleanups
a
nd fi
x
es in expansi
o
n of aggr
e
gate
s
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazo
u
ada: Fix wron
g
expansion of array a
g
gr
e
gate with nonc
o
ntiguo
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Fix internal er
r
or on array constant
i
n ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada: Fix
f
allout of
r
ec
e
nt
fix for missing fin
a
lization
commit
|
commitdiff
|
tree
next