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] Memory leak with 'Range of a function call in a loop
2019-09-19
Bob Duff
[Ada] Mem
o
ry leak with 'Range
o
f a fun
c
t
ion call in
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Raphael Amia
r
d
[Ada] Propagate do
c
umen
t
ation
to f
o
rmal bounded sets
commit
|
commitdiff
|
tree
2019-09-19
R
a
phael Ami
a
rd
[A
d
a] Add comments
wrt
.
deallocation of bounded sets
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Bo
t
cazou
[Ada] Fix spurious
t
y
p
e
misma
t
ch failure on n
e
sted
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[A
d
a
] Inf
i
n
i
t
e l
o
op w
i
th conca
t
enation and asp
e
ct
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ad
a
] Fix fa
l
lout of previous chan
g
e f
o
r
bit
-
packe
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada]
gnat
x
ref: in
f
inite loop on symbols not found
commit
|
commitdiff
|
tree
2019-09-19
E
r
ic B
o
tcazou
[Ada] Improve hand
l
i
n
g of exp
l
icit
b
y
-
reference mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob
Duf
f
[Ad
a
] Rtsfi
n
d:
improve com
m
ent o
n
RTE_Availa
b
le
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[
Ada]
Avoid gnat
b
ind regression caused by Copy_Bitf
i
eld
commit
|
commitdiff
|
tree
2019-09-18
E
ric Botcazou
[Ada] Fix spurious alignment warning o
n
simple
a
d
dre
s
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Crash on univers
a
l ca
s
e expr
e
ssion in fixed-point
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Use
st
a
tic dis
c
r
imin
a
n
t
val
u
e
for
dis
c
riminate
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[
A
da
]
Crash o
n
agg
r
egate with dscr
i
m
i
nant in if-expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
J
ust
i
n S
q
uirek
[Ada] Spurious ineffective use_clause warning
commit
|
commitdiff
|
tree
2019-09-18
Justi
n
Squirek
[Ada] Missing accessibility check on discrim assig
n
ment
commit
|
commitdiff
|
tree
2019-09-18
Eric Botcazou
[
A
da]
F
ix sharing of e
x
pression
in array
aggregate
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squirek
[Ada] Spu
r
i
ous ru
n
time error on ano
n
ymous access form
a
ls
commit
|
commitdiff
|
tree
2019-09-18
St
e
v
e Baird
[
A
da] Implement AI12-008
6
's
r
ules for discriminants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Javie
r
Miranda
[
A
da] Fix porta
b
il
i
ty issue
s
in acc
e
ss
to su
b
programs
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[
A
da] I
m
pr
o
v
e
efficiency
of
copyin
g
bit
-
packed
s
lice
s
commit
|
commitdiff
|
tree
2019-09-18
Vasiliy Fofanov
[Ada] Fix
m
inor formattin
g
issue
commit
|
commitdiff
|
tree
2019-09-18
J
a
vier Miranda
[Ada] Code cleanup of al
i
g
n
m
ent representation claus
e
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
S
t
e
ve
B
aird
[
Ada] Don't fail a front
-
en
d
assert
i
on if
e
rrors have
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Piot
r
Trojane
k
[Ada]
R
e
fine type of Get_Homonym_Number result
commit
|
commitdiff
|
tree
2019-09-18
Yannick Moy
[Ada] Skip
entity name qualification i
n
GNAT
p
rove mode
commit
|
commitdiff
|
tree
2019-09-18
Nic
o
las Roc
h
e
[Ada]
Ensure
that Scan_Real result does not depend
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[A
d
a] F
a
c
t
or o
u
t code for dec
i
ding
static
a
ll
y
know
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Vadim Godu
n
ko
[Ada
]
Raise
e
xc
e
ption on call to Expect for
a
dead
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
F
r
ederic Konrad
[Ada] Fix e
r
rno for rename for the VxWorks 6 target
commit
|
commitdiff
|
tree
2019-09-18
S
t
eve Ba
i
rd
[Ada]
No Storage_Error for an
ov
e
rsized disabled ghost
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Tom
T
romey
[Ad
a
] Fi
x
typo in error message
commit
|
commitdiff
|
tree
2019-09-18
Oli
v
ier
H
ainque
[Ada] Fix 32/64b
i
t mistake on
S
Y
S
TEM_INFO componen
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Arnaud
Charlet
[A
d
a]
Imp
r
ove doc on Warning_As_Erro
r
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Ch
a
rlet
[Ada] Remove
r
e
maining
r
eferenc
e
s
to
V
M
S
support
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ada]
System
.
Stac
k
_U
s
age: fix
a typo
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[
Ada] Avoid uninitialize
d
v
ari
a
ble
i
n
bounded
cont
a
i
ner
s
commit
|
commitdiff
|
tree
2019-09-18
C
lai
r
e Dross
[A
d
a] Fix style is
s
ues i
n
f
u
n
ctional
m
a
p
s
commit
|
commitdiff
|
tree
2019-09-18
A
rna
u
d
Charlet
[
A
da] Refine previous change f
o
r -gnatn and
LLVM
commit
|
commitdiff
|
tree
2019-09-17
Clai
r
e Dross
[
A
da] Add
Remove primitive on
f
unctional maps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada
]
Fix roun
d
in
g
o
f fixed-
p
oint arithmetic operati
o
n
commit
|
commitdiff
|
tree
2019-09-17
Ja
v
ie
r
M
i
randa
[Ada]
M
issing
p
ropagation of H
a
s_Pred
i
cates
i
n
cloned
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcaz
o
u
[A
d
a] Fix ineffective -gnaty
N
f
or separate compilation
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Tom Tromey
[Ada] Update
t
he character type comme
n
t in exp_dbu
g
.
ads
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ad
a
] Min
o
r fixes mostl
y
in comments of runtime ar
i
t
h
m
etic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Y
annick
M
oy
[Ada] Rais
e
C
o
ns
t
rai
n
t
_
E
rror i
n
overf
l
ow c
a
se invo
l
vin
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Y
a
nnic
k
Moy
[
Ada] F
i
x possib
l
e
suppress
e
d
o
verf
l
ows in ar
i
t
hmeti
c
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitri
y
An
i
s
i
mkov
[Ada]
F
orce even tim
e
stamp
i
n Window
s
ALI
f
ile
s
commit
|
commitdiff
|
tree
2019-09-17
Yann
i
ck Moy
[Ada] GN
A
T
p
rove: a
v
oid
c
rash
o
n ill
e
gal borrow durin
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
B
ob Duf
f
[Ada] Clarify documentat
i
on for Stac
k
_Us
a
ge
commit
|
commitdiff
|
tree
2019-09-17
S
te
v
e Baird
[Ada]
D
on't ac
c
ept illegal (e
.
g
.
, Integer'(null)) generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Clai
r
e Dro
s
s
[Ada] S
u
ppo
r
t
ch
a
ined calls to traversal functions
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Fa
l
is
[Ada]
R
emove se
c
tion on p
r
agma No_Run_Time
commit
|
commitdiff
|
tree
2019-09-17
Vadim Go
d
unko
[Ada] C
l
ose
f
ile d
e
scrip
t
ors allo
c
ated for
t
ty only
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Va
d
im Godunko
[Ada
]
GNAT
.
Ex
p
ec
t
(Expect_Internal):
T
ry to call 'pol
l
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadi
m
Godunko
[Ada
]
Avoid to close
i
rrelevan
t
f
ile des
c
ripto
r
s
commit
|
commitdiff
|
tree
2019-09-17
Piotr Troja
n
ek
[Ada] A new
utility rout
i
ne f
o
r detecting attribute
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Do not
i
n
line dispatching o
p
e
r
at
i
ons in
G
NATprove
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed
S
chonberg
[
A
d
a] I
n
a
ge
n
e
r
ic use P
r
esana
l
yze_Spec_Expression
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Mir
a
nda
[Ada] Missin
g
tagg
e
d
t
ype
decoration
i
n c
o
rrespondi
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ja
v
ier Mira
n
da
[Ada] Ada 2020: Rais
e
expressions
i
n limited con
t
ext
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
P
i
o
tr
Trojanek
[Ada] I
g
nore missing
ALI files in G
N
AT
p
rove mode
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[
Ada]
P
R ad
a
/91268
Do not redefine macros
commit
|
commitdiff
|
tree
2019-09-17
A
rn
a
ud Ch
a
rlet
[
A
da]
R
efine change
f
or b
i
t-p
a
ck
e
d slices
commit
|
commitdiff
|
tree
2019-09-17
Jav
i
er Mira
n
da
[Ada] Add
i
ng assertions on extra fo
r
mals for B
I
P function
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bo
b
D
uff
[Ada]
A
void to
u
ch
i
ng potentially
n
onexistent m
e
mory
commit
|
commitdiff
|
tree
2019-09-17
D
m
itriy
Anisimko
v
[Ada] Su
p
port
f
or local unix sockets i
n
GN
A
T
.
Sockets API
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcaz
o
u
[Ada] Fix wr
o
ng value of 'Size for slices of
b
i
t
-
packe
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[
A
da] Refine conditio
n
s for calling Copy_Bitf
i
el
d
commit
|
commitdiff
|
tree
2019-08-21
Vadim Godun
k
o
[Ada] I
m
prove detection
o
f end of t
h
e process by GNAT
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr
T
rojanek
[
A
da] Min
o
r refactorings/reformattings
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Allow for
o
f i
t
eration on formal vecto
r
s
commit
|
commitdiff
|
tree
2019-08-21
Yannick
M
oy
[Ada] More precise propa
g
a
tion of
S
i
ze attribu
t
e in
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yanni
c
k Moy
[Ada] Update referen
c
es to
the SPAR
K
R
M
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] M
o
re complete information l
e
ve
l
for -gnatR4 output
commit
|
commitdiff
|
tree
2019-08-21
Bob Duff
[Ada] Add
the System
.
Bitfield_Utils runti
m
e
u
nit
commit
|
commitdiff
|
tree
2019-08-21
Pi
o
tr
Trojanek
[Ada] Bindo
.
Graphs
:
Minor typo fixes
commit
|
commitdiff
|
tree
2019-08-21
Gary Dismukes
[A
d
a]
Und
e
fined master in task w
i
th
l
imited class-wide
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Eri
c
Botcazou
[Ada] Fi
x
type m
i
sma
t
ch in extended
ret
u
rn statemen
t
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piot
r
Tr
o
j
anek
[Ada] Do not rewrite
argum
e
nt of prag
m
a
Entry_Queue_Lengt
h
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada]
A
void
spurious error in GN
A
Tprove mo
d
e
o
n non
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Y
a
n
nick Moy
[Ada] Ignore subprogr
a
m addre
s
s
i
n ownership che
c
ki
n
g
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada
]
Fix ass
e
rtion failure on derived private
protected
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
P
i
otr
Trojanek
[Ada] Repla
c
e low-level memb
e
rship
t
e
s
ts with h
i
g
h
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
J
avier Miranda
[Ada
]
M
i
ssing attribute
upd
a
te in ne
w
_copy_tree
commit
|
commitdiff
|
tree
2019-08-21
Joel Brobecke
r
[Ada] doc
/
Makefile
:
a
utom
a
tica
l
ly
c
r
e
ate
doc/share
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Jus
t
i
n
S
q
uirek
[
A
da] Max_Entry_Queue_
L
e
ngth aspec
t
for protected e
n
tries
commit
|
commitdiff
|
tree
2019-08-20
Ar
n
a
u
d
Charlet
[Ada] Unne
s
ting: take inlining (-
g
natn) into account
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Crash o
n
a
Storag
e
_Size aspect depending on attr
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[
Ada] Inconsistent scope chai
n
due to quantif
i
e
d
e
xpression
commit
|
commitdiff
|
tree
2019-08-20
Y
annic
k
Moy
[Ada] Adapt GNATpro
v
e expansion for slices with access
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Imp
r
ove efficien
c
y
of aggregates with <>
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[
A
da] Imp
r
o
ve speed
of discrimina
t
ed return
types
commit
|
commitdiff
|
tree
2019-08-20
Gar
y
Dismukes
[Ada]
M
i
n
or reformat
t
ings
commit
|
commitdiff
|
tree
2019-08-20
Dmitriy Anisimko
v
[A
d
a]
Set GNAT
.
OS_
L
i
b
.
GM_
S
plit's gr
a
nulari
t
y b
a
c
k
to
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
E
d S
c
honberg
[Ada] Fi
x
propagat
i
o
n of c
o
mpiler internal flag
commit
|
commitdiff
|
tree
2019-08-20
E
d
Schonberg
[Ada] Crash
on
Loop_Entry
f
or whil
e
_
l
oop involving
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed
Sch
o
nberg
[Ada] Spurious error in dis
p
atching
c
a
l
l
with class
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob
Duff
[Ada] Supp
r
e
ss Initialize_Scalars for Pers
i
ste
n
t
_BSS
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismukes
[
Ad
a
] Illegal lim
i
ted fun
c
tion call accepte
d
in a type
.
.
.
commit
|
commitdiff
|
tree
next