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] Minor tweaks to dispatching support code
2022-06-01
Eric Botcazou
[Ada
]
Minor t
w
eaks
to di
s
patching
s
u
pport code
commit
|
commitdiff
|
tree
2022-06-01
Steve
B
aird
[Ada] Missing discrim
i
nant checks
when access
i
ng variant
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob
Duff
[
A
da
]
F
i
x search for "fo
r
.
.
.
of" loop subprogra
m
s
commit
|
commitdiff
|
tree
2022-06-01
D
oug Ru
p
p
[
A
da] arm-q
n
x
-7
.
1:
u
nwind
g
oes wrong aft
e
r regs re
s
tore
commit
|
commitdiff
|
tree
2022-06-01
Julien Bort
o
lussi
[Ada]
A
dd referen
c
e cou
n
ting
i
n functional container
s
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[A
d
a] Is
s
ue a
w
arning
o
n entity hidde
n
in
u
se_cl
a
use
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Y
annick M
o
y
[
Ada] Issue better error messa
g
e
for out
-
of-o
r
der
k
e
ywords
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Bo
t
cazou
[Ada] Use A
c
tions
f
ield of
freeze nodes for subprogram
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
M
a
rc Poul
h
iès
[Ada] A
d
d inline
doc
u
mentatio
n
for
Is_{P
a
renthe
s
i
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
B
o
b Duff
[Ada]
I
ncor
r
e
c
t
cod
e
f
or anonymous ac
c
ess-to-
f
unc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duff
[Ada] S
u
pp
r
e
ss warnings
on
m
embership test of
r
ang
e
s
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan L
a
cambre
[
A
da] Fix spurious option
s
being inserted in
-
fdiagnos
t
ics
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
h
juvan
L
acambre
[Ada] Add "option" field to
G
NAT's -f
d
i
a
gnosti
c
s
-format
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Julien Bortolussi
[
Ada
]
Remove
c
ontract duplication in formal doubly
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[A
d
a]
F
ix
e
xpans
i
on of str
u
ctu
r
al subprogram v
a
ria
n
ts
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ad
a
]
Simpl
i
fy const
r
u
c
tion of
a pat
h
to file
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojane
k
[Ada] Rem
o
ve repeated
d
e
scription
o
f
support for Address
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
h
j
u
van Lacambre
[Ada] Add insertion character
to Ineffective_In
l
ine_Warn
i
ng
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghj
u
van Lacambre
[Ada] Add insertion character fo
r
over
l
ay modific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuva
n
Lac
a
m
b
re
[Ada] Fix Warn_On_All_Unread_O
u
t_Paramet
e
rs not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan Lac
a
mbre
[
A
da] Fix
W
arn_On_Late_Primitive
s
m
e
ssage
s
not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan La
c
ambre
[Ada] Fix -g
n
atw
.
f warnings not having the right insert
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Pio
t
r
T
rojan
e
k
[Ada] Deconstruct deferr
e
d references
commit
|
commitdiff
|
tree
2022-05-30
Bob Duff
[Ada
]
A
void c
r
eating a finalization wra
p
per bl
o
ck
f
or
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Justin Squirek
[Ada] Incorrect unr
e
f
e
re
n
ced warnings on null
sub
p
ro
g
ram
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Romain Be
g
uet
[Ada]
Fi
x
illegal Ada in
s-dwa
l
in
.
adb
commit
|
commitdiff
|
tree
2022-05-30
S
t
e
v
e B
a
ird
[Ada] Incorrec
t
determinat
i
on
of
w
h
e
ther an expression
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcazou
[Ada] Fi
x
expansion of aggreg
a
te
for discriminated
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
E
ric Botcaz
o
u
[Ada] Do not freeze specifical
l
y for disp
a
tc
h
tabl
e
s
commit
|
commitdiff
|
tree
2022-05-30
Eric
B
otcazou
[Ada]
Do n
o
t
a
nalyze expression
f
unctions for d
i
spatch
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ar
n
aud Charl
e
t
[
Ad
a
] Intr
o
d
uce O
p
t
.
CCG_Mode
commit
|
commitdiff
|
tree
2022-05-30
Yannick Mo
y
[Ada] Update pro
o
fs of double arithmetic unit after
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Alexandre Oliva
[Ad
a
] Tweaks to hardening doc
s
commit
|
commitdiff
|
tree
2022-05-30
Piotr
Trojanek
[Ada] Fix typo in comment for fu
n
c
t
ional sets
commit
|
commitdiff
|
tree
2022-05-30
Eric
Botcazou
[Ada] Res
t
ore hiding
o
f predefined "=
"
operator th
r
ou
g
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
E
r
ic Bot
c
azo
u
[Ada] Do not freeze
p
rofiles
for
dispatch
tab
l
es
commit
|
commitdiff
|
tree
2022-05-30
Yann
i
c
k
Moy
[Ada] Adapt proo
f
of runti
m
e
unit s-
a
rit
3
2
commit
|
commitdiff
|
tree
2022-05-30
Y
a
nni
c
k
Moy
[
A
d
a] PR
a
da
/
105303 Fi
x
use of Asse
r
t
i
on_Pol
i
cy in
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
S
t
eve Bai
r
d
[
Ada] Delete no
-
longer-used
C
onvert_To_Re
t
urn_False
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Julien Bortolussi
[Ada
]
Add e
m
pty constructors to the functional
c
ontainer
s
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[
Ada] Fix n
e
w CUD
A
kernel regis
t
ration scheme
commit
|
commitdiff
|
tree
2022-05-19
Eric
B
otcazou
[Ad
a
]
Avo
i
d
copy op
e
ration for returns involving function
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botc
a
zou
[
A
da] Do not give
w
arnin
g
s for compiler-
g
en
e
rated entit
i
es
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
E
r
ic B
o
tcazou
[Ad
a
] Small housekeepi
n
g wor
k
in
g
nat_
g
imp
l
ify_expr
commit
|
commitdiff
|
tree
2022-05-19
Eric Bot
c
azou
[A
d
a
]
Add support for
"
simd" f
u
nction at
t
ribute
commit
|
commitdiff
|
tree
2022-05-19
Eric
Botcazou
[Ada] Fi
x
internal
e
rror on uncheck
e
d un
i
o
n
with
com
p
onent
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
E
ric Botcazou
[Ada] Do not
set Current_Error_Node to a node without
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Bo
t
ca
z
ou
[A
d
a
]
F
i
x
internal erro
r
on semi-
c
ircular re
c
ord types
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Fix
f
o
r
inte
r
nal error o
n
semi-circular recor
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
d
a] Ad
j
us
t
co
p
yrigh
t
l
ine
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
Bot
c
azou
[Ada] Pr
e
serve unchecked conversio
n
of
s
tring c
o
nstant
commit
|
commitdiff
|
tree
2022-05-19
Piotr Tro
j
anek
[Ada]
R
e
m
ove redundant mark
i
ng of
i
l
legal
p
ragma with
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
P
i
otr Trojanek
[Ada] Fi
x
c
o
nti
n
uatio
n
mes
s
age wi
t
hout a pri
o
r
error
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada]
M
ar
k
R
e
qui
r
e
s
_
T
ransient_S
c
op
e
as
I
n
lin
e
commit
|
commitdiff
|
tree
2022-05-19
Steve
Baird
[Ada]
Avoid int
e
rnal c
o
m
p
iler
e
rror for
ill
e
gal Pr
e
dicate
_
Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
da
]
Fix spurious vi
o
la
t
ion
s
o
f
No_
S
e
c
ondary_
S
tack
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Da
n
iel Me
r
c
i
er
[A
d
a] Ignore Pr
e
d
i
cate_Failure in C
o
dePeer mode
commit
|
commitdiff
|
tree
2022-05-19
Arna
u
d Charlet
[Ada]
F
i
x
compilation of
raise-gcc
.
c with
-D
S
TANDALON
E
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
Botc
a
zou
[Ada] Pr
e
se
r
ve and
re
u
s
e
original type
in Narr
o
w_Large_Operat
i
o
n
commit
|
commitdiff
|
tree
2022-05-19
Jav
i
er
M
i
r
and
a
[Ada]
W
rong i
n
ter
f
ace dyna
m
ic di
s
patch via
access parameter
commit
|
commitdiff
|
tree
2022-05-19
P
i
otr Troj
a
n
ek
[Ada] Ig
n
ore
Predicate_
F
a
ilure in GNATprove mode
commit
|
commitdiff
|
tree
2022-05-19
Ste
v
e
Bai
r
d
[Ada] Fix bug
i
n
hand
l
i
n
g of
P
r
e
dicate_Fai
l
u
re a
s
p
ect
commit
|
commitdiff
|
tree
2022-05-19
Er
i
c Botcazou
[Ada] Avoi
d
copy op
e
r
ation for return
s
involving function
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
P
iotr
T
r
ojanek
[
Ada] Fix inv
a
l
id expanded code for ent
r
y families
commit
|
commitdiff
|
tree
2022-05-19
Pi
o
tr
T
rojanek
[Ada] C
l
eanup expansion of protected entry
families
commit
|
commitdiff
|
tree
2022-05-19
A
rnaud Charlet
[Ada
]
Remov
e
remain
i
n
g
refer
e
nces to gnatfin
d
/gnatxr
e
f
commit
|
commitdiff
|
tree
2022-05-19
Claire Dross
[Ada] Fix proof of runtime unit a-strfi
x
and a-str
s
u
p
commit
|
commitdiff
|
tree
2022-05-19
Ed
S
c
honberg
[Ada] Support Ada 20
2
2 nul
l
a
rray
aggregates
commit
|
commitdiff
|
tree
2022-05-19
Yannick Moy
[Ada] Further adapt pro
o
f
o
f
double arithmetic runtim
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Bob Duff
[Ada] Imp
r
ove optim
i
za
t
ion of "=" on bit-packed arra
y
s
commit
|
commitdiff
|
tree
2022-05-19
Bob Duff
[
A
da] Cas
i
ng
style on record
c
ompon
e
nts
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Get r
i
d
of sec
o
ndar
y
stack for controlled co
m
pon
e
n
ts
commit
|
commitdiff
|
tree
2022-05-19
Eric Bo
t
cazou
[
Ada] Smal
l
housekeep
i
ng work continue
d
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Small housekeepi
n
g work
commit
|
commitdiff
|
tree
2022-05-19
Eric
B
otcazo
u
[Ada] Do not ov
e
rr
i
de inli
n
ing h
e
ur
i
stic
s
for express
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr
Trojanek
[Ada] Remove dea
d
code for scope entity having E_Subprogram_
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Clair
e
Dross
[
A
da] Fix proof
of runtim
e
u
nit
s
-
imageu
commit
|
commitdiff
|
tree
2022-05-18
Doug Rupp
[
Ada]
q
nx-
7
.
1: warn
i
ng in sigtramp-qnx
.
c __gnat_
s
igtr
a
m
p
commit
|
commitdiff
|
tree
2022-05-18
D
oug Rupp
[A
d
a]
a
rm-qnx-7
.
1: stack
-
checkin
g
a
n
d sig
t
ram
p
implem
e
ntation
commit
|
commitdiff
|
tree
2022-05-18
Yannick Moy
[Ada] A
d
apt
p
roof of double ar
i
t
hm
e
tic runtime
u
nit
commit
|
commitdiff
|
tree
2022-05-18
Claire Dros
s
[Ada] Fix pr
o
of o
f
runtime unit s-v
a
l
eu
commit
|
commitdiff
|
tree
2022-05-18
Kévin Le Gou
g
uec
[Ada] Make s
u
re out
p
ut v
a
riable
i
s always
i
nitialized
commit
|
commitdiff
|
tree
2022-05-18
Bob Duff
[Ada] Disabl
e
Vet ca
l
ls when
c
ontaine
r
checks are
disabled
commit
|
commitdiff
|
tree
2022-05-18
Doug Rupp
[
Ada] arm-
q
n
x
-
7
.
1: undefin
e
d
r
e
ference to fma* symbols
commit
|
commitdiff
|
tree
2022-05-18
K
é
vin Le
Gouguec
[Ada] Fix DWARF parsi
n
g
for 32-bit
targets
o
n
6
4
-bit
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Gary Dismukes
[Ada] Im
p
rove error messa
g
es fo
r
occurren
c
e of GNAT
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Johannes Klieman
n
[Ada]
F
ix Ad
a
-QNX task p
r
i
o
r
i
t
y conv
e
rsion
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[A
d
a]
U
s
e
specific predicate befo
r
e manipulating BIP_Alloc_Fo
r
m
commit
|
commitdiff
|
tree
2022-05-18
Ja
v
ier Miranda
[Ada] C
r
ash bu
i
ldi
n
g VS
S
with
c
ompiler
b
uilt with asse
r
tions
commit
|
commitdiff
|
tree
2022-05-18
J
a
v
i
e
r
Miranda
[Ada
]
Ada2022: AI12-0
1
4
3
Ind
e
x att
r
ibute f
o
r
entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Yannick Moy
[
Ada] Fix proof of runtime
u
nits
commit
|
commitdiff
|
tree
2022-05-18
A
rnau
d
Charle
t
[Ada] Errors missed on ACATS test B6500
0
7
commit
|
commitdiff
|
tree
2022-05-18
M
a
rc Poulhiès
[A
d
a]
Fix
the
parsing for delta
aggregate
commit
|
commitdiff
|
tree
2022-05-18
Arna
u
d
C
h
arle
t
[
A
da] Secondary sta
c
k and a-tag
s
commit
|
commitdiff
|
tree
2022-05-18
Eri
c
B
o
tcazou
[Ada] Fix prob
l
ematic
u
nderflow for Float_Type'V
a
lue
commit
|
commitdiff
|
tree
2022-05-18
Yanni
c
k Moy
[Ada] Spuri
o
us error o
n
free
z
in
g
of ta
g
ge
d
types in
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Marc Poulhiès
[Ada]
Rework o
p
timizat
i
o
n
skipping pra
g
ma check in
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
E
ri
c
Botcazou
[Ada] F
i
x intern
a
l
error on
s
ubprogram
i
nstant
i
a
t
ion
commit
|
commitdiff
|
tree
2022-05-18
Gary Dismukes
[Ad
a
] Overridin
g
error on type
deriv
e
d from discriminat
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Piotr
T
rojanek
[Ada] Prevent
o
verflow in comput
a
tion
o
f aggregate
.
.
.
commit
|
commitdiff
|
tree
next