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] Extend the applicability of Thread_Local_Storage to composite types
2018-05-30
E
d
Schonberg
[Ada]
E
xtend the
a
pp
l
icabi
l
it
y
of Thread_Loc
a
l_Storage
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Yannick Moy
[Ada]
C
orrectly ignore As
s
ertion
_
Policy
i
n modes C
o
dePe
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
J
u
s
tin Squirek
[Ada] ACATS 4
.
1G - CXAG003 - Name_C
a
se_Equivalenc
e
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Hristian
K
irtchev
[Ada] Mi
n
or r
e
format
t
i
n
g
commit
|
commitdiff
|
tree
2018-05-30
Pas
c
al Ob
r
y
[Ada] Ad
d
supp
o
r
t for
D
efine_Switch with a
callback
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
G
ary Dismuke
s
[
A
d
a] Fix se
v
eral typo
s
commit
|
commitdiff
|
tree
2018-05-30
Oliv
i
er Hain
q
ue
[A
d
a
] Cr
a
ft
.
ctors/
.
dtors
sections manually
f
or VxWorks
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Bob D
u
ff
[Ada] Spell
preanal
y
sis, p
r
ea
n
alyze correctly
commit
|
commitdiff
|
tree
2018-05-30
Bob Duff
[
A
d
a] Minor comment
rework in GNAT
.
Secondary_Stack_Info
commit
|
commitdiff
|
tree
2018-05-30
Piotr T
r
ojanek
[Ada] R
e
use
I
s_Rewr
i
te_Substituti
o
n where poss
i
b
le
commit
|
commitdiff
|
tree
2018-05-30
Piotr
Trojane
k
[Ada] Sim
p
lify conditions by removing always tr
u
e conjuncts
commit
|
commitdiff
|
tree
2018-05-30
Hristia
n
Kirtchev
[Ada]
S
purious error on legal synchron
i
zed consti
t
u
e
nt
commit
|
commitdiff
|
tree
2018-05-30
E
d
Schonber
g
[Ad
a
]
R
efine logic to set Needs_Acti
v
ation
_
Reco
r
d on
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Eric Botca
z
o
u
[Ada] Mino
r
comment ad
d
itio
n
commit
|
commitdiff
|
tree
2018-05-30
Bob Duff
[
A
da] Secondary stack leak in "for
X of
.
.
.
"
l
o
o
ps
commit
|
commitdiff
|
tree
2018-05-30
Arnaud Charlet
[Ada] Igno
r
e out
of range val
u
es f
o
r
System
.
P
riority
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Ed Schonberg
[
Ada] Unnest
i
ng: l
o
ok for specification of mai
n
unit
commit
|
commitdiff
|
tree
2018-05-30
Ed
Schon
b
er
g
[Ada]
U
nnesting: properly handle local subprog
r
a
m
i
n
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Bob Duff
[Ada]
M
inor comment f
i
x
commit
|
commitdiff
|
tree
2018-05-30
Ed Schon
b
erg
[Ada] Un
n
e
s
ting: properly
handle subprogram ins
t
antiat
i
ons
commit
|
commitdiff
|
tree
2018-05-30
Hristi
a
n Kirtchev
[A
d
a] Secondar
y
stack implementation clean up
commit
|
commitdiff
|
tree
2018-05-30
Hristian Kir
t
chev
[
A
d
a] M
i
nor reformatting
commit
|
commitdiff
|
tree
2018-05-30
Arn
a
ud Charlet
[Ada
]
M
o
v
e s
p
ecial flags f
o
r
Ada r
u
ntime files
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Arnaud Cha
r
let
[Ada] Mo
v
e t
a
rge
t
pair settings in Make
f
iles
commit
|
commitdiff
|
tree
2018-05-29
Er
i
c Botcazou
[Ada] Adjust do
c
u
m
entation of -gnatn switch
commit
|
commitdiff
|
tree
2018-05-29
Arnau
d
Char
l
et
[Ada] Fix
t
ypos in
M
a
kefile
.
in
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ada] Attach
r
eference t
o
finalizer
s
to tree
commit
|
commitdiff
|
tree
2018-05-29
Javier Mi
r
anda
[Ada] Wr
o
ng equa
l
ity o
n
untagged private ty
p
e
commit
|
commitdiff
|
tree
2018-05-29
E
d
Schonber
g
[
A
d
a] Unnesting: handle statement
s
equences that
i
nclu
d
e
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Eric Botcazou
[Ada] Plug small hol
e
in -gna
t
R
outp
u
t
commit
|
commitdiff
|
tree
2018-05-29
Ed Sc
h
onberg
[Ada] U
n
n
e
sting: do not
g
ener
a
te push/pop fo
r
exceptions
commit
|
commitdiff
|
tree
2018-05-29
E
d
S
chonberg
[Ad
a
] Improper behavio
r
of floating-poi
n
t
a
ttribu
t
es
commit
|
commitdiff
|
tree
2018-05-29
Ed
S
chonber
g
[
A
da] Clarify us
e
of
A
ctiva
t
ion_Re
c
ord_Component
commit
|
commitdiff
|
tree
2018-05-29
Ed Schon
b
erg
[Ada] Set sc
o
pe
o
f com
p
on
e
nt
o
f su
b
type
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ada] Unnesting: exclude se
l
ected compone
n
t
s whose
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Arn
a
ud Charlet
[Ada] Turn Ad
a
.
Cal
e
nda
r
.
Epoch_Offset into a functio
n
commit
|
commitdiff
|
tree
2018-05-29
Olivier
H
ai
n
q
u
e
[
Ada] Ad
d
system-vxwo
r
ks7
vari
a
nts
of sy
s
tem
.
a
d
s
f
i
les
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Olivier Hai
n
q
u
e
[Ada
]
T
i
ghten crtbegin files fo
r
VxWork
s
commit
|
commitdiff
|
tree
2018-05-29
Piotr
Trojanek
[Ada] Min
o
r
reformatting
commit
|
commitdiff
|
tree
2018-05-29
Joe
l
Bro
b
ecker
[Ada]
G
NAT UGN
:
upda
t
e p
a
cka
g
e requirements for 32bit
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Eric Botcazou
[Ada] Ad
j
ustment of
b
e
h
avior of ne
w
-gnatRj
s
witch
commit
|
commitdiff
|
tree
2018-05-29
Pascal Obry
[A
d
a] Fix con
s
t
raint error in Normali
z
e_Pathna
m
e
commit
|
commitdiff
|
tree
2018-05-29
P
a
s
c
al Obry
[
Ada]
S
ystem
.
Os_
L
ib: minor ref
o
rmatting
commit
|
commitdiff
|
tree
2018-05-29
Doug Rupp
[Ada] New f
u
nc
t
i
o
n to return na
n
oseconds from Uni
x
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
E
r
ic Botcazou
[
A
da]
E
nhan
c
e
o
ut
p
ut
o
f
discr
i
mina
n
ts w
i
th -gnatR in
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
E
ric Bot
c
azou
[Ada]
I
mplem
e
nt machine parsable for
m
at for
-
gn
a
tR
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Er
i
c B
o
tcazou
[Ada] Factor out wo
r
ker
proced
u
re f
o
r
-
gnatR
commit
|
commitdiff
|
tree
2018-05-29
E
r
ic Bot
c
az
o
u
[
A
da] Minor cleanup
i
n
repinf
o
unit
commit
|
commitdiff
|
tree
2018-05-29
Ric
h
ard Kenner
[Ada
]
Cl
e
a
r
Do_Overflow_
C
heck when inserting
c
o
d
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Arnaud C
h
arlet
[
A
d
a
]
Lib
.
Write:
avoid use o
f
S
y
ste
m
.
C
a
se_Util
commit
|
commitdiff
|
tree
2018-05-29
Doug Rup
p
[A
d
a] Refine
d
ocumentation
of Mon
o
tonic
_
Clock
to reflec
t
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Rich
a
rd Kenn
e
r
[
A
da] Alwa
y
s do ra
n
ge check against 'Fir
s
t
commit
|
commitdiff
|
tree
2018-05-29
Eri
c
Botcazou
[Ada]
Fix irregu
l
a
r
output with -gnatRm
commit
|
commitdiff
|
tree
2018-05-29
Bob Du
f
f
[Ad
a
] Pre
l
iminary work to
a
voi
d
f
u
ll pathnam
e
s in ALI
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Er
i
c Bot
c
azou
[Ada
]
M
i
nor fix
e
s and tweaks to comme
n
ts in the Repinfo
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Eric Botcazo
u
[A
d
a
]
Remove Val
o
p
from the Repinfo unit
commit
|
commitdiff
|
tree
2018-05-28
E
ric Botcaz
o
u
[Ada] Minor cleanup in repinfo unit
commit
|
commitdiff
|
tree
2018-05-28
E
d
S
ch
o
n
b
e
rg
[Ada] U
n
nesting: check index express
i
ons for uplevel
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Un
n
e
s
t
i
ng: allow uplevel r
e
f
e
rences to excepti
o
ns
commit
|
commitdiff
|
tree
2018-05-28
Er
i
c Botcazou
[Ada] Fix internal erro
r
on renaming of equality for
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada
]
Imp
r
ove unnesting
for disc
r
i
m
inan
t
s o
f
re
c
ord
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Javier Mi
r
anda
[A
d
a] Fi
x
r
egression o
f
A
C
ATS c
4
6032a
w
it
h
CC
G
back end
commit
|
commitdiff
|
tree
2018-05-28
Yanni
c
k Moy
[Ada] Update FE check fo
l
lowin
g
change in SPARK RM
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Claire Dross
[Ada] Al
l
ow
f
or GNATprove specific versions of routines
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Er
i
c Botc
a
zou
[Ada] Fix
i
nternal error o
n
n
e
sted rec
o
rd type
s
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] In
t
roduce a
new Needs_Activa
t
ion_Record
e
ntity
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Bett
e
r accuracy in float
-
to-fixed conversi
o
n
s
commit
|
commitdiff
|
tree
2018-05-28
E
d
Schonberg
[
Ada] Don't
c
r
e
ate empty acti
v
ation
reco
r
ds
commit
|
commitdiff
|
tree
2018-05-28
Ri
c
hard Kenn
e
r
[Ada] Improv
e
unnesting
o
f indexed references
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] C
o
py
i
ndex
e
x
pression trees rather than relocating
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Arn
a
ud
C
harl
e
t
[Ada] Di
s
regard alignment issues i
n
CodePe
e
r m
o
de
commit
|
commitdiff
|
tree
2018-05-28
Arnaud Charlet
[Ada
]
M
i
nor typo fix in
e
xp_unst
.
a
db
commit
|
commitdiff
|
tree
2018-05-28
Bob Du
f
f
[Ada] Minor clea
n
up imp
l
emen
t
ation of Ada
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Hr
i
stian Kirtchev
[Ada] Cra
s
h
o
n
aspect/pr
a
gma Li
n
ked_Se
c
tion with
-
g
natR2
commit
|
commitdiff
|
tree
2018-05-28
Patrick Bernardi
[Ada] Updat
e
user manual for the
-
D
binder
s
w
itch
commit
|
commitdiff
|
tree
2018-05-28
Gary Dismuke
s
[Ada] Mino
r
r
e
f
o
rmat
t
ing
commit
|
commitdiff
|
tree
2018-05-28
Justin
S
quirek
[Ada] Spurious const
r
a
i
nt
error on a
r
ray
of nul
l
-exc
l
udi
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Hristian
Kirtchev
[Ad
a
]
M
i
nor
r
eforma
t
ting
commit
|
commitdiff
|
tree
2018-05-28
Hri
s
tian Kirtchev
[Ada
]
Spurious erro
r
on
a
s
pect Volatile
commit
|
commitdiff
|
tree
2018-05-28
Eric Botcazou
[Ada] Minor tweak to out
p
ut of -gnatR
commit
|
commitdiff
|
tree
2018-05-28
Ed
Sch
o
nberg
[Ad
a
]
Warning on recur
s
ive
c
a
l
l withi
n
po
s
tcondition
commit
|
commitdiff
|
tree
2018-05-28
Justin Squirek
[
A
d
a
] Mis
l
eading wa
r
ning o
n
unr
e
solvable pack
a
ge na
m
e
commit
|
commitdiff
|
tree
2018-05-28
Y
annick Moy
[Ada] Further e
v
a
luation of typ
e
b
ounds in
G
NATprove
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
E
ric Botc
a
z
o
u
[Ada] Mino
r
internal cleanup in repi
n
f
o
u
nit
commit
|
commitdiff
|
tree
2018-05-25
Nicolas Roche
[Ada]
Improve per
f
orm
a
nce of c
o
nversion from S
t
r
ing
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Patrick Ber
n
ardi
[Ada
]
Re
m
ove
2GB secondary s
t
a
c
k
li
m
it for
64-bit proce
s
s
o
rs
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonb
e
rg
[Ada] Spurious error on fixed-point operation wh
o
se
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Hristian Kirtchev
[Ada
]
Spurious range
c
heck w
i
th In
i
tialize_Sca
l
ars
commit
|
commitdiff
|
tree
2018-05-25
Arnaud
Charlet
[Ada] Remov
e
"constant" attr
i
bute on Osint
.
Unkn
o
wn_Attribut
e
s
commit
|
commitdiff
|
tree
2018-05-25
J
avier
M
iranda
[Ada] Mem
b
ers
h
i
p
test of cl
a
ss-
w
ide inte
r
face
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada
]
Fix exp
a
nsion of quantified expre
s
sion
s
as p
a
r
t
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
H
r
istian
Kirtchev
[Ada] Spurious secondary stack de
p
letion
commit
|
commitdiff
|
tree
2018-05-25
S
e
rgey Ryb
i
n
[
Ada] Document the '-U' optio
n
for gnat
e
lim
commit
|
commitdiff
|
tree
2018-05-25
Ed S
c
h
o
n
b
erg
[Ada] C
r
ash on classwi
d
e
precondi
t
ion on subprogram
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Jus
t
i
n
Squirek
[Ada] Fix for f
r
eezing of ex
p
re
s
si
o
n functions
commit
|
commitdiff
|
tree
2018-05-25
Arnaud C
h
a
r
let
[Ada] Strip too long
expre
s
sions in d
e
bug routines
commit
|
commitdiff
|
tree
2018-05-25
Patrick Ber
n
ardi
[Ada] Disable the creation of th
e
main t
a
sk
secondary
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Doug Rupp
[Ada] Imp
l
em
e
nt
stack
u
n
w
indin
g
f
or Linux on A
A
r
c
h64
commit
|
commitdiff
|
tree
2018-05-25
Justi
n
Squire
k
[Ada] Mino
r
reformatting
commit
|
commitdiff
|
tree
2018-05-25
Piotr T
r
oja
n
ek
[
A
d
a]
F
i
x conven
t
ion f
o
r i
t
e
r
ation with
m
ultiple loop
.
.
.
commit
|
commitdiff
|
tree
next