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
Dismukes
[
A
d
a] Su
p
p
r
e
s
s
G
NAT FE
up-le
v
el referen
c
e
t
ran
s
formation
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Er
i
c
B
otcazou
[Ada] S
t
reamline
c
omparison for eq
u
ali
t
y of 2-elemen
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Piotr Trojanek
[Ada]
Remove duplicated routines
f
or g
e
tt
i
n
g
homo
n
ym
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Ed S
c
honberg
[Ad
a
] Crash on p
r
edicate in
f
u
l
l
v
ie
w
in
a gen
e
ric
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bo
b
Duff
[
Ada] Memor
y
leak with 'Rang
e
of a func
t
ion c
a
ll in
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
R
aphael Am
i
ard
[Ada] Propagat
e
documentatio
n
to fo
r
mal bou
n
ded sets
commit
|
commitdiff
|
tree
2019-09-19
Raphael Amiard
[Ada] Add c
o
mments wrt
.
deallocation of b
o
unded sets
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Bo
t
cazou
[Ada] Fix
s
p
u
rious type mismatch f
a
ilur
e
on
n
este
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
B
o
b Duff
[Ada] Infinite loop with concatenation an
d
aspect
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix fa
l
lout of p
r
e
vio
u
s change fo
r
bit-packed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] gnatxref: infinite loop on symbols not f
o
und
commit
|
commitdiff
|
tree
2019-09-19
Eric Botc
a
zou
[Ada
]
Improve handling of explic
i
t by-referenc
e
mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[
A
da] Rtsf
i
nd: im
p
r
o
ve
c
o
m
m
ent on RTE_Available
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[Ada]
A
v
oid
gnatbind regr
e
ssion
cau
s
ed by Copy_Bitfield
commit
|
commitdiff
|
tree
2019-09-18
Eric Botcazou
[
Ada] Fix
s
purious
a
lignment w
a
rning on simple address
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada
]
Cras
h
on universal case e
x
pression in
fixed-point
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
E
d
Scho
n
berg
[Ada] Use st
a
tic di
s
criminant value f
o
r discriminated
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schon
b
e
rg
[Ada] Cras
h
on agg
r
egate with dscrim
i
n
a
n
t in if-
e
xp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ju
s
ti
n
Squi
r
ek
[Ad
a
] Spurious ineffective use
_
c
lause wa
r
n
ing
commit
|
commitdiff
|
tree
2019-09-18
Justin Squirek
[Ada]
M
iss
i
ng accessibility check on discrim assignment
commit
|
commitdiff
|
tree
2019-09-18
Eric Botcazo
u
[Ada] Fix sharing of exp
r
e
ssion in a
r
ray
agg
r
egate
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squ
i
rek
[Ada] Spuriou
s
run time
erro
r
on
anonymous
a
ccess formal
s
commit
|
commitdiff
|
tree
2019-09-18
S
t
eve Baird
[Ada] Implemen
t
AI1
2
-008
6
's rule
s
for discriminants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Javier Miran
d
a
[Ada] Fix p
o
rt
a
bility issues in access
t
o s
u
bprogram
s
commit
|
commitdiff
|
tree
2019-09-18
B
ob Duff
[
A
da] Im
p
rove efficiency of copy
i
n
g bit-pac
k
ed slices
commit
|
commitdiff
|
tree
2019-09-18
Va
s
iliy Fofanov
[A
d
a] Fix
minor format
t
ing issue
commit
|
commitdiff
|
tree
2019-09-18
Jav
i
er Miranda
[Ada
]
Cod
e
c
leanup of a
l
ig
n
ment
r
epresen
t
ation clauses
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
S
teve Baird
[Ad
a
] Do
n
't fail a fr
o
nt-en
d
a
sse
r
tion
i
f errors have
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Piotr Trojane
k
[Ada] Refin
e
type
o
f Get_Homonym_Num
b
er r
e
sult
commit
|
commitdiff
|
tree
2019-09-18
Yan
n
i
ck Moy
[Ada] Skip
e
ntit
y
name qualification in GNATprove mod
e
commit
|
commitdiff
|
tree
2019-09-18
N
icolas Roche
[Ada] Ensu
r
e t
h
at Scan_Real result
does not depend
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[
A
da] Fa
c
tor
o
u
t
code for
deciding statically
known
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Vadim Godu
n
ko
[Ada
]
Raise excepti
o
n on call to
E
xp
e
ct f
o
r a dead
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Frede
r
ic Konrad
[Ada]
F
ix e
r
rno fo
r
ren
a
me for the VxWo
r
ks 6 targ
e
t
commit
|
commitdiff
|
tree
2019-09-18
St
e
ve Baird
[Ad
a
] No
Storage_Er
r
or for
a
n
oversized disabled ghos
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Tom
Tromey
[Ada] Fix
t
ypo in error mess
a
ge
commit
|
commitdiff
|
tree
2019-09-18
Olivier Hainq
u
e
[Ada] Fi
x
32/64
b
it mist
a
ke on SY
S
TEM_INFO com
p
onen
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ada] Impro
v
e d
o
c on War
n
ing_As_Error
commit
|
commitdiff
|
tree
2019-09-18
A
r
n
aud Charlet
[A
d
a]
Rem
o
v
e remain
i
ng reference
s
to VMS support
commit
|
commitdiff
|
tree
2019-09-18
A
r
nau
d
C
h
arlet
[
A
da] System
.
St
a
ck_Usage: fix a ty
p
o
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[Ada] Avoid uninitialized varia
b
le in bou
n
ded c
o
ntainers
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[Ada] Fix s
t
yle issues in function
a
l maps
commit
|
commitdiff
|
tree
2019-09-18
A
rnaud Charlet
[A
d
a]
Refine previou
s
change for
-
gnatn and LLVM
commit
|
commitdiff
|
tree
2019-09-17
Claire D
r
oss
[Ada] Add
R
emove primitive
o
n functio
n
al maps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Mo
y
[Ad
a
] Fix roundin
g
of fixed-point arithmeti
c
operation
commit
|
commitdiff
|
tree
2019-09-17
J
avier
M
i
randa
[Ada] Missing p
r
op
a
gation
o
f Has_Predicates
i
n
c
loned
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Eric Bo
t
cazou
[Ada] Fix ineffective -gnatyN
f
or separate compila
t
ion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
T
o
m
T
r
omey
[Ada] Update the character type com
m
ent in ex
p
_dbu
g
.
ads
commit
|
commitdiff
|
tree
2019-09-17
Yannick
M
o
y
[
A
d
a] Min
o
r fi
x
es mostly in
comments o
f
runtime arithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yan
n
ick Moy
[Ada]
R
aise C
o
nstrai
n
t
_
Error in overflow
c
ase invol
v
ing
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Y
annick
M
o
y
[Ada] F
i
x possi
b
le
s
up
p
ressed o
v
er
f
l
o
ws
in arith
m
etic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitr
i
y Anisimkov
[Ada] Force
e
ven timestamp in Windows ALI files
commit
|
commitdiff
|
tree
2019-09-17
Yannick M
o
y
[Ada] GNAT
p
rove: avoid crash on illegal
b
or
r
ow duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
B
o
b
D
uff
[Ad
a
] Clarify doc
u
mentat
i
o
n
fo
r
Stack_Usage
commit
|
commitdiff
|
tree
2019-09-17
Ste
v
e Baird
[A
d
a] Don't accept ill
e
gal (e
.
g
.
, I
n
teger'(null)) generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Suppo
r
t chained calls t
o
traversal
f
unct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Falis
[Ada] Remove s
e
c
t
ion on pragma No_Run_Ti
m
e
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunk
o
[Ada]
Close
file descripto
r
s allocated for tty only
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Go
d
unko
[Ada] GNAT
.
Ex
p
ect (Expect_Inter
n
al)
:
Try to
call 'poll
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ad
a
] Avoid to close
irrelevant file descr
i
ptors
commit
|
commitdiff
|
tree
2019-09-17
P
iotr
T
rojanek
[Ada]
A
new utility routine for det
e
cting
a
ttrib
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Do not in
l
ine
d
ispatchin
g
operations in GNATprov
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Sch
o
n
ber
g
[
A
da] In
a
gener
i
c use Presan
a
ly
z
e_S
p
ec_Expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Mira
n
da
[A
d
a] Missing tagged t
y
pe de
c
oration in corr
e
s
p
ondin
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
J
a
vier Miranda
[Ada] Ada 2020: Raise
e
xpress
i
ons in limi
t
ed contexts
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Piot
r
T
r
ojanek
[Ada] Ignore missi
n
g ALI file
s
in GNA
T
pr
o
ve mode
commit
|
commitdiff
|
tree
2019-09-17
A
r
nau
d
Charlet
[Ada]
P
R ada/
9
126
8
Do not redefine macros
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[Ada] Re
f
ine chang
e
for b
i
t-pac
k
ed
s
lice
s
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Adding assertio
n
s on extra formals for BIP func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada
]
Avoid tou
c
hing po
t
e
n
ti
a
lly nonexistent m
e
m
o
ry
commit
|
commitdiff
|
tree
2019-09-17
Dm
i
triy Anisimkov
[A
d
a]
S
up
p
ort for local unix socke
t
s in GNAT
.
Sockets
API
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcazou
[
Ada]
F
i
x
wrong value of '
S
ize for slices of b
i
t-packe
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[
Ada] Refine condi
t
ion
s
fo
r
calling Copy_
B
it
f
ield
commit
|
commitdiff
|
tree
2019-08-21
Vadim Godunko
[Ada] Improve detection
of e
n
d of the process by GNAT
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
P
io
t
r Trojanek
[Ada
]
Minor r
e
factor
i
ngs/refor
m
attings
commit
|
commitdiff
|
tree
2019-08-21
Clai
r
e
D
ross
[Ada]
A
llow for
o
f iterati
o
n on for
m
al vect
o
rs
commit
|
commitdiff
|
tree
2019-08-21
Y
annick Moy
[Ada] More precise propagation of Size attribute i
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick
M
oy
[
Ada] Update reference
s
t
o the SPA
R
K RM
commit
|
commitdiff
|
tree
2019-08-21
E
ric Botca
z
ou
[Ada] More c
o
mplete information
l
evel
for
-
gnatR4 output
commit
|
commitdiff
|
tree
2019-08-21
Bob Duff
[Ada] Add the Syst
e
m
.
Bitfi
e
ld_Utils runtime unit
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada]
Bin
d
o
.
G
raphs: Minor
t
ypo fixes
commit
|
commitdiff
|
tree
2019-08-21
Gary Dismukes
[Ada] Undef
i
ne
d
master in ta
s
k with limit
e
d cl
a
ss-wi
d
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada]
Fix type mis
m
atch
i
n
extended ret
u
rn statement
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Do
n
ot re
w
r
i
t
e
argument of prag
m
a
E
ntry_Queue_
L
engt
h
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick
Moy
[Ada]
A
void spurious
e
rror i
n
GNATpro
v
e mo
d
e
o
n
no
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] I
g
nore
subprogram
address in ownership checking
commit
|
commitdiff
|
tree
2019-08-21
Er
i
c
Botc
a
zou
[
A
da] Fix as
s
ertion failure on
derive
d
p
r
iv
a
te protecte
d
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
P
i
otr Trojanek
[Ada] Replace l
o
w-
l
e
v
e
l
m
emb
e
r
shi
p
tests
wi
t
h high
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[Ad
a
] Miss
i
n
g
attri
b
ute update in new_copy_tree
commit
|
commitdiff
|
tree
2019-08-21
Joel
Brob
e
cker
[Ada]
doc/Make
f
ile: automat
i
ca
l
ly cr
e
ate
d
oc/share
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Justin Squirek
[Ada] Max_Entry_Queue_Length aspect for protect
e
d entries
commit
|
commitdiff
|
tree
2019-08-20
Arnaud Charlet
[Ada]
U
nnesting: take in
l
ining (
-
gnatn)
into acc
o
unt
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonb
e
rg
[A
d
a
]
Crash
o
n a S
t
orage_Size aspect de
p
ending on attr
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Pi
o
tr Trojanek
[Ada] Inco
n
sistent scope
c
hai
n
due
to quantified expressio
n
commit
|
commitdiff
|
tree
2019-08-20
Yannick Mo
y
[Ada] Adapt GN
A
Tpro
v
e expansion for slices with
a
ccess
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob Du
f
f
[
A
d
a] Improve efficienc
y
of aggr
e
gates with
<
>
commit
|
commitdiff
|
tree
2019-08-20
B
o
b
D
uff
[
A
da] Improve s
p
eed of disc
r
iminated
return ty
p
es
commit
|
commitdiff
|
tree
2019-08-20
G
a
r
y
Di
s
m
ukes
[
A
da
]
Minor reformat
t
ings
commit
|
commitdiff
|
tree
2019-08-20
Dmitriy
Anisimkov
[Ada] Set GNAT
.
OS_Lib
.
G
M_Split's
g
ranularity back to
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed Schon
b
erg
[
Ada] Fix
pr
o
pagation
o
f compile
r
inte
r
nal flag
commit
|
commitdiff
|
tree
next