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] System.Os_Lib.Normalize_Pathname: fix incorrect comment
2018-10-09
pmd
e
r
odat
[Ada] System
.
Os_Lib
.
Normalize_Pat
h
n
ame:
f
ix inc
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[Ada] Re
m
ove CodeP
e
er
annotation
commit
|
commitdiff
|
tree
2018-10-09
pm
d
eroda
t
[
A
da
]
Pr
e
serv
e
Do_Range_Check flags in SPARK mode
commit
|
commitdiff
|
tree
2018-10-09
p
m
derodat
[
A
da] Spurious war
n
ing
on uninit
i
alized en
t
ity durin
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] SPARK:
m
i
n
o
r
error message
e
nhancemen
t
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada] Fix inheritan
c
e of re
p
resentation items
d
efined
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada] Spurious ineffective us
e
_c
l
a
u
se warnin
g
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ad
a
] Stor
e
-G x
x
x
s
wi
t
ches
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
roda
t
[Ada] Issue info message on inlined subprogra
m
s in
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] M
i
ssin
g
fro
n
t-end
c
ode for
c
onstraint checks
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
erodat
[Ada] SP
A
RK: fix a bu
g
related to loo
p
exit env
i
r
o
nment
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
e
r
odat
[
Ada] Spuriou
s
elaboration i
s
sue due
t
o
i
nlining
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
a
t
[Ada] Do not issue by defau
l
t info
m
essa
g
e
s fo
r
in
l
inin
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da] Spurio
u
s erro
r
on int
e
rface
conversion u
n
d
e
r ZFP
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada]
Add a
No_Return annotation t
o
ea
s
e static analysis
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] S
p
urious
error o
n
p
r
ivate extens
i
o
n
w
i
th predicat
e
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ada] Sp
u
rious dependency
on secondary stack
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ad
a
]
M
i
m
ic
the C++ ABI when passi
n
g class-wide conversion
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da]
P
air
m
is
c
oun
t
in Dynamic_
H
Tab
l
e
.
Put
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada
]
Add notes a
b
out pr
o
cessing
o
f agg
r
e
g
ate project
s
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Minor reformatting
s
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] New unit
G
NAT
.
Sets
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] ICE
o
n mix of tagged and limi
t
ed inter
f
aces
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
d
a
t
[Ada]
Illeg
a
l fo
r
ma
l
o
bjects associated with anonymou
s
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ad
a
] Front-end suppo
r
t
for Op
e
nACC
pragmas
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[
Ada] Missing error on non-
l
imi
t
e
d
d
eriv
e
d
t
ype with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erod
a
t
[Ada] Inlini
n
g of renamed subprogram i
n
stances in package
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mderod
a
t
[Ada]
Preparation for new descrip
t
ion of interface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Propagate bi
t
ord
e
r and SSO fr
o
m root
t
o cla
s
swid
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] Crash on
e
xpre
s
s
i
o
n functio
n
s withi
n
quantified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
M
is
s
ing pred
i
cate check
o
n
r
eturn
value
commit
|
commitdiff
|
tree
2018-09-26
pm
d
eroda
t
[Ada] ICE on arra
y
o
f
task type wit
h
-gna
t
ct
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada
]
Fix
a
ssertion f
a
ilure on record
subtype with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Regres
s
i
on in partial compilat
i
o
n
o
f RC
I
unit
s
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da
]
S
et Current_Error_Node d
i
r
ec
t
ly
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] Wr
o
ng ha
n
d
ling
of address cl
a
use for li
m
ited
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Intro
d
uce -gnatd_A to set Opt
.
Dis
a
ble_ALI_File
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Disable special handling
for
preconditio
n
s s
p
ecified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] Unnesting: fix h
a
ndli
n
g of u
p
level refs
f
or
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] F
i
x ICE rela
t
ed to type freezing
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada]
S
PARK: update borrowing
eff
e
cts for IN parameters
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada] Vxlink: m
i
n
or
refo
r
matting
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
d
a] Fix miscella
n
e
ous typos
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] Vxli
n
k: kill a Cod
e
Peer warning
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada]
M
inor reformattings
commit
|
commitdiff
|
tree
2018-08-21
pm
d
e
r
o
d
at
[Ada]
Ad
d
a new gnat
tool vxlink
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
a
t
[Ad
a
] Crash on
e
xpression funct
i
o
n
and tagged t
y
pes
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Sp
u
ri
o
us crash on
e
xpression functi
o
n
as com
p
letion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ad
a
] Retention of wi
t
h clauses
f
o
r i
g
nored Gh
o
st
u
nits
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Cras
h
p
roces
s
ing S
P
ARK anno
t
ate aspec
t
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
oda
t
[Ada] Spurio
u
s
e
rror on ove
r
riding prot
e
ct
e
d fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Prop
e
r
ly set
s
cope of a
r
tificial enti
t
ies in
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[
Ada
]
F
i
x
s
c
ope computation for
loop stateme
n
ts
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Einfo: remove
obsolete code
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[A
d
a] U
p
date
f
o
r
Owner
s
hip r
u
l
e
s
f
o
r
access
t
y
pes accord
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spuriou
s
a
mbi
g
uity error on call
r
eturni
n
g an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mder
o
da
t
[
A
d
a
]
Document
entries of
t
he target para
m
etrization
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Set scope of elaboration flag
f
or 'Access
commit
|
commitdiff
|
tree
2018-08-21
pm
d
e
r
o
dat
[Ada] Sp
r
i
n
t: add gua
r
d on print
i
ng aspects
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada] Crash comp
i
ling S
P
ARK
g
ho
s
t fu
n
ctions with callgra
p
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[
Ada]
Unne
s
ting:
do not
s
e
t
size of access subprograms
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ad
a
] U
n
n
est
i
ng: do not emit warnings
for access to
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Improper copyi
n
g of limited arrays with defau
l
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada]
Fix spurious error on
uncheck
e
d
c
onversion on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] Fi
x
internal error on e
x
tension of record with
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ad
a
] Spurious "Du
p
licated
symbol" error with discriminated
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[
A
da] Define ve
r
sions
o
f
di
m
ens
i
on system
f
or Float
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
A
da] General purpose dou
b
ly
li
n
k
e
d
l
ist for
compile
r
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ada] Fix
s
cope
c
o
mputation for ent
r
y bodies and accept
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erod
a
t
[
Ada]
Crash on entry in generic with dynamic el
a
boration
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Set_Targ
:
add a CodePeer annotation
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada]
C
ompi
l
er abort on
c
all t
o
e
x
p
r
.
fu
n
c
tion for
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Dynamically resizable, l
o
ad factor-based hash
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
ro
d
at
[
A
da] Enumer
a
tion ty
p
es
with no
n
-standar
d
repr
e
sentation
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ada]
Handle
p
ra
g
mas
t
h
at com
e
fr
o
m aspects for
GNATpr
o
ve
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] Add sa_messages
.
ad[sb]
for SPARK 2014
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[Ada
]
Bump c
o
pyr
i
ght notices to 201
8
commit
|
commitdiff
|
tree
2018-08-03
p
m
d
e
rodat
[Ada] Partial
l
y revert "Makefile pa
t
ch
e
s from ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
der
o
d
at
[Ada] Various cod
e
clean-ups from CodePeer mess
a
g
es
commit
|
commitdiff
|
tree
2018-07-31
pmder
o
d
at
[A
d
a] Fix potential Con
s
tr
a
in
t
_
E
rror i
f
Library_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pm
d
eroda
t
[Ada] Sem
_
E
l
ab
:
remove duplicate co
n
dition
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Unnesting: improve sup
p
ort
f
or
entri
e
s in prote
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
dero
d
at
[Ada] Refin
e
generation
of
r
ange checks t
o
happe
n
in
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmder
o
dat
[Ada]
S
econdary stack lea
k
with a
c
cess-to-subp
r
ogram
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] U
n
n
e
stin
g
:
fi
n
d local subps
in nested
s
tmt sequence
s
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Spur
i
ous er
r
o
r on d
e
fau
l
t parameter in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] GNATmake fails t
o
detect mi
s
sing
body
commit
|
commitdiff
|
tree
2018-07-31
pmderoda
t
[Ada] Fix
a
lignment of mu
t
ex_
t
a
nd cond
_
t
t
ype on 32
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[
A
da] Wrong value after assignment of o
v
erla
i
n record
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[
A
d
a
]
Sp
u
rio
u
s error o
n
t
he placemen
t
of aspe
c
t G
l
o
b
al
commit
|
commitdiff
|
tree
2018-07-31
pm
d
e
rodat
[Ada] Com
p
iler failure
o
n an exte
n
ded
_
retu
r
n_statement
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pm
d
erodat
[Ada] Spurious w
a
rning on
i
teration over range o
f
64
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
Print
t
he
I
s_Acti
v
ation_Record flag
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
Replace low-l
e
vel calls
t
o Ekind with high-l
e
vel
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
rodat
[Ada] Dec
o
nstruct 'F' as a prefix
for an A
L
I data
commit
|
commitdiff
|
tree
2018-07-31
pm
d
eroda
t
[Ada]
Fix a f
r
ee
z
ing issue
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
rodat
[Ada] Fix re
s
olution o
f
cl
a
ss-wide operations
that
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmder
o
dat
[
Ada] Minor reformattings
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Spurious error -- "allocation from em
p
ty sto
r
a
ge
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ad
a
] Spurious error on pref
i
xed call
i
n an inst
a
ntiat
i
on
commit
|
commitdiff
|
tree
next