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 double finalization of case expression in concatenation
2023-06-27
Eric Bo
t
c
azou
ada
:
F
ix
d
o
u
ble finalization of case e
x
pression in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
Botca
z
ou
ada: Fix incorre
c
t
handlin
g
of
it
e
rator s
p
ecifications
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Cl
a
ire
Dro
s
s
ada: Correct the contract
of Ada
.
Text_IO
.
Get_Line
commit
|
commitdiff
|
tree
2023-06-27
E
ric
Bot
c
azou
a
d
a: Fix to
o
l
ate finalization
and secondary stack
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Er
i
c Botcazou
a
d
a
: Plug
s
mall looph
o
le in
t
he ha
n
d
l
i
n
g of p
r
ivate
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
otcazou
ada: Plug
another loophole in the
h
andling
o
f priva
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
V
i
ljar Indus
ada:
U
pdate
printing container aggregates for debuggi
n
g
commit
|
commitdiff
|
tree
2023-06-27
Viljar
I
n
dus
ada:
F
ix expand
i
ng containe
r
agg
r
ega
t
es
commit
|
commitdiff
|
tree
2023-06-20
Eric Bo
t
cazou
ada: Minor twe
a
ks
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
a
da: Fix crash on
inlinin
g
in
G
NATprove
commit
|
commitdiff
|
tree
2023-06-20
Eric Botca
z
ou
ada: F
u
r
ther fixes to ha
n
dling of private views
in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ronan Desplanques
ada: Remove outdated comment
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcaz
o
u
a
da: Fi
x
couple of i
s
sues in
documenta
t
i
on
o
f overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yanni
c
k Moy
ada: Do not issu
e
warn
i
ng on postconditio
n
i
n some
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
ada: Add the ability to add error codes to
e
rr
o
r messages
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
tr Tr
o
janek
ada:
Fix
f
o
r
at
t
ri
b
ute Rang
e
in Exc
e
p
t
ional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Jose R
u
iz
ada: Document partitio
n
-
w
id
e
Ada signal handlers
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
a
d
a
:
F
ix for quantified
e
xp
r
e
ss
i
ons in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
B
ob Duf
f
ada: Fix bug in
pred
i
cate checks with addre
s
s
cl
a
u
s
es
commit
|
commitdiff
|
tree
2023-06-20
Eric
Botcazou
ada: Fix fa
l
lout of
f
ix to
h
andling of
priv
a
te views
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Daniel
K
ing
ada: Ad
d
CHERI
intrinsic bindings and helper functions
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada: Small fixes t
o
handling of private views in insta
n
ces
commit
|
commitdiff
|
tree
2023-06-20
Eric Botc
a
zou
a
d
a: Fix intern
a
l error
o
n aggregate
wi
t
hin container
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Lac
a
mbre
ada: Fix -fdiagnostics-
f
ormat=jso
n
no
t
printi
n
g all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada: I
n
t
rod
u
ce -gnate
H
switch to f
o
rce rever
s
e Bi
t
_Orde
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick
M
oy
ada: Upd
a
te ann
o
t
a
tions in ru
n
time for proof
commit
|
commitdiff
|
tree
2023-06-20
Marc Poulhiès
ada:
Fix ty
p
e derivatio
n
of subtype of derived type
commit
|
commitdiff
|
tree
2023-06-20
G
hj
u
va
n
Lacambr
e
ada: Pass Error_Node to calls to Err
o
r_Msg i
n
lib
-
load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
C
l
aire
D
ross
ada: Remove
references to Might_Not_Return and Always_Return
commit
|
commitdiff
|
tree
2023-06-20
Javier Miranda
ada:
S
purious error on pack
a
ge ins
t
antiation
commit
|
commitdiff
|
tree
2023-06-20
Ronan
Desplanques
ada: Fix
edge case in
A
da
.
C
alendar
.
F
o
rmatting
.
Time_Of
commit
|
commitdiff
|
tree
2023-06-15
M
a
rc Pou
l
hiès
ada: Remove u
n
used files
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a: Fix wrong code for ACAT
S
cd1c03i on Morello ta
r
get
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcaz
o
u
a
d
a: Fix w
r
ong finalization for double
subtype of bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplan
q
ues
ada: Make min
o
r impr
o
veme
n
ts to user's guide
commit
|
commitdiff
|
tree
2023-06-15
Yannick Moy
ada:
R
eject Loop_En
t
ry ins
i
d
e
prefix
o
f Lo
o
p_Entr
y
commit
|
commitdiff
|
tree
2023-06-15
E
ric Botcazou
ada: Fix t
o
o
small s
e
condary st
a
ck alloc
a
tio
n
for r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
o
t
c
azou
ada: Fix internal
e
rro
r
o
n
loop it
e
rator f
i
lter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a: Revert latest change to Find_Hook_Context
commit
|
commitdiff
|
tree
2023-06-15
E
r
ic Botca
z
o
u
ada
:
F
ix too smal
l
s
econdary
stack allocati
o
n for returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: Remove dead c
o
de in
E
xpand
_
Iter
a
to
r
_Loop_Ov
e
r_
C
onta
i
n
er
commit
|
commitdiff
|
tree
2023-06-15
Ron
a
n Desplanques
ada: Add escap
e
h
atch to
c
o
n
figurable run-time
commit
|
commitdiff
|
tree
2023-06-15
Eric B
o
tc
a
z
o
u
a
da: Fix missing finalization for
a
ggregates nested
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Jo
h
an
n
es Klie
m
ann
ada: Adjust
QNX Ada priori
t
ies to match QNX syst
e
m
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan Desplanques
ada: Ad
j
ust comments in
t
a
rgpar
m
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piotr Troja
n
ek
ada: Acc
e
pt aspect Alwa
y
s
_Term
i
nates on pa
c
kages
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accept
aspect
Al
w
ays_Terminates on entr
i
es
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojane
k
ada: R
e
j
e
ct aspect A
l
w
a
ys_Te
r
minates on
f
un
c
ti
o
ns and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazo
u
ada: Fi
x
missing error o
n
fun
c
t
i
on call return
i
ng inc
o
mplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
onan
D
e
s
p
lanques
a
da: Fix minor issues in comments
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada
:
Remove
T
types
.
Max
_
Unaligne
d
_Field
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a: Fix i
n
v
ert
e
d implementat
i
on of RM
8
.
4(10) c
l
au
s
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
i
otr Trojanek
ada: Accept
aspect Al
w
ays_Terminates without expression
commit
|
commitdiff
|
tree
2023-06-15
Javie
r
Miranda
ada: Cr
a
sh o
n
C++ constructor of pri
v
a
t
e type
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
zou
ada: Remove ob
s
o
l
e
te referenc
e
s for
Build_Transient_Object_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
o
tcazou
a
da:
F
ix
a
spect Linker_Sec
t
i
o
n
ignored
o
n
subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr T
r
ojanek
ada: Cleanup a
n
alysis of ite
r
a
ted component association
commit
|
commitdiff
|
tree
2023-06-13
P
iotr
T
rojanek
ada: F
i
x decora
t
ion of iterated component association
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
B
o
b Du
f
f
a
d
a: Add miss
i
n
g
ss_mark/ss_r
e
lease in quantified express
i
o
ns
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ada: Recogniz
e
it
e
ra
t
e
d
_
c
omponent_associ
a
tion as repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
ada:
Recognize iterat
e
d_c
o
m
pon
e
nt_associat
i
on as pot
e
n
t
ially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
ada: Disable inlining in pot
e
ntially unevaluated contexts
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
t
r Troj
a
nek
ada: Implemen
t
new asp
e
ct Alw
a
y
s_Terminates for SPAR
K
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
ada: Skip elaborat
i
on
c
hec
k
s for a
b
stract subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcaz
o
u
ada:
F
ix another case of mis
s
in
g
Has_Privat
e
_View flag
commit
|
commitdiff
|
tree
2023-06-13
M
a
rc Poulhi
è
s
a
d
a: Fix iterat
e
d comp
o
ne
n
t initializ
a
tion
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcaz
o
u
ada:
F
ix exce
p
tio
n
r
a
ised on inva
l
i
d
contract in
generic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric
Botcazou
ada: F
i
x spu
r
ious error on call
t
o
f
u
n
cti
o
n
returning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botca
z
ou
ada: Fix internal erro
r
on i
m
p
o
r
ted fu
n
c
ti
o
n
with post
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botca
z
ou
ada: Strea
m
line expa
n
sion of controlled a
c
t
i
on
s
for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Bo
t
caz
o
u
ada:
R
emove obsolete code in Analyze_Assignme
n
t
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
a
d
a:
R
emove u
n
re
f
e
r
enced
routine
Is_Inherited_Operation_For
_
Type
commit
|
commitdiff
|
tree
2023-06-13
E
ric Botcaz
o
u
ada: Small h
o
usekeepi
n
g wo
r
k in
e
x
pansion
o
f
extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Fix wr
o
ng ex
p
ansion of limited
e
xt
e
ns
i
on aggregate
commit
|
commitdiff
|
tree
2023-06-13
Yannick
Moy
ada: Mark attribute Init
i
al
i
ze
d
a
s gho
s
t
code
commit
|
commitdiff
|
tree
2023-06-13
D
aniel K
i
ng
ada
:
A
dd N
o
_Elabora
t
ion_Code_All
pragma to System
.
Storage
_
El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic Botcazo
u
a
da: Facto
r
out tag assignm
e
nts f
r
o
m t
y
p
e
i
n
expander
commit
|
commitdiff
|
tree
2023-06-13
Yannick M
o
y
ada:
U
se ghost pre
d
icate in stand
a
rd libr
a
r
y
commit
|
commitdiff
|
tree
2023-06-13
E
r
ic
B
o
t
cazou
a
da:
F
i
x
expa
n
sion
of agg
r
e
g
ates wit
h
contr
o
l
l
e
d compon
e
nts
commit
|
commitdiff
|
tree
2023-06-13
E
ric
B
otcazou
ada: Factor c
o
mmo
n
proce
s
sing in
e
xpansion of
a
g
gregates
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
Remove wrong
c
om
m
ent abo
u
t e
x
pansion
of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojanek
ada: Cleanup f
i
nding of locally han
d
led e
x
c
e
ption handler
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr
T
roj
a
nek
a
d
a
: Cl
e
anup e
x
pansion of locally handle
d
exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
ada:
Tune style in de
t
ect
i
on of w
r
itable f
u
nctio
n
a
ctuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Si
m
pli
f
y a
p
pending to a newly created list
commit
|
commitdiff
|
tree
2023-06-13
Yanni
c
k Moy
ada: Support new GNAT-speci
f
ic as
p
e
c
t Ghost_Predicate
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojan
e
k
ada: Re
m
ove exp
l
i
c
it decoration of wrapper
c
r
eated
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcaz
o
u
ada: Fix wron
g
access for q
u
alifi
e
d aggrega
t
e
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada:
F
i
x
i
nt
e
rnal error
o
n
qualified a
g
gregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada: Add mi
s
sing gu
a
rds for degener
a
te storage models
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulh
i
ès
ad
a
: Fix
incorrect copies being used with 'Address
commit
|
commitdiff
|
tree
2023-05-30
Eri
c
Botcazo
u
ad
a
:
Fix bogus Storage
_
E
rr
o
r on dynamic array with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
ada: F
i
x minor issue wit
h
Mod
o
perator
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Minor gene
r
ic tweaks left and
and r
i
ght
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ad
a
: Mak
e
interna
l
_e
r
ror_fu
n
ction mo
r
e
r
obust
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
otca
z
ou
a
da: Adjust again the implementatio
n
of
st
o
rage model
s
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Simplify the implem
e
nt
a
tion of stora
g
e models
commit
|
commitdiff
|
tree
2023-05-30
Eric Bot
c
azou
ada
:
M
ake use
o
f Cannot_Be_Su
p
er
f
lat
f
l
ag on N
_
Range
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Er
i
c Botcazou
ada: Disable PIE m
o
de during th
e
build of
t
he Ada
f
ront-end
commit
|
commitdiff
|
tree
2023-05-30
Marc Poulhiès
a
d
a:
F
ix storage
m
od
e
l h
a
ndling
for dereference as
.
.
.
commit
|
commitdiff
|
tree
next