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] Add a comment about a finalization issue
2022-06-01
Eric B
o
tcaz
o
u
[Ada] Add a c
o
mment
a
bout
a f
i
nali
z
a
t
ion issue
commit
|
commitdiff
|
tree
2022-06-01
Eric Bot
c
azou
[Ada
]
Get rid of s
e
co
n
dary stack
for cont
r
olled co
m
ponents
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Alexand
r
e Oli
v
a
[Ada] N
o
t
e
that hardening
features are
e
xpe
r
i
m
e
n
tal
commit
|
commitdiff
|
tree
2022-06-01
Steve Bair
d
[A
d
a] Another case where freezing incorrect
l
y suppresse
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcaz
o
u
[Ada] Adju
s
t re
f
er
e
nce in c
o
mment
commit
|
commitdiff
|
tree
2022-06-01
Doug R
u
pp
[Ada]
QNX shared librari
e
s
-
arm-q
n
x
build
gnatlib
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric B
o
t
c
azou
[Ada] Fix composabil
i
ty of return o
n
the seco
n
d
a
ry
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghjuvan
Lacambre
[
A
da]
F
ix "formal parameter & i
s
not referenced
"
not
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghjuvan Lacambre
[
A
da] Adjust
w
arning
switc
h
es
commit
|
commitdiff
|
tree
2022-06-01
E
ric Botcazo
u
[Ad
a
] Minor tweaks to di
s
patching
s
up
p
ort code
commit
|
commitdiff
|
tree
2022-06-01
St
e
ve Bai
r
d
[
A
da
]
Missing discr
i
m
i
nant checks wh
e
n
a
c
cessing var
i
ant
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duff
[
A
da] Fix
search for "for
.
.
.
of" loop su
b
programs
commit
|
commitdiff
|
tree
2022-06-01
D
o
ug
Ru
p
p
[A
d
a] arm-qn
x
-7
.
1: unwi
n
d go
e
s
w
rong a
f
t
e
r regs rest
o
re
commit
|
commitdiff
|
tree
2022-06-01
Julien B
o
r
to
l
ussi
[Ada] Ad
d
reference countin
g
i
n functional containers
commit
|
commitdiff
|
tree
2022-06-01
Y
annick Moy
[Ada] I
s
s
u
e a
warning on entity hi
d
den
in us
e
_clause
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Yannick Moy
[Ada]
Issue bet
t
er error message
f
or out-of-order ke
y
words
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric Botcazou
[Ada] Use Act
i
ons field of freeze nodes
for subpr
o
grams
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Marc Poulhi
è
s
[Ad
a
] Add inline documen
t
ation for Is_{Parenthesis
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob
Duff
[Ada] I
n
co
r
rect code for
a
nonymous access-to-fu
n
c
tion
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
B
o
b
D
uf
f
[
A
da]
S
uppres
s
w
arnings on membership test of ranges
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an Lacambre
[Ada] Fix
s
purious options bein
g
inserte
d
in -fdiagnos
t
ic
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uv
a
n La
c
a
mbre
[Ada
]
Add "op
t
ion" fiel
d
to GNAT's -fdiagnostics-format
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Julien Bo
r
tol
u
ssi
[Ada] Remove con
t
ract duplication in formal doub
l
y
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojane
k
[Ada] Fix expansion o
f
struct
u
ral subpr
o
g
r
am variant
s
commit
|
commitdiff
|
tree
2022-05-30
Piotr
Tro
j
anek
[Ada] Simp
l
ify co
n
st
r
uction of a path t
o
file
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Remov
e
repeated de
s
cr
i
ption
o
f
suppo
r
t for Addre
s
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan
L
a
camb
r
e
[
A
da] Add ins
e
r
t
i
on ch
a
racter to
I
ne
f
fective_In
l
ine_
W
arn
i
ngs
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
hjuvan Lacambre
[Ada] Add inse
r
tion
character for overlay
m
od
i
fication
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[Ada
]
F
i
x Warn_On_All_
U
nread_O
u
t_
P
ara
m
eters not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghj
u
v
an Lacambre
[Ad
a
] Fix Warn_On
_
Late_Primitives messages not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan
L
acambre
[Ada]
Fix
-gnatw
.
f w
a
rning
s
n
o
t
hav
i
ng the
right insertion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piot
r
Trojan
e
k
[Ada] Deco
n
s
t
r
uc
t
deferred references
commit
|
commitdiff
|
tree
2022-05-30
Bob Duff
[Ad
a
] Avoi
d
cre
a
ting a finalization wrapper block f
o
r
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
J
u
s
t
i
n
Squire
k
[
Ada] Incorrect
unref
e
renced warnin
g
s on nul
l
subprograms
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
R
omain
Beguet
[
A
da] Fix illegal Ada in s-dwalin
.
ad
b
commit
|
commitdiff
|
tree
2022-05-30
St
e
ve Baird
[
A
da] Incorrect determination of whether an
e
xpre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric
Botcazou
[Ada]
F
i
x
expansion of a
g
gregate for discrimina
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcazou
[Ada] Do
no
t
fre
e
z
e
s
pecifica
l
ly
for dispatch tabl
e
s
commit
|
commitdiff
|
tree
2022-05-30
Eric
B
o
tcazou
[Ada] Do not analyze expression func
t
ions
for dis
p
a
tc
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Arna
u
d
C
harlet
[A
d
a
] Int
r
oduce Opt
.
C
C
G_M
o
de
commit
|
commitdiff
|
tree
2022-05-30
Yannick M
o
y
[Ada
]
Update
p
roofs
o
f
d
ouble a
r
i
thmetic unit af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Alexan
d
re Oliva
[Ada] Twe
a
k
s
t
o
hardening docs
commit
|
commitdiff
|
tree
2022-05-30
Pio
t
r Trojanek
[Ada] Fix
t
ypo in
c
o
mment f
o
r
f
uncti
o
n
al sets
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcazou
[Ada] Restore
hiding of predefined
"
=" operator through
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
E
r
ic Botcazou
[A
d
a] Do not fre
e
ze profiles
f
o
r
dis
p
atc
h
tables
commit
|
commitdiff
|
tree
2022-05-30
Yannick Moy
[Ada] Adapt
p
roof of run
t
ime
unit s-arit
3
2
commit
|
commitdiff
|
tree
2022-05-30
Ya
n
nick Mo
y
[Ada] PR
a
da/10
5
303 Fix
u
se of Assertion_
P
o
l
i
cy in
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve Baird
[Ada] Delete no-
l
onger-used
C
onv
e
rt_T
o
_Return_False
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Juli
e
n Bortolussi
[Ada]
A
dd empty constructo
r
s to the function
a
l c
o
n
t
ainers
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan Lacambre
[Ada] F
i
x new CUDA kernel registr
a
ti
o
n
s
cheme
commit
|
commitdiff
|
tree
2022-05-19
Eric Bot
c
azou
[Ada] A
v
oid c
o
py
o
peration
f
or re
t
urns invo
l
vin
g
functio
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
d
a
] Do not give w
a
rning
s
for com
p
iler-generated entitie
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Bot
c
az
o
u
[Ada] Smal
l
houseke
e
ping w
o
rk in
gnat_gimpl
i
fy_expr
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada
]
A
dd s
u
pport for "simd" function
attrib
u
te
commit
|
commitdiff
|
tree
2022-05-19
Eric Bo
t
cazou
[Ada
]
Fix internal error on un
c
hecked union with component
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Er
i
c Botc
a
zou
[Ada] Do not set Cu
r
rent_Error_Node
t
o a
node without
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] F
i
x inter
n
al erro
r
on semi-circular
record
types
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
da]
Fix
f
or internal err
o
r
o
n
semi-circular r
e
co
r
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
E
r
ic Botcazou
[Ada] Adjust
c
o
p
y
right line
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada]
P
reserve un
c
h
ec
k
ed c
o
nver
s
ion of string constant
commit
|
commitdiff
|
tree
2022-05-19
Piotr
T
ro
j
anek
[
Ada] Remove
redundant mark
i
ng of illegal pragma with
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[Ada
]
Fix co
n
t
i
n
u
ati
o
n message
without a prior error
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
Botcazou
[Ada
]
Mark
Requires_Transient_Scope as In
l
ine
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada
]
A
v
oid internal compiler error for illegal Predicate_Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric
B
otcazou
[Ada] Fix spuri
o
u
s
v
i
olation
s
of
No_S
e
condary_Stack
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Daniel Mercier
[A
d
a] Igno
r
e Predicate_Failur
e
in Co
d
ePeer mo
d
e
commit
|
commitdiff
|
tree
2022-05-19
Arnaud Charlet
[Ad
a
] Fi
x
compil
a
tion of ra
i
se-gcc
.
c
w
i
th -DSTAN
D
ALONE
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric
B
otca
z
o
u
[Ada
]
P
r
e
s
erve a
n
d r
e
us
e
o
r
iginal ty
p
e i
n
Narrow_Large_Operat
i
on
commit
|
commitdiff
|
tree
2022-05-19
J
avier Miranda
[
A
da] Wrong interface dynam
i
c dispa
t
ch
via access para
m
e
t
er
commit
|
commitdiff
|
tree
2022-05-19
P
i
otr
Troj
a
nek
[Ada] I
g
nore Predicat
e
_Failure in GNA
T
pr
o
ve mode
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada] Fix bug i
n
handli
n
g of Predi
c
ate
_
Failure aspect
commit
|
commitdiff
|
tree
2022-05-19
Eric Botc
a
zou
[Ada] Avoid copy operation for returns inv
o
lvi
n
g
f
u
nct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piot
r
Trojanek
[Ada] Fix in
v
alid e
x
panded cod
e
for entry
familie
s
commit
|
commitdiff
|
tree
2022-05-19
Piotr Tr
o
j
ane
k
[Ada] Cleanup expans
i
on of protect
e
d
e
nt
r
y fa
m
ilies
commit
|
commitdiff
|
tree
2022-05-19
Arna
u
d
Ch
a
r
l
e
t
[Ada] Remove remaini
n
g
references to gnatfind/gnatxref
commit
|
commitdiff
|
tree
2022-05-19
C
laire Dro
s
s
[Ada] Fix proof of run
t
im
e
un
i
t a-strfi
x
and a-strsup
commit
|
commitdiff
|
tree
2022-05-19
Ed Schonberg
[Ada] Suppo
r
t
A
d
a 2022 null array
a
ggreg
a
t
e
s
commit
|
commitdiff
|
tree
2022-05-19
Ya
n
nick Moy
[Ada] Further adap
t
proof of doub
l
e
a
r
i
th
m
e
t
ic runtime
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
B
o
b Duf
f
[Ada] I
m
prove optimi
z
at
i
on of "="
o
n
bit-packed
arrays
commit
|
commitdiff
|
tree
2022-05-19
Bo
b
Duff
[Ada] Casi
n
g
style on
record
c
o
m
p
onen
t
s
commit
|
commitdiff
|
tree
2022-05-19
Er
i
c
Bo
t
cazo
u
[Ada]
Get
rid
o
f
secondary stack for c
o
ntrolled compone
n
ts
commit
|
commitdiff
|
tree
2022-05-19
Eric
B
otcazou
[Ada] Small h
o
u
s
ekeepin
g
work continued
commit
|
commitdiff
|
tree
2022-05-19
Eric Bot
c
azo
u
[
Ada] Small h
o
usekee
p
ing
w
o
rk
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Do
not
o
v
errid
e
inlining
h
e
u
ristics for e
x
pre
s
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Pi
o
tr
Troj
a
nek
[Ada] Remove dead code for scope e
n
t
ity having E_Subprogram
_
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Claire Dross
[Ada] Fi
x
proof of runti
m
e unit s-imageu
commit
|
commitdiff
|
tree
2022-05-18
D
oug Rupp
[Ada
]
qn
x
-
7
.
1
:
w
arning in sigtram
p
-qnx
.
c __gnat
_
sigtramp
commit
|
commitdiff
|
tree
2022-05-18
Doug Ru
p
p
[Ad
a
] arm-qn
x
-
7
.
1: st
a
c
k-checki
n
g
a
nd sigtra
m
p implementation
commit
|
commitdiff
|
tree
2022-05-18
Yannick Moy
[Ad
a
]
Adapt p
r
o
of of
double arithmetic runtime unit
commit
|
commitdiff
|
tree
2022-05-18
Claire Dross
[Ada] Fix proof
o
f runtime unit s-v
a
leu
commit
|
commitdiff
|
tree
2022-05-18
K
é
vin Le G
o
uguec
[
Ada] Ma
k
e
sure
o
utput variable is
always initia
l
ized
commit
|
commitdiff
|
tree
2022-05-18
Bob D
u
ff
[Ada]
Di
s
able Vet calls when container checks are disa
b
le
d
commit
|
commitdiff
|
tree
2022-05-18
D
o
ug Ru
p
p
[Ada] arm-qnx-7
.
1: undefined referenc
e
to fma* sym
b
o
ls
commit
|
commitdiff
|
tree
2022-05-18
Kévin Le
G
ouguec
[Ada
]
Fi
x
DW
A
R
F par
s
i
n
g
for 32-bi
t
t
argets on 64-bi
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Gary Di
s
mukes
[Ad
a
] Improve
e
r
r
or me
s
sages
for occurrence o
f
GNAT
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Jo
h
a
n
nes Kliemann
[Ad
a
]
Fix Ada
-
QNX task priority conversion
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[Ada] Use
s
p
e
cifi
c
predicate before
m
a
nipulating BI
P
_Alloc_
F
o
rm
commit
|
commitdiff
|
tree
2022-05-18
J
avier M
i
rand
a
[Ada
]
C
rash build
i
ng VSS with compiler bu
i
lt
w
ith asser
t
io
n
s
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[Ada] Ada2022: AI12
-
0143 Inde
x
attri
b
ute for
e
ntry
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Yannick Moy
[Ada] Fix proof
o
f ru
n
time
units
commit
|
commitdiff
|
tree
next