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] Call-initialize all controlled objects in place
2022-07-04
E
r
i
c Bot
c
azou
[Ada]
Cal
l
-init
i
alize all controlled objects i
n
place
commit
|
commitdiff
|
tree
2022-07-04
B
o
b
D
u
ff
[Ada]
Add A
d
a 2022 Key function to s
e
ts cont
a
iners
commit
|
commitdiff
|
tree
2022-07-04
Vasiliy Fofanov
[Ada] Fix length
o
f
title u
n
derlines
.
commit
|
commitdiff
|
tree
2022-07-04
S
teve Baird
[Ad
a
] Comp
i
le
r
rejects l
e
g
a
l all
o
cator in record component
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Steve Bair
d
[Ada
]
Avoid unwa
n
t
e
d warnin
g
s for
static
a
lly-known
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Julien Bor
t
o
lussi
[Ada] Add
a
R
M entry
f
or the func
t
ional in
f
inite
s
equen
c
e
s
commit
|
commitdiff
|
tree
2022-07-04
Eric B
o
tcazou
[
Ada] Give
missi
n
g e
r
ror
o
n
ambig
u
ous oper
a
n
d
of
e
q
u
ality
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Bob Duf
f
[Ada]
Add Ada 2022 f
e
atures to
sets containers
commit
|
commitdiff
|
tree
2022-07-04
Claire Dross
[
Ada]
Update the do
c
umentation of
func
t
ional containers
commit
|
commitdiff
|
tree
2022-07-04
Clair
e
Dross
[
A
d
a]
Add GNAT specific pragmas to t
h
e
e
quivalent Assertion_
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Justin Squire
k
[Ada]
I
n
corr
e
ct accessibi
l
ity check on return
o
f discriminat
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Eric
B
otcazou
[
A
d
a
] Pl
u
g
l
oopho
l
e for bui
l
t-in-place ret
u
rn with
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
P
i
o
tr Trojanek
[Ada] Fix fo
r
re
s
olution of overl
o
aded subprogram
for
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Julien Bor
t
ol
u
ssi
[Ada] Create ne
w
unb
o
unded functional sequence
commit
|
commitdiff
|
tree
2022-07-04
Eric Botcaz
o
u
[A
d
a]
A
dju
s
t
description
o
f P
u
re_Function pragma
commit
|
commitdiff
|
tree
2022-06-02
Pierr
e
-Mar
i
e de
.
.
.
[
Ada
]
U
p
date copyright notices
commit
|
commitdiff
|
tree
2022-06-02
Er
i
c
Botcazou
[Ad
a
]
Remove left-overs of front-end SJLJ processing
commit
|
commitdiff
|
tree
2022-06-02
Ghjuvan Lac
a
m
bre
[Ada]
F
ix record lay
o
ut warni
n
gs not b
e
ing
t
agged
commit
|
commitdiff
|
tree
2022-06-02
Arnaud Charlet
[
A
da] Dis
a
ble
-
flto when buil
d
ing
t
he shared libgnat
commit
|
commitdiff
|
tree
2022-06-02
Eric Botcazou
[Ada] Couple of small prepara
t
ory
adjustments
commit
|
commitdiff
|
tree
2022-06-02
Eric Botcazou
[
A
d
a
] Restore
f
ull
g
eneration of s
t
atic dispatch ta
b
les
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Eric Botc
a
z
ou
[Ada] Nev
e
r
make s
y
mbol
s
for th
u
nks public
commit
|
commitdiff
|
tree
2022-06-02
Piotr Trojanek
[Ada] Remov
e
re
d
undant check
s
for missing lists
commit
|
commitdiff
|
tree
2022-06-02
E
r
ic B
o
tc
a
zou
[
A
d
a
] Get rid of s
e
cond
a
r
y
stack for
m
ost
c
alls returning
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Marc
P
o
u
lhiè
s
[Ada
]
Fix re
f
erenc
e
s to old vari
a
bles
t
h
at have been
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Claire Dross
[
Ada] Rename
G
NATprove annotate pragma for te
r
mination
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Julien B
o
rtol
u
s
si
[Ad
a
]
Make the functi
o
n
a
l Maps and Sets unbounded
commit
|
commitdiff
|
tree
2022-06-02
Eric
B
otcazou
[
Ada] Fix s
p
u
r
ious use
of tr
a
mpolines wit
h
in
t
erface
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Ghjuv
a
n
Lac
a
m
b
r
e
[Ada] Ad
d
p
r
ec
i
se s
u
bp
r
o
gram identi
f
ication to -f
d
iagnostics
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Arnau
d
Ch
a
rlet
[A
d
a
] Refine previous changes o
n
making symbols public
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Yannick Moy
[Ad
a
] Fix spurious errors on gh
o
st code in g
e
n
erics
commit
|
commitdiff
|
tree
2022-06-02
Eric
B
ot
c
azou
[Ada] Move regi
s
tering code for pred
e
fine
d
primitives
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
E
r
ic Bot
c
azou
[
A
da] Bu
i
l
d sta
t
ic dispatch
t
ables always at the e
n
d
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
D
oug Rupp
[Ada] vx
7
r
2
-arm/aarch6
4
- S
u
p
port
A
tom
i
c Primitives
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Javier M
i
randa
[Ada
]
Update do
c
umentat
i
o
n
of
G
NAT
.
Dyna
m
i
c
_Tables
commit
|
commitdiff
|
tree
2022-06-02
Eric Botcazou
[Ada
]
F
i
x detection
o
f
d
eferred consta
n
t
s for freezing
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Joffre
y
Hu
g
u
e
t
[Ada] Fix precond
i
tio
n
s of Interfa
c
es
.
C
.
Strings
commit
|
commitdiff
|
tree
2022-06-02
Yann
i
c
k
Moy
[Ada
]
Issue
e
rrors on
w
r
on
g
context for ghost entities
commit
|
commitdiff
|
tree
2022-06-02
Joffrey Huguet
[Ada
]
Complete contr
a
ct
s
o
f
Int
e
r
faces
.
C
.
Strings subprograms
commit
|
commitdiff
|
tree
2022-06-02
Yannick
M
oy
[
A
d
a] Removal
o
f dead code Analyze_Label_En
t
ity
commit
|
commitdiff
|
tree
2022-06-02
Eric Botcazo
u
[Ada] Propagat
e
Has_Inherit{ab
l
e
,ed}_Invariant
s
to
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Do
u
g
Ru
p
p
[Ada] Combine system
.
ads files - arm and aarch64 l
i
n
ux
commit
|
commitdiff
|
tree
2022-06-02
Doug Ru
p
p
[A
d
a] Combi
n
e s
y
ste
m
.
ads f
i
le
-
vxwor
k
s7 rtp constant
s
commit
|
commitdiff
|
tree
2022-06-02
Justin Squirek
[Ada] Gna
t
bind
c
ras
h
during checksum calculati
o
n
commit
|
commitdiff
|
tree
2022-06-02
Clair
e
Dross
[Ada] Fix
i
t
eratio
n
on formal vect
o
rs
commit
|
commitdiff
|
tree
2022-06-02
Joffrey
Huguet
[
A
d
a] Add co
n
tracts to
S
ystem
.
Addre
s
s_To_Access
_
Co
n
versions
commit
|
commitdiff
|
tree
2022-06-02
J
o
ffrey H
u
guet
[Ada] A
d
d co
n
t
r
acts to Inter
f
aces
.
C
.
Str
i
ngs
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[Ada] Allow confirming v
o
latile p
r
op
e
r
t
ies on No_Cach
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Do
u
g R
u
pp
[Ada] C
o
mbine
sy
s
tem
.
ads file - vxworks7 kernel
constants
.
commit
|
commitdiff
|
tree
2022-06-01
Do
u
g
Rupp
[Ada] Combi
n
e syst
e
m
.
ads files - ar
m
a
n
d aarch64 qnx
commit
|
commitdiff
|
tree
2022-06-01
Piotr Tr
o
ja
n
ek
[Ada] Fix missing space in e
r
r
o
r message
commit
|
commitdiff
|
tree
2022-06-01
Yan
n
i
c
k Moy
[Ada
]
Fix cl
a
ssification of Subpr
o
gram_Variant a
s
asse
r
t
ion
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[Ada]
R
ename Returns_On_Secondary_
S
tack int
o
Needs
_
Secondary
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botca
z
ou
[Ada] D
o
not free
z
e subprog
r
am bo
d
y with
o
ut spec too
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
J
u
lien Bortolussi
[Ada] Bug
f
ix in "
=
"
functio
n
of formal doubly link
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
M
arc Poulhiè
s
[Ada] Fi
x
predicate
check on o
b
ject declara
t
ion
commit
|
commitdiff
|
tree
2022-06-01
Doug Rupp
[Ada] arm-
q
nx-7
.
1: unwind goes
w
r
o
ng after
regs restore
commit
|
commitdiff
|
tree
2022-06-01
Ghjuvan
Lacambr
e
[Ada] Enable
using absolute paths in -fdiagno
s
tics
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Bot
c
a
zou
[Ada
]
Fix ba
d
i
n
teract
i
on betw
e
en
In
l
ine_Always and
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Piotr Trojanek
[A
d
a] Propagate
n
ull-exclusion
to anony
m
ous access
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[
A
da] A
d
d
a comment about a
finali
z
ation issue
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[
A
da] Get rid of secondary
s
tack for contro
l
led
components
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
A
lexandr
e
Oliva
[Ada] No
t
e that h
a
rdening
f
eat
u
res are experimental
commit
|
commitdiff
|
tree
2022-06-01
Steve
Ba
i
rd
[Ada] Anot
h
er case wh
e
re freezing incorre
c
tly su
p
pres
s
es
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazo
u
[Ada]
A
djust reference in
c
omment
commit
|
commitdiff
|
tree
2022-06-01
Doug Rupp
[A
d
a] QNX share
d
l
ibraries - arm-q
n
x build gnatlib
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric
B
otcaz
o
u
[Ada
]
F
i
x
composa
b
ility of retur
n
on the
seconda
r
y
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghju
v
an Laca
m
bre
[Ada
]
Fix
"
formal
parameter & is n
o
t referenced" no
t
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghju
v
an Lacambre
[Ada] A
d
just warning sw
i
tc
h
es
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[
A
da] Min
o
r tweaks to d
i
s
patchin
g
support code
commit
|
commitdiff
|
tree
2022-06-01
Steve Ba
i
rd
[Ada] Missing discr
i
minant checks when
access
i
n
g variant
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duf
f
[Ada] Fix search fo
r
"for
.
.
.
of
"
l
o
op subprog
r
a
ms
commit
|
commitdiff
|
tree
2022-06-01
Doug R
u
pp
[
Ada] a
r
m-qnx-7
.
1
: unwind
g
oes w
r
ong
a
fter
regs re
s
to
r
e
commit
|
commitdiff
|
tree
2022-06-01
Julien Bort
o
lu
s
si
[
Ada] Add
re
f
erence
c
o
u
nti
n
g in fu
n
ctional co
n
t
a
iners
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[Ada]
I
ss
u
e
a
warning on
e
ntit
y
h
i
dden
in u
s
e_clau
s
e
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[Ada]
Issue b
e
tter
e
rror message
f
o
r
out-o
f
-order keywords
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
E
r
i
c Botcazou
[Ad
a
] Use Actions field of freeze nodes for
subprograms
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ma
r
c Poulhiès
[Ada
]
Add
i
n
line documen
t
atio
n
for Is_{Parenthesis
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Du
f
f
[Ad
a
]
In
c
orrect code
f
or anonymous acce
s
s
-
to-
f
unctio
n
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob
D
uff
[Ad
a
] S
u
ppress warnings on members
h
ip test
of ranges
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an Lacamb
r
e
[Ada]
Fi
x
s
p
u
rious o
p
tions bein
g
inserted
in -fdiagnosti
c
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an Lac
a
mbre
[Ada
]
A
d
d "option" field
to G
N
AT's -fdiagnostic
s
-
format
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
J
ulien Bortolus
s
i
[Ada] Remove contract dupl
i
ca
t
io
n
in formal doubl
y
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Pio
t
r
T
r
o
janek
[A
d
a
]
Fix expansi
o
n
of s
t
ructur
a
l
s
ubprog
r
am variants
commit
|
commitdiff
|
tree
2022-05-30
Pio
t
r Troja
n
e
k
[Ada
]
Simplify constructio
n
of a path to f
i
le
commit
|
commitdiff
|
tree
2022-05-30
Piotr Tr
o
janek
[Ada] Remov
e
repeated description of support
f
or Ad
d
ress
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[Ada] Add insertion
c
haracter to Ineffect
i
ve_I
n
l
ine_Warnings
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghj
u
van Lacamb
r
e
[Ada] Add ins
e
rtion character fo
r
overlay
mod
i
fication
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuva
n
La
c
ambre
[A
d
a] F
i
x Warn_On_All_Unread_Out_Param
e
t
ers not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambr
e
[Ada] Fix W
a
rn_
O
n
_
Late_Pr
i
m
i
tives messages not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
hjuvan Lacambre
[Ada] Fi
x
-gnatw
.
f warnin
g
s not having
t
he
r
i
g
ht insertion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
P
i
o
tr
T
rojanek
[Ada] Deconstruc
t
deferred re
f
erences
commit
|
commitdiff
|
tree
2022-05-30
Bob Du
f
f
[Ad
a
] Avoid creating a finalization
wr
a
pper block for
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Justin Squirek
[Ada]
Inco
r
rect
unre
f
erenced warnings on null
subpro
g
rams
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Rom
a
in Begue
t
[Ada] Fi
x
illega
l
Ada in s-dwa
l
in
.
adb
commit
|
commitdiff
|
tree
2022-05-30
Steve Ba
i
rd
[
A
da] In
c
orrect determinati
o
n of wheth
e
r
an expressio
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Er
i
c
Botcazou
[
Ada]
F
ix expa
n
si
o
n of agg
r
egate for
d
isc
r
i
min
a
ted
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcazou
[Ad
a
] Do not freez
e
specifically
f
or
d
i
spatch
t
ables
commit
|
commitdiff
|
tree
2022-05-30
Eri
c
Botca
z
ou
[Ada]
D
o
n
o
t analyze e
x
pression functi
o
ns for dispa
t
ch
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
A
r
n
aud Char
l
et
[Ada] Introduce O
p
t
.
CCG_Mo
d
e
commit
|
commitdiff
|
tree
next