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] Fix resolution of class-wide operations that are generic actuals
2018-07-31
Ed Sc
h
onberg
[Ada] Fix
r
esoluti
o
n of class
-
wide opera
t
ions t
h
at
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
Hristian Kirtchev
[Ada] Minor reform
a
tti
n
gs
commit
|
commitdiff
|
tree
2018-07-31
Bob
Duff
[Ada] S
p
uri
o
us error -- "
a
l
l
ocation from emp
t
y storage
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Ed Schon
b
erg
[
A
da] Spuriou
s
err
o
r
on p
r
efixed call in an instantiation
commit
|
commitdiff
|
tree
2018-07-17
Arnau
d
Charlet
[Ada] Pre
s
erve origi
n
al
CE
reason in more cases
commit
|
commitdiff
|
tree
2018-07-17
Arnaud
C
h
arlet
[Ada] Add prov
i
sion for floati
n
g
-
poi
n
t
in
App
l
y_Div
i
sion_Check
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonbe
r
g
[Ad
a
] F
i
x e
x
pan
s
ion of aggregat
e
s
co
m
po
n
ents rewri
t
te
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
P
i
o
tr Trojanek
[Ada] R
e
use Is_Rewr
i
te_Substitution in Re
l
ocate_Node
commit
|
commitdiff
|
tree
2018-07-17
Pi
o
tr Trojanek
[Ada] Fix RM rule re
f
eren
c
es
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[Ada] Fix inc
o
mpati
b
i
l
ity
Default_Scalar_Storage_Order
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Patrick
B
ernardi
[
Ad
a
]
Use standard versi
o
n of s
-
memory
.
adb for mingw32
commit
|
commitdiff
|
tree
2018-07-17
Hristia
n
Kirtchev
[
A
d
a] Fau
l
ty ignored Ghost code remova
l
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada]
Configur
a
tion state not ob
s
erved for
instance
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[
A
da] ICE on r
e
naming of result of binary operation
commit
|
commitdiff
|
tree
2018-07-17
Eric
B
ot
c
a
z
o
u
[Ad
a
]
T
ype mismatch warning
for imported C++ class
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Remove extra parenthe
s
e
s
in
E
xpand_Inline
d
_Call
commit
|
commitdiff
|
tree
2018-07-17
Eric
B
ot
c
azou
[Ada] Minor fix for imported C++ construc
t
ors
commit
|
commitdiff
|
tree
2018-07-17
Bo
b
Duff
[Ada] Assertion_P
o
l
icy for cl
a
ss-wi
d
e precon
d
ition
commit
|
commitdiff
|
tree
2018-07-17
Ed Scho
n
berg
[A
d
a] Missing che
c
k on illegal equality
operation in
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Ed
Sc
h
o
n
berg
[Ad
a
] Unnesting: don't use Get
_
Actual_Subtype for re
c
ord
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Hristian
K
i
rtchev
[
Ada]
M
ino
r
reform
a
tting
commit
|
commitdiff
|
tree
2018-07-17
Javier
Mirand
a
[Ada] Crash p
r
ocessing abstract
stat
e
aspe
c
t
o
f a package
commit
|
commitdiff
|
tree
2018-07-17
Piotr Tr
o
janek
[Ada] Consistent spelling of "
i
.
e
.
" in docs a
n
d
comments
commit
|
commitdiff
|
tree
2018-07-17
Justin Squire
k
[
A
da
]
A
r
g
ume
n
t_String_
T
o_Li
s
t creat
e
s empty items from
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
H
r
istian Kirtche
v
[
Ada] Spurious error on Part_Of indica
t
or
commit
|
commitdiff
|
tree
2018-07-17
Yannic
k
M
oy
[Ada] Avoid confusing wa
r
ning on excep
t
i
on propagatio
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
D
mitriy Anisi
m
k
ov
[Ada] GNAT
.
So
c
k
e
ts: reorganize an
d
make pub
l
ic components
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Javier Mira
n
da
[Ada] Secondary stac
k
leak in statements block located
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Ed Schon
b
er
g
[Ada] Fix En
c
losi
n
g_
S
ubprogram
for protected
e
ntries
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Hri
s
t
i
an Kirtch
e
v
[
Ada]
Ad
d
el
a
boration
-
related
swi
t
ches to GNAT
U
GN
commit
|
commitdiff
|
tree
2018-07-17
Hristian Ki
r
t
c
hev
[Ada]
N
ew ig
n
o
r
ed Ghost code removal mechanis
m
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[A
d
a] Secondary
st
a
c
k
leak in loop i
t
erator
commit
|
commitdiff
|
tree
2018-07-17
P
iotr Trojanek
[Ada] Fix
N
ext_A
c
t
u
al when used on calls "in
l
ined for
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Ed
S
c
h
onb
e
rg
[Ada] Einfo: u
p
date docum
e
ntation f
o
r Scala
r
_Rang
e
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Attach the spe
c
ial GNATprove HEAP entity
t
o the
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Piot
r
Tr
o
janek
[Ada]
Minor re
f
actor
i
ng:
r
e
move
extra parenthe
s
es
commit
|
commitdiff
|
tree
2018-07-17
Ed
S
chonberg
[Ada] Fix unnesting issues involving
t
asks
commit
|
commitdiff
|
tree
2018-07-17
Hris
t
i
a
n K
i
rtchev
[
A
da] Spurious error
on
u
nused Part_Of c
o
nst
i
tue
n
t
commit
|
commitdiff
|
tree
2018-07-17
Ed
S
cho
n
ber
g
[Ada]
Fix handling of
i
n
h
e
rited discrimi
n
ant const
r
ain
t
s
commit
|
commitdiff
|
tree
2018-07-17
Hristia
n
Kirtchev
[Ada] Crash on cas
e
expression in b
u
il
d
-i
n
-pla
c
e func
t
ion
commit
|
commitdiff
|
tree
2018-07-17
Arnaud Charlet
[Ada] Remove referenc
e
s to gc
o
v
from the User Manual
commit
|
commitdiff
|
tree
2018-07-16
Hr
i
stian Kirtchev
[Ada] Mis
s
ing
error on h
i
dden s
t
a
t
e
i
n instanti
a
t
i
on
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kir
t
chev
[Ada] Minor reformatt
i
n
g
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Ch
a
rlet
[Ada
]
O
n
ly unnest subpr
o
grams
i
f
no
prev
i
ous errors
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Fix
expansi
o
n of blo
c
ks
i
n
l
oops
i
n
side elabor
a
tion
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed S
c
honberg
[Ada] Dee
p
c
o
p
y operands of membership operations for
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[
A
d
a] Un
n
est
i
ng: ha
n
dle
'
Address references that
a
re
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[A
d
a] Unne
s
ti
n
g: handle
t
h
e semantic of Storage_Pool
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Fix D
e
fau
l
t_Storage
_
Pool aspect h
a
ndling in gen
e
ri
c
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonb
e
rg
[Ada]
Maj
o
r
c
o
d
e cle
a
nup
commit
|
commitdiff
|
tree
2018-07-16
Hristi
a
n
Kirtchev
[Ada]
Spu
r
ious
error with n
u
ll Abst
r
ac
t
_State
commit
|
commitdiff
|
tree
2018-07-16
Piotr T
r
oja
n
ek
[Ada] Dec
o
n
stru
c
t unused Withed_B
o
dy f
i
led o
f
N_
W
ith_Clause
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Avoid crash w
h
en trav
e
rsing
units with -gnatd
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Piotr Troj
a
nek
[
A
da
]
Trivial simpl
i
ficatio
n
s in in
W
alk_Library_I
t
ems
commit
|
commitdiff
|
tree
2018-07-16
Piotr T
r
ojanek
[A
d
a] Deconstr
u
ct alwa
y
s-false calls to Withed_Body
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
E
d
Schonberg
[Ada] Use
c
ommon routine Expand
_
Non
b
inary_Mo
d
ular_Op
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonb
e
r
g
[Ada] Add
a
missing check for trivial predicates on
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[
A
da] Cras
h
on Indef
i
nite_H
a
s
hed_Maps
w
i
t
h
-gnata
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Justin Squi
r
ek
[Ada
]
Spurious pos
s
ible contraint
error warning with
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Hri
s
t
ian Kirtchev
[
Ada] Se
g
mentation
_
Fault wi
t
h Integer
'
Wide_Wide_V
a
lue
commit
|
commitdiff
|
tree
2018-07-16
Javier Mi
r
anda
[Ad
a
] Bit_
O
rder c
a
nnot be
d
ef
i
ned fo
r
record extensions
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Charlet
[Ada] System
.
Obje
c
t_Rea
d
er: mi
n
or code clean-u
p
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojan
e
k
[Ada] A
d
ju
s
t reference t
o
re
n
umbered SPA
R
K
RM rule
commit
|
commitdiff
|
tree
2018-07-16
Arnau
d
Charle
t
[A
d
a
] adaint
.
c: minor c
o
d
e
cleanup
commit
|
commitdiff
|
tree
2018-07-16
Javier
Mira
n
da
[Ada] Code cleanup on
functions inlinin
g
commit
|
commitdiff
|
tree
2018-07-16
Javier
M
iranda
[A
d
a] Crash proce
s
s
i
ng sourc
e
s under GNAT
p
rove debu
g
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Yannick Moy
[Ada] Inline: r
e
wrap co
m
ment
commit
|
commitdiff
|
tree
2018-07-16
Eric Botcazou
[A
d
a] Einfo: minor twe
a
k in comment
commit
|
commitdiff
|
tree
2018-07-16
Jav
i
e
r
Miranda
[Ada] Sem
_
Ch4: minor code
c
lea
n
u
p
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Fix expansion of
'
Count in protecte
d
types
commit
|
commitdiff
|
tree
2018-07-16
Javier
M
iranda
[Ada] Sem_Utils: make Has
_
P
r
e
fix p
u
bli
c
commit
|
commitdiff
|
tree
2018-07-16
Yannick Mo
y
[Ada] Adjust inlining
i
n GNAT
p
r
o
v
e mod
e
for predi
c
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Gary Dismukes
[Ada]
V
i
o
lation of No_Standard_Allocat
o
rs_After_El
a
boration
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Gary Dismuk
e
s
[Ad
a
]
Fi
x
spelling
fo
r
compile-
t
ime-
k
nown
commit
|
commitdiff
|
tree
2018-07-16
Hristian Ki
r
tchev
[A
d
a] Illegal d
e
ferred constant
c
a
u
s
e
s
stack o
v
erflow
commit
|
commitdiff
|
tree
2018-07-16
Nicolas Roche
[Ada] Adjust
grow
t
h
f
ac
t
o
r
from 1/
3
2 to
1
/
2
for Unb
o
unded_Strin
g
commit
|
commitdiff
|
tree
2018-06-11
E
ric B
o
tcazou
[Ada] Fix wrong code for initia
l
ization
o
f
fat pointer
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Hristian
Kirtchev
[Ada] Sup
p
ress th
e
e
xpa
n
sion
of i
g
nored assertion pragmas
commit
|
commitdiff
|
tree
2018-06-11
H
ristian Kirtchev
[
A
d
a]
Minor refo
r
matt
i
ng
commit
|
commitdiff
|
tree
2018-06-11
Gary D
i
smukes
[Ada
]
Typo f
i
xes and mi
n
or reformatting
commit
|
commitdiff
|
tree
2018-06-11
Hr
i
stia
n
Kirtchev
[Ad
a
]
Double
f
i
nalization of limited
c
ont
r
olled result
commit
|
commitdiff
|
tree
2018-06-11
O
l
ivier
Hainque
[
A
da]
Imp
r
ove last except
i
o
n
info a
v
ailability from
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] U
n
nestin
g
: re
f
actor
h
a
n
dlin
g
of uplev
e
l refs
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
B
ob
D
uff
[
A
da] Dangling cur
s
or checks
i
n
Element function
commit
|
commitdiff
|
tree
2018-06-11
Y
annic
k
M
o
y
[Ada
]
Mark para
m
eters
as
c
omi
n
g from source f
o
r GNATprove
commit
|
commitdiff
|
tree
2018-06-11
Ed Sc
h
on
b
erg
[A
d
a] Missing predi
c
ate fun
c
t
i
on bod
y
f
or derived type
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yannic
k
Moy
[Ada] Rejec
t
violation o
f
SPARK 6
.
1
.
4(12) w
i
th e
n
clos
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
E
r
ic Botcazou
[Ada] Min
o
r twea
k
s fo
r
Re
p
i
n
fo
commit
|
commitdiff
|
tree
2018-06-11
H
r
istian Kirtchev
[Ada] Make
G
NAT
.
Array_Spli
t
a
p
r
eelaborable unit
commit
|
commitdiff
|
tree
2018-06-11
Arn
a
ud Charlet
[
Ada]
S
i
m
plify expansi
o
n
o
f "and the
n
"
i
n Co
d
ePeer
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Javier
M
irand
a
[Ada] Crash on pr
o
t
e
cted type entry famil
y
commit
|
commitdiff
|
tree
2018-06-11
Arnaud Char
l
et
[Ada] Minor re
f
ormatting
commit
|
commitdiff
|
tree
2018-06-11
Ya
n
n
i
ck Moy
[Ada] Add Suppressible argum
e
nt
to Assertion_Policy
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yannick
Moy
[Ada] Do not
query
t
he represen
t
a
t
i
o
n
inform
a
tion i
n
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yannick Moy
[Ad
a
] Mark extended ret
u
rn of unconst
r
a
i
ned typ
e
a
s
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yan
n
ick Moy
[Ada] Do not f
o
rce Part_Of
o
n generic units
commit
|
commitdiff
|
tree
2018-06-11
P
iotr Trojanek
[Ada] Don'
t
s
plit AND
T
HE
N
e
xpressions
i
n GNATprove
_
Mode
commit
|
commitdiff
|
tree
2018-06-11
P
i
otr Tr
o
j
a
n
ek
[Ada] Fix handling of Pre/Post
contr
a
c
t
s with AND T
H
EN
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
E
d S
c
hon
b
erg
[Ada]
Unn
e
sting: robus
t
i
f
y analysis of block
state
m
ents
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonbe
r
g
[
Ada] Unnesting: fix handling
o
f gen
e
ri
c
as
s
ocia
t
ions
commit
|
commitdiff
|
tree
next