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] Complete the more extended AST traversal used in GNATprove
2019-08-13
Yann
i
c
k
Moy
[Ada] Com
p
lete th
e
more extended AST traversa
l
us
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-08-13
C
laire Dross
[Ada]
Ex
t
end range ty
p
e in se
a
r
ch primitives of fo
r
mal
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Dmitriy An
i
simkov
[
Ada] Fix IPv6 numeric address
d
e
tection
commit
|
commitdiff
|
tree
2019-08-12
D
mitriy Anisimkov
[Ada] Ne
w
parameter Quiet for procedure GNAT
.
Command_L
i
ne
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
E
d
Schonberg
[Ada]
M
issing check on ou
t
bound parameter
o
f a non
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Ed S
c
honberg
[Ada] Crash on illegal
l
e
f
t
-han
d
side in assignment
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Small comme
n
t
tweaks for 3
predicates o
n
bit
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Eric
B
o
tca
z
ou
[Ada] Fix int
e
r
n
al e
r
ror on
c
omparison of
u
naligned
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
B
o
b
Duff
[A
d
a] Do not s
u
ppre
s
s checks
i
n instances of internal
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
B
ob Duff
[
A
d
a
] Prevent c
r
ash in
I
s_Reachable
commit
|
commitdiff
|
tree
2019-08-12
B
ob D
u
ff
[Ada] Prevent crash in Put
_
S
caled
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[A
d
a
]
Remov
e
doc for la
n
guage version switches
commit
|
commitdiff
|
tree
2019-08-12
Gary Dism
u
kes
[Ada] Hang on
loop in
g
eneric
w
ith
subtyp
e
i
n
di
c
ation
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Improper error message on e
q
uality
o
p with different
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Bob
D
uff
[Ada] Mi
n
or cleanups in e
x
ception handl
i
ng
commit
|
commitdiff
|
tree
2019-08-12
Justin Squirek
[Ada]
Implement Ada
.
D
i
rector
i
e
s
.
Hierarchical_
F
ile_Names
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Imp
r
ove
e
rror messag
e
for Ob
j
ec
t
_Size clause
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Gary
Dismukes
[Ada]
Suppress_Initiali
z
atio
n
n
o
t
re
s
pect
e
d
for
p
rivate
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick
Moy
[Ada] New
asp
e
ct
/
pra
g
ma No_Caching
for
analysis of
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] A
d
apt new
e
xtended traversal of AS
T
to have
o
ptional
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick M
o
y
[Ada] More p
r
eci
s
e
handlin
g
o
f Size/O
b
ject_Size in
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] SPARK:
d
isabl
e
expansion
o
f
E
n
um_
R
ep
commit
|
commitdiff
|
tree
2019-08-12
Justin Squirek
[Ada] Inconsistent compile time Constraint_Err
o
r warni
n
g
commit
|
commitdiff
|
tree
2019-08-12
Eric
Botcazou
[Ada] Elim
i
nate redundant r
a
n
g
e
ch
e
ck
s
on conversions
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[
A
da] Sprint
:
minor co
m
me
n
t
twe
a
k
commit
|
commitdiff
|
tree
2019-08-12
Er
i
c
B
otcazou
[Ad
a
]
Fix
lea
k
of Do_Ra
n
ge_Chec
k
flag in -gnat
V
a mode
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] Extended trav
e
rsal
s
ubprograms for GN
A
Tprove
commit
|
commitdiff
|
tree
2019-08-12
J
e
rom
e
L
ambourg
[
Ada]
V
xWorks: call s-
t
popsp
.
Self
only w
h
en needed
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[A
d
a] P
l
ug
s
mall l
o
ophole in Discrete_Ra
n
ge_Chec
k
commit
|
commitdiff
|
tree
2019-08-12
E
ric Botc
a
zo
u
[
Ada] Add speci
a
l bypa
s
s for obsolete c
o
de pattern
commit
|
commitdiff
|
tree
2019-08-12
E
r
ic Botca
z
o
u
[Ad
a
] Fix missing range check for In/Out
p
a
ramete
r
.
.
.
commit
|
commitdiff
|
tree
2019-08-12
Eric
Bot
c
azo
u
[
A
da] Fix inco
r
rect Do_Ra
n
g
e
_Check on
t
yp
e
conversion
commit
|
commitdiff
|
tree
2019-07-23
E
d Schonber
g
[
A
da]
A
spect CPU may depe
n
d
o
n a d
i
scr
i
m
i
nant of a
.
.
.
commit
|
commitdiff
|
tree
2019-07-23
Eric Botc
a
zou
[Ada] Plug s
m
all
loophol
e
in Generat
e
_Range
_
Check
commit
|
commitdiff
|
tree
2019-07-23
Eric
B
otcaz
o
u
[
Ada] Eliminate redun
d
ant overflow checks for co
n
versions
.
.
.
commit
|
commitdiff
|
tree
2019-07-23
Eric Bo
t
cazou
[Ada]
M
ino
r
tweak to -gnatR output
commit
|
commitdiff
|
tree
2019-07-23
E
d
Schonberg
[
Ada] Iterators a
r
e view
-
specific
commit
|
commitdiff
|
tree
2019-07-23
Yannick M
o
y
[
Ada] Issue error on
SPARK own
e
rship ru
l
e violati
o
n
commit
|
commitdiff
|
tree
2019-07-23
Yann
i
ck
Moy
[Ad
a
] Fix
b
i
nd
i
ng of
g
host
u
nits w
i
t
h
f
inalize
r
commit
|
commitdiff
|
tree
2019-07-22
Eric
B
otcazou
[
A
da] More co
m
plete in
f
o
r
mation
l
evel for -gnatR4
o
u
tpu
t
commit
|
commitdiff
|
tree
2019-07-22
Eric
B
otcazou
[Ada] Sinfo: update
d
o
c
a
bout Do_Divisio
n
/
Ov
e
r
l
flow
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric
B
o
tcaz
o
u
[Ada] Fix missing
c
he
c
k f
o
r no-o
p
c
o
nve
r
sion to fixed
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Sc
h
onberg
[Ada] Remove misl
e
ading
w
a
rning/
s
ug
g
estion in membership
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Yannick M
o
y
[
A
da] Adapt ownership
checking in SP
A
RK to traversal
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[A
d
a
] Overhaul
c
o
de implementing conv
e
rsions involving
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic Bo
t
caz
o
u
[A
d
a]
S
p
r
i
n
t: fix p
a
sto
in comment
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Spuriou
s
err
o
r passi
n
g
acc
e
ss to class-wide in
t
erf
a
ce
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
r
ic Botcazou
[Ada] Small enhance
m
ent to the
-
gna
t
D
/-gn
a
tG
output
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Bee
f
up comment in exp_a
t
tr
.
adb
commit
|
commitdiff
|
tree
2019-07-22
Ed
Schonberg
[A
d
a] O
p
timization los
e
s exception in i
m
proper use
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Sc
h
onberg
[Ada] Misleading warning o
n
v
a
riab
l
e not assigned
commit
|
commitdiff
|
tree
2019-07-22
Jav
i
er M
i
randa
[
A
da] Usage of si
g
n
ed type in a
r
ray b
o
unds in CCG
commit
|
commitdiff
|
tree
2019-07-22
Yannick M
o
y
[
A
da] Issue warning or error
message on ignored typi
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric
Bot
c
azou
[Ada] Fi
x
spurious visibility erro
r
for
ta
g
ge
d
type
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Er
i
c Botcazou
[Ad
a
] Remo
v
e o
b
s
olete Is_For_Acc
e
s
s
_Subtype machinery
commit
|
commitdiff
|
tree
2019-07-22
Eric
Botcazo
u
[Ada] Spuriou
s
er
r
or on private subtype of derived
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed
S
c
honberg
[Ada] Type incon
s
istency in floating_po
i
n
t type declaration
s
commit
|
commitdiff
|
tree
2019-07-22
Er
i
c Botca
z
ou
[
Ada]
F
u
r
ther
f
ix non-stored d
i
scriminant in aggregate
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Gary Dismuk
e
s
[
Ada] Premature finalization of contr
o
lled temporar
i
es
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[
Ad
a
] Internal
e
r
ror
o
n iterator for lim
i
t
ed
privat
e
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
E
ric Botcazou
[
A
da] Fix mis
s
ing Constraint_Error for
Enu
m
_Val attribute
commit
|
commitdiff
|
tree
2019-07-22
Ni
c
olas Roche
[
A
d
a]
Ensure mean
i
ngl
e
ss
digits
in a
s
tr
i
ng are
d
iscarded
commit
|
commitdiff
|
tree
2019-07-22
Eri
c
Botcazou
[Ada]
F
ix
wrong
assumption on
bounds in GNAT
.
En
c
ode_Str
i
ng
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazo
u
[Ada
]
F
ix sp
u
rious loop warnin
g
f
o
r
fun
c
tion wit
h
Out
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
N
icola
s
Roche
[Ada]
E
ns
u
re
C
trl-C is
not e
m
ited
o
n
termi
n
a
ted pro
c
e
s
s
e
s
commit
|
commitdiff
|
tree
2019-07-22
Ed Sch
o
nber
g
[
A
d
a
] Incorrect values in co
n
vers
i
on from fixed-point
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
J
avier M
i
randa
[Ada]
C
rash in C++ co
n
structo
r
without external an
d
.
.
.
commit
|
commitdiff
|
tree
2019-07-22
Ed Schon
b
erg
[Ada] Sp
u
ri
o
us warn
i
n
g ab
o
ut
a
use
l
ess assignment
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Fix internal
e
rror on array sl
i
ce i
n
l
o
op and
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Piotr Tro
j
anek
[A
d
a] Use high-le
v
el wrap
p
ers fo
r
Lib
.
U
n
its
.
Table
commit
|
commitdiff
|
tree
2019-07-11
Piotr Tr
o
janek
[Ada] Min
o
r refactoring
commit
|
commitdiff
|
tree
2019-07-11
Y
a
nnick M
o
y
[A
d
a] Avoid spurious errors
o
n d
i
mension
a
lity che
c
king
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Yannick Moy
[Ada]
Flip th
e
meaning of debug s
w
itch -gna
t
dF
commit
|
commitdiff
|
tree
2019-07-11
Yannick
M
oy
[A
d
a] Avoid spurio
u
s warning on assertions
w
ith Loop_Ent
r
y
commit
|
commitdiff
|
tree
2019-07-11
Clai
r
e
Dross
[Ada] Refactor ownersh
i
p pointer
che
c
king in
S
PARK
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Pat
r
ick Bernardi
[Ada
]
Minimal binder
commit
|
commitdiff
|
tree
2019-07-11
Eric Botc
a
zou
[Ada] M
a
kefile
.
rtl: add a
w
ar
n
ing
about compilation
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Ed
S
cho
n
berg
[Ada] Crash on protected type with
self-re
f
er
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Dm
i
tr
i
y A
n
isimkov
[A
d
a
]
GNAT
.
So
c
kets: support ICMP, IGM
P
and RAW IP
p
r
o
tocol
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Claire
D
r
os
s
[
Ada] Memory corruption when usin
g
f
o
r
mal ha
s
hed
sets
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
A
rna
u
d
Charlet
[A
d
a] errn
o
.
c: remo
v
e obsole
t
e suppor
t
for
M
a
RTE OS
commit
|
commitdiff
|
tree
2019-07-11
E
d
Schonbe
r
g
[Ada] Remove redundant predicate
checks
commit
|
commitdiff
|
tree
2019-07-11
Hristian
K
irtc
h
e
v
[Ada
]
El
a
boration order
v
4
.
0 an
d
o
u
t
p
ut of
d
ependencies
commit
|
commitdiff
|
tree
2019-07-11
Dmitriy Anisimkov
[Ad
a
] GNAT
.
Sock
e
ts
:
add suppor
t
for RAW sock
e
ts
commit
|
commitdiff
|
tree
2019-07-11
Jus
t
in Squirek
[Ada] Pra
g
ma Unrefe
r
enced tri
g
gers undef
i
ned referen
c
e
commit
|
commitdiff
|
tree
2019-07-11
Bob Duff
[A
d
a] Fix inconsistent documentati
o
n for gna
t
m
etric
commit
|
commitdiff
|
tree
2019-07-11
Bob Duff
[Ada] Docume
n
t gnatpp's --spaces-only
switch
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtche
v
[Ada] Infinite
loop
o
n illegal declaration
commit
|
commitdiff
|
tree
2019-07-11
Hr
i
stian Kirtc
h
ev
[Ada] Mino
r
reform
a
t
t
i
ng
commit
|
commitdiff
|
tree
2019-07-11
Hristi
a
n Kirtc
h
ev
[Ada
]
Internal crash on illegal re
n
a
ming
commit
|
commitdiff
|
tree
2019-07-11
E
d
Schonberg
[Ada] C
o
mpile-time evaluation of predica
t
e che
c
ks
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtch
e
v
[Ada] Li
n
k error
due to neg
a
ted i
n
t
r
i
nsi
c
comparison
commit
|
commitdiff
|
tree
2019-07-11
Thomas Quinot
[A
d
a] Fix cra
s
h
on dynamic
p
redicate wh
e
n
generating
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristian Kirtchev
[
Ada] Missing finalizatio
n
o
f
privat
e
p
r
o
tected type
commit
|
commitdiff
|
tree
2019-07-11
Eric
B
o
tca
z
ou
[Ada
]
New Repinfo
.
Input un
i
t to read back JSON rep
r
e
s
entatio
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Justin S
q
uirek
[Ada]
N
o wa
r
n
i
ng for guaranteed accessibility check
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Arnaud Cha
r
let
[A
d
a] GNAT
.
T
hreads: Add a
G
et_Thread
o
v
e
r
l
o
ad t
a
king
.
.
.
commit
|
commitdiff
|
tree
2019-07-11
Hristia
n
K
i
rtchev
[Ada] Elaborati
o
n or
d
e
r
v
4
.
0 and
i
nfinite loops
commit
|
commitdiff
|
tree
2019-07-11
Yann
i
ck Moy
[Ada] A
v
oid sp
u
riou
s
warning on w
r
ong orde
r
of oper
a
tor
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Dmitriy Anis
i
mkov
[Ada] System
.
Strings
.
Stream_Ops: do not dep
e
nd on Stream_IO
commit
|
commitdiff
|
tree
next