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 alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris
2018-07-31
p
mderodat
[Ada] Fix alignmen
t
o
f mut
e
x_
t
and cond_t type on
3
2
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Wrong value after assignment of overla
i
n record
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmd
e
rodat
[A
d
a
] S
p
u
r
ious erro
r
on
the pla
c
ement of aspe
c
t Global
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] C
o
mpil
e
r
fa
i
l
ure on an extended_
r
etur
n
_statement
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Spur
i
ous warning
o
n iteration over range o
f
64
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderoda
t
[Ada] Print the Is_Activation_
R
ecord flag
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Replace low-
l
ev
e
l calls
to Eki
n
d
with high-level
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada]
D
econ
s
truct 'F'
as a prefi
x
for an
A
LI data
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[Ada] Fix a fre
e
zing issue
commit
|
commitdiff
|
tree
2018-07-31
pmderodat
[
A
da] Fix
r
esolu
t
ion of c
l
ass-wide operations that
.
.
.
commit
|
commitdiff
|
tree
2018-07-31
pmderod
a
t
[Ada] Minor
r
eformatting
s
commit
|
commitdiff
|
tree
2018-07-31
p
mderodat
[Ada] Spuriou
s
error -- "a
l
location from em
p
ty storage
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
dat
[
A
da] S
p
urious error on
p
refixe
d
cal
l
i
n
an ins
t
antiat
i
on
commit
|
commitdiff
|
tree
2018-07-17
pm
d
eroda
t
[Ada]
P
reserve origina
l
CE reason in
more cas
e
s
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Add provision for floating-poi
n
t in Apply_Division_Check
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[
Ada] Fix
e
xpans
i
o
n
of aggregates components rewritt
e
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
d
a
t
[Ada]
R
euse Is_
R
ewrite_Su
b
s
ti
t
ution
i
n Relocate_N
o
de
commit
|
commitdiff
|
tree
2018-07-17
p
m
derodat
[Ada] Fix
R
M rule
r
efe
r
ences
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Fix
i
ncompatibil
i
ty De
f
ault_Scalar_Storage_O
r
der
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[
Ada] Use stand
a
rd version of
s
-
memory
.
a
db fo
r
mingw32
commit
|
commitdiff
|
tree
2018-07-17
pm
d
erodat
[
Ada] Faulty ignored Ghos
t
code re
m
oval
commit
|
commitdiff
|
tree
2018-07-17
p
m
derodat
[Ada] Con
f
igurati
o
n st
a
te not o
b
served for instance
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
p
m
der
o
dat
[Ada] ICE on ren
a
m
i
ng of
result of binary operation
commit
|
commitdiff
|
tree
2018-07-17
pm
d
erodat
[Ada] Type mismatch warn
i
ng
fo
r
imported
C++ class
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[A
d
a] Remove extra paren
t
heses in Expand_Inlined
_
C
al
l
commit
|
commitdiff
|
tree
2018-07-17
pmdero
d
at
[Ada] Minor fix for im
p
orted
C
++ constructors
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] A
s
s
e
rtion
_
Pol
i
cy fo
r
class-wide pre
c
ondition
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada
]
Missing
chec
k
on illegal
equality
operatio
n
in
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmdero
d
at
[Ada] Unnesting:
d
on't use Get_Actual_Sub
t
y
p
e f
o
r
r
eco
r
d
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
p
mderodat
[Ada] Minor ref
o
rmatting
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
odat
[Ada
]
Cra
s
h processing abstract
sta
t
e as
p
ect of a
package
commit
|
commitdiff
|
tree
2018-07-17
pmdero
d
at
[
A
d
a
] Consistent spelling of
"i
.
e
.
" in docs and comments
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada
]
A
rgument_String_To_List crea
t
es empty ite
m
s from
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Spurious erro
r
on P
a
rt_Of indica
t
or
commit
|
commitdiff
|
tree
2018-07-17
p
m
dero
d
at
[Ada] Avoid confusing warning
o
n exception
p
ropagation
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pm
d
er
o
d
at
[Ada]
G
NAT
.
So
c
kets:
r
e
o
r
ganiz
e
an
d
m
a
ke pub
l
ic
c
ompone
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ad
a
] Seconda
r
y stack
l
eak in statements
block l
o
cated
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[
Ada]
F
ix Enclosing_Subprogram
f
or prote
c
t
e
d
e
ntr
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Add
elabora
t
ion-re
l
ated s
w
it
c
hes to GN
A
T UGN
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] New
i
gnored Ghost code r
e
moval me
c
hanis
m
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
oda
t
[A
d
a]
Sec
o
ndar
y
stack leak in
loop iterator
commit
|
commitdiff
|
tree
2018-07-17
pm
d
e
r
odat
[Ada
]
Fix N
e
x
t
_Actual when
used on calls "inlined f
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] E
i
nfo: update docu
m
en
t
ation for Scalar_Rang
e
commit
|
commitdiff
|
tree
2018-07-17
p
m
derodat
[A
d
a] Attach th
e
special
GNATprove HEAP entit
y
to the
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
pmdero
d
at
[Ada] Mino
r
refac
t
orin
g
: remove e
x
tra parenth
e
ses
commit
|
commitdiff
|
tree
2018-07-17
p
mdero
d
a
t
[Ada] Fi
x
unn
e
sting issu
e
s involvin
g
t
asks
commit
|
commitdiff
|
tree
2018-07-17
pmder
o
dat
[Ada] S
p
u
rio
u
s e
r
ror
o
n unused Part
_
O
f const
i
tu
e
nt
commit
|
commitdiff
|
tree
2018-07-17
p
m
d
e
ro
d
at
[Ad
a
] Fix handling
of inherited d
i
s
cr
i
minant constrai
n
ts
commit
|
commitdiff
|
tree
2018-07-17
pmde
r
odat
[
A
da] Crash
o
n cas
e
e
x
pression in build-in-place funct
i
on
commit
|
commitdiff
|
tree
2018-07-17
pmderodat
[Ada] Remo
v
e refere
n
ces to gcov from t
h
e User Man
u
al
commit
|
commitdiff
|
tree
2018-07-16
pm
d
erodat
[Ad
a
] Missing e
r
ror on hi
d
den state in insta
n
t
iation
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Minor reformatti
n
g
commit
|
commitdiff
|
tree
2018-07-16
pmdero
d
at
[Ada] Only un
n
es
t
s
u
bprograms if no previo
u
s errors
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pm
d
e
r
o
da
t
[Ada
]
Fix expansio
n
of bl
o
cks in
l
o
o
ps
inside elaboration
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pm
d
erodat
[Ada
]
De
e
p c
o
p
y operan
d
s of
membe
r
s
h
ip o
p
er
a
tions
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmder
o
dat
[Ada
]
Unn
e
s
t
i
n
g: handle 'Address references that are
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pm
d
erodat
[Ada] Unnest
i
ng:
h
a
ndle the
s
emantic
of Storage_Pool
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pm
d
eroda
t
[Ada]
Fix Default_Storage_Pool aspe
c
t
h
andling i
n
g
eneric
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Maj
o
r code cleanu
p
commit
|
commitdiff
|
tree
2018-07-16
pmderoda
t
[
A
da] Spurious error
w
ith null Abstr
a
c
t
_State
commit
|
commitdiff
|
tree
2018-07-16
pmderod
a
t
[A
d
a
]
Decons
t
ruc
t
unu
s
ed Withed_Body fil
e
d of N
_
With_Clause
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Avoid c
r
ash when t
r
aversing units
with -gnat
d
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] T
r
ivial simpl
i
f
ications in in
W
a
l
k_L
i
brary_
I
tems
commit
|
commitdiff
|
tree
2018-07-16
pmderod
a
t
[Ad
a
]
Deco
n
stru
c
t
always-false calls to Withed_Body
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Use com
m
on routine E
x
pan
d
_
N
onb
i
nary_
M
odular_Op
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmdero
d
at
[Ada] Add
a
missi
n
g check for trivial pre
d
ica
t
es on
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Crash
on Indefinite_
H
ashed_Maps
w
ith -gn
a
ta
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Spurio
u
s
possible
con
t
r
a
int error wa
r
ning w
i
th
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[
A
d
a
] Segment
a
tion_Fault wi
t
h Integer'Wi
d
e_Wide_Value
commit
|
commitdiff
|
tree
2018-07-16
p
mdero
d
at
[
Ada] Bit_Or
d
er ca
n
n
o
t be defined for reco
r
d extensi
o
ns
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Sys
t
em
.
O
b
ject_Re
a
der:
m
in
o
r c
o
de clean-up
commit
|
commitdiff
|
tree
2018-07-16
pmderod
a
t
[A
d
a]
Adju
s
t reference t
o
renumbered SPARK
RM rule
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ad
a
] a
d
ain
t
.
c
:
minor code
cleanup
commit
|
commitdiff
|
tree
2018-07-16
pmd
e
rodat
[Ada] Co
d
e cle
a
n
u
p
o
n fun
c
ti
o
n
s inlining
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] C
r
a
s
h pr
o
cessi
n
g sour
c
es under GNAT
p
r
ove debug
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pm
d
er
o
dat
[Ada] Inline
:
r
e
wr
a
p
comment
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada
]
Einfo: minor tweak in comment
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada]
Sem_Ch4: mi
n
or code
clea
n
u
p
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada]
F
i
x
expansion of 'Count in p
r
o
tect
e
d types
commit
|
commitdiff
|
tree
2018-07-16
pmd
e
rodat
[Ada]
Sem
_
U
t
i
l
s: make Has_P
r
efix public
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Adjust
inlining
in G
N
ATprove mo
d
e f
o
r predicate
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
p
mderodat
[Ada] Vi
o
lation of No_Stan
d
ard_Allocators_After_Elaboration
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
pmde
r
oda
t
[Ada
]
Fix spe
l
li
n
g
f
or
c
ompile-t
i
me-
k
nown
commit
|
commitdiff
|
tree
2018-07-16
pmderodat
[Ada] Illegal
d
eferred constant ca
u
s
e
s stack overflo
w
commit
|
commitdiff
|
tree
2018-07-16
pmd
e
ro
d
at
[Ad
a
] Adju
s
t growth fact
o
r
from
1/32 to 1/2 for
Unbounded_S
t
ring
commit
|
commitdiff
|
tree
2018-06-11
pmderodat
[Ada] Fix wrong co
d
e for
i
nitialization
o
f fat poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
pmde
r
odat
[A
d
a] Suppr
e
s
s the
expansion o
f
i
gnored assertion pragmas
commit
|
commitdiff
|
tree
2018-06-11
pmd
e
ro
d
a
t
[
Ada] Minor
r
e
f
ormatting
commit
|
commitdiff
|
tree
2018-06-11
pm
d
e
rodat
[Ad
a
]
T
ypo
f
ixes
a
nd
m
inor reformat
t
ing
commit
|
commitdiff
|
tree
2018-06-11
pm
d
e
rodat
[Ada] Double finalization
o
f
l
i
mited c
o
n
tr
o
l
l
e
d
r
e
sult
commit
|
commitdiff
|
tree
2018-06-11
pmderodat
[Ada] Improve
l
ast excep
t
ion info availabi
l
ity from
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
pmderodat
[
A
da]
U
n
nesting: ref
a
ct
o
r handling of uplevel refs
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
pmderodat
[Ada] Dangling
c
urs
o
r ch
e
cks in E
l
em
e
nt function
commit
|
commitdiff
|
tree
2018-06-11
pmderodat
[Ada] Mark param
e
ters as coming
from source for
G
NATprove
commit
|
commitdiff
|
tree
2018-06-11
pmderod
a
t
[Ad
a
] Missing p
r
edicate fu
n
ction bo
d
y f
o
r derived
type
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
pmd
e
r
o
d
a
t
[
A
d
a
] Reject violati
o
n
o
f SP
A
R
K
6
.
1
.
4(12) with e
n
closing
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
p
m
deroda
t
[Ada
]
Minor
t
w
eaks for
R
epinfo
commit
|
commitdiff
|
tree
2018-06-11
pmd
e
rodat
[Ada] Ma
k
e
GNAT
.
Ar
r
ay
_
Sp
l
it a preelaborable unit
commit
|
commitdiff
|
tree
2018-06-11
p
m
d
erodat
[Ada
]
Simpl
i
fy expansion
of "and then" in CodePe
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
pmd
e
roda
t
[Ada] Crash on protected
type
e
nt
r
y family
commit
|
commitdiff
|
tree
next