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 renaming of predefined equality operator for unchecked union types
2023-07-03
Eric Botca
z
o
u
ada:
F
ix
r
enaming o
f
p
r
e
d
e
fined
e
quality operato
r
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
E
ric B
o
t
c
az
o
u
ad
a
: Fix
d
i
s
crepancy in e
x
pa
n
sion of u
n
tagged record
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botcazo
u
ada: Fix small inaccuracy
in imp
l
ementa
t
ion of B
.
3
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Fix b
u
ild o
f
GNAT
tools
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
a
d
a: F
i
x bad interaction betwe
e
n inl
i
ning
a
nd
t
hunk
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcaz
o
u
a
d
a
: Make the
id
e
ntif
i
catio
n
of ca
s
e exp
r
essions mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric B
o
tcazou
ada: Fi
x
double fina
l
ization of ca
s
e ex
p
ressi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eri
c
Botcaz
o
u
ada
:
Fix i
n
correc
t
handling of iterator spe
c
i
f
i
c
at
i
ons
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Claire Dr
o
s
s
ada: Corre
c
t
the
c
on
t
r
a
ct of Ad
a
.
Text_
I
O
.
Get_L
i
ne
commit
|
commitdiff
|
tree
2023-06-27
E
r
ic Botcazou
ada: Fi
x
too
l
ate final
i
z
ati
o
n and secondary stack
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eri
c
Botcazou
ada: Plug smal
l
lo
o
p
hole in
t
he handling
o
f private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada:
Plug a
n
other lo
o
phole in the handlin
g
of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Viljar Ind
u
s
ada: Update pri
n
ting
c
on
t
ainer
aggrega
t
es for debugging
commit
|
commitdiff
|
tree
2023-06-27
Vilj
a
r
Indus
ada: Fix expandin
g
c
ontainer aggr
e
ga
t
es
commit
|
commitdiff
|
tree
2023-06-20
Eric B
o
tcazou
ad
a
: M
i
no
r
tweak
s
commit
|
commitdiff
|
tree
2023-06-20
Y
a
n
n
ick Mo
y
ada: Fix cra
s
h on inlining
i
n GNATpr
o
ve
commit
|
commitdiff
|
tree
2023-06-20
Eric B
o
tcazou
ad
a
:
F
u
r
ther
f
ixes to handling of
p
rivate
v
i
e
w
s
in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Rona
n
Des
p
lanques
ada: Rem
o
ve o
u
t
da
t
ed
commen
t
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada: Fix couple of iss
u
es in docu
m
enta
t
i
o
n of overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Y
annick
M
oy
ada: Do not is
s
ue
w
arning
o
n postc
o
ndit
i
on in som
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yanni
c
k Moy
ada: Add the ability to add error co
d
es to error m
e
s
s
ages
commit
|
commitdiff
|
tree
2023-06-20
Piotr Troj
a
nek
ada: Fix
fo
r
a
t
tribute Ra
n
ge in Exceptional_C
a
ses
commit
|
commitdiff
|
tree
2023-06-20
Jose Ruiz
ada:
D
ocument
partition
-
wide Ada signal handlers
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
ada: Fi
x
for quantified expr
e
s
s
ions in E
x
ceptional
_
Cases
commit
|
commitdiff
|
tree
2023-06-20
Bob Duff
ada: Fix
bug in predicate checks
w
ith address clauses
commit
|
commitdiff
|
tree
2023-06-20
E
r
i
c Botcazou
ada:
F
i
x
fallout of fix to h
a
nd
l
ing of private views
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Daniel Ki
n
g
ada:
A
dd CHERI intr
i
nsi
c
bindin
g
s and helper f
u
n
ction
s
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Bot
c
azou
a
d
a: Small
f
i
xes
to handling of private views in i
n
stance
s
commit
|
commitdiff
|
tree
2023-06-20
Er
i
c Bot
c
azou
ada: Fix
i
nte
r
nal err
o
r on aggregate within con
t
a
i
ner
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Lac
a
mbre
ada: Fix -fdi
a
gnostics-f
o
rmat=js
o
n not
p
ri
n
ting all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Bot
c
azou
a
d
a: Introduce -gnateH switch to force reverse Bit
_
Order
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yan
n
i
ck Moy
ad
a
: Update a
n
notations in runtime for pr
o
of
commit
|
commitdiff
|
tree
2023-06-20
M
a
rc Poulhiès
ad
a
: Fi
x
ty
p
e der
i
vati
o
n
of subtype of deri
v
ed type
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan
Lacambre
ada: Pass E
r
r
or_No
d
e
to
c
alls to Error_Msg in l
i
b-load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire Dross
ada:
Remove
r
e
f
eren
c
es to
Might_Not_Re
t
urn
a
nd A
l
ways_
R
eturn
commit
|
commitdiff
|
tree
2023-06-20
Ja
v
ier Miranda
ada: Spurious error on package instantiation
commit
|
commitdiff
|
tree
2023-06-20
R
o
na
n
Desplanques
ada: Fix edg
e
case in Ada
.
Cal
e
n
d
ar
.
Fo
r
matti
n
g
.
Tim
e
_
O
f
commit
|
commitdiff
|
tree
2023-06-15
Marc Poulhiès
ada: Remove unused files
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
a
d
a: Fix wrong cod
e
for ACATS c
d
1c03
i
on M
o
rello targ
e
t
commit
|
commitdiff
|
tree
2023-06-15
Eric B
o
tcazou
ada: Fix
w
r
o
ng final
i
zation for double subtyp
e
of bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Rona
n
Despl
a
nq
u
e
s
ada: Ma
k
e minor
imp
r
ovements to user
'
s
guide
commit
|
commitdiff
|
tree
2023-06-15
Yannick Moy
ada: Reject Loop_Entry insi
d
e pre
f
i
x
of Loop_Entry
commit
|
commitdiff
|
tree
2023-06-15
Eric Botca
z
ou
ada: Fix too sm
a
ll
s
econdary stack all
o
cation
for
returned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
ric Bot
c
azou
a
d
a
:
F
i
x i
n
tern
a
l error on loop iterator
filter with
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eric
B
otca
z
ou
ad
a
: R
e
v
ert latest change to
Find_Hook_Context
commit
|
commitdiff
|
tree
2023-06-15
Eric B
o
tcazou
ada: Fix too small secondary stack allocati
o
n for r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
E
ric Bot
c
azo
u
ada: Remove dead co
d
e i
n
Expand_
I
terator_Loop_Over_Container
commit
|
commitdiff
|
tree
2023-06-15
Ronan De
s
planques
a
da
:
Add escap
e
ha
t
c
h to co
n
figurable
r
u
n
-time
commit
|
commitdiff
|
tree
2023-06-15
Eric Botc
a
zou
ada: Fix
m
issing
f
inaliz
a
ti
o
n for aggregat
e
s ne
s
te
d
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Johannes Klieman
n
ada: Adjust QN
X
Ada pr
i
o
r
ities to mat
c
h
Q
NX system
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
onan Desplanque
s
ada: Adjust com
m
ents
i
n
t
argpa
r
m
.
ads
commit
|
commitdiff
|
tree
2023-06-15
Piot
r
Tr
o
ja
n
ek
ada: Accept aspect
Always_Termina
t
es on pack
a
ges
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
a
d
a: Accept aspect Alwa
y
s
_
Terminates
on entr
i
es
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Reject aspect Alw
a
ys_Terminates on functions a
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Eri
c
Botcazou
a
d
a
:
Fix mis
s
ing error
o
n
f
u
n
c
tion cal
l
retur
n
in
g
i
ncomplete
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Ronan
D
esplan
q
ues
ada: Fix minor is
s
ues in c
o
mments
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazou
ada: R
e
move Ttypes
.
Max
_
Unaligned_Fiel
d
commit
|
commitdiff
|
tree
2023-06-15
Eric Bot
c
azou
ad
a
: Fix inverted imp
l
ement
a
t
i
on of RM 8
.
4(10) cl
a
use
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ad
a
: Accept aspect Always_Terminates without ex
p
ression
commit
|
commitdiff
|
tree
2023-06-15
Javier Miranda
ada: C
r
ash
o
n
C++ constructor of
p
rivate
t
ype
commit
|
commitdiff
|
tree
2023-06-15
Eric Botcazo
u
ada:
R
e
m
ove obsolete references for Build_Transien
t
_
O
bje
c
t_S
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Er
i
c
Botcazou
a
d
a
:
F
ix aspect
Linker_Section
ign
o
red on subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
iotr Trojanek
ada: Cleanup anal
y
sis
o
f
iterated compon
e
nt association
commit
|
commitdiff
|
tree
2023-06-13
P
i
o
t
r
T
roj
a
n
e
k
ad
a
:
F
ix de
c
oration of iterated co
m
ponent
a
ssoci
a
tion
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Bob
D
uf
f
ada: Add mi
s
s
i
ng ss_mark/ss_release
in q
u
antified expressions
commit
|
commitdiff
|
tree
2023-06-13
P
i
ot
r
Tro
j
anek
ada:
R
eco
g
nize i
t
erat
e
d
_
c
omponent_association as repeat
e
dly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Tr
o
janek
ada: Reco
g
nize iterated_
c
omponent
_
association as
po
t
entiall
y
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Disabl
e
inlining i
n
p
o
tentia
l
ly uneval
u
ated
co
n
text
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
ada:
Imp
l
e
ment
new aspect Always
_
Terminat
e
s f
o
r
SPARK
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
a
nek
ada: Skip elabo
r
ation c
h
ec
k
s
for abstrac
t
subp
r
ogr
a
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ad
a
: Fix anot
h
er case of mi
s
s
i
ng Has_Private_View
f
l
ag
commit
|
commitdiff
|
tree
2023-06-13
Marc Po
u
l
h
iès
a
da: Fix it
e
rated com
p
onent initializ
a
t
i
on
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
otcazou
ada:
Fix except
i
o
n
raised on inva
l
id contract
in generic
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Bo
t
caz
o
u
ada: Fix spur
i
ous error on call to function
r
etu
r
ning
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botc
a
zou
ada: Fix internal error on i
m
por
t
ed
function
with p
o
st
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Bot
c
az
o
u
ada: Streamline expan
s
ion of con
t
rolled actions for
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: Re
m
ove obso
l
e
t
e code in Anal
y
z
e
_Assignment
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojane
k
ada: Re
m
o
v
e un
r
e
f
erenced r
o
utine Is
_
Inherit
e
d_Operation
_
F
o
r_Type
commit
|
commitdiff
|
tree
2023-06-13
Eric
B
o
t
cazou
a
d
a: Small
housekeeping work in expansion of extension
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eri
c
Botcaz
o
u
ada: Fi
x
w
r
on
g
expa
n
sion of limited extension
a
ggregate
commit
|
commitdiff
|
tree
2023-06-13
Ya
n
nick Moy
ada: Mark attribute Initializ
e
d as gh
o
s
t
c
o
de
commit
|
commitdiff
|
tree
2023-06-13
Daniel King
ada: Add
No_
E
laboratio
n
_
C
ode_All pragma to System
.
Sto
r
age_El
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcaz
o
u
ad
a
: Facto
r
ou
t
tag
a
s
sig
n
men
t
s
f
rom type in expan
d
er
commit
|
commitdiff
|
tree
2023-06-13
Ya
n
nick Moy
ada: Use gh
o
st predicate i
n
s
t
andard lib
r
a
ry
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
a
d
a
: Fix
e
xpans
i
on of aggreg
a
tes with controlled components
commit
|
commitdiff
|
tree
2023-06-13
Eric Botcazou
ada: F
a
ctor common processing
in expansi
o
n o
f
aggregat
e
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
ada: Remove wrong comm
e
nt abou
t
expansion of ex
c
epti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Tro
j
a
nek
ad
a
: Clea
n
up f
i
nding of locall
y
handled exception han
d
lers
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
anek
a
da: C
l
e
a
nup e
x
pansion of
locally handled exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada:
T
une s
t
yle i
n
detecti
o
n of writable f
u
n
c
tion actua
l
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
a
da: Simplify appending to a newl
y
created list
commit
|
commitdiff
|
tree
2023-06-13
Yannick Moy
ada: Suppo
r
t
new GNAT-sp
e
cif
i
c aspect Ghost_Predicate
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
o
j
an
e
k
ada: Remove explicit de
c
oration of wrapper creat
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
E
ric Botcazou
ada: Fix wro
n
g acce
s
s for qualified
aggregat
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric
B
o
t
cazou
ada:
F
ix interna
l
error
o
n qualified
aggregate with
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Botcazou
ada: Add missing guar
d
s for degenerate storage models
commit
|
commitdiff
|
tree
2023-05-30
Ma
r
c P
o
ulhi
è
s
ada:
F
ix inco
r
rect c
o
pi
e
s being used
wit
h
'Addr
e
ss
commit
|
commitdiff
|
tree
2023-05-30
Eric Botca
z
ou
ada:
Fix bogus Storag
e
_Error on dynamic array
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Eric Bot
c
azou
a
da: Fix m
i
n
o
r
issue with Mod operato
r
commit
|
commitdiff
|
tree
2023-05-30
Eric
Botcazou
ada: Minor
g
e
n
eric twe
a
ks left
a
nd and right
commit
|
commitdiff
|
tree
next