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
[Ad
a
] Mem
o
r
y leak wit
h
'Ran
g
e
o
f
a function
cal
l
in
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Raphael Amiar
d
[Ada] Propagate document
a
ti
o
n to formal bounded
sets
commit
|
commitdiff
|
tree
2019-09-19
Raphael Ami
a
rd
[Ada] Add
c
omments wrt
.
deallocation of bounde
d
sets
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Eric Botc
a
zou
[Ada] Fix spur
i
ous type mi
s
match failure on
neste
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
B
ob Duff
[Ada]
I
n
fi
n
ite loop with concatenation and aspe
c
t
commit
|
commitdiff
|
tree
2019-09-19
Eric Botca
z
o
u
[Ada]
Fix fallo
u
t of previous
c
hang
e
for bit-packed
.
.
.
commit
|
commitdiff
|
tree
2019-09-19
Bob
Du
f
f
[A
d
a]
g
natxre
f
:
in
f
inite
l
oop on
symbols no
t
found
commit
|
commitdiff
|
tree
2019-09-19
E
ric Botcazou
[Ada] Improve handling of
explicit by-reference me
c
h
a
nis
m
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ad
a
] Rts
f
ind: improve c
o
mment on RTE_Avai
l
ab
l
e
commit
|
commitdiff
|
tree
2019-09-18
Bob Duf
f
[
A
d
a
]
Av
o
id g
n
atbind
regression
c
a
u
s
e
d by Copy_Bitfield
commit
|
commitdiff
|
tree
2019-09-18
E
r
ic B
o
tcazou
[Ada] Fix spurious alignment warning on s
i
mple ad
d
ress
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonbe
r
g
[Ada
]
Cra
s
h on univer
s
al case expression in fi
x
ed-point
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[
Ada] Use static d
i
scriminant value for discriminate
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[A
d
a] Cr
a
sh on aggreg
a
t
e with dscriminant in
i
f
-expression
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squir
e
k
[
Ada
]
Sp
u
ri
o
us
i
neff
e
ct
i
ve use_claus
e
warning
commit
|
commitdiff
|
tree
2019-09-18
Justin
S
quirek
[A
d
a] Miss
i
n
g
accessibility
c
h
e
ck on discri
m
assignm
e
n
t
commit
|
commitdiff
|
tree
2019-09-18
Eric
Botcazou
[Ada] Fix sharing o
f
express
i
on in array aggreg
a
te
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Justin Squirek
[Ada] Spurious run t
i
m
e
error on anonymous access formals
commit
|
commitdiff
|
tree
2019-09-18
Steve Baird
[A
d
a] Implem
e
nt
AI12-0
0
86
'
s
rules for disc
r
i
m
inants
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Jav
i
e
r
Miranda
[Ada] Fix portability is
s
ues in acces
s
t
o
s
ubprograms
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[
Ada]
I
mprove effi
c
iency o
f
cop
y
ing bit-packed slices
commit
|
commitdiff
|
tree
2019-09-18
Vas
i
liy Fofanov
[Ada] Fix minor formatting issu
e
commit
|
commitdiff
|
tree
2019-09-18
Jav
i
er Mir
a
n
d
a
[Ada] C
o
de cleanup of alignmen
t
representation clause
s
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Steve B
a
ird
[
A
da] Don't fail a front-end assertio
n
if e
r
rors have
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
P
iotr
Trojanek
[
A
d
a] Refine
t
y
pe of Get_Homonym_Number resu
l
t
commit
|
commitdiff
|
tree
2019-09-18
Yannick
M
oy
[A
d
a] Skip entity name qualificat
i
on in GNATprov
e
m
ode
commit
|
commitdiff
|
tree
2019-09-18
N
i
colas Roche
[Ada] Ensu
r
e
th
a
t Scan_Real result does not depend
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Claire
Dross
[Ada] Factor out
c
ode
f
or
d
eciding statically k
n
own
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
V
a
dim
G
od
u
nko
[Ada]
R
aise exception
on call to Expect
for a dead
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Frederic Konrad
[Ada] Fix
e
r
rno for rename for t
h
e VxWorks 6 target
commit
|
commitdiff
|
tree
2019-09-18
Ste
v
e Baird
[Ada] N
o
Storage_Error
for an ov
e
rs
i
z
e
d d
i
sabled ghost
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Tom Tromey
[
A
da]
Fix typo in error mess
a
ge
commit
|
commitdiff
|
tree
2019-09-18
O
l
ivi
e
r H
a
inque
[
Ada] Fix 32/64bit mistake on SYSTEM_INFO
c
omponen
t
.
.
.
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ada] I
m
prove doc on Warning_As
_
Err
o
r
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[Ada]
R
e
mov
e
remaining
r
eferences to VMS support
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charle
t
[Ada] System
.
Stack_
U
s
a
ge:
f
ix a typo
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[
A
da] Avoid un
i
nitialized va
r
ia
b
le in bounde
d
containers
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[
Ada] Fix
style
iss
u
es in func
t
ional ma
p
s
commit
|
commitdiff
|
tree
2019-09-18
Arnaud Charlet
[
A
d
a]
Refine previous change
f
or
-gnatn and LLVM
commit
|
commitdiff
|
tree
2019-09-17
Claire
D
ross
[Ada
]
Add Remove prim
i
t
i
v
e
on
f
unctional
m
aps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[A
d
a]
Fix rou
n
ding
o
f
fixed-p
o
in
t
a
r
ithme
t
ic ope
r
ation
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Mi
s
sing propagation
o
f
Has_Predicates in clon
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
E
ric B
o
tca
z
ou
[Ada]
F
i
x ine
f
f
ective -gnatyN for separate c
o
mpi
l
a
tion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Tom Tromey
[Ada] Update the character
type comment in exp_db
u
g
.
a
d
s
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Minor
f
i
x
es mostly
i
n
c
o
mmen
t
s
of runtime arithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick M
o
y
[Ada] Raise Con
s
traint_E
r
ror
i
n
overflow case invol
v
ing
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yan
n
ick
Moy
[
Ada] Fix pos
s
ible suppre
s
sed
overfl
o
w
s
in arithmeti
c
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anis
i
mkov
[Ada
]
Force e
v
en
t
imestam
p
i
n
W
i
ndows
A
LI files
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] GNATprove:
a
v
oi
d
c
r
ash on illegal
b
orro
w
during
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Du
f
f
[Ada] Clarif
y
docum
e
ntation
f
or S
t
ack_
U
sage
commit
|
commitdiff
|
tree
2019-09-17
Steve
B
a
ird
[
A
d
a
]
Don't accept illegal (e
.
g
.
, Integer'(null)) generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Clair
e
Dro
s
s
[Ad
a
] Support
c
ha
i
ned
c
a
l
l
s to
traversal functions
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Falis
[Ada]
Remove s
e
ctio
n
on pragma No
_
Run_Time
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godu
n
ko
[Ada]
C
lose file d
e
scr
i
p
tor
s
a
l
lo
c
ated for tty only
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godun
k
o
[A
d
a]
GNA
T
.
Expect (Expect
_
Internal): Try to call
'
p
o
ll
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada]
A
void t
o
c
lose ir
r
elevant file d
e
s
c
riptors
commit
|
commitdiff
|
tree
2019-09-17
P
iotr
T
r
o
janek
[A
d
a
]
A
new utility
r
outine for de
t
ect
i
ng
attr
i
but
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Do no
t
i
nline dispa
t
c
h
i
ng operat
i
ons
in G
N
ATprove
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Sch
o
n
ber
g
[A
d
a]
In a
generic use Presanalyze_S
p
ec_Expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada]
M
issin
g
tagged
type d
e
coration in cor
r
e
s
ponding
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Mira
n
da
[
Ada] Ada 2020: R
a
i
se exp
r
essions in limited contexts
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Piotr Tr
o
janek
[A
d
a]
I
gno
r
e
m
issing ALI files in GNATpr
o
ve mode
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[Ada
]
P
R
a
d
a
/91268
D
o n
o
t redefine m
a
cros
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[
A
da]
R
e
fine
cha
n
ge for b
i
t-packed
sl
i
ces
commit
|
commitdiff
|
tree
2019-09-17
Javier Mi
r
anda
[Ada] Adding
assertions on ex
t
ra formal
s
for BIP f
u
ncti
o
n
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada] Avoid touching
p
otentially nonexist
e
n
t
memory
commit
|
commitdiff
|
tree
2019-09-17
D
m
itri
y
Anisimk
o
v
[Ada]
S
uppo
r
t
f
or
l
ocal u
n
ix so
c
kets in GNAT
.
S
o
ckets API
commit
|
commitdiff
|
tree
2019-09-17
E
r
i
c Botcaz
o
u
[Ada] Fix wrong
value of 'Size for slices of bit-packed
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[
Ada]
R
e
f
ine conditions for calling Copy_
B
i
t
f
i
eld
commit
|
commitdiff
|
tree
2019-08-21
Vadim Godunko
[Ada
]
Improve detection
o
f
end
o
f the proces
s
by GNAT
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada
]
M
i
no
r
refac
t
orings/reformattings
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Al
l
ow for
o
f
i
t
er
a
ti
o
n on formal vectors
commit
|
commitdiff
|
tree
2019-08-21
Y
a
n
n
ick Mo
y
[Ada] More pre
c
i
s
e propagation of Siz
e
attribute
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Y
a
n
nick
Moy
[Ad
a
] Up
d
ate
r
eferen
c
e
s
to
the SPARK RM
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] More co
m
plete information level fo
r
-gnatR4 output
commit
|
commitdiff
|
tree
2019-08-21
Bob Duff
[Ad
a
] Add the System
.
Bitfield_Uti
l
s
r
untime unit
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Bindo
.
Grap
h
s: Minor typo
f
ixes
commit
|
commitdiff
|
tree
2019-08-21
Gary Dis
m
ukes
[Ada]
U
ndef
i
ne
d
m
aster
i
n
ta
s
k with lim
i
ted
c
lass-wid
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
E
ric Botc
a
zou
[Ad
a
] Fix type mismatch i
n
exten
d
ed r
e
tu
r
n statement
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr
Troja
n
ek
[Ada] Do
not rewrite a
r
gument of prag
m
a Entr
y
_
Queue_Length
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] Avo
i
d
s
pu
r
ious err
o
r in G
N
AT
p
rove mode on non
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yanni
c
k Moy
[Ada] I
g
nore
subprogra
m
add
r
ess in ownership chec
k
i
n
g
commit
|
commitdiff
|
tree
2019-08-21
Eric Botca
z
ou
[Ada] Fix assertion failure on derived private protected
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[
A
da] Replac
e
low
-
l
e
vel memb
e
r
s
hip tests wi
t
h high
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Javier Mi
r
a
n
da
[Ada] Missing attribu
t
e update in n
e
w_copy
_
t
r
e
e
commit
|
commitdiff
|
tree
2019-08-21
J
oel Brobecker
[Ada
]
doc/Makef
i
le:
a
utomat
i
ca
l
ly cre
a
te doc/s
h
are
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Justi
n
Squir
e
k
[Ada] Max_E
n
try
_
Queue_Length a
s
pec
t
for pro
t
e
cted entr
i
es
commit
|
commitdiff
|
tree
2019-08-20
Arnaud
Charle
t
[Ada]
U
nn
e
s
t
ing:
take in
l
i
ning (-gnatn) into account
commit
|
commitdiff
|
tree
2019-08-20
Ed Sc
h
onberg
[Ada] Crash on a Storage_Size aspect depending on att
r
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Piot
r
Trojanek
[
A
da
]
Inconsisten
t
scope
chain du
e
to quantified
e
xpression
commit
|
commitdiff
|
tree
2019-08-20
Yannic
k
Mo
y
[Ada] Adapt GNAT
p
rove
e
x
p
ansion f
o
r
slices with a
c
cess
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob
D
uff
[Ada] Impro
v
e efficiency of agg
r
egates with
<
>
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Improve spe
e
d of discri
m
inated return types
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismukes
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2019-08-20
Dmitriy Anis
i
m
kov
[Ada]
Set GN
A
T
.
OS_Lib
.
GM_Split's
g
ra
n
ulari
t
y back
t
o
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonb
e
rg
[Ada] Fix
propa
g
ation
o
f
compil
e
r int
e
rnal
f
lag
commit
|
commitdiff
|
tree
2019-08-20
Ed S
c
honberg
[Ada] Cr
a
sh
o
n
L
oop_Entry for while_loop i
n
volving
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Spurious error in
d
i
s
p
atchin
g
call with cla
s
s
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
B
ob Duff
[Ad
a
] Suppress Init
i
alize_S
c
a
lars for Persistent_BSS
commit
|
commitdiff
|
tree
2019-08-20
G
ary Dismukes
[
A
da] Illega
l
li
m
ited functi
o
n cal
l
accepted in a type
.
.
.
commit
|
commitdiff
|
tree
next