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] Minor reformatting
2018-05-28
G
ary
Dismukes
[Ada
]
Minor reformatting
commit
|
commitdiff
|
tree
2018-05-28
Justin Squirek
[
Ada] Spuriou
s
constr
a
int error on
ar
r
ay of null-exclu
d
ing
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Hristi
a
n Kirtchev
[Ada] M
i
nor
re
f
ormat
t
ing
commit
|
commitdiff
|
tree
2018-05-28
Hrist
i
an Kirtchev
[Ada] Sp
u
rious err
o
r
on aspect Volatile
commit
|
commitdiff
|
tree
2018-05-28
E
ric B
o
t
c
azou
[Ada
]
M
i
nor tweak t
o
ou
t
pu
t
o
f -gnatR
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonbe
r
g
[Ada]
W
arn
i
ng on recu
r
sive ca
l
l
wit
h
in
postcond
i
tion
commit
|
commitdiff
|
tree
2018-05-28
Justin Squir
e
k
[Ada]
Mis
l
eadi
n
g warni
n
g
o
n
u
n
r
esolvab
l
e
package n
a
me
commit
|
commitdiff
|
tree
2018-05-28
Yannick Moy
[Ad
a
] Fu
r
ther ev
a
luation of ty
p
e bounds in G
N
ATprove
.
.
.
commit
|
commitdiff
|
tree
2018-05-28
Eric Botcaz
o
u
[Ada]
M
inor in
t
ern
a
l cleanup in repinfo unit
commit
|
commitdiff
|
tree
2018-05-25
Ni
c
olas R
o
c
he
[
Ada] Im
p
r
ove performance
o
f conver
s
ion from S
t
ring
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
P
atrick Bernardi
[
Ad
a
] Remove 2GB secondary sta
c
k
l
imit fo
r
6
4
-bit processors
commit
|
commitdiff
|
tree
2018-05-25
Ed Scho
n
b
e
rg
[Ada] Sp
u
r
iou
s
er
r
or on
fi
x
e
d
-point op
e
ration wh
o
se
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Hristian K
i
rtch
e
v
[Ada] Spurious range check with Initialize_Scalars
commit
|
commitdiff
|
tree
2018-05-25
Arnaud
Charlet
[Ada] Remove "con
s
tant" attribute
o
n Osint
.
U
nk
n
own_Attributes
commit
|
commitdiff
|
tree
2018-05-25
Javier
Miranda
[Ada]
Membership test of class-wide interface
commit
|
commitdiff
|
tree
2018-05-25
E
d Schonberg
[Ada] Fix expansion
o
f
quantified expressio
n
s as part
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Hristi
a
n K
i
rtchev
[
Ad
a
]
S
purious se
c
onda
r
y st
a
ck depletion
commit
|
commitdiff
|
tree
2018-05-25
Sergey Rybin
[Ada] Document the '-U' option for gnatelim
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] C
r
ash on classwi
d
e
precondition
o
n su
b
program
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Justin Squirek
[
Ada] Fix for f
r
ee
z
ing of e
x
pression functions
commit
|
commitdiff
|
tree
2018-05-25
Arnaud C
h
arlet
[Ada] Strip
too long e
x
p
r
es
s
ions in de
b
ug
r
outines
commit
|
commitdiff
|
tree
2018-05-25
Patrick B
e
r
nard
i
[Ada]
D
isable the creat
i
on of the main task seconda
r
y
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
D
o
ug Rupp
[Ada] Im
p
lement
stack unwind
i
ng for Li
n
ux on AArch6
4
commit
|
commitdiff
|
tree
2018-05-25
Justin Squirek
[Ada]
M
inor ref
o
rmatti
n
g
commit
|
commitdiff
|
tree
2018-05-25
Piotr Trojanek
[Ada] F
i
x c
o
n
ve
n
tion for iteration
with
multiple l
o
op
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Hristia
n
Kirtche
v
[Ada] Mino
r
reformatti
n
g
commit
|
commitdiff
|
tree
2018-05-25
Ed Scho
n
berg
[
Ad
a
]
Strengthen c
h
ecks for insta
n
tiation with
interface
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
P
i
otr
Trojan
e
k
[Ada] Rewr
i
te Iterate_Cal
l
_Param
e
t
e
rs i
n
more assertiv
e
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Doug Rupp
[
Ada] Make M
a
x_
S
ensible_Delay unifo
r
m
a
cross a
l
l Posix
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Ed
S
chonberg
[Ada
]
Ch
e
c
k
s o
n
i
n
st
a
ntiations wit
h
fo
r
mal derived
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Yannick Moy
[Ada]
F
ix handling of Loop_Entry for
CodePeer/
S
P
AR
K
commit
|
commitdiff
|
tree
2018-05-25
Eric B
o
tcazou
[Ada] Support for C99 and C++ stan
d
ard bool
e
a
n
typ
e
s
commit
|
commitdiff
|
tree
2018-05-25
Arnaud C
h
a
r
let
[A
d
a] Do not print n
o
n
A
SCII char
a
cters
i
n debug r
o
utines
commit
|
commitdiff
|
tree
2018-05-25
Bob Duff
[Ada] Unbounded stri
n
gs:
i
n
line Init
i
aliz
e
and Adjust
commit
|
commitdiff
|
tree
2018-05-25
Bo
b
Duff
[Ada]
Mi
n
or comment fix
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonber
g
[Ada] Refine checks for uplevel ref
e
rences
commit
|
commitdiff
|
tree
2018-05-25
E
d
Schonberg
[
Ada] Compiler l
o
op on expression
f
unc
t
ion and pr
e
dica
t
e
.
.
.
commit
|
commitdiff
|
tree
2018-05-25
Y
a
n
nick Moy
[
A
d
a
] D
e
tect
mi
s
place
d
assertions between
loop in
v
a
riant
s
commit
|
commitdiff
|
tree
2018-05-25
Fedor Rybin
[Ada]
Docum
e
nt
n
e
w swit
c
h -
-
copy-envir
o
nment for gnattest
commit
|
commitdiff
|
tree
2018-05-24
P
iotr Tro
j
a
n
ek
[Ada] Simplify routines w
i
th a local
Result variable
commit
|
commitdiff
|
tree
2018-05-24
E
r
ic Botcazo
u
[Ada] Fix irregular output with -gnatR3
commit
|
commitdiff
|
tree
2018-05-24
E
ric Bot
c
a
zou
[Ada] Minor
clean-ups in
gig
i
commit
|
commitdiff
|
tree
2018-05-24
Javier Miranda
[Ada] Wrong renami
n
g of variant record equality
commit
|
commitdiff
|
tree
2018-05-24
Ed Schonberg
[Ada] Add
a
new Is_
A
ctivation_Record flag on
IN parameters
commit
|
commitdiff
|
tree
2018-05-24
Yannick Moy
[Ad
a
] Im
p
rove GNATprove mess
a
ges on unproved
c
hecks
commit
|
commitdiff
|
tree
2018-05-24
J
a
vier Mira
n
da
[Ada] M
i
ssing err
o
r on illegal
a
c
cess to
di
s
criminant
commit
|
commitdiff
|
tree
2018-05-24
Ed Schonberg
[Ada]
I
nfinite loop in the compil
e
r when warning on
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Piotr Troj
a
n
ek
[Ada] Minor fix gr
a
mma
r
in comment of
N_D
e
fining_Identifi
e
r
commit
|
commitdiff
|
tree
2018-05-24
J
us
t
i
n S
q
uirek
[Ada]
Q
uadr
a
tic c
o
mpile time with tagg
e
d types
commit
|
commitdiff
|
tree
2018-05-24
Hrist
i
an Kirtchev
[Ada] Spuri
o
us err
o
r d
u
e to li
n
gering limited
view
commit
|
commitdiff
|
tree
2018-05-24
Eric Bot
c
azou
[
Ada] H
a
ndle v
e
rsion 2 of
W
i
nd
o
ws
u
nwi
n
ding in
f
o
r
ma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kirtc
h
ev
[Ada]
M
i
nor re
f
orm
a
tting
commit
|
commitdiff
|
tree
2018-05-24
Ed Schonb
e
rg
[Ada] Add
w
arning on r
e
dundant oth
e
rs_clause in
array
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Rap
h
ael Amiard
[Ada] U
p
date Ada
.
Contai
n
e
r
s
.
Has
h
ed_Map
s
docume
n
t
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
R
a
phael Amia
r
d
[
A
d
a
]
Add documentat
i
on from th
e
A
d
a RM to Ada
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Jus
t
i
n
Squirek
[Ad
a
] Crash on retu
r
n of r
a
ise expressi
o
n
commit
|
commitdiff
|
tree
2018-05-24
Hr
i
stian Kirt
c
h
e
v
[Ada] Cr
a
sh
o
n fu
n
ction
in Gho
s
t subunit
commit
|
commitdiff
|
tree
2018-05-24
Justin
S
quir
e
k
[Ada] Ineffective u
s
e
w
arnin
g
is
s
u
p
pressed when per
f
ormin
g
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Cyrill
e
Comar
[Ada] Fix
typos
i
n
d
o
cumentat
i
on
commit
|
commitdiff
|
tree
2018-05-24
Bo
b
D
u
ff
[Ada] Memory
leak mixi
n
g limited and nonlimit
e
d fu
n
ctions
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kir
t
chev
[
A
da]
S
pu
r
io
u
s
e
r
r
or on
p
ragma Ind
e
pende
n
t_Compone
n
ts
commit
|
commitdiff
|
tree
2018-05-24
Hristian
K
i
r
tch
e
v
[Ada]
F
ix crash on f
o
rmal containers
commit
|
commitdiff
|
tree
2018-05-24
Piotr
Tr
o
jane
k
[Ada] F
i
x
i
nconsistent doc
u
mentation
for the Contract
_
Cases
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kirtchev
[Ada] Expansi
o
n of discrete choic
e
s
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kirtchev
[Ada] Sp
u
ri
o
us
error on imported
subprogram with precondition
commit
|
commitdiff
|
tree
2018-05-24
Javier
Mi
r
anda
[Ada] Spurious
e
r
r
or on priva
t
e task
deri
v
ation
commit
|
commitdiff
|
tree
2018-05-24
Hristian Kir
t
c
h
ev
[Ada] Crash on compilat
i
on
u
nit in
s
tance
commit
|
commitdiff
|
tree
2018-05-24
Pi
o
tr Trojanek
[Ad
a
] F
i
x reference
s
to Backend_Layout conf
i
guration
.
.
.
commit
|
commitdiff
|
tree
2018-05-24
Doug Rupp
[Ada]
I
nitial port
o
f
x86-lynx178elf ru
n
time
s
commit
|
commitdiff
|
tree
2018-05-23
Hri
s
t
i
an
K
i
rtch
e
v
[Ada]
M
inor r
e
f
ormattings
commit
|
commitdiff
|
tree
2018-05-23
Pas
c
al Obry
[Ada] Fix memory leak in
win32_wait error handling
commit
|
commitdiff
|
tree
2018-05-23
Pascal Obry
[Ada] Fix computatio
n
of handle/p
i
d lists in win32_wait
commit
|
commitdiff
|
tree
2018-05-23
H
r
is
t
i
a
n Kirtchev
[A
d
a] Spurious St
o
r
a
ge_Error
o
n import
e
d array
commit
|
commitdiff
|
tree
2018-05-23
Ed
S
ch
o
n
berg
[
A
da] Sp
u
rious error
on
i
nstan
t
iat
i
on with type
with
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Bor
i
s Yako
b
owski
[
A
da] F
i
x faul
t
y precond
i
tions for trig
o
nometric functi
o
ns
commit
|
commitdiff
|
tree
2018-05-23
Arnaud Charlet
[
A
da] Fix various defect
s
found by static ana
l
y
s
i
s
commit
|
commitdiff
|
tree
2018-05-23
Bob Duff
[Ada]
gnatbin
d
:
do not list
No_I
m
pl
e
mentat
i
o
n_Restr
i
ctions
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonbe
r
g
[A
d
a] Implement
a
tion o
f
A
I
1
2-0131: legality of class
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Jav
i
er Mirand
a
[Ada] Cr
a
sh processing Vali
d
_Sca
l
ars whose evaluati
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Bob Du
f
f
[
A
da] Vectors:
s
puri
o
u
s er
r
or in -gnatwE mo
d
e
commit
|
commitdiff
|
tree
2018-05-23
Yan
n
ick M
o
y
[Ada]
Clarify mean
i
ng of local pragm
a
Wa
r
ning
s
Of
f
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Olivi
e
r Hainque
[Ad
a
] Add a I
s
_Foreign_Exception
predicate to GNAT
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Ed Sc
h
onberg
[Ada] Missing legali
t
y check
on iterator
o
ver f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Yann
i
ck Moy
[
A
d
a] Fix implement
a
tion of
u
t
ility
for
f
i
n
ding encl
o
sing
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
H
r
istian Kirtchev
[Ada] Suspension and elabora
t
ion warnings/ch
e
cks
commit
|
commitdiff
|
tree
2018-05-23
Javier Mirand
a
[Ada] Restrict initialization of External_Tag and Expanded_Name
commit
|
commitdiff
|
tree
2018-05-23
Maroua Maalej
[Ada]
F
ix of so
m
e permission rules of poi
n
ters in SPARK
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[Ada]
Crash on predicate in
v
olving qual
i
fied expression
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Hristian
K
irtchev
[Ada] Supp
r
essio
n
o
f
elaborat
i
on-
r
elated warnings
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtchev
[
A
da] Suppression o
f
elaboration-related warnings
commit
|
commitdiff
|
tree
2018-05-23
Eri
c
Botcazou
[Ad
a
] Remove obsolete stuff from repinfo
.
adb
commit
|
commitdiff
|
tree
2018-05-23
Hristian K
i
rtche
v
[Ada
]
S
u
ppression of el
a
bor
a
tion-related warnin
g
s
commit
|
commitdiff
|
tree
2018-05-23
Piotr
Trojanek
[Ada] Minor
reforma
t
ting
commit
|
commitdiff
|
tree
2018-05-23
Ed
S
chonb
e
rg
[Ada] Compile
r
fai
l
s to re
j
ect illegal
s
tore o
f
ano
n
y
m
o
u
s_ac
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Daniel Mer
c
ier
[
A
da] Turn off length expansio
n
in C
o
d
e
Peer mode
commit
|
commitdiff
|
tree
2018-05-23
Bob
Duff
[Ad
a
] Build-
i
n-place aggregates and Address claus
e
s
commit
|
commitdiff
|
tree
2018-05-23
Bob
D
uff
[Ada]
Mino
r
re
f
ormatting
commit
|
commitdiff
|
tree
2018-05-23
Hristian Kirtch
e
v
[A
d
a] I
n
it
i
ali
z
e_Scalars opti
m
ization causes spurious
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Hr
i
stian Kir
t
chev
[Ada] Min
o
r reformatti
n
g
commit
|
commitdiff
|
tree
2018-05-22
Justin S
q
u
i
rek
[
Ada] Missing
warning for
unref
e
re
n
ced formals in express
i
on
.
.
.
commit
|
commitdiff
|
tree
next