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 expansion of operations on nonbinary modular types
2018-10-09
p
m
derodat
[Ada
]
Fi
x
expan
s
ion of o
p
erations on nonbinar
y
modular
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmdero
d
at
[Ada] U
n
ne
s
ting: fix han
d
ling of uplevel refs to unconstrain
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[Ada] Remove
spu
r
ious -Wuninit
i
alized warning for small
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[A
d
a]
Bounded_Holders
:
fix a typo
commit
|
commitdiff
|
tree
2018-10-09
p
m
d
e
rodat
[Ad
a
] Fu
n
c
t
i
o
n
al_Vectors: remov
e
defa
u
lt v
a
lue for
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmde
r
odat
[
Ada] Reset I
s
_True_C
o
n
stant
on entites used as
O
UT
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[A
d
a] Unnesting: avoid u
n
necessary
l
o
ads
o
f
S
y
ste
m
commit
|
commitdiff
|
tree
2018-10-09
pmd
e
r
odat
[Ada] Spurious error
m
essage on visi
b
iliy change in
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
pm
d
e
r
odat
[A
d
a
] R
e
p
info: lis
t
th
e
m
e
c
h
a
nism of functions on
l
y
commit
|
commitdiff
|
tree
2018-10-09
p
m
deroda
t
[Ada] Var
i
ous U
s
er
Manual updates for GNATpp
commit
|
commitdiff
|
tree
2018-10-09
p
m
derod
a
t
[Ada] Sys
t
e
m
.
O
s_Lib
.
Normalize_Pathna
m
e: fix i
n
correc
t
.
.
.
commit
|
commitdiff
|
tree
2018-10-09
p
m
dero
d
at
[Ad
a
] Remo
v
e
CodePeer annotat
i
o
n
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[
A
da] Preserv
e
Do_
R
ang
e
_Check flags in SPARK mode
commit
|
commitdiff
|
tree
2018-10-09
pmderodat
[Ad
a
]
S
purious
warning on u
n
initializ
e
d
entit
y
during
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[
A
d
a] SPARK:
m
i
n
or error message
e
nhancement
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada
]
Fix
inh
e
ritance of
r
ep
r
esentation
items defin
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] S
p
urious ineffect
i
v
e
use_c
l
ause
warning
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ad
a
]
Store -G xxx sw
i
tches
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] I
s
sue info message on inlined su
b
p
r
ogra
m
s in
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Missing
fron
t
-e
n
d
c
o
d
e
for cons
t
raint checks
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mde
r
o
dat
[Ada] SPAR
K
: fix a bug related to loop exit enviro
n
ment
commit
|
commitdiff
|
tree
2018-09-26
p
m
derodat
[A
d
a] Spurious elaboration issue due to
i
nlining
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada]
D
o n
o
t
iss
u
e b
y
default i
n
fo messa
g
es for i
n
l
i
ning
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[Ada] Spurious err
o
r on int
e
rface
c
on
v
ersion
u
n
der Z
F
P
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
oda
t
[Ada]
Add
a No_Return ann
o
tation to
e
ase static
a
nalysis
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Spuri
o
us error o
n
private extension wit
h
pred
i
cat
e
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada]
Spurious d
e
pendency o
n
s
econdar
y
stack
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[A
d
a]
Mim
i
c
t
he C+
+
AB
I
when pas
s
ing class-wide conversio
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Pai
r
miscount in Dynamic
_
HTable
.
Put
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Add notes a
b
out
p
r
o
ce
s
s
ing o
f
a
g
gregate pr
o
j
e
c
t
s
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[
A
da] Minor reformattings
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
ro
d
at
[A
d
a] New un
i
t GNA
T
.
Sets
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] ICE
o
n
m
i
x
of tagged
a
nd limited inte
r
face
s
commit
|
commitdiff
|
tree
2018-09-26
p
mde
r
odat
[Ada] Illegal formal objec
t
s
as
s
ociated with anonymo
u
s
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[Ada]
F
ront-end su
p
port for O
p
enACC pr
a
gmas
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Missing error
o
n non-
l
imited derived type with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Inlining of renamed subprogram ins
t
ances i
n
pack
a
ge
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
m
dero
d
at
[Ada] Preparatio
n
for n
e
w
desc
r
iption o
f
interface
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderoda
t
[Ada]
Pr
o
pagat
e
b
it order
a
n
d
SSO from ro
o
t to c
l
asswide
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[
A
da]
Crash
o
n e
x
pression funct
i
ons within
quant
i
fied
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmdero
d
at
[
Ad
a
]
Missing predicate
c
h
eck on
return value
commit
|
commitdiff
|
tree
2018-09-26
p
m
deroda
t
[Ada] I
C
E on arra
y
of task type wi
t
h -gnatct
commit
|
commitdiff
|
tree
2018-09-26
p
mde
r
odat
[Ad
a
] F
i
x
a
sse
r
tion failure on record subty
p
e with
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmd
e
rodat
[
Ada]
Regressi
o
n
i
n parti
a
l comp
i
lati
o
n
of RCI
units
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Set
Current_Er
r
or_N
o
de directly
commit
|
commitdiff
|
tree
2018-09-26
p
m
der
o
da
t
[Ad
a
] W
r
o
ng handling of address c
l
ause
f
or limited
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
pmde
r
odat
[
A
da] Int
r
oduce -gnatd
_
A to se
t
Opt
.
Disable_ALI_File
commit
|
commitdiff
|
tree
2018-09-26
p
mderod
a
t
[Ada] Disable specia
l
handling f
o
r pre
c
ondition
s
speci
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
md
e
rodat
[Ada] Unnestin
g
: fix
ha
n
dling of up
l
evel refs
for
.
.
.
commit
|
commitdiff
|
tree
2018-09-26
p
mderodat
[Ada] Fix ICE rela
t
ed to type freezing
commit
|
commitdiff
|
tree
2018-09-26
pmderod
a
t
[Ada] SPARK: update b
o
r
rowing effec
t
s for IN parameters
commit
|
commitdiff
|
tree
2018-09-26
pmder
o
dat
[Ada]
Vxlink: m
i
nor r
e
f
o
rm
a
tti
n
g
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada] Fix mi
s
cellane
o
us typos
commit
|
commitdiff
|
tree
2018-09-26
pmderodat
[Ada
]
Vxlink:
k
ill a CodePeer warni
n
g
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
rodat
[A
d
a] Minor
r
ef
o
r
m
attin
g
s
commit
|
commitdiff
|
tree
2018-08-21
pmde
r
odat
[Ada
]
Ad
d
a n
e
w gna
t
tool vx
l
ink
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ada] Crash on expression functio
n
a
nd tagged
t
ypes
commit
|
commitdiff
|
tree
2018-08-21
pmd
e
roda
t
[Ad
a
] Spurious c
r
ash on expression func
t
ion
a
s
complet
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
at
[
A
da]
R
etention of with clauses for ignored Ghost units
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erod
a
t
[
A
d
a] Cras
h
process
i
ng SPARK
annotate aspe
c
t
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spurious error o
n
ov
e
rr
i
ding pr
o
tected function
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[Ad
a
] Properl
y
s
et scop
e
of art
i
fic
i
al
entities
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Fix scope computat
i
on for loop statements
commit
|
commitdiff
|
tree
2018-08-21
p
m
derodat
[Ad
a
]
Einfo: remove ob
s
o
l
ete c
o
de
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ad
a
] Update for Ow
n
e
rship
rules for access types accordin
g
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Spurious ambiguity
error on ca
l
l returning an
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[A
d
a
]
D
o
c
u
ment entries of the target parametrizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
A
da]
S
et sc
o
pe of elabor
a
tion fla
g
for 'Access
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Sprint:
add gu
a
rd
on printing aspec
t
s
commit
|
commitdiff
|
tree
2018-08-21
pm
d
erodat
[A
d
a
]
Crash
c
ompili
n
g SPARK
ghost
f
u
nctions wit
h
c
allgraph
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmdero
d
a
t
[Ada] Unnesting: do n
o
t set size of a
c
cess subprograms
commit
|
commitdiff
|
tree
2018-08-21
p
mderod
a
t
[Ada
]
Unnesting: d
o
not emit warnings for acces
s
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] I
m
proper co
p
y
i
ng of l
i
mited arrays with de
f
ault
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] Fix spur
i
ous
erro
r
on unchecked c
o
n
v
ersion
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] F
i
x internal erro
r
o
n ext
e
n
s
ion of reco
r
d with
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada
]
Spurious "Dup
l
ica
t
e
d
symb
o
l"
e
rror wit
h
di
s
crimin
a
ted
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada] De
f
in
e
ver
s
ions of di
m
ension sys
t
em for Flo
a
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pm
d
e
rodat
[Ada
]
G
ener
a
l purpose doubly linked
list
f
or
compiler
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[Ada]
F
ix scope computation for entry bodies and acc
e
pt
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
mderodat
[Ada]
C
r
a
sh
o
n en
t
ry in generi
c
w
i
th dynamic el
a
boration
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
p
m
derod
a
t
[Ada]
Set_Targ: add a CodePeer an
n
otat
i
on
commit
|
commitdiff
|
tree
2018-08-21
p
m
der
o
dat
[
Ada] Com
p
iler abort o
n
cal
l
to expr
.
fun
c
tion
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmderodat
[
Ada] Dynamically res
i
zabl
e
,
load factor-base
d
hash
.
.
.
commit
|
commitdiff
|
tree
2018-08-21
pmder
o
d
at
[Ada] Enumeration types wit
h
non-
s
t
a
ndard representation
commit
|
commitdiff
|
tree
2018-08-21
p
md
e
rodat
[Ad
a
]
H
a
ndle
p
ragmas that
come f
r
om
a
sp
e
c
t
s for GNATprove
commit
|
commitdiff
|
tree
2018-08-21
p
m
d
ero
d
at
[
A
da] A
d
d sa
_
messages
.
a
d
[sb]
f
or
SPARK 2014
commit
|
commitdiff
|
tree
2018-08-21
p
mde
r
odat
[Ada] B
u
mp
cop
y
right notices
t
o 2018
commit
|
commitdiff
|
tree
2018-08-03
pmde
r
odat
[
A
d
a
] Par
t
ially r
e
v
e
rt "Mak
e
fi
l
e patches from initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Various code cle
a
n-ups from C
o
dePeer messages
commit
|
commitdiff
|
tree
2018-07-31
pmder
o
da
t
[Ada
]
Fix pot
e
ntia
l
Constraint_E
r
r
o
r if Library_Version
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[A
d
a]
S
em
_
Elab: remove d
u
plicate condition
commit
|
commitdiff
|
tree
2018-07-31
p
m
d
erodat
[A
d
a] Unnesting: i
m
pro
v
e
support f
o
r entries in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[A
d
a] Re
f
ine generat
i
on of range checks
t
o
ha
p
pen
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
A
da
]
Se
c
ond
a
r
y
stack lea
k
with
a
c
c
ess-t
o
-subprogr
a
m
commit
|
commitdiff
|
tree
2018-07-31
p
m
derodat
[Ada] Unnesti
n
g: fi
n
d
l
ocal subps
in nest
e
d
s
tm
t
sequen
c
es
commit
|
commitdiff
|
tree
2018-07-31
pmderoda
t
[Ada]
Spurious
e
rr
o
r on d
e
f
ault par
a
me
t
er in protected
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] GNATm
a
ke fails
t
o detect missing
bo
d
y
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Fix align
m
ent of mut
e
x_t an
d
cond_t type on 3
2
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmdero
d
at
[
A
da] Wr
o
ng value aft
e
r assignm
e
nt of overlain re
c
ord
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
Ad
a
] Spuri
o
us
e
r
ror on
the
placement of as
p
ect Global
commit
|
commitdiff
|
tree
next