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] Suppress GNAT FE up-level reference transformation for GNAT-LLVM
2019-09-19
Gary Dismu
k
es
[Ada] Suppre
s
s GNAT
FE up-lev
e
l r
e
f
e
rence
transf
o
rmat
i
on
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Strea
m
l
ine comparison for equality of
2
-ele
m
ent
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Pi
o
tr Trojane
k
[Ada
]
Remove dup
l
icated rout
i
ne
s
for g
e
t
t
in
g
homonym
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Crash on predicate in ful
l
view in a generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob
D
u
f
f
[Ada] Memory leak with 'R
a
n
g
e of a func
t
io
n
call
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Raphael
Amiard
[Ada
]
Propa
g
ate docum
e
n
t
atio
n
to for
m
al bound
e
d s
e
ts
commit
|
commitdiff
|
tree
2019-09-19
R
aphael Amiard
[A
d
a] Add comme
n
ts wrt
.
deal
l
ocation of bounded sets
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ad
a
] Fix s
p
urious type
m
ismatch failure on nes
t
ed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] Infinite loop wi
t
h conc
a
t
e
n
a
t
ion and aspe
c
t
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix fallout o
f
previous change
f
or bit-packed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada
]
gnatxr
e
f
:
infinite l
o
op o
n
symbols n
o
t
fo
u
n
d
commit
|
commitdiff
|
tree
2019-09-19
Eric
B
o
tcazou
[Ada] Im
p
rove handling of exp
l
icit
b
y-referenc
e
mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada]
R
tsfind: improve comm
e
nt on
RTE_Available
commit
|
commitdiff
|
tree
2019-09-18
Bob Duf
f
[Ada] Avoid
g
n
a
tbind regressio
n
c
a
used
b
y Copy
_
Bitfiel
d
commit
|
commitdiff
|
tree
2019-09-18
Eric Bo
t
cazou
[Ada] Fix s
p
u
r
iou
s
alignment warning on simple
address
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Crash on universal case
expr
e
ssion in fix
e
d-point
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Use stat
i
c discrimi
n
a
n
t value f
o
r discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Scho
n
be
r
g
[Ada
]
C
r
a
s
h
o
n
ag
g
regate wi
t
h dscrim
i
nant in if
-
e
x
pres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Jus
t
in Squirek
[Ada] Spurious
i
n
effective use_claus
e
war
n
ing
commit
|
commitdiff
|
tree
2019-09-18
J
u
stin Squ
i
rek
[Ada] Missi
n
g
acc
e
ssibility
c
heck on discrim assignment
commit
|
commitdiff
|
tree
2019-09-18
E
r
ic Botcazou
[Ad
a
] Fix sharing
o
f expr
e
ssion in
ar
r
ay aggregate
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squirek
[Ad
a
] Spurious
r
un time
e
rror on anonymous
a
ccess formals
commit
|
commitdiff
|
tree
2019-09-18
S
t
e
ve Baird
[Ad
a
] Implement AI12-0086's rules for di
s
c
ri
m
inants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
J
avier Miranda
[Ada] Fix portability issues in a
c
cess to
s
ubprogr
a
ms
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[Ada] I
m
prov
e
efficiency of copying bit-packed sli
c
es
commit
|
commitdiff
|
tree
2019-09-18
Vas
i
liy Fofanov
[Ada] Fix m
i
nor f
o
rmatt
i
n
g issu
e
commit
|
commitdiff
|
tree
2019-09-18
Javi
e
r Miranda
[Ada] Code cleanup of alignme
n
t rep
r
esentation
clauses
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ste
v
e Ba
i
rd
[
A
da] D
o
n
't fail a front-en
d
assertion if
e
rrors have
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Pio
t
r Tr
o
janek
[
Ada] Refine type
of
G
e
t
_Homonym_Numbe
r
result
commit
|
commitdiff
|
tree
2019-09-18
Ya
n
nick Mo
y
[Ada]
Skip enti
t
y nam
e
qualification in
G
NATprove mo
d
e
commit
|
commitdiff
|
tree
2019-09-18
Nicolas R
o
che
[Ada] Ensure that Scan
_
R
e
al res
u
l
t
does not
d
epend
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[
A
da] Factor out c
o
de for deciding st
a
ti
c
ally known
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
V
a
dim God
u
n
k
o
[
Ada] Raise exce
p
tion on call to Expect for a d
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Frederic Ko
n
rad
[Ada
]
Fix errno for
rename
f
or the VxWorks 6
target
commit
|
commitdiff
|
tree
2019-09-18
Steve Baird
[
A
da] No Storag
e
_Error f
o
r a
n
over
s
ize
d
d
is
a
bled g
h
ost
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
To
m
Tromey
[
Ada] Fix t
y
po i
n
error m
e
ssage
commit
|
commitdiff
|
tree
2019-09-18
Olivi
e
r Hainque
[Ada] Fi
x
32/64bit mistake on SYSTEM_INFO co
m
ponent
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[A
d
a] I
m
prove doc on Warning_As_Error
commit
|
commitdiff
|
tree
2019-09-18
Arnau
d
Charlet
[Ad
a
] Remove re
m
aining reference
s
to
VMS support
commit
|
commitdiff
|
tree
2019-09-18
A
rnaud Ch
a
rlet
[Ada] System
.
Stack_Usage: fix a t
y
p
o
commit
|
commitdiff
|
tree
2019-09-18
Bob
Duff
[
A
da] Avoid uninitialize
d
var
i
able in bounded
c
ontai
n
ers
commit
|
commitdiff
|
tree
2019-09-18
C
l
a
i
re
D
ross
[Ada] Fix style issues in funct
i
onal maps
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ada] Refine pre
v
i
ous change for -gnatn and LLVM
commit
|
commitdiff
|
tree
2019-09-17
Claire
Dro
s
s
[Ada] Add Remove pri
m
i
tive on functional maps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[
A
da] Fix roundin
g
of fixed-p
o
int arithme
t
ic ope
r
ation
commit
|
commitdiff
|
tree
2019-09-17
Javier
Miranda
[Ada] Missing
propa
g
a
ti
o
n of Has_Predic
a
tes in c
l
on
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Er
i
c Botcazou
[
Ada] F
i
x
ineffective -gna
t
yN for separa
t
e com
p
i
l
a
tion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Tom Tro
m
ey
[A
d
a] Update the charac
t
er ty
p
e comm
e
n
t
i
n
exp_dbu
g
.
a
d
s
commit
|
commitdiff
|
tree
2019-09-17
Yannick
M
oy
[Ada] Minor fixes mostly in comm
e
nts of runti
m
e arithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Y
annick M
o
y
[
Ada] R
a
i
s
e
Constraint_Error i
n
ov
e
rflow
c
a
se inv
o
lving
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Fix possib
l
e suppress
e
d
o
verflows in ari
t
hmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anisimkov
[Ad
a
] Fo
r
ce
even
t
imestamp in Windows ALI f
i
les
commit
|
commitdiff
|
tree
2019-09-17
Yan
n
ick Moy
[Ada]
G
NATprove:
avoi
d
cras
h
o
n
i
llegal borrow during
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Du
f
f
[Ada] Clari
f
y
doc
u
mentation for S
t
ack_Usage
commit
|
commitdiff
|
tree
2019-09-17
Ste
v
e
B
aird
[Ada] Don't ac
c
ept illeg
a
l
(e
.
g
.
, Integer'(null)) ge
n
eric
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Clai
r
e Dross
[Ada]
S
uppor
t
chained
c
alls to traversal f
u
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Falis
[Ada] Rem
o
ve
s
ection on pragma No_Ru
n
_Time
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada] Clos
e
fi
l
e descriptors allocated for tty o
n
l
y
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[A
d
a
]
GNAT
.
Ex
p
e
ct (Expect_Internal): Try
to call 'poll
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
V
a
d
i
m Godunko
[Ada] Avoid to
close irrelev
a
nt fil
e
d
escriptors
commit
|
commitdiff
|
tree
2019-09-17
Pio
t
r Troja
n
ek
[Ada]
A new utility routine f
o
r detecti
n
g attribute
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Do not i
n
line dispa
t
ching operati
o
ns in GNATprove
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed
S
c
honberg
[Ada
]
In
a generic use
Pr
e
sanaly
z
e_Spe
c
_Expression
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javi
e
r Miranda
[
A
da
]
Missing tagged t
y
pe decorat
i
on i
n
corresponding
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Miran
d
a
[Ada] Ada 2020
:
Raise expression
s
i
n limite
d
contexts
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
P
iotr Tro
j
anek
[
A
da
]
I
g
nore m
i
s
sing
A
LI f
i
les in GNATprove mode
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[
Ada
]
PR ada
/
91268 D
o
not redefine m
a
cros
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[
A
da
]
R
e
fine change f
o
r bit-pac
k
e
d slices
commit
|
commitdiff
|
tree
2019-09-17
J
a
v
ier Mir
a
nd
a
[Ada] Adding as
s
er
t
ions on extra formals for B
I
P
function
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada]
Av
o
id t
o
uchi
n
g potentially
n
o
nex
i
stent memory
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy
A
nisimk
o
v
[Ada]
Support for lo
c
al unix
sockets in GNAT
.
Sockets API
commit
|
commitdiff
|
tree
2019-09-17
E
ric Botcazou
[A
d
a] Fix wr
o
ng v
a
l
u
e of 'Siz
e
for slices
of
b
it-
p
a
cked
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
B
o
b
Duff
[Ada] R
e
fine
c
ond
i
t
i
o
ns for calling Copy_Bitfie
l
d
commit
|
commitdiff
|
tree
2019-08-21
Vad
i
m Godu
n
ko
[Ada] Improve detecti
o
n of end of the process
b
y GNA
T
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr
T
rojanek
[Ada] Mi
n
or
refactorings/reformattings
commit
|
commitdiff
|
tree
2019-08-21
C
l
aire Dross
[Ada] Allow fo
r
of iterati
o
n on for
m
al v
e
ct
o
r
s
commit
|
commitdiff
|
tree
2019-08-21
Y
annick
Moy
[Ada] More p
r
ecise
propagation of
S
ize attrib
u
te
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannic
k
Moy
[Ada] Update references
t
o
t
he SPARK RM
commit
|
commitdiff
|
tree
2019-08-21
E
r
ic
B
otcazo
u
[A
d
a] M
o
re c
o
mplete inf
o
r
m
at
i
on level for -gnat
R
4
out
p
ut
commit
|
commitdiff
|
tree
2019-08-21
Bob Du
f
f
[
A
da]
Add the Sys
t
em
.
Bitfield_
U
tils runtime unit
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada
]
B
ind
o
.
Graph
s
: Minor typo fixes
commit
|
commitdiff
|
tree
2019-08-21
Gary Dismukes
[Ada] U
n
defined master in ta
s
k with limited cla
s
s-wide
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcaz
o
u
[Ada] Fix type mi
s
m
atch in extend
e
d
r
e
turn state
m
ent
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr Tro
j
anek
[
A
da] Do not
r
ew
r
ite argume
n
t of pragma
Entry_Qu
e
ue_Le
n
gth
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yan
n
ick Moy
[Ada]
Avoid s
p
urious err
o
r
i
n GN
A
T
pr
o
ve mode on
n
on
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Y
annick
Moy
[Ada] Ign
o
re subprogram
a
ddr
e
ss in
o
wnership c
h
ecking
commit
|
commitdiff
|
tree
2019-08-21
Eric
B
otcaz
o
u
[
Ada] Fix assertion failure on derived private
pro
t
e
cted
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr
Trojanek
[
A
da] Replace low-level m
e
mbership tests
w
ith high
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[Ada
]
Missing attri
b
ute update in
new_c
o
py_tree
commit
|
commitdiff
|
tree
2019-08-21
Joel
B
r
o
becker
[Ada] doc/Makefi
l
e: auto
m
ati
c
ally cr
e
ate doc/share
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Justin Sq
u
irek
[Ad
a
]
M
ax_Entry_Q
u
eu
e
_
L
ength aspect
for protected entries
commit
|
commitdiff
|
tree
2019-08-20
A
rnaud Charl
e
t
[Ada] Unnesting: ta
k
e
i
nlining (
-
gna
t
n
) into account
commit
|
commitdiff
|
tree
2019-08-20
Ed Sch
o
nberg
[Ada] Crash o
n
a
S
t
orage_S
i
z
e as
p
ec
t
depending on attr
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Piotr T
r
ojanek
[A
d
a] Inconsi
s
te
n
t sc
o
pe
c
hain du
e
to
q
uantified
ex
p
ressi
o
n
commit
|
commitdiff
|
tree
2019-08-20
Yannick Mo
y
[Ada]
A
dapt
G
NATprove
e
xpansion f
o
r sl
i
ces with access
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bo
b
Duff
[
Ad
a
] I
m
p
r
o
ve efficiency of aggregates wit
h
<>
commit
|
commitdiff
|
tree
2019-08-20
Bob D
u
ff
[Ada] Improve speed of discriminate
d
r
e
tu
r
n ty
p
es
commit
|
commitdiff
|
tree
2019-08-20
Gary Di
s
m
ukes
[
A
da] Minor re
f
ormattings
commit
|
commitdiff
|
tree
2019-08-20
D
m
itriy
Anisimkov
[Ada] Set GNAT
.
OS_Lib
.
GM_Split's
g
ran
u
larity back to
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
E
d
Schon
b
erg
[Ada]
F
ix propag
a
tio
n
of c
o
mpi
l
er
i
nternal f
l
ag
commit
|
commitdiff
|
tree
next