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] Raise Constraint_Error in overflow case involving rounding
2019-09-17
Yan
n
ick
M
o
y
[Ada]
R
aise Constraint_Error in overflow
c
ase involving
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[
Ada] F
i
x possible sup
p
ressed overflows in
a
rithmetic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
D
m
itriy
A
nisimko
v
[Ada] Force even timestamp
in Windows A
L
I files
commit
|
commitdiff
|
tree
2019-09-17
Yann
i
ck Moy
[Ad
a
] GNATprov
e
:
a
vo
i
d
cra
s
h on ille
g
al borrow du
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bo
b
Duff
[
Ada] Cl
a
rify documentat
i
on for
S
tack_Usage
commit
|
commitdiff
|
tree
2019-09-17
Steve Baird
[A
d
a
]
Don't
accept illegal (e
.
g
.
,
I
n
t
e
g
e
r
'(nu
l
l)) generic
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ad
a
] Support chained
c
al
l
s
t
o traversal functions
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed
F
alis
[Ada] Remove section on pragma No_Run_Time
commit
|
commitdiff
|
tree
2019-09-17
V
a
dim Godunko
[Ada] Close fi
l
e
de
s
criptors allocate
d
for tty only
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[A
d
a
]
G
NAT
.
Ex
p
ect
(Ex
p
ect_I
n
ternal):
T
ry t
o
call 'poll
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[
Ad
a
] Avoid to
c
lose irrelevant file des
c
ripto
r
s
commit
|
commitdiff
|
tree
2019-09-17
Piotr Tro
j
ane
k
[Ada] A new
u
t
ility
rou
t
ine for detecti
n
g a
t
t
ribute
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[
A
da] Do no
t
inlin
e
dis
p
atching operat
i
ons in GNAT
p
rove
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ed Schonberg
[A
d
a
]
In
a
ge
n
eric use Presa
n
al
y
ze_Spec_Ex
p
re
s
sion
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Ja
v
i
er
M
iran
d
a
[Ada] Missing tagged
type de
c
oration in corresponding
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] A
d
a 2
0
20
:
R
ai
s
e
exp
r
essions in limited contexts
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Pi
o
t
r
Trojanek
[A
d
a] Ign
o
re missing ALI
file
s
in
G
NATprove mode
commit
|
commitdiff
|
tree
2019-09-17
A
r
n
a
ud Cha
r
let
[Ada] PR
ada/
9
1268 Do not r
e
define macr
o
s
commit
|
commitdiff
|
tree
2019-09-17
Arna
u
d Charlet
[A
d
a
]
Refi
n
e
c
hange for bit-p
a
cked sl
i
ces
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[
Ada] Adding assert
i
ons on ex
t
ra for
m
als f
o
r BIP function
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
B
ob Duff
[Ada] Avoid
touching potent
i
all
y
nonexist
e
n
t
m
emo
r
y
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anisimkov
[Ada] Suppo
r
t for
l
ocal unix
sockets in GNAT
.
S
o
ckets API
commit
|
commitdiff
|
tree
2019-09-17
E
ric
B
ot
c
azou
[Ada]
F
ix wrong
value
o
f 'S
i
ze
for
slic
e
s of bit-packe
d
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Bob
Duff
[Ada] Refine co
n
dit
i
o
n
s
for calling Copy_Bit
f
ield
commit
|
commitdiff
|
tree
2019-08-21
Vadim G
o
dunko
[Ada] Improve
d
etection of end of t
h
e process by GNAT
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
P
i
o
tr Trojanek
[Ada] Minor r
e
factoring
s
/ref
o
rmat
t
ings
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Allow for of it
e
ration on for
m
a
l vectors
commit
|
commitdiff
|
tree
2019-08-21
Yann
i
ck Moy
[Ada] More precise
p
rop
a
g
a
t
ion of
Size attr
i
bute in
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick M
o
y
[Ada
]
Up
d
a
te
references t
o
the S
P
ARK RM
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] More complete informati
o
n level fo
r
-gnatR
4
out
p
ut
commit
|
commitdiff
|
tree
2019-08-21
Bob Duff
[
A
da] A
d
d th
e
Syste
m
.
Bitfield
_
U
tils run
t
ime unit
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojan
e
k
[Ada]
B
indo
.
G
raphs: M
i
nor typo fix
e
s
commit
|
commitdiff
|
tree
2019-08-21
Gary Dismukes
[Ada] Un
d
e
f
i
n
e
d
m
aster in task with l
i
mited
c
lass-
w
ide
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Eric
B
otcazou
[Ada]
F
ix t
y
pe
m
ismatch
i
n
e
xtended return sta
t
eme
n
t
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
P
iotr Trojane
k
[Ada] Do n
o
t r
e
write argument of p
r
ag
m
a Entry_Queue_Length
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick Mo
y
[A
d
a] Avoid sp
u
r
ious err
o
r
in GNATprove mode on non
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada
]
Ignore subprogram address in owner
s
hi
p
c
h
ecking
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] Fix assertio
n
failure on derived
priva
t
e prote
c
ted
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Pi
o
tr Trojanek
[
Ad
a
] Replace low-level me
m
b
e
rsh
i
p test
s
w
i
th hig
h
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[Ada]
M
issin
g
att
r
ibut
e
update in new
_
copy_tree
commit
|
commitdiff
|
tree
2019-08-21
Joel B
r
obecker
[Ada] d
o
c/Makefile: au
t
om
a
tically create
d
oc
/
shar
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-21
Justi
n
Squirek
[A
d
a] Max_Entry_Qu
e
u
e_Length aspect for protected en
t
ries
commit
|
commitdiff
|
tree
2019-08-20
Arn
a
ud Charl
e
t
[Ada] Unn
e
sting: take inl
i
ning (-gnatn) into account
commit
|
commitdiff
|
tree
2019-08-20
Ed S
c
honbe
r
g
[Ada] Crash on a St
o
rage_Si
z
e aspect dep
e
nding on a
t
t
r
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
P
iot
r
Trojanek
[Ada]
Inconsistent scope chain due to
quantified express
i
on
commit
|
commitdiff
|
tree
2019-08-20
Yannick Moy
[Ada] Adapt
GNATprove expansion for slice
s
wit
h
a
c
cess
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob
D
uff
[Ada] Impro
v
e ef
f
i
c
iency
o
f aggr
e
gates
with
<
>
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Improv
e
spe
e
d of discriminated return
t
ypes
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismukes
[Ada] Mino
r
reforma
t
t
i
n
gs
commit
|
commitdiff
|
tree
2019-08-20
D
m
itr
i
y Anisim
k
ov
[Ada] Set GNAT
.
OS_Lib
.
GM_Split'
s
gr
a
n
u
lar
i
ty back to
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed
Schonberg
[Ada
]
Fi
x
propagation of
compiler
i
nternal flag
commit
|
commitdiff
|
tree
2019-08-20
E
d Sc
h
onberg
[
A
da] Crash
on Lo
o
p
_
Ent
r
y for while_loop inv
o
lving
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Ed
Schonberg
[Ada] Spur
i
ou
s
e
r
ror in dispatch
i
ng
c
a
ll with
c
l
a
ss
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bo
b
Duff
[A
d
a] Suppr
e
ss Ini
t
ialize_Sc
a
lars for Persistent_BSS
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismuk
e
s
[Ada] Illegal limited
f
unct
i
on call accepte
d
in a type
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Patrick B
e
rn
a
r
d
i
[Ad
a
]
New pragma Aggregate_Individually_Assign
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada]
E
nable delta_aggregate only
in Ada 2020 mode
commit
|
commitdiff
|
tree
2019-08-20
Bob D
u
f
f
[Ada
]
I
m
p
rove generat
e
d
c
o
d
e
for initialization
o
f
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Er
i
c
Botcazou
[A
d
a] More complet
e
informatio
n
level for -gna
t
R
4
outp
u
t
commit
|
commitdiff
|
tree
2019-08-20
Bob Du
f
f
[Ada] Fix a foldi
n
g issue with S
y
stem'To_Ad
d
re
s
s
commit
|
commitdiff
|
tree
2019-08-20
Bo
b
Du
f
f
[Ada] Warn on Un
c
h
eck
e
d
_
Convers
i
on to
z
ero-
s
ized
array
commit
|
commitdiff
|
tree
2019-08-20
B
ob Duff
[
Ada] Effi
c
i
e
ncy impr
o
vement i
n
bounde
d
o
rdered cont
a
iners
commit
|
commitdiff
|
tree
2019-08-20
Bob D
u
f
f
[Ada] Wa
r
ning for
out
-
of-
o
rder record
repres
e
ntati
o
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
B
ob Duff
[Ada] Object_Size
clause speci
f
yin
g
0 bi
t
s is illegal
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Pragm
a
War
n
i
n
g_A
s
_Error w
o
rks
f
or style warnings
commit
|
commitdiff
|
tree
2019-08-20
Eri
c
Botcazo
u
[Ada
]
G
et rid of linear
searches
i
n L
i
b
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Sem_Ch13: fix un
i
n
i
tialized pa
r
ameter sta
t
i
c
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[
A
da] R
e
vert cha
n
ge
for gnatprove that
i
s no longer
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Arnaud Char
l
et
[Ada] Docum
e
nt
r
equirements for Prag
m
a
Lock_Free
commit
|
commitdiff
|
tree
2019-08-20
Philippe Gil
[Ada] In
i
tialize gnat_argc/gnat_argv only the first
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Fix documentati
o
n for GNAT
.
Comma
n
d_Line
.
Exit_From_Co
m
m
.
.
.
commit
|
commitdiff
|
tree
2019-08-20
Pierre-Marie de
.
.
.
[Ada] Add missing
d
o
t
at the end
of lang
.
opt
doc for
.
.
.
2019-08-20
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Bob D
u
f
f
[Ada] Fix documentation for stre
a
m oriented attrib
u
t
e
s
commit
|
commitdiff
|
tree
2019-08-19
Gary
D
ism
u
kes
[Ada] Einfo: update
c
omments for E_Function and E_Pr
o
c
edure
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ad
a
] Fix bogus co
m
pilation error wit
h
E
lab
o
r
a
t
e_Bo
d
y
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
B
ob Duff
[Ada] Suppr
e
s
s
warnings o
n
unr
e
ferenc
e
d param
e
t
e
rs
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Ed
S
c
honberg
[
A
da] Crash on object initialization
that is call to
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Dm
i
triy
A
nis
i
mko
v
[
A
d
a
] Conversion routines betw
e
en
G
NAT
.
OS_Lib
.
O
S
_T
i
me
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[
A
da]
In
c
orrect co
d
e
for -gnateV swit
c
h
commit
|
commitdiff
|
tree
2019-08-19
Pierre-Mar
i
e de
.
.
.
[Ada] Imp
o
rt
d
ocum
e
ntation fro
m
t
he RM
f
or various
.
.
.
2019-08-19
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Jerome Guitton
[Ada] Generate
ada_target_properties
commit
|
commitdiff
|
tree
2019-08-19
Er
i
c
B
otcazou
[Ada] Lift restriction on in
s
tanti
a
tions
that are c
o
mpilatio
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[A
d
a] F
u
rther cleanup in inlining
m
achinery
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonb
e
r
g
[Ad
a
]
L
eg
a
lity of pr
o
tec
t
e
d subp
.
i
mplementing interfac
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Ja
v
ie
r
Mirand
a
[Ada] Buff
e
r readin
g
o
verflow in dispatch tab
l
e initializat
i
on
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[
Ada]
P
rocess type
e
xtensions for
-
gnatw
.
h
commit
|
commitdiff
|
tree
2019-08-19
Gary Dis
m
u
kes
[Ada] Impr
o
v
e
warnings about
"
too few elements
"
and
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Patrick B
e
rnardi
[
Ada] Ena
b
le use of
G
NAT
.
Soc
k
ets
for VxWorks
R
TP
commit
|
commitdiff
|
tree
2019-08-19
E
r
i
c Botcazou
[Ad
a
] Fix incorre
c
t s
t
ub gene
r
ation fo
r
types in instances
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonber
g
[Ada]
I
mprove
p
l
acement
o
f
warn
i
ng on formals of generic
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[
A
da] Factor out the "size for& too small
.
.
.
" error
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada]
Fix inter
n
a
l
err
o
r o
n
sub
p
r
o
g
ram instantiati
o
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Bob
D
uff
[Ada] Doc
u
ment mi
s
sing gnatmetr
i
c
s
wi
t
c
h
es
commit
|
commitdiff
|
tree
2019-08-19
Piotr Trojane
k
[
A
da] Minor refactorin
g
s
commit
|
commitdiff
|
tree
2019-08-19
Cl
a
i
r
e Dross
[Ada] A
l
low reading a borrowe
d
object insid
e
a call
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Joffr
e
y Huguet
[Ada]
Add
f
ormal
fun
c
t
ion pa
r
ameter equality
t
o S
P
A
R
K
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Opt: cl
e
an up left-ov
e
rs of earl
i
er implementation
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
E
d Schonberg
[Ada] Representation cla
u
se for derived
enume
r
ation
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Yannick Moy
[Ada] Do not
s
kip non-aliasing
c
hecking when inlining
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
E
r
ic Botc
a
zou
[Ada] Further cl
e
a
nup in
i
nli
n
ing
machin
e
ry
commit
|
commitdiff
|
tree
next