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] Einfo: minor comment fix
2018-10-09
pmderoda
t
[Ada] Einfo: minor c
o
mment
f
ix
commit
|
commitdiff
|
tree
2018-10-09
pmdero
d
at
[Ada] Interna
l
error
o
n
inlined ren
a
ming of subprogram
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
p
m
d
erodat
[Ada] Unnestin
g
:
fi
x
h
a
n
dling of private t
y
p
es that
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[
A
d
a
]
Fix expansion
o
f
operatio
n
s on nonb
i
nar
y
modular
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmde
r
odat
[Ada] Unne
s
t
ing:
f
ix handling of uplevel refs to uncons
t
rain
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[
Ada
]
Remo
v
e spurious
-
Wuninitialized warnin
g
for small
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmd
e
r
o
dat
[Ada] Bou
n
ded_Hold
e
rs:
fi
x
a typo
commit
|
commitdiff
|
tree
2018-10-09
pm
d
e
rodat
[Ada] Funct
i
on
a
l_Vectors: remov
e
defaul
t
value for
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmd
e
rodat
[Ada] Reset Is
_
True_
C
o
n
st
a
nt on entit
e
s used as OUT
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pm
d
erodat
[Ad
a
] Unne
s
ting: avoid unneces
s
ary
l
oads o
f
System
commit
|
commitdiff
|
tree
2018-10-09
pmd
e
rodat
[Ada] Spuriou
s
error message o
n
v
isibiliy change
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmdero
d
at
[Ada]
R
epinfo: list the mecha
n
ism of
f
u
nct
i
on
s
only
commit
|
commitdiff
|
tree
2018-10-09
pmdero
d
at
[A
d
a] Various
User Man
u
al updates for GNATpp
commit
|
commitdiff
|
tree
2018-10-09
p
mde
r
odat
[Ada] Sy
s
tem
.
O
s
_
L
ib
.
Normalize_
P
athna
m
e
:
fix
i
ncor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pm
d
erodat
[Ada] Remove C
o
dePeer an
n
otation
commit
|
commitdiff
|
tree
2018-10-09
pmde
r
odat
[Ada]
Preserve Do_Range
_
C
heck
flags in SP
A
RK mode
commit
|
commitdiff
|
tree
2018-10-09
p
mderodat
[Ada] Spurious warning on unini
t
i
alized enti
t
y
d
u
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[A
d
a] SPA
R
K: minor error message enh
a
nce
m
ent
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
r
o
dat
[Ada
]
Fix inheritanc
e
of represent
a
tion
i
te
m
s de
f
ined
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Sp
u
rious ineffect
i
ve u
s
e_clause warning
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] Stor
e
-G xxx swit
c
h
es
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Issue
info message on inlined subprograms in
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] Missing
f
ront
-
e
n
d
code for c
o
nstraint checks
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] SP
A
R
K
: fix a bug related to lo
o
p exit e
n
v
i
ronment
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] Spurious elabor
a
tion
i
ss
u
e du
e
to inlining
commit
|
commitdiff
|
tree
2018-09-26
pm
d
eroda
t
[Ad
a
] D
o
not issue by de
f
ault info messages for
inli
n
ing
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ad
a
] Spuriou
s
error
o
n interface
conversion under
Z
F
P
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[
Ada] Add a No
_
R
e
tur
n
a
n
n
otation to ease static a
n
alysis
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Spurious error on
pri
v
ate
e
xtensio
n
w
i
th predic
a
te
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Spurious d
e
pendenc
y
on secondary sta
c
k
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
oda
t
[
Ada]
Mimic the C++ ABI when
p
as
s
ing clas
s
-
wide conversion
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
r
o
d
at
[
Ada
]
Pair
miscount in Dyn
a
m
ic_HTable
.
P
ut
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
A
d
d
n
o
tes abou
t
p
r
ocessing of aggregate
projects
commit
|
commitdiff
|
tree
2018-09-26
p
m
deroda
t
[Ad
a
]
M
inor reformat
t
ings
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
erodat
[Ada] New u
n
it GNAT
.
Sets
commit
|
commitdiff
|
tree
2018-09-26
p
m
der
o
dat
[Ada] ICE
on mix
of
t
agged and lim
i
ted interfaces
commit
|
commitdiff
|
tree
2018-09-26
p
mderoda
t
[Ada] Il
l
e
ga
l
form
a
l
obj
e
cts associated with
anonymous
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
md
e
rodat
[Ada]
F
ront-end
s
u
pport for Op
e
n
A
CC pragmas
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[
A
da]
Mis
s
ing err
o
r
on non-
l
imited
d
e
ri
v
ed type with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Inlining
of ren
a
me
d
subprogram in
s
tan
c
es in package
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mdero
d
at
[Ada] P
r
eparation for n
e
w descriptio
n
of interface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
e
r
o
dat
[Ada] Propagate bit order and SSO from
root to classwide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da] Crash on expre
s
sion fun
c
tion
s
within quan
t
ified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Mi
s
s
i
ng pre
d
icate check on r
e
t
urn value
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[A
d
a]
I
C
E
on array of
t
ask type with
-
gnatct
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[Ada] Fix ass
e
rtion fail
u
re
o
n reco
r
d subty
p
e
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Regr
e
ssion in partial compil
a
tion
o
f
RC
I
units
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] Set
Curre
n
t_
E
r
ro
r
_Node directly
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[A
d
a
]
Wrong handling of addre
s
s clause for limited
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Introduce -g
n
atd_A
to set Opt
.
Disable_ALI_File
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Disab
l
e special handling for preconditions specif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada
]
Unnesting: fix handlin
g
of up level refs
f
or
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ad
a
] Fix ICE related to typ
e
freezing
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
e
rodat
[Ada] SP
A
RK: upd
a
te borro
w
ing effects f
o
r IN parameters
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
V
xlink: minor ref
o
rmatting
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[
A
da]
F
ix miscellaneous typos
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
V
x
link
:
ki
l
l a
C
odePeer warning
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
Minor reformattings
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Add a new gnat
t
ool vxl
i
nk
commit
|
commitdiff
|
tree
2018-08-21
p
md
e
r
odat
[
Ada] Crash on expressi
o
n
f
unction and ta
g
ged ty
p
e
s
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[Ada] Spurio
u
s crash on e
x
pre
s
sion
function
a
s co
m
pletion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
A
da
]
R
etenti
o
n of wi
t
h clau
s
es for ignored Ghost units
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ada]
Cras
h
p
rocessing
S
PAR
K
annot
a
te
a
spect
commit
|
commitdiff
|
tree
2018-08-21
p
m
deroda
t
[
A
da] S
p
u
rious
er
r
or on overriding protected fu
n
c
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] Pr
o
perly set sc
o
pe o
f
a
r
tificial
entities in
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Fix scope computation
f
or
loop
statements
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Einf
o
:
r
emo
v
e obsolete code
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada]
U
p
d
ate for Ow
n
ership
rul
e
s for a
c
c
ess t
y
pe
s
a
c
cording
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada]
Spurious amb
i
gu
i
ty
e
r
ror o
n
ca
l
l return
i
ng an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ad
a
] Doc
u
ment entries
o
f the target
parametriza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
er
o
dat
[
A
d
a] Set sc
o
pe of
e
la
b
ora
t
ion flag for
'
A
cces
s
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ada] Sprin
t
: a
d
d
gua
r
d on print
i
ng aspects
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ada
]
C
rash compil
i
ng SPARK ghost functions wi
t
h
callgraph
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
r
o
dat
[A
d
a] Unne
s
ting: d
o
not
s
et size of
a
cc
e
s
s subprograms
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Unnesting:
d
o not emit warn
i
ngs for
access to
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
eroda
t
[Ada] I
m
pro
p
er copyi
n
g
of
lim
i
ted arrays with d
e
faul
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
de
r
odat
[
Ada] Fix spurious er
r
or on
u
n
c
hecked co
n
version
on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mderoda
t
[Ada] F
i
x
i
nternal error on
e
x
tensio
n
o
f
record with
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[A
d
a] Spurio
u
s
"Duplica
t
ed symbo
l
" e
r
ror with d
i
scri
m
inate
d
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Define versions of dime
n
sion system for Float
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada
]
General purpose
doubly linked list for comp
i
ler
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
r
odat
[Ada] Fix
s
cope
computati
o
n
for
e
ntry
b
odies a
n
d
accept
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada
]
Crash on entr
y
in
g
eneric with dy
n
a
m
ic ela
b
oration
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Set_Targ: add a Cod
e
Pe
e
r
annotation
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ada] Co
m
pile
r
abor
t
on call to
expr
.
fu
n
ct
i
on for
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Dynam
i
c
ally resizabl
e
, load factor
-
b
ased h
a
sh
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[
Ad
a
] Enumeration
t
ypes with non-standard
rep
r
esentation
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada] Handle pragmas
that
come from as
p
e
c
ts for GNATprove
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada]
A
dd sa_messages
.
ad[sb] for SPARK 2014
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada]
B
ump
c
opyri
g
h
t
n
o
tices to 20
1
8
commit
|
commitdiff
|
tree
2018-08-03
pmderodat
[A
d
a] Partially reve
r
t "Makefil
e
pat
c
hes from
initial
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Various code c
l
ean-ups fro
m
CodePeer messages
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Fix pot
e
ntial Constra
i
n
t_
E
rror if Library_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[Ada] Sem_El
a
b: remove d
u
plicate
condition
commit
|
commitdiff
|
tree
2018-07-31
p
m
d
ero
d
at
[Ada] Unnest
i
ng:
i
mp
r
ov
e
support for entrie
s
in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
md
e
rodat
[Ada] Refine generation of range che
c
k
s
t
o happen in
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[
A
da
]
Seco
n
dary stack leak with a
c
ces
s
-to-
s
ubprogram
commit
|
commitdiff
|
tree
2018-07-31
pmder
o
dat
[
Ada]
U
n
nestin
g
: fi
n
d local subps in neste
d
stm
t
sequences
commit
|
commitdiff
|
tree
2018-07-31
pm
d
erodat
[Ada] Spurious error on default param
e
ter in pr
o
tected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
dero
d
a
t
[Ada] GNATmake fails to
detect mi
s
sing
body
commit
|
commitdiff
|
tree
next