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] Spurious visibility error on formal package with Abstract_State
2019-10-10
Ed Sch
o
nberg
[Ada] Spu
r
ious v
i
sibility error
on formal package with
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Er
i
c Botcazou
[A
d
a
]
F
ix awkwa
r
d placement of freeze node f
o
r actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Eri
c
Botcaz
o
u
[Ada
]
Ge
t
r
id of spu
r
ious error for _Tag
on
extensio
n
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] De
b
u
g
procedur
e
f
o
r printing ancestor
s
commit
|
commitdiff
|
tree
2019-10-10
Bob
D
uff
[Ada]
'
others' in c
o
ndit
i
o
nal
_
expre
s
sions
commit
|
commitdiff
|
tree
2019-10-10
Ed
Schonberg
[
Ada] Missing Pr
e
d
i
cated_Parent link on
a
rr
a
y
Itype
commit
|
commitdiff
|
tree
2019-10-10
Eric Botcazou
[
Ada] Plug minor loophole for
i
nte
g
er named number
commit
|
commitdiff
|
tree
2019-10-10
Y
a
nnick Moy
[Ada] Do not
inline sub
p
rograms with deep parameter
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
V
a
dim Godun
k
o
[A
d
a] Define de
f
a
u
lt
v
alue for Proces
s
field
commit
|
commitdiff
|
tree
2019-10-10
B
ob Duff
[Ada] T'Siz
e
in pragma Compile_Time
_
E
rror
commit
|
commitdiff
|
tree
2019-10-10
B
o
b D
u
ff
[Ada] Assertion_Polic
y
(Ignore) ignores invariants
commit
|
commitdiff
|
tree
2019-10-10
Ar
n
aud Charlet
[Ada
]
F
i
x handling
o
f -g
n
atceg
on incompl
e
te unit
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismu
k
e
s
[A
d
a] Generation
o
f procedur
e
s
for blo
c
ks occur
r
ing
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
A
nt
h
ony Leonar
d
o
.
.
.
[Ada
]
Mention
G
NAT
Studio instead of GPS
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada]
S
puri
o
us
rest
r
ict
i
o
n
vi
o
l
a
t
i
on o
n
Ghost c
o
de
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ad
a
] Re
p
la
c
e in
O
rd
e
red_Ma
p
s
g
ets tampering failure
commit
|
commitdiff
|
tree
2019-10-10
Ed
S
chonberg
[Ada] Spurious visibili
t
y error in pre
d
i
c
a
te
in g
e
n
e
r
ic
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Patrick Ber
n
ardi
[
Ada] F
l
ag Sec
_
Stack
_
Used i
n
c
orrectly se
t
by ghost
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Piotr T
r
ojane
k
[Ada] Use
d
eclare
d
type f
o
r deciding
o
n SPAR
K
poi
n
te
r
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Tom Tr
o
mey
[A
d
a
] Emit
D
W_AT_GNU_bi
a
s with -fgnat
-
en
c
o
dings=gdb
commit
|
commitdiff
|
tree
2019-09-19
Steve Baird
[Ada] Accept c
o
ncatentation a
r
gument
s
to pragma Annotate
commit
|
commitdiff
|
tree
2019-09-19
Er
i
c Botcazou
[Ad
a
]
G
e
t rid of useless t
e
mpor
a
ry for slice i
n
o
v
eraligned
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada
]
Sem_Ch12: a
d
d a comm
e
nt to indic
a
te fu
t
ure work
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[
A
da] Fix
co
p
y operat
i
on wi
t
h priva
t
e discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
E
r
ic
B
otc
a
zou
[Ada] Fix bogus "too late"
error w
i
th nested generi
c
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
E
ric Botca
z
ou
[Ada] Fix bogus visi
b
i
l
ity error
with nested g
e
n
erics
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Dmitriy
A
nisi
m
kov
[
Ad
a
] New r
o
utine GN
A
T
.
S
ockets
.
C
reate_Socket_Pai
r
commit
|
commitdiff
|
tree
2019-09-19
Y
anni
c
k Moy
[Ada] Use
declared type
for decid
i
n
g
o
n SP
A
RK pointer
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed
S
chon
b
erg
[Ada]
S
purious
visi
b
ility error in generic child
uni
t
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada
]
Dis
a
ble i
n
lining
of
tra
v
ers
a
l
f
unction in GNATprove
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada] Allow con
s
tants of access type in Glo
b
a
l
c
o
n
t
racts
commit
|
commitdiff
|
tree
2019-09-19
A
r
naud
C
har
l
et
[Ada]
E
xp_Att
r
: remove obs
o
lete comment
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] F
i
x run
-
time segfaul
t
with derived access-to
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Yanni
c
k
Moy
[A
d
a
] Move SP
A
R
K borr
o
w-checker
t
o
gn
a
t2wh
y
codebase
commit
|
commitdiff
|
tree
2019-09-19
E
r
ic B
o
t
c
azou
[Ada]
I
mplement Machine_Rounding
a
ttribute in line
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Gary Dismuke
s
[A
d
a] Sup
p
ress GNAT FE
u
p-lev
e
l
reference
t
ransf
o
rmation
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Streamline com
p
arison for equality of 2-element
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Pio
t
r
Troja
n
e
k
[Ada] Remove
duplicated rou
t
ines for
g
e
tting homonym
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Crash on predicate in full view in a generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] Memory l
e
a
k
w
ith 'Ran
g
e
o
f
a fu
n
cti
o
n cal
l
in
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Raph
a
el
Amiard
[Ada] Propagat
e
document
a
tion to formal bo
u
nded sets
commit
|
commitdiff
|
tree
2019-09-19
Raphael
Amiard
[Ada] Add comments wrt
.
deallocation o
f
bounded sets
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric
Botcazou
[Ada] Fix
s
purio
u
s
type misma
t
ch fail
u
re on nes
t
ed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
B
o
b
Duff
[
A
da] Infini
t
e
l
oo
p
wi
t
h
c
on
c
atenation and as
p
ect
commit
|
commitdiff
|
tree
2019-09-19
Eric B
o
tcazou
[Ada
]
F
i
x f
a
llout o
f
previous cha
n
ge
f
or bit-packe
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
B
o
b Duf
f
[Ada] gnatxr
e
f: infinite loop on symbols not found
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Improve handling of explicit by-refe
r
ence mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob
D
uff
[Ada]
R
tsf
i
nd:
i
m
prove
comment on RTE_
A
vailable
commit
|
commitdiff
|
tree
2019-09-18
Bob Du
f
f
[Ada] Avoid gnatb
i
nd regression caused b
y
Copy_Bitfie
l
d
commit
|
commitdiff
|
tree
2019-09-18
Er
i
c Botcazou
[Ada] Fix spurio
u
s alignm
e
nt warning on
s
imple addre
s
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada]
C
rash on unive
r
sal case expressio
n
in fixed-poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Use static discriminant value for discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Scho
n
berg
[Ada] Crash
o
n aggregate with dsc
r
iminant i
n
if-expression
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ju
s
tin Squirek
[Ada] Spu
r
io
u
s
i
nef
f
ective us
e
_clause w
a
rning
commit
|
commitdiff
|
tree
2019-09-18
Justin Squire
k
[Ada] Miss
i
ng accessibility
c
he
c
k on
d
iscrim as
s
i
g
nment
commit
|
commitdiff
|
tree
2019-09-18
E
r
i
c
B
o
tcaz
o
u
[
Ada] Fix sharing of e
x
pr
e
ssi
o
n
i
n
arr
a
y a
g
g
r
egat
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
J
ustin
Squirek
[
A
da] Spurious run ti
m
e error o
n
anonymous acc
e
ss f
o
rm
a
ls
commit
|
commitdiff
|
tree
2019-09-18
Steve Baird
[Ada] Imp
l
e
m
ent AI1
2
-0086's
r
ules for discri
m
inants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Javi
e
r
M
iranda
[A
d
a
]
Fi
x
porta
b
ility
issues in access to subpro
g
rams
commit
|
commitdiff
|
tree
2019-09-18
Bob
Duff
[Ada] Imp
r
ove efficiency
o
f copying
b
it-packed slices
commit
|
commitdiff
|
tree
2019-09-18
Vasi
l
iy Fofa
n
o
v
[Ada] F
i
x minor f
o
rmatt
i
ng i
s
sue
commit
|
commitdiff
|
tree
2019-09-18
Javier Miranda
[
A
da] Code cleanup of alignment rep
r
esentation cla
u
ses
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
S
t
eve Baird
[Ada]
Don
'
t fail a fro
n
t-end
asse
r
t
i
o
n
i
f errors hav
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
P
i
otr Tro
j
anek
[Ada] Refine type
o
f Get_Homonym_Number re
s
u
l
t
commit
|
commitdiff
|
tree
2019-09-18
Ya
n
n
i
c
k Moy
[
Ada] Sk
i
p
entity name qualifi
c
ation
i
n
G
NATpro
v
e mode
commit
|
commitdiff
|
tree
2019-09-18
Nico
l
as Roche
[Ada] Ens
u
re
t
hat Scan_
R
eal result does not
de
p
end
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
C
laire Dross
[Ada] Factor out code for decidi
n
g statical
l
y known
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
V
a
d
im
G
odu
n
k
o
[A
d
a] Raise exceptio
n
o
n call to Exp
e
ct for a dead
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Frede
r
i
c Konra
d
[Ada] Fix errno for rename for
the VxWorks 6 targe
t
commit
|
commitdiff
|
tree
2019-09-18
Steve Baird
[Ada
]
No Storage_Error for
an over
s
i
z
ed di
s
abled ghost
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
To
m
Tromey
[
A
d
a
]
F
i
x
typo in e
r
ror mes
s
a
g
e
commit
|
commitdiff
|
tree
2019-09-18
Ol
i
v
i
er
Hainque
[
A
da]
F
ix 32/64bit mist
a
ke
on SYSTEM_INFO c
o
m
pon
e
nt
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Arna
u
d Charlet
[Ada] Imp
r
ove do
c
on Warning_As_Error
commit
|
commitdiff
|
tree
2019-09-18
A
rnaud C
h
arle
t
[Ada] Remove remaining r
e
feren
c
es to VM
S
supp
o
rt
commit
|
commitdiff
|
tree
2019-09-18
A
rnaud C
h
arlet
[Ada] System
.
Stac
k
_
Us
a
ge:
f
i
x
a typo
commit
|
commitdiff
|
tree
2019-09-18
Bob
D
uff
[Ada
]
Avoid uninitialized variable
i
n bounded
containers
commit
|
commitdiff
|
tree
2019-09-18
Cla
i
re Dross
[Ada]
F
ix
styl
e
issues in
functional
maps
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ad
a
] Re
f
in
e
previ
o
us change for -gnatn and L
L
VM
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] A
d
d
Remove
p
ri
m
itive on functional maps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Fix
r
o
u
nding
of fixed-p
o
int arithmetic operati
o
n
commit
|
commitdiff
|
tree
2019-09-17
Javie
r
Mirand
a
[Ada] Mi
s
sing pr
o
pagati
o
n of Has_Pred
i
cates in cloned
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
E
r
ic B
o
t
cazou
[Ada] Fix
i
neffect
i
ve -gnatyN for separate compi
l
ation
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Tom Tromey
[Ada] Update
the character type comment in
e
x
p
_dbug
.
a
ds
commit
|
commitdiff
|
tree
2019-09-17
Y
annick Moy
[
Ada] Minor fixes mostly in commen
t
s
of runtime arithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yanni
c
k Moy
[Ada] Raise Con
s
train
t
_Error in overfl
o
w
case inv
o
lv
i
ng
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannic
k
Moy
[Ada]
Fix
possible
s
uppressed o
v
erf
l
ows
i
n ari
t
hmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anisimkov
[Ada] For
c
e
even timest
a
mp
in Windows
ALI fi
l
es
commit
|
commitdiff
|
tree
2019-09-17
Ya
n
n
ick Moy
[Ad
a
] GNA
T
prove
:
avoid crash on illegal borrow durin
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
B
ob Duf
f
[Ada] Clarify d
o
cum
e
ntati
o
n for Stack_Usage
commit
|
commitdiff
|
tree
2019-09-17
Steve Baird
[Ada] Don't accept illegal
(
e
.
g
.
,
I
nteger'(null)
)
generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Claire Dros
s
[Ada] Su
p
p
o
rt
chained cal
l
s
to t
r
aversal
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed
Falis
[Ada
]
R
em
o
ve sec
t
i
on
o
n pr
a
gma
No_
R
u
n_
T
ime
commit
|
commitdiff
|
tree
2019-09-17
Vad
i
m
G
o
dunko
[Ada
]
Close file descr
i
pto
r
s allocated for tty on
l
y
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
V
a
di
m
Godunk
o
[Ada] GNAT
.
Expect (E
x
pect_Inte
r
nal): Try to call 'pol
l
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunk
o
[Ada] Avoid to close
i
rrelevant file
d
escrip
t
ors
commit
|
commitdiff
|
tree
2019-09-17
Pio
t
r Trojanek
[A
d
a]
A
ne
w
utility routine for detecting
attr
i
b
u
te
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Mo
y
[Ada] Do not inline dispatching operati
o
ns in GNATp
r
ov
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Sch
o
n
b
e
r
g
[Ada] In a generic u
s
e
Presanalyze_Spec_Expression
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
J
av
i
er
M
iranda
[Ada]
M
is
s
ing t
a
gged ty
p
e decorat
i
on in corresponding
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier M
i
randa
[
Ada] Ada 2020: Raise
expres
s
ions in limi
t
ed contexts
.
.
.
commit
|
commitdiff
|
tree
next