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] Unnesting issues with entry families and accept statements
2019-10-10
Ga
r
y Dism
u
ke
s
[Ada] Unnesting issues with e
n
tr
y
families and accept
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious visibility err
o
r on formal package wit
h
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Eric Botcazo
u
[Ada] Fix a
w
kw
a
rd placement
of freeze node
f
or actual
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
E
ric Botcazou
[Ad
a
] G
e
t rid of spur
i
ous er
r
or f
o
r _Tag on exte
n
sion
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Bo
b
Duff
[
A
da]
D
eb
u
g
p
rocedure
f
o
r printin
g
an
c
est
o
rs
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] 'others' i
n
condi
t
iona
l
_exp
r
essions
commit
|
commitdiff
|
tree
2019-10-10
Ed S
c
honbe
r
g
[A
d
a] Missing Pr
e
d
i
c
a
ted_Pa
r
ent link on ar
r
ay Itype
commit
|
commitdiff
|
tree
2019-10-10
Eric Botc
a
zou
[Ada
]
Plu
g
minor loophole
for inte
g
e
r
n
a
med number
commit
|
commitdiff
|
tree
2019-10-10
Y
a
nn
i
ck Moy
[Ada] Do n
o
t
inline su
b
program
s
with deep para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Vadim Godunko
[Ada] Define default val
u
e for Process field
commit
|
commitdiff
|
tree
2019-10-10
B
o
b Duff
[Ada]
T'S
i
ze in
p
ragma C
o
m
pile_Time_Error
commit
|
commitdiff
|
tree
2019-10-10
Bob Du
f
f
[Ada]
A
s
s
ertio
n
_Policy (I
g
nore) ignores inva
r
i
ants
commit
|
commitdiff
|
tree
2019-10-10
Arnaud Charlet
[Ada] Fix handling
o
f
-
g
natce
g
o
n incomplete
u
n
it
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Gene
r
ation
of p
r
oc
e
dures for blocks occurrin
g
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Anthony Leo
n
ardo
.
.
.
[Ad
a
] Ment
i
on GNAT S
t
udi
o
inst
e
ad of GPS
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[
Ada
]
Spurio
u
s re
s
t
riction viola
t
io
n
o
n
Ghost code
commit
|
commitdiff
|
tree
2019-10-10
Bob Duf
f
[Ada] Replace in Ordered_Ma
p
s
g
ets ta
m
pering failure
commit
|
commitdiff
|
tree
2019-10-10
Ed S
c
h
o
n
b
e
rg
[Ada
]
Sp
u
rious visibility error
i
n predicate in gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Pa
t
ric
k
Ber
n
ardi
[
A
da] Flag Sec_S
t
ack_
U
s
ed incorrectly set by ghost
.
.
.
commit
|
commitdiff
|
tree
2019-10-10
Pio
t
r Tro
j
anek
[Ada] Use decl
a
red
type
f
or dec
i
ding on SPAR
K
pointer
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
T
om Tro
m
ey
[Ada] Emit
D
W_AT_GNU_bias with -fgnat-e
n
codi
n
gs=gdb
commit
|
commitdiff
|
tree
2019-09-19
Ste
v
e
B
aird
[A
d
a] Accept conca
t
enta
t
i
o
n arguments to pr
a
g
m
a
Annotate
commit
|
commitdiff
|
tree
2019-09-19
Eri
c
Bo
t
cazou
[Ada] Get rid of
useless temp
o
rary for slice
in
overa
l
igned
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazo
u
[Ada] Se
m
_
Ch12: add a comment to i
n
dic
a
te future w
o
rk
commit
|
commitdiff
|
tree
2019-09-19
Er
i
c Botcazou
[Ada]
Fix copy ope
r
ation with pri
v
ate discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
E
ric Botcazou
[Ada] Fix b
o
gus
"
to
o
lat
e
"
e
r
ror wit
h
n
e
sted gen
e
ric
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eri
c
Botcazou
[Ada
]
F
ix bog
u
s visibili
t
y
error with nested gen
e
r
ics
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Dmitr
i
y
Anisimkov
[Ada] New rou
t
ine GN
A
T
.
Sockets
.
Create_Socke
t
_
P
air
commit
|
commitdiff
|
tree
2019-09-19
Yannick
Moy
[A
d
a
] Use decl
a
red ty
p
e for deciding on SPARK point
e
r
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed Schon
b
er
g
[Ada]
S
purious visib
i
l
i
ty error in generi
c
ch
i
ld unit
commit
|
commitdiff
|
tree
2019-09-19
Yannick M
o
y
[Ada]
D
i
s
a
bl
e
inlinin
g
of traversal fun
c
tion in GNATprove
commit
|
commitdiff
|
tree
2019-09-19
Yanni
c
k Moy
[Ada] Allo
w
co
n
stants
of access type i
n
Global contracts
commit
|
commitdiff
|
tree
2019-09-19
A
rnaud Charlet
[
A
d
a] Exp_Attr:
re
m
ove
o
bsolete
c
omment
commit
|
commitdiff
|
tree
2019-09-19
Eric Botca
z
ou
[Ada] Fix run
-
ti
m
e segfault
w
i
th de
r
i
v
ed access
-
to
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[A
d
a
]
Move SPARK
borrow
-
checker
to gnat
2
why codeb
a
s
e
commit
|
commitdiff
|
tree
2019-09-19
Eri
c
Botcazou
[
A
da]
I
mplement Machine_Roundin
g
attri
b
ute
i
n line
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Gary Dismuk
e
s
[Ada] Sup
p
ress GNAT FE
u
p-level reference transforma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcaz
o
u
[Ada] Stre
a
mli
n
e
c
o
mpari
s
on
for equality of 2-element
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Piotr Troja
n
ek
[Ada] Remove duplica
t
ed routines
f
or getting homon
y
m
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed Sc
h
onbe
r
g
[Ada] C
r
a
s
h
o
n
predicate i
n
full view in a generi
c
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] M
e
m
ory leak
with
'Range of a functio
n
call i
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ra
p
hael Amiard
[
Ada]
P
ropa
g
a
te
d
ocumentati
o
n
to formal bo
u
nded sets
commit
|
commitdiff
|
tree
2019-09-19
Raph
a
el Amiard
[Ada] Add comments wrt
.
dealloc
a
tion of bo
u
nded se
t
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Bot
c
a
zo
u
[Ada]
F
ix
s
p
u
r
i
ous type m
i
sm
a
t
c
h
failure on neste
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada
]
Infinite
l
oop with concatenation
and aspect
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] F
i
x
fall
o
ut
o
f previous change
f
or
bit-packed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] gnatxref:
infinite
l
oop on symbols not f
o
und
commit
|
commitdiff
|
tree
2019-09-19
Eric Botca
z
ou
[A
d
a] Improve handling of
e
xp
l
icit by-reference mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada
]
Rt
s
f
ind: improve
comment on
RTE_Avai
l
able
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[A
d
a] Av
o
id gnatbind regression c
a
used by
Copy_Bit
f
ield
commit
|
commitdiff
|
tree
2019-09-18
E
ric Botcaz
o
u
[Ada] Fix spurious align
m
ent warning on simple addre
s
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed
S
chonb
e
rg
[
Ada] Crash on unive
r
sal ca
s
e expr
e
ssio
n
in fix
e
d-point
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed
S
chonberg
[
A
da]
U
s
e static discrim
i
nant value for discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada]
C
rash o
n
aggr
e
gate with dscriminant i
n
i
f
-expr
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ju
s
tin Squi
r
ek
[A
d
a
] Spurious ineffective use_clause warni
n
g
commit
|
commitdiff
|
tree
2019-09-18
Justi
n
Squirek
[
Ada] Miss
i
ng
a
ccessibility check on discrim ass
i
gnment
commit
|
commitdiff
|
tree
2019-09-18
Eric
Botca
z
ou
[Ada] Fix shar
i
ng
o
f expression in
a
rray aggregate
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squirek
[Ada] Spurious r
u
n time e
r
ror on a
n
onymous acces
s
formals
commit
|
commitdiff
|
tree
2019-09-18
St
e
v
e
B
aird
[Ad
a
] Implement
AI12-0086's ru
l
es for
disc
r
iminants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
J
a
vier Miran
d
a
[Ada] Fix portabi
l
i
ty issue
s
in access to subprograms
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[Ad
a
] Improve
e
ff
i
ciency of copying bit-p
a
c
ked slice
s
commit
|
commitdiff
|
tree
2019-09-18
Vasiliy
Fofanov
[Ada] Fi
x
minor formatting
i
ssue
commit
|
commitdiff
|
tree
2019-09-18
Javi
e
r
Mira
n
d
a
[Ada]
Code cleanup of align
m
ent representation clauses
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
S
teve
Ba
i
rd
[Ada] D
o
n't f
a
i
l
a
front-end assertion
if errors have
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Piotr Tr
o
janek
[
Ad
a
] Ref
i
n
e
type of Get_Homonym_Num
b
er result
commit
|
commitdiff
|
tree
2019-09-18
Y
a
nnick Moy
[Ada] Skip
entity name qualifi
c
at
i
on in GNA
T
prove
mode
commit
|
commitdiff
|
tree
2019-09-18
Ni
c
ol
a
s
Roc
h
e
[Ada] E
n
s
ure
t
h
at Scan_Real
result
d
oe
s
not d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Cl
a
ire Dross
[
Ada] Fac
t
or out code for deciding statically
k
no
w
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
V
a
d
im Go
d
unko
[Ada] Raise
e
xceptio
n
on call to
E
x
pect for a dead
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Frederic Konrad
[
A
d
a]
Fix errno for renam
e
for the Vx
W
o
r
ks 6 target
commit
|
commitdiff
|
tree
2019-09-18
Steve Baird
[Ad
a
] No St
o
ra
g
e
_Error for an
o
v
ers
i
zed disabled g
h
ost
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Tom Tromey
[Ada] Fix ty
p
o in error m
e
ssage
commit
|
commitdiff
|
tree
2019-09-18
Olivie
r
Hai
n
que
[Ada] Fix 3
2
/64bit mistake
on SYST
E
M_INFO component
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ar
n
aud C
h
arlet
[A
d
a]
I
m
prove doc on Warning_As_Error
commit
|
commitdiff
|
tree
2019-09-18
Arnaud
Charlet
[Ada] Remove remaining ref
e
rences to V
M
S suppor
t
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Ch
a
rlet
[
Ada] Syste
m
.
Stack_Usage: f
i
x
a
typ
o
commit
|
commitdiff
|
tree
2019-09-18
Bo
b
Duff
[
Ada] Avoid un
i
niti
a
lized variable
i
n b
o
u
nded co
n
tain
e
rs
commit
|
commitdiff
|
tree
2019-09-18
Claire
D
ro
s
s
[Ada] Fix
s
ty
l
e issue
s
in fu
n
c
tional maps
commit
|
commitdiff
|
tree
2019-09-18
Arnau
d
Charlet
[Ada] Re
f
ine previous change for -gnatn and LLVM
commit
|
commitdiff
|
tree
2019-09-17
Clai
r
e Dross
[Ada] Add Re
m
ove
pr
i
mitive on functional
maps
commit
|
commitdiff
|
tree
2019-09-17
Yan
n
ick Moy
[A
d
a] Fix rounding of fi
x
ed-point arithmet
i
c oper
a
tio
n
commit
|
commitdiff
|
tree
2019-09-17
Javier Mi
r
anda
[
A
da] Missing p
r
opagation of Has_Predicates in cloned
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcazou
[
Ada] Fi
x
ineffective
-g
n
atyN fo
r
separate
c
o
mpilation
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Tom
Tromey
[Ada
]
Up
d
ate the charact
e
r type comment i
n
exp_dbug
.
ads
commit
|
commitdiff
|
tree
2019-09-17
Ya
n
nick Mo
y
[Ada] Mi
n
o
r
fixes most
l
y
i
n
commen
t
s of
r
u
ntime arithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannic
k
Moy
[Ada] Raise Cons
t
raint
_
E
r
ror
i
n overflow case
in
v
olv
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yanni
c
k Moy
[Ada] F
i
x
possible suppressed ov
e
rfl
o
ws in a
r
ithmeti
c
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy
A
n
isimkov
[Ada] Force even timestamp in Window
s
ALI files
commit
|
commitdiff
|
tree
2019-09-17
Y
annick M
o
y
[Ada]
GNATpr
o
ve
:
avoid cras
h
on
i
llegal borrow
du
r
ing
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[A
d
a]
Clarify documentation
f
or St
a
ck_Usage
commit
|
commitdiff
|
tree
2019-09-17
S
t
eve Bai
r
d
[Ad
a
] Don't accept illega
l
(e
.
g
.
,
Integer'(null)) gen
e
ric
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Support c
h
a
ined calls to tra
v
ers
a
l
f
u
n
c
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed
Fal
i
s
[Ada]
Remove
section on pr
a
gma No_Run_Time
commit
|
commitdiff
|
tree
2019-09-17
Vadim
Godun
k
o
[Ada]
C
l
ose file des
c
riptors allocated for
t
ty only
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada
]
GNAT
.
Ex
p
ect (
E
x
p
ect_Internal
)
: Try
t
o ca
l
l 'poll
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim
G
odunk
o
[
A
da
]
Avoid to close
i
rre
l
evan
t
fi
l
e descriptors
commit
|
commitdiff
|
tree
2019-09-17
Piotr Trojanek
[Ada] A ne
w
utili
t
y routine for
d
etec
t
ing attribute
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Y
a
nnick Moy
[Ada] Do not inline dispatching operatio
n
s in GNAT
p
rove
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Sc
h
onberg
[Ada]
I
n a generic use Presanalyze_Spec_Expres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Jav
i
er
M
i
r
anda
[Ada] Missing tagge
d
ty
p
e decoration in
c
orresponding
.
.
.
commit
|
commitdiff
|
tree
next