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
E
ric Botcazo
u
[Ada] More comple
t
e information
l
evel
for -gnatR4 outp
u
t
commit
|
commitdiff
|
tree
2019-07-22
Eri
c
Botcazou
[
A
da]
S
inf
o
: updat
e
d
o
c about Do_Div
i
sion/Overlflow
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazo
u
[Ada]
Fix missing
c
heck for n
o
-op conversi
o
n to fixed
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed
S
chonberg
[Ada] Remo
v
e m
i
sleadin
g
warning/suggestion in
m
embership
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Yannic
k
Moy
[Ada] Ada
p
t ownership chec
k
ing in
S
PARK to trav
e
rsa
l
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric B
o
t
cazou
[Ada] Ov
e
rhaul code
i
m
p
l
ementing conversions
involving
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sprint: fix pasto in
c
o
mment
commit
|
commitdiff
|
tree
2019-07-22
Javier
Miranda
[Ada
]
Spurious error passing access
t
o
c
lass-
w
ide
interf
a
ce
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sma
l
l enhanceme
n
t to the -gnatD/
-
gnatG
o
ut
p
ut
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Bot
c
azou
[Ada] Be
e
f up com
m
en
t
in exp_attr
.
adb
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Optimiza
t
ion l
o
s
e
s
e
xcept
i
on in improper use
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Mi
s
leading warning on v
a
riabl
e
not ass
i
gne
d
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[A
d
a
] Usa
g
e of signed type in array bounds
i
n C
C
G
commit
|
commitdiff
|
tree
2019-07-22
Yannick M
o
y
[Ada] Issue warning or
er
r
or message
on ignored typing
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada]
Fix s
p
urious vis
i
bility
error for
tagged type
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Bo
t
cazou
[Ada
]
Remo
v
e obso
l
et
e
Is_For_Acc
e
ss_Su
b
type m
a
c
h
i
nery
commit
|
commitdiff
|
tree
2019-07-22
Eric Bo
t
cazou
[Ada] Spurious error on private sub
t
ype o
f
der
i
ved
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
d Sc
h
onberg
[Ada] Type inco
n
si
s
tency in floating_point type declarati
o
ns
commit
|
commitdiff
|
tree
2019-07-22
Eric Bot
c
azou
[
Ada] Furt
h
er fix non-stored discriminant
i
n aggregate
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Gary
D
i
smukes
[Ada] Pre
m
ature finaliza
t
ion
o
f con
t
rolled temp
o
r
a
ries
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic Botcazou
[
A
da]
I
nte
r
n
al
e
r
ror on
i
ter
a
tor
f
or
limited privat
e
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic
Bo
t
ca
z
ou
[
A
da] Fix missing
C
ons
t
rain
t
_Error for Enum_Va
l
a
ttribute
commit
|
commitdiff
|
tree
2019-07-22
Nic
o
las Roche
[Ada] Ensure meaningl
e
ss digit
s
in a str
i
ng ar
e
d
iscarded
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic Botcazou
[
Ada] Fix wr
o
ng assumption
o
n
b
o
unds in GNAT
.
Encode_Strin
g
commit
|
commitdiff
|
tree
2019-07-22
Eric B
o
tcazou
[Ada] Fix spurious loo
p
w
a
rni
n
g
for
f
unct
i
on with Out
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Nicolas Roc
h
e
[Ada] E
n
sure Ct
r
l-C is not emited on
t
e
r
m
inated p
r
ocesses
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Incor
r
ec
t
v
a
lues in conversion from fixed-p
o
int
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Jav
i
er Miranda
[Ada] Crash in C++ cons
t
ructo
r
without exte
r
nal a
n
d
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] S
p
u
r
ious warn
i
ng
a
bout a useless assignme
n
t
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Fix
internal
error
o
n array slice
i
n l
o
o
p
and
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Piotr
T
rojanek
[Ada] Use high-level wrappers for Lib
.
U
n
its
.
Table
commit
|
commitdiff
|
tree
2019-07-11
Pi
o
tr Trojanek
[Ada] Mi
n
or refa
c
t
oring
commit
|
commitdiff
|
tree
2019-07-11
Yannick Moy
[Ada] Avoi
d
spurious errors
on d
i
mensionality checking
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Yannick Moy
[A
d
a] Flip the meaning
of d
e
bu
g
switch -gnatdF
commit
|
commitdiff
|
tree
2019-07-11
Yanni
c
k Moy
[
Ada
]
Avoid spurious warn
i
n
g
on assertions with Loop_Entry
commit
|
commitdiff
|
tree
2019-07-11
Claire Dross
[
Ada]
R
efactor owner
s
hip pointer checking in S
P
AR
K
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Patrick Bernardi
[Ada]
Mini
m
al binder
commit
|
commitdiff
|
tree
2019-07-11
Eric Bo
t
cazou
[Ad
a
] Makefile
.
rtl: add
a
warning
about compilati
o
n
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Ed S
c
h
o
nberg
[Ada] Crash on pro
t
ected ty
p
e with self-referenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Dmitr
i
y Anisimkov
[Ada] GNAT
.
Socke
t
s: su
p
port ICMP, IGMP and
RAW IP protocol
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Claire Dr
o
s
s
[Ada] Memory corrupt
i
on
w
hen u
s
in
g
formal ha
s
hed sets
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Arnaud Charlet
[Ada] errno
.
c:
remov
e
obsolete sup
p
ort for MaRTE OS
commit
|
commitdiff
|
tree
2019-07-11
Ed Schon
b
e
rg
[
Ada] Remove redu
n
dant predicate checks
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtchev
[
A
da] Elaboration
o
rder
v4
.
0 and output of depen
d
encies
commit
|
commitdiff
|
tree
2019-07-11
Dmi
t
riy Anisimko
v
[
A
d
a
] GNAT
.
So
c
kets: add supp
o
rt fo
r
RA
W
sockets
commit
|
commitdiff
|
tree
2019-07-11
J
u
stin Squirek
[Ad
a
] Pragma Unreferenced t
r
iggers
u
nde
f
ined refer
e
nce
commit
|
commitdiff
|
tree
2019-07-11
Bob Duff
[A
d
a]
F
i
x
inconsisten
t
documentation for gnatmetric
commit
|
commitdiff
|
tree
2019-07-11
Bob Duff
[Ada] Document gnatpp's --spaces-only switch
commit
|
commitdiff
|
tree
2019-07-11
Hristian K
i
rtchev
[Ada]
Infinite loop
o
n illegal declaration
commit
|
commitdiff
|
tree
2019-07-11
Hrist
i
an Kirtche
v
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2019-07-11
Hr
i
st
i
an
K
i
r
t
c
h
ev
[Ad
a
] Internal cra
s
h
on illeg
a
l renam
i
n
g
commit
|
commitdiff
|
tree
2019-07-11
Ed
Schonberg
[Ada] Co
m
pile-time eva
l
uation of predicat
e
checks
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtchev
[Ada] Li
n
k
e
rror due t
o
negated in
t
rinsic comparison
commit
|
commitdiff
|
tree
2019-07-11
Thom
a
s Quinot
[Ada] Fix crash on dy
n
a
m
i
c
predicate when generatin
g
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristi
a
n
K
irtc
h
ev
[Ada] M
i
ssing fina
l
i
zation of privat
e
protected type
commit
|
commitdiff
|
tree
2019-07-11
Eric Botca
z
ou
[
A
da] New Repinfo
.
Input unit to read back JSON represent
a
t
i
o
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Justin Squi
r
ek
[Ada] N
o
warning for guara
n
teed ac
c
e
ssibili
t
y check
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Ar
n
aud
C
harlet
[Ada] GNAT
.
Th
r
eads: Ad
d
a Get_Thre
a
d
overload taking
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirt
c
hev
[
Ada] Elaboration order v4
.
0 and infi
n
ite
l
oops
commit
|
commitdiff
|
tree
2019-07-11
Yann
i
ck Moy
[Ada
]
Avoid spu
r
ious warning
o
n wrong
o
rder of operator
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Dmitriy Anisimkov
[Ada] Sys
t
em
.
St
r
i
ngs
.
Stream
_
Ops: do not depend on
Stream_IO
commit
|
commitdiff
|
tree
2019-07-10
Ed Schonberg
[Ada] Spu
r
ious run-time error wi
t
h 64-b
i
t
modular types
commit
|
commitdiff
|
tree
2019-07-10
Doug Rup
p
[Ada] Do
n
o
t attempt t
o
re-arm guard
p
age on x86_64
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Ed Schonberg
[Ad
a
] Crash on a
g
gregate for l
i
mited type in extended
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Yann
i
ck Moy
[Ada] Fix
sp
u
rious messa
g
es on global va
r
ia
b
les fo
r
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Claire
D
ross
[Ada] Fi
x
possible crashes in GNATp
r
o
ve analysi
s
of
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Hris
t
ian Ki
r
tchev
[Ada] Spuri
o
us e
r
ro
r
on discr
i
m
ina
n
t of i
n
c
o
mplet
e
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Arnaud Charlet
[Ada] Improve
gnatmem's
d
oc for the depth switch
commit
|
commitdiff
|
tree
2019-07-10
B
o
b Du
f
f
[Ada
]
GNATpp: doc
u
ment the
--sour
c
e
-li
n
e-breaks
switc
h
commit
|
commitdiff
|
tree
2019-07-10
Justin Squirek
[A
d
a]
Documentat
i
on
o
f Im
g
attribute out of date
commit
|
commitdiff
|
tree
2019-07-10
Simon Buist
[
Ada] En
t
i
t
y n
a
mes are n
o
t u
n
ique
commit
|
commitdiff
|
tree
2019-07-10
Arnaud Charlet
[Ada] Add an annotation for st
a
t
i
c analysis
commit
|
commitdiff
|
tree
2019-07-10
Hristian Kirtc
h
ev
[
A
da
]
Spelling mi
s
takes in
error messages
commit
|
commitdiff
|
tree
2019-07-10
Eric
B
otcazou
[
A
da] Im
p
rove
s
upp
o
rt for tuning b
r
anch probability
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Yannick
M
oy
[Ada] Allow
multip
l
e units per file
i
n
GNATpr
o
ve
commit
|
commitdiff
|
tree
2019-07-10
Corentin Ga
y
[Ada] sysdep
.
c: cor
r
ect
i
n
c
lude direc
t
ives orderin
g
commit
|
commitdiff
|
tree
2019-07-10
E
r
ic Botcazou
[A
d
a] GNAT R
M
:
a
dd
n
ote
about
debuggers for Scalar
_
Storage_Orde
r
commit
|
commitdiff
|
tree
2019-07-10
Hristian Kirtchev
[Ada]
S
p
urious error on case expression with limi
t
ed
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Hristi
a
n Kirtchev
[Ada] Minor
r
efor
m
atting
commit
|
commitdiff
|
tree
2019-07-10
Joffrey Hu
g
uet
[Ad
a
]
Add
c
ontracts
to Strings libraries
commit
|
commitdiff
|
tree
2019-07-10
Doug Rupp
[
A
da] Vxwork
s
7r
2
SR
0
610 coalesced some macr
o
values
commit
|
commitdiff
|
tree
2019-07-10
Doug
R
upp
[Ada]
The
e
nviron m
a
cro
is broke
n
on vxworks7r2 SR0610
commit
|
commitdiff
|
tree
2019-07-10
Patrick Bern
a
rdi
[Ada] Ne
w
p
o
r
t for ppc-vx7r2
commit
|
commitdiff
|
tree
2019-07-10
Hri
s
tian Kirtchev
[Ada] Elaboratio
n
or
d
er v4
.
0 a
n
d
c
ycle detection
commit
|
commitdiff
|
tree
2019-07-10
Yan
n
ick Moy
[
Ada
]
Fi
x
crashes
on ownership checking in SPARK
commit
|
commitdiff
|
tree
2019-07-10
Jav
i
er Miran
d
a
[Ada] Missin
g
im
p
licit interface type con
v
ersi
o
n
commit
|
commitdiff
|
tree
2019-07-10
Ed S
c
ho
n
b
e
rg
[
A
d
a
] Spurious error
o
n overloaded
equality in po
s
tc
o
ndition
commit
|
commitdiff
|
tree
2019-07-10
H
ristian
Kirtchev
[
A
d
a
] Elabo
r
ation ord
e
r
v
4
.
0
a
nd linker
s
w
i
t
ches
commit
|
commitdiff
|
tree
2019-07-10
G
ary Dis
m
u
k
es
[Ada] Minor r
e
for
m
atting
commit
|
commitdiff
|
tree
2019-07-10
Yannick Moy
[Ada] Use renami
n
gs
i
n
G
N
ATpr
o
v
e mo
d
e fo
r
side-effect
s
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Ed Schon
b
e
r
g
[
Ada] Acces
s
t
o
uniniti
a
l
ized m
e
m
o
r
y by p
r
edi
c
ate check
commit
|
commitdiff
|
tree
2019-07-09
Justin
Squirek
[Ada] Crash o
n
'
Img attribute
commit
|
commitdiff
|
tree
2019-07-09
Eric
B
ot
c
azou
[Ada]
S
ys
t
em
.
OS_Interface: fix Cr
i
tical_Section
.
SpinC
o
unt
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Justin Squirek
[Ada]
W
arning
n
e
eded on an
o
nymous acc
e
ss typ
e
a
l
locators
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[
Ada] Crash
/
in
f
inite
loop
on p
r
o
g
ra
m
with m
u
ltip
l
e
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
H
ri
s
tian Kirtchev
[Ada
]
Elabor
a
tion
order v4
.
0 and generic instanti
a
tion
s
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ada] R
e
format comments
commit
|
commitdiff
|
tree
2019-07-09
H
ristian
Kirtchev
[Ada] T
a
sk-
r
e
l
a
t
ed
cir
c
ular
i
t
i
es
i
n
E
l
aboration order
.
.
.
commit
|
commitdiff
|
tree
2019-07-09
Piot
r
Troja
n
ek
[Ad
a
] Exp_Util: minor refact
o
ri
n
g
commit
|
commitdiff
|
tree
2019-07-09
Arnau
d
Charl
e
t
[
Ada] Disabl
e
c
alls to Abort
defer/undefe
r
when ZCX_By_
D
efault
commit
|
commitdiff
|
tree
next