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 composability of return on the secondary stack
2022-06-01
E
r
i
c
B
ot
c
a
z
ou
[
Ada] Fix
c
omposability of return
on t
h
e second
a
ry
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Gh
j
uvan L
a
cambre
[A
d
a] Fix "for
m
al parameter & is not referenced
"
not
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ghjuva
n
Lacambr
e
[Ad
a
] Ad
j
ust warning swit
c
he
s
commit
|
commitdiff
|
tree
2022-06-01
E
r
i
c Botcazou
[
A
d
a] Minor t
w
e
aks to
d
ispatching support code
commit
|
commitdiff
|
tree
2022-06-01
Stev
e
Baird
[
A
da] Mi
s
s
i
ng disc
r
imina
n
t
ch
e
cks wh
e
n
accessing
v
a
riant
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
B
o
b Duff
[Ada] Fix
s
ea
r
ch f
o
r
"for
.
.
.
o
f" loop
s
u
bprograms
commit
|
commitdiff
|
tree
2022-06-01
Doug
R
upp
[
Ad
a
] arm-qnx-7
.
1: un
w
ind goes wron
g
after
r
egs
restore
commit
|
commitdiff
|
tree
2022-06-01
Jul
i
en Borto
l
ussi
[
Ada] Ad
d
referenc
e
co
u
nting
i
n functional
c
ontainers
commit
|
commitdiff
|
tree
2022-06-01
Y
a
nnick Moy
[Ad
a
] Iss
u
e a
w
arning o
n
entity hidden in use_clause
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Ya
n
nick Moy
[Ada] Issue b
e
tter error
m
e
ssage for out-of-order keywords
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Eric
Botcazo
u
[Ada] Use Action
s
field of freeze node
s
for su
b
p
ro
g
rams
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Marc Po
u
l
hiès
[Ada
]
Add i
n
line documentat
i
on
for Is_
{
Parenthesis
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
B
o
b
Duff
[Ada] Inc
o
rrect code for
a
nonymous acc
e
ss-to-function
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Bob Duff
[A
d
a] Sup
p
re
s
s wa
r
n
i
ngs on membership test of
ranges
commit
|
commitdiff
|
tree
2022-05-30
Gh
j
uvan Lacambre
[Ada] Fi
x
spurious
o
ptions being inser
t
ed in -fd
i
agnos
t
ics
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[Ada] Add "op
t
ion" field t
o
G
N
AT's -
f
diagnostics-
f
orma
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ju
l
ien B
o
rtolus
s
i
[
Ada] Remove
c
ontract
du
p
lic
a
t
i
on in
f
ormal doubly
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr T
r
o
j
a
nek
[Ada] Fix
expans
i
o
n
of s
t
ruct
u
ral
s
u
b
program variants
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ad
a
] Simplify construction of a p
a
t
h
to
f
il
e
commit
|
commitdiff
|
tree
2022-05-30
P
iotr Tro
j
anek
[Ada] Remove repeate
d
de
s
cr
i
p
t
ion of
su
p
p
ort for A
d
dress
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an Lacambre
[Ad
a
] Ad
d
insertion
character to Ineffective
_
Inline_Warnings
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
h
juvan Lacambr
e
[
Ada] Add inser
t
ion char
a
c
t
er for overlay modification
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghjuvan Lacambre
[
A
da] Fix Warn_On
_
All
_
Un
r
e
ad_Out
_
Paramet
e
rs not being
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
G
h
j
uvan
L
acambre
[Ada] Fix Warn_On_Late_Primit
i
ves mess
a
ges not bei
n
g
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Ghju
v
an
Lac
a
mbr
e
[
Ada] Fix -g
n
atw
.
f warnings n
o
t having t
h
e
r
ight inser
t
ion
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada]
D
econstruct
deferred references
commit
|
commitdiff
|
tree
2022-05-30
Bob D
u
ff
[Ada] Av
o
id
c
reating a fi
n
a
l
i
zat
i
on wrapper block for
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Justin Squirek
[Ada
]
I
ncorrec
t
u
n
r
ef
e
renced warnin
g
s on null subpro
g
r
a
ms
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Romain Begu
e
t
[
A
da] Fix ille
g
al Ada in
s-dwali
n
.
adb
commit
|
commitdiff
|
tree
2022-05-30
St
e
ve Baird
[Ada] In
c
orrect determinatio
n
o
f
whether
an expression
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Bo
t
cazou
[Ada] Fix expansion of aggregate f
o
r disc
r
imi
n
ated
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eric Botcaz
o
u
[Ada] Do
not freeze s
p
ecifi
c
a
l
ly for dispat
c
h t
a
bles
commit
|
commitdiff
|
tree
2022-05-30
E
r
ic Bot
c
azou
[A
d
a]
D
o not analyze expres
s
ion fu
n
ction
s
f
o
r di
s
p
at
c
h
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Arn
a
ud Charlet
[Ada] Introduce Op
t
.
CCG_Mode
commit
|
commitdiff
|
tree
2022-05-30
Yannick Mo
y
[
A
da] Up
d
ate pro
o
f
s of doub
l
e arithmetic unit afte
r
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Alexandre Oli
v
a
[Ada
]
Tweaks to hardening do
c
s
commit
|
commitdiff
|
tree
2022-05-30
Piotr
Tr
o
janek
[Ada] Fi
x
typo in comment
f
or function
a
l set
s
commit
|
commitdiff
|
tree
2022-05-30
Eric
Bot
c
az
o
u
[A
d
a] Re
s
t
o
re hiding
o
f predefin
e
d
"=" op
e
rato
r
t
hrough
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Eri
c
Botcazou
[Ada] Do
not
f
r
eeze profiles for
dispat
c
h tables
commit
|
commitdiff
|
tree
2022-05-30
Yannick Moy
[Ada] Adapt proof of run
t
ime unit s-a
r
i
t
32
commit
|
commitdiff
|
tree
2022-05-30
Yannick Moy
[Ada] PR ada/105303 Fix use of Asser
t
ion_
P
ol
i
cy i
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Steve
B
air
d
[
Ada] Del
e
te no-longe
r
-used
C
onvert_To_Ret
u
rn_False
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Julien Bo
r
t
ol
u
ssi
[Ada] Add emp
t
y constructors to t
h
e functi
o
nal
c
o
ntainer
s
commit
|
commitdiff
|
tree
2022-05-30
Ghj
u
v
a
n La
c
ambre
[Ada] Fi
x
n
e
w CUDA k
e
rnel regi
s
t
r
a
t
ion
sc
h
e
m
e
commit
|
commitdiff
|
tree
2022-05-19
Eri
c
B
o
tcaz
o
u
[
Ad
a
] Av
o
id copy operatio
n
for returns involvin
g
function
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Er
i
c Botcazou
[Ada] Do not give warnings fo
r
compi
l
er-generat
e
d entitie
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Small housekeeping work
in g
n
at_gimpl
i
f
y_expr
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Ad
d
su
p
por
t
f
or "sim
d
"
function
a
ttribute
commit
|
commitdiff
|
tree
2022-05-19
Eric B
o
t
cazou
[Ada] Fix
i
nternal
error on
u
nchec
k
ed union wi
t
h component
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric
Botcazou
[Ada]
Do not set Current_Error_Node to a node witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
E
ric B
o
tcazou
[
A
d
a
] Fix
in
t
ernal error on semi-circ
u
l
ar record
typ
e
s
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
A
da] Fi
x
for
i
nternal error on semi-circular record
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] A
d
just
c
opyright line
commit
|
commitdiff
|
tree
2022-05-19
Eric Bot
c
azo
u
[Ada] Preserve
unchecked conversion of
s
trin
g
constant
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[Ada] Remove redundant
m
arki
n
g
o
f illegal pragma w
i
th
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Pi
o
tr Troja
n
ek
[Ada]
Fix cont
i
nuation message withou
t
a p
r
i
or er
r
or
commit
|
commitdiff
|
tree
2022-05-19
E
ric Botcazou
[Ada
]
M
ark Re
q
uires_Transient_Sco
p
e
a
s Inline
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[Ada] Avoid internal com
p
iler erro
r
for il
l
e
gal Predicate_Fa
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[
Ada] Fix spurious
v
iolations of No_
S
econdary_Stack
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Dani
e
l Mercier
[
Ada]
Ignore P
r
edicate_Failure in C
o
d
ePeer
mod
e
commit
|
commitdiff
|
tree
2022-05-19
A
r
n
aud C
h
arlet
[Ad
a
] Fix compilation of raise-gcc
.
c wit
h
-DST
A
NDALONE
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
E
ric Botcazou
[Ada] Preserve and reuse orig
i
na
l
type in
Narrow_Large_Operation
commit
|
commitdiff
|
tree
2022-05-19
Javier Miran
d
a
[Ada] W
r
o
ng interface
d
ynam
i
c d
i
spatc
h
v
i
a
a
ccess parameter
commit
|
commitdiff
|
tree
2022-05-19
Piotr Tro
j
anek
[Ad
a
] Ign
o
r
e P
r
edicate_Failure
in GNATprove
mode
commit
|
commitdiff
|
tree
2022-05-19
Steve Baird
[
Ada] Fix
b
ug in handling o
f
P
redi
c
ate_Failu
r
e asp
e
ct
commit
|
commitdiff
|
tree
2022-05-19
Er
i
c Botcazou
[
A
da] A
v
oid
c
o
py ope
r
atio
n
for retu
r
ns inv
o
lv
i
ng function
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr Tr
o
j
ane
k
[
A
da] Fix invalid expanded
c
ode f
o
r entry families
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[Ada]
Cleanup ex
p
ansion of
p
rote
c
ted e
n
try families
commit
|
commitdiff
|
tree
2022-05-19
Arnaud Charlet
[A
d
a] Remove r
e
m
a
ining r
e
ferences to gnatfind/g
n
atxref
commit
|
commitdiff
|
tree
2022-05-19
Claire Dross
[Ada] Fix p
r
oof
o
f runtim
e
u
nit
a-strfix
and
a
-s
t
rsup
commit
|
commitdiff
|
tree
2022-05-19
Ed Schonberg
[Ada] S
u
p
p
o
rt Ada 2022 nu
l
l
array
a
ggregates
commit
|
commitdiff
|
tree
2022-05-19
Yannic
k
Moy
[Ada] F
u
r
t
her ada
p
t proof of
d
ouble ari
t
hmetic
r
u
ntime
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Bob D
u
ff
[
A
da]
I
mprove
optimization of "="
o
n
bit
-
packed
a
r
r
ays
commit
|
commitdiff
|
tree
2022-05-19
Bob D
u
ff
[
A
da] Casing style on record components
commit
|
commitdiff
|
tree
2022-05-19
E
r
ic
Botcazou
[
Ada] Get rid of secon
d
a
r
y
s
tack
for co
n
trolled components
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] Small housek
e
ep
i
ng
work continued
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazou
[Ada] S
m
a
ll housekeep
i
ng work
commit
|
commitdiff
|
tree
2022-05-19
Eric Botcazo
u
[Ada]
D
o not override i
n
l
i
n
i
ng h
e
uri
s
tics for expression
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[Ada] Remove dead co
d
e for scope ent
i
t
y
having E_Subpr
o
gram_
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Claire
D
ross
[Ada
]
Fix pr
o
of of
ru
n
t
i
m
e
unit
s
-imageu
commit
|
commitdiff
|
tree
2022-05-18
D
oug
R
upp
[Ada] qnx-7
.
1:
warni
n
g
in sigtramp-qnx
.
c __gnat_
s
i
g
tramp
commit
|
commitdiff
|
tree
2022-05-18
Dou
g
Rup
p
[Ada] arm-qnx-
7
.
1:
stack-checking
a
nd si
g
tramp im
p
l
e
m
e
nta
t
i
on
commit
|
commitdiff
|
tree
2022-05-18
Y
annic
k
Moy
[
A
da]
A
d
ap
t
proof
o
f
d
o
uble arith
m
etic run
t
im
e
unit
commit
|
commitdiff
|
tree
2022-05-18
Cl
a
ire Dross
[Ada] Fix p
r
oof o
f
runtime unit s-valeu
commit
|
commitdiff
|
tree
2022-05-18
Kévin
L
e Gouguec
[Ad
a
] Make su
r
e
o
utput
v
aria
b
l
e
is always
init
i
a
l
ized
commit
|
commitdiff
|
tree
2022-05-18
Bob D
u
ff
[
Ada] D
i
sable Vet calls when cont
a
iner checks are di
s
a
bled
commit
|
commitdiff
|
tree
2022-05-18
Doug Rup
p
[
A
da] ar
m
-qnx-
7
.
1: u
n
defined referen
c
e
to fma*
s
ymbols
commit
|
commitdiff
|
tree
2022-05-18
Kévin L
e
Gouguec
[Ada]
F
ix
D
WARF
p
arsing fo
r
32-bit t
a
rgets on 64-bit
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Gar
y
Dism
u
kes
[Ad
a
] Imp
r
ove
error mess
a
g
es
f
o
r occurrenc
e
of GNAT
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
J
ohannes Klie
m
a
nn
[Ada] Fix Ada-QNX tas
k
pri
o
ri
t
y conversion
commit
|
commitdiff
|
tree
2022-05-18
Eric Botcazou
[Ada]
U
se specific pr
e
d
icate before manipulati
n
g BIP_Alloc_Form
commit
|
commitdiff
|
tree
2022-05-18
Javier Miranda
[
Ada] Crash building VSS with compiler built w
i
th
a
ssertion
s
commit
|
commitdiff
|
tree
2022-05-18
Jav
i
er Mir
a
nda
[Ada] Ada
2
022
:
AI12-0143 I
n
d
e
x attribute fo
r
entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Yannick M
o
y
[Ada]
Fix proof
of runtime units
commit
|
commitdiff
|
tree
2022-05-18
Arnaud Charlet
[Ada] Errors
m
issed
o
n A
C
ATS test B650007
commit
|
commitdiff
|
tree
2022-05-18
Marc Poulhiès
[Ad
a
]
Fi
x
th
e
parsing for delt
a
ag
g
r
ega
t
e
commit
|
commitdiff
|
tree
2022-05-18
Ar
n
aud C
h
arlet
[Ada] Secondary stack and a
-
tags
commit
|
commitdiff
|
tree
2022-05-18
Er
i
c Botcazou
[Ada] Fix prob
l
ematic underflow for Float_Type'Va
l
ue
commit
|
commitdiff
|
tree
2022-05-18
Yan
n
ick
Moy
[Ada]
Spurious error
o
n freezing of tagged ty
p
es in
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Marc Poulhiès
[
A
da] Re
w
ork optimizati
o
n skipping
p
r
a
g
ma check
i
n
.
.
.
commit
|
commitdiff
|
tree
next