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] More complete information level for -gnatR4 output
2019-07-22
Eric Botcazou
[
Ada] Mor
e
co
m
pl
e
t
e
in
f
ormation level for -gnatR4
o
utput
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sinfo: upd
a
te doc abou
t
Do
_
Division
/
O
verlflow
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcaz
o
u
[Ada] Fix
missin
g
c
h
e
ck f
o
r no-op con
v
ersi
o
n
to fixed
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Schon
b
e
r
g
[Ada] Remove misleading
w
a
r
n
i
ng/
s
u
gges
t
ion in membership
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Yannic
k
Moy
[Ada] Adapt ownersh
i
p ch
e
cking in
S
PARK to traversal
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
ric Botcazou
[
A
da
]
Ove
r
haul c
o
de impl
e
menting
conver
s
ions involving
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sprint: fix pasto in commen
t
commit
|
commitdiff
|
tree
2019-07-22
Javier Mira
n
da
[A
d
a] Sp
u
rious e
r
ror p
a
ssin
g
access to class-wide interface
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Small enhancement to the -gnatD/-gnatG output
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eri
c
B
otcazou
[Ada] Beef up comment in
e
xp_attr
.
a
d
b
commit
|
commitdiff
|
tree
2019-07-22
Ed Sc
h
onberg
[
A
da] Optimiza
t
ion
l
oses excepti
o
n
i
n improper
u
se
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Sch
o
nbe
r
g
[Ada] M
i
sleading war
n
ing on va
r
iable not
a
ssigned
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[
A
da] Usage of signed t
y
pe in array bounds in C
C
G
commit
|
commitdiff
|
tree
2019-07-22
Yannick Moy
[Ada
]
Is
s
ue warning o
r
er
r
or messa
g
e
on ignored t
y
ping
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric B
o
tca
z
ou
[Ada]
F
ix
spurious
v
is
i
bil
i
ty error for tagged type
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Bot
c
azo
u
[Ada] Remove o
b
s
olet
e
I
s_For_Access_Subtype machinery
commit
|
commitdiff
|
tree
2019-07-22
Er
i
c Botcazou
[Ada] Spuriou
s
error o
n
priv
a
te subtype of de
r
ived
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Scho
n
be
r
g
[Ada] Ty
p
e in
c
ons
i
stency
i
n
f
loating_point type declara
t
i
ons
commit
|
commitdiff
|
tree
2019-07-22
Er
i
c B
o
tcazou
[Ada] F
u
rt
h
er
f
ix n
o
n
-
sto
r
ed discr
i
mina
n
t
in a
g
gr
e
gate
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Gary Dismukes
[Ada] Premature finalization
of c
o
n
t
r
o
lled temporaries
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botc
a
zou
[Ada] Internal error on
iterator f
o
r
limited private
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcaz
o
u
[Ada] Fi
x
m
i
ssing Constraint_Error for
Enu
m
_
V
a
l attribute
commit
|
commitdiff
|
tree
2019-07-22
Nicolas
R
o
ch
e
[Ada] Ensure meaningle
s
s
d
ig
i
ts in a
string
a
r
e
discarded
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Fi
x
wrong assumption
on
b
ounds
in
GNAT
.
Encode_String
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] F
i
x
s
purious loop war
n
ing for
f
u
n
c
tion wi
t
h Out
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Nicolas Ro
c
he
[Ada] Ensure Ctrl-C is n
o
t
e
mited on terminated processes
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[A
d
a] Incorrect values
in c
o
nversion from fixed-point
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Javier M
i
randa
[A
d
a] Cras
h
in C++ constructor
w
ithout external
and
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Sc
h
onbe
r
g
[Ada]
S
p
uriou
s
warnin
g
about a useless assignment
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic Botc
a
zou
[Ad
a
] Fix in
t
ernal
e
rror on array slice
in loop and
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Pio
t
r
Trojanek
[
A
da] Use
h
i
g
h-l
e
vel wrappers for
Lib
.
Units
.
T
a
bl
e
commit
|
commitdiff
|
tree
2019-07-11
P
i
o
tr Trojanek
[Ada] M
i
n
o
r
refa
c
toring
commit
|
commitdiff
|
tree
2019-07-11
Yannick
M
oy
[Ada] Avoi
d
spurious errors on dimensio
n
a
l
i
t
y checking
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Yannick M
o
y
[Ada] Fli
p
th
e
meaning of deb
u
g swit
c
h -gna
t
dF
commit
|
commitdiff
|
tree
2019-07-11
Yannick Moy
[Ada] Avoid spuri
o
us warning on assertions
with Loop_Entry
commit
|
commitdiff
|
tree
2019-07-11
C
laire Dross
[Ada] R
e
factor ownership
p
ointer c
h
ecki
n
g
i
n SPARK
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Patrick Be
r
nardi
[Ada] Minimal b
i
nder
commit
|
commitdiff
|
tree
2019-07-11
Eric Botcazou
[Ada] Makefile
.
r
tl: add a warnin
g
ab
o
u
t
compil
a
tion
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Ed Schonbe
r
g
[Ad
a
] C
r
ash on protected type
with s
e
lf-r
e
ferential
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Dmi
t
riy Anisi
m
kov
[Ada] G
N
AT
.
Sockets: support ICM
P
,
I
GMP and RAW IP protoc
o
l
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
C
laire
Dross
[Ad
a
] Memory corru
p
tio
n
when using formal
hashed sets
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Arnau
d
Char
l
e
t
[Ada] errno
.
c: remove obsolete support for MaRTE OS
commit
|
commitdiff
|
tree
2019-07-11
Ed Sch
o
nberg
[Ada] Remove redundant predicate che
c
ks
commit
|
commitdiff
|
tree
2019-07-11
Hristi
a
n Kirtchev
[Ad
a
] Ela
b
oration o
r
der v
4
.
0
and o
u
tput o
f
dependencies
commit
|
commitdiff
|
tree
2019-07-11
Dmit
r
iy Anis
i
m
k
ov
[Ada
]
GNAT
.
S
o
ckets: add s
u
p
p
ort for RAW socke
t
s
commit
|
commitdiff
|
tree
2019-07-11
Justi
n
Squirek
[Ada] P
r
agma Unreferenced
trigg
e
r
s
un
d
efined reference
commit
|
commitdiff
|
tree
2019-07-11
Bob
D
uff
[Ad
a
] Fix inconsistent documentation for gnatmetric
commit
|
commitdiff
|
tree
2019-07-11
Bob Duff
[
Ada] Document gn
a
t
pp's
-
-
s
p
a
ce
s
-only s
w
itch
commit
|
commitdiff
|
tree
2019-07-11
Hristian
K
irtchev
[Ada] Infinite loop on illegal
d
e
c
laration
commit
|
commitdiff
|
tree
2019-07-11
H
r
istian Kirt
c
hev
[Ada
]
Minor
r
eformatting
commit
|
commitdiff
|
tree
2019-07-11
Hri
s
tian Kirt
c
h
e
v
[Ad
a
] Inte
r
na
l
crash
o
n illegal r
e
naming
commit
|
commitdiff
|
tree
2019-07-11
Ed S
c
h
o
n
ber
g
[Ada] Comp
i
l
e-time evaluation
o
f predicate checks
commit
|
commitdiff
|
tree
2019-07-11
H
r
isti
a
n
K
irtchev
[Ada] L
i
nk error due to negated intrinsic compar
i
s
on
commit
|
commitdiff
|
tree
2019-07-11
Thomas Quinot
[Ada] F
i
x
crash on
dy
n
amic predi
c
ate when genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtchev
[
A
da
]
Missing finaliz
a
tion of private protecte
d
type
commit
|
commitdiff
|
tree
2019-07-11
Eric B
o
t
cazou
[Ada] New R
e
pinfo
.
Input unit t
o
read back JSON
r
epresentatio
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
J
u
stin Squirek
[
Ada] No warning for gu
a
ranteed
ac
c
essibi
l
ity check
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Arnaud C
h
arlet
[Ada] G
N
AT
.
Threads:
A
dd a Get_Thread overload taking
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristi
a
n
K
i
r
tc
h
ev
[Ada] Ela
b
o
ration
order v4
.
0 and infin
i
t
e
lo
o
ps
commit
|
commitdiff
|
tree
2019-07-11
Yannick M
o
y
[Ada] Avoid spurious warning on wrong order of operator
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Dmitriy
A
ni
s
im
k
o
v
[Ad
a
] System
.
Strings
.
Str
e
am_Ops: do not depen
d
o
n Strea
m
_IO
commit
|
commitdiff
|
tree
2019-07-10
E
d Schonberg
[Ada
]
S
p
ur
i
ous ru
n
-
t
ime error with 64-bit modular t
y
pes
commit
|
commitdiff
|
tree
2019-07-10
Doug Rupp
[Ada]
D
o not
a
ttempt
to re-arm
guard page on
x
86_64
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Ed S
c
ho
n
b
e
rg
[Ada] Cras
h
on aggrega
t
e for limited type in
e
xtended
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Yannick
Moy
[Ada] Fix spu
r
ious me
s
sages
o
n g
l
obal
v
ariab
l
es for
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Claire Dros
s
[Ada
]
Fix
possible c
r
ashes in GNATprove analysi
s
of
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Hristian K
i
rt
c
hev
[Ada] Spurious er
r
or on discrimin
a
nt of in
c
o
m
plet
e
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
A
r
na
u
d Cha
r
let
[Ada] Improve gnatmem's doc for the depth
switch
commit
|
commitdiff
|
tree
2019-07-10
Bob Du
f
f
[
Ada
]
G
N
ATpp
:
docu
m
ent the
--source-line-br
e
aks switch
commit
|
commitdiff
|
tree
2019-07-10
Jus
t
i
n Squirek
[
Ada]
Documentation of
I
mg
att
r
ib
u
te out of date
commit
|
commitdiff
|
tree
2019-07-10
Si
m
on Buist
[Ad
a
] Entity names
a
re
n
ot unique
commit
|
commitdiff
|
tree
2019-07-10
A
rnaud Charle
t
[Ada] Add
an annotation fo
r
s
t
atic
analys
i
s
commit
|
commitdiff
|
tree
2019-07-10
Hristian
Kirt
c
hev
[A
d
a] Spelling mistakes in error messages
commit
|
commitdiff
|
tree
2019-07-10
Eric
B
otcazou
[Ad
a
] Improve
s
up
p
ort for tuning branch proba
b
ility
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Y
a
nnick M
o
y
[Ada
]
Allow multiple units per file in G
N
ATprove
commit
|
commitdiff
|
tree
2019-07-10
Corentin Gay
[A
d
a] sysdep
.
c:
corr
e
ct include directi
v
es ordering
commit
|
commitdiff
|
tree
2019-07-10
Eri
c
Botcaz
o
u
[Ada
]
GNAT RM: a
d
d note
a
bout de
b
ug
g
ers
f
or Scalar_Sto
r
ag
e
_Orde
r
commit
|
commitdiff
|
tree
2019-07-10
Hristian Ki
r
tchev
[A
d
a] Spuriou
s
error
on ca
s
e ex
p
res
s
ion with l
i
mited
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Hristian
Kirtchev
[Ada] Minor
r
eform
a
tting
commit
|
commitdiff
|
tree
2019-07-10
J
offrey Huguet
[Ad
a
] Add
c
ont
r
acts to
S
trings li
b
rari
e
s
commit
|
commitdiff
|
tree
2019-07-10
Do
u
g Rupp
[Ada] Vx
w
orks7r2 SR0610 coalesced
s
o
m
e
m
ac
r
o v
a
l
u
es
commit
|
commitdiff
|
tree
2019-07-10
Doug Rupp
[A
d
a] The enviro
n
m
acro
i
s
bro
k
en on vxworks7r2 SR0610
commit
|
commitdiff
|
tree
2019-07-10
Patr
i
ck Bernardi
[Ada] New por
t
for ppc-vx
7
r2
commit
|
commitdiff
|
tree
2019-07-10
Hrist
i
an Kir
t
chev
[Ada] E
l
aboration
o
rd
e
r v4
.
0 and cyc
l
e dete
c
t
i
on
commit
|
commitdiff
|
tree
2019-07-10
Yannick Moy
[
A
d
a
] Fix crashes on own
e
rship ch
e
cking in SPARK
commit
|
commitdiff
|
tree
2019-07-10
Jav
i
e
r Miranda
[Ada] Missing implicit interface type
c
on
v
e
rsion
commit
|
commitdiff
|
tree
2019-07-10
Ed
Scho
n
b
e
r
g
[Ada] Spuriou
s
error on overloaded equality in po
s
tcondition
commit
|
commitdiff
|
tree
2019-07-10
Hristian Kirtchev
[Ada] Elaboration o
r
der v4
.
0 and lin
k
e
r s
w
itches
commit
|
commitdiff
|
tree
2019-07-10
Gary Dismuk
e
s
[Ada] Mino
r
r
eformatting
commit
|
commitdiff
|
tree
2019-07-10
Yan
n
ick Moy
[Ada]
Use renamings in GNATp
r
ove mo
d
e for s
i
d
e-e
f
f
ects
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Ed S
c
ho
n
berg
[Ada] Access to uninitialized memory by p
r
edicate
check
commit
|
commitdiff
|
tree
2019-07-09
Ju
s
tin Squire
k
[
Ada] C
r
as
h
o
n
'Img attribute
commit
|
commitdiff
|
tree
2019-07-09
Eric Bot
c
azou
[A
d
a
] S
y
stem
.
OS
_
Interface:
f
ix Cri
t
ical
_
Section
.
SpinCount
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Justin
Squi
r
ek
[Ada] Warning neede
d
on anonymous a
c
cess type alloc
a
tors
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[
A
d
a] Crash/infin
i
te
l
oop on program wit
h
m
ultiple
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Hristian Kirtchev
[Ada] E
l
aboration o
r
der v4
.
0
an
d
generic in
s
tantiation
s
commit
|
commitdiff
|
tree
2019-07-09
P
i
otr Trojan
e
k
[A
d
a] Refo
r
mat comments
commit
|
commitdiff
|
tree
2019-07-09
Hristi
a
n Kirtchev
[
A
da] Task-related circularities in Elaboration order
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ad
a
] Exp_Util: minor refactoring
commit
|
commitdiff
|
tree
2019-07-09
A
r
naud Charlet
[Ada] Dis
a
b
le c
a
lls to Abort defe
r
/u
n
d
e
f
er when ZCX
_
By_Default
commit
|
commitdiff
|
tree
next