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 inheritance of representation items defined as aspects
2018-09-26
pmde
r
odat
[Ad
a
]
Fix inh
e
r
itan
c
e o
f
represen
t
atio
n
items def
i
n
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada
]
Sp
u
rious i
n
effective us
e
_clause warning
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada] S
t
or
e
-G
xx
x
s
w
i
t
c
hes
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
roda
t
[Ada] Issue info message o
n
i
nlin
e
d subprograms in
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[A
d
a] Missing front-end code for
c
o
nstraint checks
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
d
a
t
[Ada] SPARK: fix a bug
r
e
lated to loop exit
environ
m
e
n
t
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Spurious elaboration issue
due to inlini
n
g
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erod
a
t
[Ada] Do not issue by defaul
t
i
n
fo messages for i
n
lini
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Spu
r
ious error
on
i
nter
f
ace con
v
ersio
n
under
ZFP
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada]
Add a
No_Return annotation to ease static
ana
l
ysis
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[
A
d
a] Spurious error on private exten
s
ion with predica
t
e
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
S
puriou
s
dependency on secondary stack
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Mimic
t
he
C
++
ABI when
p
ass
i
ng class-wide c
o
nversio
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[A
d
a] Pair miscount in Dynamic_HTable
.
Put
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] A
d
d n
o
tes
a
bou
t
proc
e
ssing of
aggregate pro
j
ect
s
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Minor ref
o
r
m
attin
g
s
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ad
a
] New
u
nit GNAT
.
Sets
commit
|
commitdiff
|
tree
2018-09-26
p
m
dero
d
a
t
[Ada] ICE on mix of
t
agged and
l
imite
d
interf
a
ces
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] Illegal formal objects associated with anon
y
m
ous
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
r
odat
[Ada]
F
r
ont-end support for Ope
n
AC
C
pragmas
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ad
a
]
Mis
s
ing e
r
r
or
on non-limit
e
d d
e
rived type with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada]
Inli
n
ing of renamed sub
p
rogram instan
c
e
s
in package
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[
A
d
a] Preparatio
n
for n
e
w descrip
t
ion of int
e
rface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
P
r
opag
a
te
b
it
order and SS
O
from
r
oot to
classwide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
od
a
t
[Ada] Crash on e
x
pres
s
ion functions
within qua
n
tified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada]
M
i
s
sing
p
redicate check
o
n return
value
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ad
a
]
I
CE on array o
f
task type with -
g
n
atct
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
d
a
] Fix assertion failure o
n
reco
r
d subtype with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Regression in partial comp
i
lation of
R
C
I units
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
S
e
t
C
urrent_Erro
r
_Node
directly
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada
]
Wrong handling of a
d
dress cla
u
se for
limited
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Introduc
e
-gnatd_
A
to se
t
Opt
.
Disable_ALI_File
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[A
d
a] Dis
a
ble
s
peci
a
l handling for
precondition
s
speci
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[Ada] U
n
nesting: fix handling of up level refs fo
r
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Fix ICE relat
e
d to type
f
reezing
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[Ada] SPA
R
K: up
d
a
t
e
b
orrowi
n
g eff
e
cts
fo
r
IN para
m
eters
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
e
rodat
[Ada] Vx
l
in
k
: minor reformatting
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada]
Fix miscellane
o
us
t
ypos
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da] Vxlink: kill a CodePeer warning
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ada] Minor reform
a
t
tings
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada]
A
d
d
a
new g
n
at tool vxli
n
k
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ada] C
r
a
s
h
on exp
r
ession func
t
ion and tagged types
commit
|
commitdiff
|
tree
2018-08-21
p
m
der
o
dat
[Ada] Spurious crash on expression function as com
p
letion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] R
e
tention o
f
w
ith clauses
fo
r
ign
o
red Gho
s
t
u
nits
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada
]
Cra
s
h proce
s
sing
S
PARK
annotat
e
aspect
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spurious error on ov
e
rriding pr
o
tected
f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ada] Proper
l
y
set scop
e
of art
i
fic
i
al enti
t
ies in
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Fix s
c
ope computation for loop
statem
e
nts
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Einf
o
:
remove obs
o
lete code
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ada] Update for
O
wne
r
ship r
u
l
e
s f
o
r access types ac
c
ordi
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[A
d
a] Spurious
ambi
g
uity error on call returning an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mdero
d
a
t
[Ada] Document e
n
t
r
i
e
s of the target parame
t
riz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada] Set scope of elaboration fla
g
fo
r
'Access
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ada] Sp
r
int: add g
u
ard on printing aspects
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
Crash c
o
mpiling SPARK ghost function
s
w
i
th
callg
r
a
p
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Un
n
esting: do not set
size of acce
s
s su
b
programs
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Unnes
t
i
n
g: do not emit
w
a
r
nings for access to
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
md
e
rodat
[
A
da] Improper c
o
pying of
limited arrays with default
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderod
a
t
[Ada] Fix
sp
u
rio
u
s er
r
or on
u
nchec
k
ed conversi
o
n
on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
ero
d
at
[Ada] Fix in
t
ernal e
r
r
or
on extension of record
w
ith
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spu
r
ious
"
Dup
l
ica
t
ed sym
b
o
l
" error
w
ith
discr
i
mina
t
ed
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a
]
Define versions
of dimension s
y
s
t
e
m for Flo
a
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
]
General pur
p
ose dou
b
l
y
linked li
s
t f
o
r
compi
l
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[A
d
a] Fix scope comp
u
tation
for entry
bodies and acce
p
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ad
a
] Crash on entr
y
in gener
i
c with dy
n
amic ela
b
oration
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada]
S
e
t
_Targ:
add a CodePee
r
annotation
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Compi
l
e
r abort on call to exp
r
.
f
unction f
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
derod
a
t
[Ada] Dynamicall
y
re
s
izable, load
factor-bas
e
d h
a
sh
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
at
[
Ada] E
n
umer
a
tion types with
non-stan
d
ard
r
e
presentat
i
on
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada]
H
a
ndle pragmas that come fro
m
asp
e
cts for
G
N
A
T
p
r
ov
e
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
A
d
a] Add sa_
m
essa
g
es
.
ad[sb] for S
P
ARK 2014
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[Ada] Bump copyr
i
ght notices
to
2
0
18
commit
|
commitdiff
|
tree
2018-08-03
pmderodat
[Ada] P
a
rtially rev
e
rt "Makefi
l
e p
a
tches from initial
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[Ada] Variou
s
c
od
e
clean-u
p
s from CodePee
r
messages
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Fix potential
C
o
nstraint
_
Error if
L
ibrary_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pm
d
eroda
t
[Ada] Sem_Elab: remove duplicate
c
ondition
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada] Unnesting: impro
v
e
supp
o
r
t for
entries in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ada] Ref
i
ne generation
o
f
rang
e
check
s
to happ
e
n in
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderod
a
t
[Ada
]
Sec
o
ndary stack leak with ac
c
ess-to-sub
p
rogr
a
m
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
U
nnesting: fi
n
d lo
c
al subps in
nested stmt sequences
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada] Spuriou
s
error on
d
e
fau
l
t parameter in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[Ada]
G
NATma
k
e fails to detect missing body
commit
|
commitdiff
|
tree
2018-07-31
pmderoda
t
[
Ad
a
] Fix ali
g
nme
n
t of mu
t
ex_t and cond_t
type on 32
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada
]
Wrong
v
al
u
e after a
s
signment of overlain record
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
S
puriou
s
error on
the placement of
aspect Global
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Compiler failure on an exten
d
ed_return_st
a
t
ement
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada]
Spurious wa
r
nin
g
on itera
t
ion over range
of
6
4
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ad
a
] Prin
t
the Is_Ac
t
ivati
o
n
_
Recor
d
fl
a
g
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Rep
l
a
c
e
low-level calls to Ekind
with high-level
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Deconst
r
uct '
F
' as a p
r
e
fix for
a
n
ALI data
commit
|
commitdiff
|
tree
2018-07-31
pm
d
erodat
[Ada] Fix
a
free
z
ing issue
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada]
F
ix res
o
lution
of class
-
w
ide operations that
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
rodat
[Ada] Min
o
r ref
o
r
matt
i
ngs
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
roda
t
[A
d
a] Spurious error -- "allocation from empty s
t
orage
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[
A
da] S
p
urious error on prefixed call in an instantiation
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
dat
[Ada
]
Pres
e
rve orig
i
nal CE rea
s
on in more ca
s
e
s
commit
|
commitdiff
|
tree
2018-07-17
p
mdero
d
at
[Ada] Add
p
rovisi
o
n for
f
lo
a
t
ing-point in Ap
p
l
y_D
i
vision_Check
commit
|
commitdiff
|
tree
2018-07-17
p
m
d
e
rodat
[Ada
]
Fix e
x
pan
s
i
o
n of aggregates components
r
ewrit
t
en
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmd
e
roda
t
[Ada]
R
euse
I
s_
R
e
write_Subst
i
tutio
n
in
Relocat
e
_No
d
e
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Fix RM rul
e
r
efer
e
nces
commit
|
commitdiff
|
tree
next