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] Further cleanup in inlining machinery
2019-08-14
Eric Botcazou
[
Ada
]
F
u
r
ther clea
n
u
p
in inlining machi
n
ery
commit
|
commitdiff
|
tree
2019-08-14
Eri
c
Botcazo
u
[Ada
]
Further cleanup
i
n inlining machine
r
y
commit
|
commitdiff
|
tree
2019-08-14
Ed Schon
b
erg
[Ada] Do no
t
cr
a
s
h
with -gna
t
R
3
on
G
h
ost a
s
p
e
c
t
s
commit
|
commitdiff
|
tree
2019-08-14
Bob Duff
[Ada]
W
a
r
n abo
u
t un
k
nown condition
i
n Compile_
T
ime_Warning
commit
|
commitdiff
|
tree
2019-08-14
Eric
B
otcazou
[Ada]
F
urther cleanup i
n
t
h
e inlining m
a
chinery
commit
|
commitdiff
|
tree
2019-08-14
Bo
b
Duff
[
Ad
a
]
Inc
o
rr
e
ct er
r
or on i
n
li
n
e
protected function
commit
|
commitdiff
|
tree
2019-08-14
B
o
b Duff
[Ada] D
e
fer processing o
f
unknown CTW
/
E conditions
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Eric B
o
tc
a
zou
[Ada]
C
omp
i
ler spe
e
dup with inli
n
in
g
acros
s
units
commit
|
commitdiff
|
tree
2019-08-14
G
ary Dismukes
[Ada
]
Equality f
o
r
n
o
nabs
t
rac
t
type der
i
ved from
in
t
erface
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Bob Duff
[
Ada] Stre
n
gthen L
o
c
k
e
d
flag
commit
|
commitdiff
|
tree
2019-08-14
Arnaud Charlet
[
Ada] Rem
o
ve docu
m
entation
o
f gnatelim
commit
|
commitdiff
|
tree
2019-08-14
Bob D
u
f
f
[Ada] Twe
a
k the s
l
oc
o
f Compile
_
Time_Warning
w
arnings
commit
|
commitdiff
|
tree
2019-08-14
Bob Duff
[A
d
a] Minor:
r
em
o
v
e
a ??
?
c
omment
commit
|
commitdiff
|
tree
2019-08-14
Eric Botcaz
o
u
[
Ada
]
Remove obsolete Pending_Descript
o
r
t
ab
l
e and
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Bob Duff
[Ada] Spurio
u
s err
o
r in discriminated ag
g
r
e
g
a
te
commit
|
commitdiff
|
tree
2019-08-14
Eric Botcazou
[Ada] Fix in
t
ernal er
r
or on in
l
ine
d
subprogram instanc
e
commit
|
commitdiff
|
tree
2019-08-14
Ed
S
c
h
onberg
[Ada] C
r
ash on quant
i
fied expression in disa
b
led assertion
commit
|
commitdiff
|
tree
2019-08-14
Javie
r
Mi
r
a
nda
[Ada]
Sem_Util
:
fix
a
bug in New_Copy_Tr
e
e
commit
|
commitdiff
|
tree
2019-08-14
Yannick Moy
[Ada
]
Expose par
t
o
f
o
wnersh
i
p check
i
ng for use in
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Y
annick Moy
[Ada] Check SPARK restrictio
n
on Old
/
Loop_Entry
wit
h
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Yann
i
ck Moy
[Ada] Fix spur
i
ous
o
w
n
ership
e
r
ror
i
n GNATprove
commit
|
commitdiff
|
tree
2019-08-14
E
ric Botcazou
[Ada]
Fix discrepancy
i
n mechanism tracking pr
i
vate
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
J
a
v
ier
M
iranda
[Ada]
F
ix
a
r
ecent ACA
T
S r
e
gre
s
sio
n
(c
5
52
0
01)
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Crash
o
n precondi
t
ion invo
l
ving quantified
e
xpres
s
io
n
commit
|
commitdiff
|
tree
2019-08-14
Y
a
nni
c
k Moy
[Ada] Fix fa
i
ling
a
sser
t
ions o
n
SPARK e
l
a
b
oration
commit
|
commitdiff
|
tree
2019-08-14
Eri
c
Botcaz
o
u
[A
d
a] Sma
l
l i
n
terna
l
improvem
e
nts
to the in
l
ining ma
c
hin
e
ry
commit
|
commitdiff
|
tree
2019-08-14
G
ary
Dis
m
uke
s
[Ada]
Illegal selec
t
ion of first object in a task type
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
P
i
o
tr Trojanek
[Ada] Minor refa
c
toring
in Einfo
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcaz
o
u
[Ada]
Remo
v
e unused component
i
n r
e
c
o
rd type
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcaz
o
u
[Ad
a
] Build f
u
l
l derivatio
n
for private c
o
ncurrent
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada]
Legal
i
ty rule on ancest
o
rs
of type extens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Eric
B
ot
c
azou
[
A
da
]
Fix spurious instanti
a
tion erro
r
on p
r
ivate record
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Javier
Miranda
[Ada]
Wron
g
dispatching call in type
w
ith aspect Implicit_De
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Ed
Schonberg
[Ada] Do not remove si
d
e-effects in a
n
others_clause
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Er
i
c Bo
t
c
azou
[Ada]
Add
GNAT
.
Bran
c
h_Predic
t
ion to Impunit
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Small cleanup and improveme
n
t in
inlining mach
i
n
e
ry
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Fix bogus style
chec
k
fai
l
ure with
pragma Style_Ch
e
cks
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
A
r
n
a
ud Charlet
[
Ada]
P
rotec
t
analysis of Indexing aspect against
cas
c
aded
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Add conforman
c
e
ch
e
ck on actual subp
.
in insta
n
ce
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Gary Dism
u
k
e
s
[Ada]
Do full name qua
l
i
f
ication of local excep
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Gary D
i
smukes
[Ada] Co
m
piler
may blow up on
a
rray a
g
greg
a
tes w
h
ose
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Justin
Squirek
[Ada] Show Bi
t
_Order and Scalar_Stor
a
ge
_
O
r
der in
-
gnatR4
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Justin
S
q
uir
e
k
[Ada] Implement pragma Max_Entry_
Q
ueue_Length
commit
|
commitdiff
|
tree
2019-08-13
Y
annic
k
Moy
[Ada] Avoid c
r
ash in GN
A
Tprove_Mo
d
e on a
l
lo
c
a
t
o
r inside
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Y
an
n
ick Moy
[Ada] Avoi
d
c
r
ash in GN
A
T
p
rove d
u
e to in
l
i
n
ing insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Spurious err
o
r on nest
e
d instantiation
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ad
a
] Do no
t
set Back_End_Inlining in ASIS mode
commit
|
commitdiff
|
tree
2019-08-13
O
livier Hainqu
e
[
A
da] Fix inc
o
rrect b
i
nding to MapV
i
ewOfFile in s-win32
.
ads
commit
|
commitdiff
|
tree
2019-08-13
Arnaud Charlet
[Ad
a
] System
a
ticall
y
p
ass LN_S
to
relevant gnatlib
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Ya
n
nick Moy
[Ada
]
Avoid spuri
o
u
s
e
r
r
o
rs on dimensional
i
t
y
checking
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
J
u
stin Squ
i
rek
[Ada] Disab
l
e a
n
onymous alloca
t
or warn
i
ng
f
or
l
ibra
r
y
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Eric
Botcazou
[A
d
a]
A
dd/fix
docume
n
ta
t
ion fo
r
the
D
ouble_*_Ali
g
nment
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Eric
Botcazou
[A
d
a
]
Fix spur
i
ous e
r
ror
on nes
t
ed
i
nstantiation with
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Javier Miranda
[Ada] Wr
o
ng in
i
tialization of Offset_To_Top in secondary DT
commit
|
commitdiff
|
tree
2019-08-13
Ju
s
tin Squir
e
k
[Ada] Add
a
bility to list co
m
piler switc
h
es wit
h
gnatcmd
commit
|
commitdiff
|
tree
2019-08-13
Dmitriy Anisimkov
[Ada] Bett
e
r
exce
p
ti
o
n me
s
sage on Invalid_Sw
i
tch exception
commit
|
commitdiff
|
tree
2019-08-13
Y
annick Mo
y
[Ada] Complete the mo
r
e
ext
e
nded AST traversal us
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
Claire Dross
[Ada] E
x
tend range type
i
n se
a
rc
h
pri
m
itives o
f
formal
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Dmitriy
Anisimkov
[Ada] Fix IPv6 numeric address
de
t
ect
i
on
commit
|
commitdiff
|
tree
2019-08-12
Dm
i
triy Anisimkov
[Ada] New parameter Quiet for proced
u
re
G
NAT
.
Comman
d
_Line
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
E
d
S
c
honberg
[Ada
]
Mis
s
ing check on outbound
p
arameter of a non
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada]
Crash on illegal left-hand side in assignmen
t
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Eric B
o
tcazou
[Ada] Small comment tweaks for 3 predicates on bit
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazo
u
[
A
da]
F
ix
i
nternal
err
o
r on comparison of unaligned
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Bob Duf
f
[Ada] Do no
t
suppre
s
s
checks
in instances o
f
interna
l
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
B
o
b
D
u
ff
[Ada]
Prev
e
nt crash in
I
s_Re
a
chable
commit
|
commitdiff
|
tree
2019-08-12
Bo
b
Duff
[Ad
a
]
P
r
even
t
c
r
ash in Put_Scal
e
d
commit
|
commitdiff
|
tree
2019-08-12
Bob Duf
f
[Ada] R
e
move doc for language version
s
witches
commit
|
commitdiff
|
tree
2019-08-12
Gary Dism
u
kes
[A
d
a]
H
ang on loop in
generic
w
ith s
u
btype
i
ndi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonbe
r
g
[A
d
a
]
I
mproper error
m
es
s
age
o
n
equalit
y
op with
d
ifferent
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada
]
Minor cleanups in e
x
cepti
o
n
h
an
d
ling
commit
|
commitdiff
|
tree
2019-08-12
Justin Squirek
[
A
da]
Implem
e
nt Ada
.
Dir
e
ct
o
ries
.
Hiera
r
chical_File_N
a
mes
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada]
I
mprove err
o
r me
s
sage
f
or Objec
t
_Siz
e
clause
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Gary Dismukes
[Ada] Suppress_Initia
l
iz
a
t
i
on
n
ot respected for
privat
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ad
a
]
New aspect/pragma No_Cach
i
n
g for analysis of
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yan
n
i
c
k Moy
[Ada] Ad
a
p
t
new
e
xtended tr
a
versal
o
f AST to have o
p
ti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] M
o
re
pre
c
i
se handling of S
i
ze/Obje
c
t_
S
ize
in
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[A
d
a] S
P
ARK: disa
b
le e
x
pansion of Enu
m
_Rep
commit
|
commitdiff
|
tree
2019-08-12
Justin
S
q
uirek
[Ada] Inc
o
nsistent
c
ompile time Const
r
aint_Erro
r
warning
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada]
E
liminat
e
redund
a
n
t r
a
nge checks
o
n
conve
r
sions
commit
|
commitdiff
|
tree
2019-08-12
E
r
ic Botcaz
o
u
[
A
da] Sprint: m
i
n
o
r comment tweak
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada]
Fix leak of Do_Range_
C
he
c
k flag
in -gnat
V
a
mode
commit
|
commitdiff
|
tree
2019-08-12
Y
a
nnick Moy
[A
d
a] Extended tr
a
versal subprograms for GNA
T
p
ro
v
e
commit
|
commitdiff
|
tree
2019-08-12
Jero
m
e
Lambourg
[
A
da] Vx
W
orks: call s-
t
po
p
sp
.
Self
o
n
ly
when needed
commit
|
commitdiff
|
tree
2019-08-12
E
r
ic Bo
t
cazou
[
A
da] Plug sm
a
ll loophole in Discre
t
e_Range_Check
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] A
d
d special bypass
f
or obsolete code patter
n
commit
|
commitdiff
|
tree
2019-08-12
Eric
B
otcazou
[Ada] Fix missing range check for In
/
Out parameter
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Er
i
c Botcazou
[Ada]
Fix incorrect Do_Ran
g
e_
C
heck on
t
ype
convers
i
on
commit
|
commitdiff
|
tree
2019-07-23
E
d Sc
h
onber
g
[Ad
a
]
Asp
e
ct C
P
U may depend on a dis
c
ri
m
i
n
ant of a
.
.
.
commit
|
commitdiff
|
tree
2019-07-23
Eric Botca
z
ou
[
Ada] Plug small
l
oophole in Ge
n
erate_Ran
g
e_Check
commit
|
commitdiff
|
tree
2019-07-23
Eric B
o
t
cazou
[Ada] Eliminate
r
edundant
overflow checks for conver
s
ions
.
.
.
commit
|
commitdiff
|
tree
2019-07-23
E
r
i
c
Botc
a
zou
[Ada] Minor tweak to -gnatR output
commit
|
commitdiff
|
tree
2019-07-23
E
d Schonbe
r
g
[Ada] Iterato
r
s are view-spe
c
i
fic
commit
|
commitdiff
|
tree
2019-07-23
Yannick Moy
[Ada]
Is
s
ue e
r
ror on
S
PA
R
K ownership
r
ul
e
violation
commit
|
commitdiff
|
tree
2019-07-23
Yannick
Moy
[Ada] Fix binding of ghost units with finaliz
e
r
commit
|
commitdiff
|
tree
2019-07-22
Eric Bo
t
cazou
[Ada] More complete
i
nformati
o
n level for
-gnatR4 output
commit
|
commitdiff
|
tree
2019-07-22
Er
i
c
B
otcazou
[Ada]
Sin
f
o: upd
a
te doc
a
bou
t
D
o_Divisio
n
/Over
l
fl
o
w
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eri
c
Botcazou
[Ada]
F
ix missing che
c
k for no-op conversion to fixed
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada]
R
emove misleading war
n
ing/suggest
i
on in membership
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Yannick
Moy
[Ada
]
Adapt owners
h
ip checking in SPARK to traversal
.
.
.
commit
|
commitdiff
|
tree
next