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] New unit GNAT.Sets
2018-09-26
pmderodat
[Ada
]
New u
n
it GNAT
.
Se
t
s
commit
|
commitdiff
|
tree
2018-09-26
pm
d
erodat
[Ada] ICE
o
n mix of tagged
an
d
lim
i
t
e
d interfaces
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
I
l
legal fo
r
mal obj
e
cts
associate
d
with a
n
onymous
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada]
F
r
o
nt-
e
n
d support for Op
e
nACC pr
a
gmas
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
d
at
[Ada] Missing err
o
r on non
-
l
imi
t
ed derived t
y
pe with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Inli
n
ing of renamed subpro
g
ram instances in
p
a
cka
g
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Preparation for new de
s
cription
o
f
i
nterface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Pro
p
agat
e
bit o
r
der
and SSO f
r
om root to classwide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Crash o
n
e
x
pression fu
n
ction
s
within
quanti
f
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada]
M
issing
predicate check
on
re
t
urn v
a
lue
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] ICE on array of task type with -gnatct
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
Ada] Fix a
s
sertio
n
failure
o
n record subtype
w
ith
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] R
e
gression in partial c
o
mpilation
of RCI units
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Set Cur
r
ent_
E
r
ro
r
_Node directly
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[Ada] Wrong
handling of addr
e
ss
c
lause for
l
imi
t
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
o
dat
[
A
da] Introduce -gnatd_A to set Op
t
.
Disable_A
L
I
_File
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ada] Disa
b
le
s
pecial handling f
o
r prec
o
nditions s
p
ecified
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Un
n
estin
g
: f
i
x
h
a
n
d
l
i
n
g of up level refs for
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[
A
da] Fix ICE relat
e
d to type freezing
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[A
d
a] SPARK: update borr
o
win
g
e
f
fects for IN parameters
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da] Vxlin
k
: minor
r
e
f
ormatting
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
da]
F
ix misc
e
l
l
aneous typos
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada
]
Vxli
n
k: kill a CodePeer wa
r
ning
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[Ada] M
i
nor reformattings
commit
|
commitdiff
|
tree
2018-08-21
pmderod
a
t
[Ada] Add a new gna
t
tool
vx
l
ink
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Crash
o
n
exp
r
ession
func
t
ion and tagge
d
types
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Spurious c
r
as
h
on
e
xp
r
e
ssion
f
unction as comp
l
e
tion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
R
e
t
ention
of with c
l
au
s
es for ignored Ghost un
i
ts
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
at
[Ada] Crash processing S
P
ARK annotate a
s
p
ect
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada] S
p
ur
i
o
us error on ov
e
rr
i
ding protected f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada]
P
roperly set scope of artificial
entities
in
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ada]
F
i
x
scope computation fo
r
l
o
op statements
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ada] Einfo: remove obso
l
ete code
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a
]
U
p
d
at
e
for Owners
h
i
p r
u
les for ac
c
e
ss typ
e
s a
c
cording
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] Spurio
u
s ambiguity error
o
n ca
l
l returning an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ada] Docume
n
t
e
ntr
i
es of th
e
targ
e
t
param
e
triza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Set s
c
ope of ela
b
o
ra
t
i
o
n fla
g
for 'Acc
e
ss
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ada] Sprint: add guard on p
r
inting as
p
e
c
ts
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] Crash
c
ompili
n
g SP
A
RK gh
o
s
t
fu
n
ctions
with callgraph
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
dat
[Ada]
Unnesting: do not se
t
size
of access
s
ubp
r
og
r
ams
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Unnest
i
ng: do not em
i
t
w
a
rnings for acces
s
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] I
m
prope
r
copying of li
m
it
e
d arr
a
ys
wi
t
h de
f
aul
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Fix
s
purio
u
s
e
rror on unchecked conversion on
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Fix int
e
r
nal err
o
r on
extension of record
with
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spur
i
o
u
s "
D
upl
i
cated
s
y
m
bol" error with disc
r
i
m
inated
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
r
o
dat
[Ada] Define v
e
rs
i
ons of d
i
mensio
n
sys
t
em
f
or Float
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ad
a
] Gene
r
al p
u
rpo
s
e doub
l
y link
e
d
lis
t
for comp
i
ler
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[A
d
a] Fix scope
c
o
m
p
utation for entry bo
d
ies and accept
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Cras
h
on entr
y
in g
e
neric with dynamic elaboration
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
r
odat
[Ada] Set_Ta
r
g: add
a
CodePeer
ann
o
tation
commit
|
commitdiff
|
tree
2018-08-21
p
m
der
o
dat
[Ada] Compil
e
r abort
o
n
call to ex
p
r
.
f
u
nctio
n
for
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mder
o
dat
[
A
d
a] Dynamically
r
es
i
zabl
e
,
load factor-based ha
s
h
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
e
r
o
dat
[Ada] Enumeration
types with
non-standard representation
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
at
[Ada
]
Han
d
l
e pragm
a
s that come fro
m
aspects for GNA
T
prove
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Add s
a
_
m
essages
.
ad[sb] f
o
r SPA
R
K 20
1
4
commit
|
commitdiff
|
tree
2018-08-21
pmderoda
t
[Ada] Bump cop
y
right notices to 2018
commit
|
commitdiff
|
tree
2018-08-03
p
mde
r
od
a
t
[Ada] Partially revert "Make
f
i
l
e pat
c
hes
from initial
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
rodat
[Ada] Vari
o
u
s code cle
a
n-up
s
f
r
om CodePee
r
mess
a
ges
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] F
i
x pot
e
n
ti
a
l
Constraint_Error
i
f Librar
y
_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Sem_
E
lab: remove
du
p
licate condition
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Unn
e
s
t
ing: improve support for entries
in
prot
e
cted
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pm
d
erodat
[Ada]
R
efine generation of r
a
nge ch
e
cks to
happe
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] S
e
co
n
dary stack leak
w
ith access-t
o
-subpr
o
gram
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Unnesting: fin
d
local subps in nested stmt sequences
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Spurious error on
default p
a
rameter in
p
r
otected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
at
[
Ad
a
] G
N
ATmake fails to d
e
tect m
i
ssin
g
b
ody
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ada] Fi
x
a
l
ig
n
ment of mu
t
ex_t and c
o
nd_t typ
e
on 32
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
W
rong
v
alue after assignment of
overlain record
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
A
da] Spurious err
o
r on the pla
c
ement of
aspect Global
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada
]
Compiler failure on an
e
xtended_return_statement
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ada
]
Spurious warni
n
g on
i
teration ov
e
r range of 64
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[
A
da] Print the Is_Activ
a
tion_Record fl
a
g
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ada
]
Replace low-level calls
to Ekind with hig
h
-le
v
el
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[
Ada] Deconst
r
uct
'
F' as a prefix for an ALI data
commit
|
commitdiff
|
tree
2018-07-31
p
m
derod
a
t
[Ada] Fix a f
r
e
ezing iss
u
e
commit
|
commitdiff
|
tree
2018-07-31
pmde
r
odat
[Ada] Fix resolut
i
on of c
l
ass-wide operations
t
hat
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada] Mino
r
r
eformattings
commit
|
commitdiff
|
tree
2018-07-31
p
mde
r
o
dat
[Ada]
Spurious error -- "allocation from
emp
t
y
s
tor
a
ge
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pm
d
erodat
[Ada] Spurious
e
rror
o
n p
r
efixed
call in an instantiation
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Preserve o
r
iginal
C
E reason in mor
e
cases
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Add provision
f
or floating-point
i
n
Apply_D
i
visio
n
_Check
commit
|
commitdiff
|
tree
2018-07-17
pm
d
erodat
[Ada] Fix expansion of aggregates components
r
e
written
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Reuse I
s
_
R
ew
r
ite_Subs
t
ituti
o
n in
Relocate_Node
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
d
a
t
[Ada] Fix RM rule r
e
ferences
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
dat
[Ada] Fix incompatibility Default_Scala
r
_Storage
_
Order
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[
A
da]
U
s
e standard vers
i
o
n of s-memory
.
adb
for
m
ing
w
32
commit
|
commitdiff
|
tree
2018-07-17
pmdero
d
at
[Ada] Faulty ignored Ghost code removal
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Configuration s
t
a
t
e no
t
observed f
o
r i
n
s
tance
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
p
mdero
d
at
[
A
da] ICE on renami
n
g of re
s
ult
of binary
opera
t
ion
commit
|
commitdiff
|
tree
2018-07-17
pm
d
e
r
odat
[Ada] Type mismatch warning for imp
o
rte
d
C++ class
commit
|
commitdiff
|
tree
2018-07-17
pmderod
a
t
[Ada]
R
emove
e
x
t
ra
p
arenthe
s
e
s
in Expand_Inlined_C
a
ll
commit
|
commitdiff
|
tree
2018-07-17
p
mderodat
[
Ada]
Minor fix f
o
r i
m
porte
d
C++ c
o
nstru
c
tors
commit
|
commitdiff
|
tree
2018-07-17
p
m
derod
a
t
[Ada] Assertion_Polic
y
fo
r
class-w
i
de preconditi
o
n
commit
|
commitdiff
|
tree
2018-07-17
p
mder
o
dat
[Ada]
Mi
s
sing
check
o
n ill
e
ga
l
equality
o
peration in
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
p
md
e
r
odat
[
Ada] Unn
e
s
t
in
g
: do
n
't us
e
Get_
A
c
tua
l
_Subt
y
pe for record
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Minor reforma
t
tin
g
commit
|
commitdiff
|
tree
2018-07-17
pmd
e
rodat
[Ada] Crash proc
e
ssing abstr
a
ct state as
p
ect o
f
a p
a
ck
a
ge
commit
|
commitdiff
|
tree
2018-07-17
pmderoda
t
[Ada] Consistent spelli
n
g of
"i
.
e
.
"
i
n docs an
d
comment
s
commit
|
commitdiff
|
tree
2018-07-17
pm
d
erodat
[A
d
a
] Argumen
t
_String_To_Li
s
t creates em
p
ty it
e
ms from
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
p
mderodat
[Ada] Spurious
e
rror on Pa
r
t
_
O
f
indicat
o
r
commit
|
commitdiff
|
tree
next