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] Spurious error on interface conversion under ZFP
2018-09-26
pmderodat
[Ada]
S
purious
error on interface conve
r
sio
n
under Z
F
P
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] A
d
d
a
No_Return annota
t
ion to ease
s
t
at
i
c analysis
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
erodat
[Ada] Spurio
u
s e
r
ror o
n
private extension with pr
e
dic
a
te
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] Sp
u
riou
s
dependency on secon
d
ary s
t
a
ck
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erodat
[Ada] Mimic the C+
+
A
B
I when
passing class-wi
d
e conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada]
P
air miscount in
D
ynamic_H
T
able
.
Put
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Ad
d
not
e
s
about proce
s
sing o
f
aggre
g
ate
projects
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
d
a
]
M
inor refor
m
atting
s
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[
Ada
]
New unit G
N
AT
.
Sets
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
roda
t
[A
d
a] ICE on mi
x
o
f
tagged and limited interfaces
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] Il
l
egal form
a
l ob
j
ects associated with anonymous
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
derod
a
t
[A
d
a]
Front-end
s
upp
o
rt for OpenAC
C
prag
m
as
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Missing error o
n
non-limited derive
d
type w
i
th
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] Inl
i
ning of rename
d
subprogra
m
instances in package
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada] Preparati
o
n
f
or new descriptio
n
of interfa
c
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
r
o
dat
[A
d
a] Propagate bit order and SSO from root
t
o clas
s
wide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
eroda
t
[Ada] Crash
o
n expre
s
sion functions wi
t
hin qu
a
ntified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ada] Missing predicate check on r
e
tur
n
value
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada] IC
E
on array of task type
w
ith
-
gnat
c
t
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erodat
[Ada] Fix assertion fa
i
lur
e
o
n
r
eco
r
d subtype with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] Regression in part
i
al co
m
pilatio
n
o
f
R
C
I units
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[Ada] Set Curre
n
t_Error_Node di
r
ectl
y
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erodat
[Ada] Wrong handling
of ad
d
res
s
c
lause for limi
t
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Introduce -gnatd_A to set Opt
.
Disable_ALI_
F
ile
commit
|
commitdiff
|
tree
2018-09-26
p
m
d
e
r
o
dat
[Ada] Disable spe
c
ial
h
andling for precondi
t
ions speci
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada
]
Un
n
est
i
ng: fix
handl
i
n
g of u
p
level refs for
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Fix ICE rela
t
ed to type freezing
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
d
a
t
[Ada
]
SPARK: update borrowing e
f
fects for IN pa
r
ame
t
e
r
s
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] Vxlink: minor re
f
ormatting
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ad
a
] Fix misce
l
laneo
u
s
t
ypos
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] Vxlink:
k
ill a
C
odePeer warning
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ada
]
Minor reformattings
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
A
d
d
a n
e
w gnat to
o
l vxlink
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
A
da]
Cras
h
o
n exp
r
e
s
s
ion functi
o
n and tagged types
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[
Ada] Spurious crash on expr
e
ssi
o
n
fun
c
tion a
s
com
p
letion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
at
[Ada] Retention of wit
h
c
l
ause
s
f
or ignored Gho
s
t units
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] Cra
s
h
p
rocessing SPARK annotate as
p
e
c
t
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] Spurious error on overriding protected
fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
deroda
t
[Ada] Pro
p
er
l
y
s
et
sco
p
e of artificial ent
i
ti
e
s in
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
Fix scope computation for l
o
o
p statement
s
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[
Ada] Einfo: remove
obsolete
c
ode
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a
] Update
for Ownership rules
f
or acc
e
ss types a
c
cor
d
ing
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spurious am
b
iguity
e
rror on
c
all returning an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[Ada]
D
ocument e
n
tries of the target parame
t
rizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
d
e
rodat
[Ada]
Set scope of elaboration flag
f
o
r
'Ac
c
ess
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada]
Sprint:
a
dd g
u
ard o
n
printing aspects
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Crash compiling SPARK ghost functions w
i
th ca
l
l
grap
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ada]
U
nnesting: do not
set siz
e
of
a
ccess s
u
bprograms
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Unnes
t
ing: do not emit warnings
f
or acce
s
s t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a]
Impro
p
er cop
y
ing of limited arr
a
ys with defau
l
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
d
erodat
[Ada]
F
ix spu
r
io
u
s
erro
r
on unchecked co
n
version on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[
A
da
]
Fix int
e
rn
a
l error on exten
s
ion of record wit
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderod
a
t
[
A
da] Spu
r
iou
s
"Duplicated symbol" error wi
t
h discriminated
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Define versions
of dimension system fo
r
F
loat
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mder
o
dat
[Ada] G
e
neral purpose doubl
y
li
n
ked list for
comp
i
ler
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] F
i
x s
c
ope comp
u
tation for
e
ntr
y
bodies
a
n
d
a
ccept
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Crash on entry in generic with dynamic
e
labor
a
tion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderod
a
t
[
A
da] Set_Targ: add a Code
P
ee
r
annotati
o
n
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[A
d
a] Co
m
p
iler abort o
n
c
a
ll to ex
p
r
.
function for
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] D
y
n
a
mi
c
ally resi
z
a
b
le, load
factor-based hash
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Enu
m
e
ra
t
io
n
ty
p
es with
non-
s
ta
n
dard re
p
r
esentation
commit
|
commitdiff
|
tree
2018-08-21
p
m
d
erodat
[Ada] Handle
p
r
agmas that com
e
from aspects for GNA
T
prove
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[
A
d
a] Add sa_me
s
s
ages
.
ad[s
b
]
f
or SPAR
K
2014
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[
Ada] Bu
m
p copyri
g
ht not
i
ces to
2
018
commit
|
commitdiff
|
tree
2018-08-03
pm
d
erodat
[
Ad
a
] Partia
l
ly revert
"M
a
kefile patches from initia
l
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Various code clea
n
-ups from CodePeer me
s
sages
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
at
[
A
da] Fix p
o
t
ential Constrain
t
_Error i
f
Library_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
a
t
[Ada] Sem
_
Elab: r
e
mov
e
duplic
a
te
condition
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada] Unnesting
:
i
m
pr
o
ve support for ent
r
ies in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada]
R
e
fine
g
e
n
eration
o
f range ch
e
cks to happen in
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Seconda
r
y stac
k
leak with access-
t
o-subprogr
a
m
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ada]
Unnesting: find local subps in nest
e
d stmt s
e
q
uences
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Spu
r
i
o
us e
r
ror
on default paramet
e
r in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada
]
G
NATmake fails to detect missing body
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[A
d
a
]
F
ix alignmen
t
o
f
m
utex_t and co
n
d_t type on
32
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada]
Wr
o
ng value after
a
ssignment of
ove
r
lain reco
r
d
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Sp
u
rious
e
rror on the place
m
ent of as
p
e
c
t
Globa
l
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
r
o
d
a
t
[
Ad
a
]
Compiler failure
o
n
a
n
extended_return_statement
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Spurious wa
r
ni
n
g on iterati
o
n
over range of
64
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Pr
i
nt the Is_
A
ctiva
t
ion_Record fl
a
g
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Repl
a
ce low-level calls
to
E
ki
n
d with
high-le
v
el
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
at
[Ada]
D
e
c
o
n
stru
c
t 'F'
a
s a prefix
for an ALI
dat
a
commit
|
commitdiff
|
tree
2018-07-31
pmderoda
t
[Ada] Fix a free
z
i
n
g issue
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
a
t
[Ada] Fix resolutio
n
of class-wide
o
perations that
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[
A
da] Mi
n
or
r
eformattings
commit
|
commitdiff
|
tree
2018-07-31
pm
d
e
r
oda
t
[
A
da
]
S
purious
e
rror -- "a
l
lo
c
ation fro
m
empty stor
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Spu
r
ious error on
p
refixed call in an in
s
tantiat
i
on
commit
|
commitdiff
|
tree
2018-07-17
pm
d
e
rodat
[Ada] Pre
s
erve
o
r
i
g
in
a
l
CE reason
in more cases
commit
|
commitdiff
|
tree
2018-07-17
p
mderodat
[Ada] A
d
d
prov
i
sion for floating
-
p
o
int in
A
pp
l
y_Division_Check
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
dat
[Ada] Fix expansion of aggregate
s
components r
e
written
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
odat
[
Ada] Reu
s
e Is_R
e
wr
i
te_Subst
i
tution in
Relo
c
ate_
N
ode
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Fix
R
M r
u
le references
commit
|
commitdiff
|
tree
2018-07-17
pmd
e
r
o
d
at
[
A
d
a] Fix
incompatibil
i
ty Defa
u
lt_Scal
a
r_Storage_Order
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
odat
[Ada] Us
e
standard vers
i
on o
f
s-m
e
mory
.
adb f
o
r mingw32
commit
|
commitdiff
|
tree
2018-07-17
pmd
e
rodat
[Ada] Faulty igno
r
e
d
Ghost code removal
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
da
t
[Ada] C
o
nfigurati
o
n
s
tat
e
not observed for
i
nstan
c
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
odat
[Ada] ICE o
n
renam
i
ng
of result of binary operation
commit
|
commitdiff
|
tree
2018-07-17
pmderoda
t
[Ada] Type misma
t
ch
warning for imported C+
+
class
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada]
Re
m
ove ex
t
ra pa
r
entheses i
n
Ex
p
and_Inlined_Call
commit
|
commitdiff
|
tree
2018-07-17
p
mderoda
t
[Ada]
M
inor fix for importe
d
C++ construc
t
ors
commit
|
commitdiff
|
tree
next