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] Fix glitch in comment of System.Powten_Table
2020-12-16
Eric Botca
z
ou
[Ada] Fix glitch in comment of Syst
e
m
.
Powte
n
_T
a
bl
e
commit
|
commitdiff
|
tree
2020-12-16
P
hi
l
ippe Gil
[Ada] Fi
x
possib
l
e
unini
t
i
alized ATCB component use
commit
|
commitdiff
|
tree
2020-12-16
E
r
ic B
o
tc
a
zou
[Ada]
Avoid arti
f
icial underflow in Sys
t
em
.
Val_Real
commit
|
commitdiff
|
tree
2020-12-16
Pi
o
tr Trojanek
[Ad
a
] Fix integer-vs-float errors in exa
m
ple for Test_Case
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piot
r
Troj
a
ne
k
[Ada] Reject junk
s
yntax
for C
o
ntract
_
Cases/Test_Case
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Dmitriy
Anisimkov
[Ada] Fix g
m
em
.
out corruption
by G
N
AT
.
Expect
commit
|
commitdiff
|
tree
2020-12-16
Y
annick Moy
[Ada] Mark
g
eneric body outside
o
f
S
P
ARK
commit
|
commitdiff
|
tree
2020-12-16
E
ric
B
otcazou
[Ada] Another smal
l
a
d
justmen
t
to Syste
m
.
Value_R
commit
|
commitdiff
|
tree
2020-12-16
P
ascal Obry
[
A
da] Add som
e
OS con
s
t
a
nts to
c
o
ntrol seri
a
l
port
commit
|
commitdiff
|
tree
2020-12-15
P
a
sc
a
l O
b
ry
[A
d
a] F
i
x serial port bau
d
rat
e
sett
i
ng
on GNU/Linux
commit
|
commitdiff
|
tree
2020-12-15
Eri
c
Botcazou
[Ada] Small adjustment to S
y
stem
.
Val_Real
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[A
d
a] Simpli
f
y check for extra p
a
rens
commit
|
commitdiff
|
tree
2020-12-15
P
i
o
tr Tr
o
janek
[
A
d
a] Refactor repeated
c
o
m
plains about missing -gn
a
t
2
005
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Eric Botcazou
[Ada] Small a
d
j
u
s
tment t
o
paramet
e
ri
z
ation
of System
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Jus
t
in Squir
e
k
[Ada
]
P
ostcondition
check
s
per
f
ormed bef
o
re f
i
n
a
lization
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[A
d
a] Compl
a
in about missing -
g
nat2020 switch on
i
terator_filter
commit
|
commitdiff
|
tree
2020-12-15
P
i
o
tr Trojanek
[Ada] R
e
use Append_New in parsing aggregates
commit
|
commitdiff
|
tree
2020-12-15
Eric Bot
c
azou
[
A
d
a
] Implement tiered
s
up
p
o
rt
for floating-po
i
nt
i
nput
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Yannick
Moy
[Ada] Mark ge
n
er
i
c bo
d
y outside
of SPA
R
K
commit
|
commitdiff
|
tree
2020-12-15
Arna
u
d Charl
e
t
[Ada] Transform_Function_Array issues
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Trojanek
[Ada] S
i
mplify discarding nodes whe
n
p
rocessing as
p
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Charle
t
[Ada
]
Crash on unnesting unnamed blocks
commit
|
commitdiff
|
tree
2020-12-15
Pio
t
r Troj
a
nek
[Ada
]
Refactor repeated code f
o
r Value attr
i
b
u
te
s
commit
|
commitdiff
|
tree
2020-12-15
P
ascal Obry
[Ada] Fix
possible infinite
r
ecur
s
ion i
n
dire
c
tory
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor repeat
e
d code f
o
r Callable
and Terminated
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
P
io
t
r
Tro
j
anek
[Ada] Refact
o
r
r
epeated code for Wi
d
th a
t
tributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refact
o
r repeated code
f
or Pred and S
u
c
c att
r
ibutes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor re
p
eated code for siz
e
attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] R
e
facto
r
repeated c
o
d
e
f
o
r fixed
poin
t
attribute
s
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
A
da] R
e
move redundant c
a
lls to UI_To_Int in relat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada]
Refactor
repeated
c
ode
f
or c
o
mponent attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr T
r
ojanek
[Ada]
Refactor repe
a
ted
cod
e
fo
r
re
a
l typ
e
a
ttributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr T
r
ojanek
[Ad
a
] Refactor repeated
c
o
de for re
a
l
type attr
i
butes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Tr
o
janek
[Ada] Refactor re
p
eated code for real ty
p
e attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Re
f
actor repeate
d
c
o
de for floati
n
g point at
t
ribute
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Tro
j
anek
[Ada]
R
efac
t
or repeated code for flo
a
t
ing poi
n
t attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor duplicated
code for Denorm an
d
Signed_Zeros
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Troja
n
ek
[Ada] Refac
t
or dupl
i
cated code for Adjace
n
t,
C
opy_S
i
gn
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ad
a
] Refactor du
p
lic
a
ted
code for Compose, L
e
adin
g
_
P
art
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Analyze secon
d
parame
t
er of attribute Scalin
g
commit
|
commitdiff
|
tree
2020-12-14
P
i
otr Trojanek
[Ada
]
Refa
c
tor duplicated
code fo
r
First and Last attrib
u
tes
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Process Trunc
a
tion just like other floa
t
i
ng
p
oi
n
t
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Pi
o
t
r
Tr
o
j
a
nek
[A
d
a]
R
efact
o
r dup
l
icated code for
f
loating point attribut
e
s
commit
|
commitdiff
|
tree
2020-12-14
E
ri
c
Botc
a
zou
[Ada] Small adju
s
tments to f
i
xed-poi
n
t
I
/
O
units
commit
|
commitdiff
|
tree
2020-12-14
E
r
ic Botcazou
[
A
da
]
Small cleanup
in the Ada
.
Text_IO
h
i
e
r
archy
commit
|
commitdiff
|
tree
2020-12-14
J
ustin Squirek
[
Ada] Incorrect
a
c
c
e
ssibility l
e
vel on type in form
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric Bo
t
cazou
[Ada] Fix al
i
gnm
e
n
t w
a
rning in System
.
Fat_Gen
unit
commit
|
commitdiff
|
tree
2020-12-14
Arnaud
Cha
r
let
[Ada] Add annotat
i
on after r
e
cent compiler cha
n
ges
commit
|
commitdiff
|
tree
2020-12-14
Arna
u
d
C
harlet
[Ad
a
] Fix com
p
ile time evaluation of s
h
ift int
r
insics
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c Botca
z
ou
[Ada] Adj
u
st a
g
ain
prev
i
o
u
s
c
hang
e
to
System
.
Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c Bo
t
c
a
zou
[
Ada] Fi
x
i
nt
e
rnal
e
rror o
n
bit-packed arr
a
y
i
n Volatile_F
u
l
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Adjust previous change to System
.
Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcaz
o
u
[Ada
]
Implement
part of System
.
F
a
t_Gen more effici
e
n
tly
commit
|
commitdiff
|
tree
2020-12-14
P
iotr Tr
o
ja
n
ek
[Ada] Remove do
u
ble
initi
a
lization of the known valu
e
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Gary Dismukes
[
A
d
a] Fix
do
c
um
e
ntat
i
on of -g
n
atw
.
K
switch (acti
v
ates
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Doug Rupp
[Ada] armhf-linux: symbolic trace
b
a
cks
commit
|
commitdiff
|
tree
2020-12-14
Ghj
u
van
La
c
a
m
b
re
[
A
d
a] Impleme
n
t AI12-03
9
8
-
1/03
commit
|
commitdiff
|
tree
2020-12-14
Gary Dismukes
[A
d
a] Add
i
tional fixes for D
e
f
a
ul
t
_
Initial_Condition
commit
|
commitdiff
|
tree
2020-12-14
E
ric Botcazou
[
Ada] Fi
x
c
o
uple
of bugs in the
implemen
t
at
i
on of Roun
d
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr
Tro
j
anek
[Ada] Simplify pr
e
venti
o
n of cascaded err
o
rs for Refined_State
commit
|
commitdiff
|
tree
2020-12-14
Bob D
u
f
f
[Ada] Compiler crash on call to functi
o
n instance
commit
|
commitdiff
|
tree
2020-12-14
Y
a
n
ni
c
k Moy
[Ada] Fix warning control character for mes
s
a
ge
o
n
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Yannick Moy
[Ada
]
Re
f
i
n
e error messages on illegal Refin
e
d_
S
tate
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr T
r
ojanek
[Ada
]
Avoid rea
n
a
l
ys
i
s of malforme
d
depende
n
cy relation
s
commit
|
commitdiff
|
tree
2020-12-14
Eri
c
Botcazo
u
[Ada]
Tidy
u
p
i
mplement
a
tion of S
y
stem
.
Fat_
G
e
n
.
Valid
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ad
a
]
F
ix analysis of
a
ccess object
s
in
D
epends c
o
n
trac
t
s
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Updat
e
com
m
en
t
fo
r
proces
s
in
g
of
p
ragma Ass
e
rtion_
P
olicy
commit
|
commitdiff
|
tree
2020-12-14
Yanni
c
k Moy
[A
d
a] Correctly
m
ark subprogr
a
m
a
s
not always inli
n
ed
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric
Botca
z
ou
[Ada] Adj
u
st documentation
of Sy
s
tem
.
Img_Util
.
Set_Deci
m
al_
D
igits
commit
|
commitdiff
|
tree
2020-11-30
Pierre-Mari
e
d
e
.
.
.
[Ada] s-trasym
.
ad
s
: update
the
list of suppor
t
ed platforms
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Ch
a
rlet
[
A
da] Remo
v
e
a
ll ^L c
h
a
racters
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d Charl
e
t
[
Ada] Enable chec
k
s
o
n
r
u
ntime by def
a
u
lt
commit
|
commitdiff
|
tree
2020-11-30
Arn
a
ud Char
l
e
t
[Ada] Wrong replacement of Compone
n
t
.
Disc
r
imina
n
t
commit
|
commitdiff
|
tree
2020-11-30
Pio
t
r Trojanek
[Ada] Minor reuse Is_Assign
a
bl
e
commit
|
commitdiff
|
tree
2020-11-30
Piotr Troja
n
ek
[Ada] S
i
mplify
a
n
aly
s
is of assi
g
nment stat
e
ments
commit
|
commitdiff
|
tree
2020-11-30
Piotr
T
rojanek
[Ada]
Minor re
u
se
I
s_
P
rotected_Compon
e
nt
commit
|
commitdiff
|
tree
2020-11-30
E
r
i
c Botc
a
z
o
u
[A
d
a] Fix interna
l
error on extended
retu
r
n an
d
fixed
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Gary D
i
s
m
ukes
[Ad
a
]
I
mplem
e
n
t
i
n
heritan
c
e
for De
f
a
ult
_
Initial_Conditio
n
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[
Ada]
I
mprove error reco
v
ery
commit
|
commitdiff
|
tree
2020-11-30
Eri
c
Bo
t
cazou
[Ada] Reimplement Ada
.
N
u
m
erics
.
Big_Numbers
.
Big_Real
s
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Bob Du
f
f
[Ada] Compiler crash
o
n limited conditional
e
xpressions
commit
|
commitdiff
|
tree
2020-11-30
Eric Botca
z
ou
[
A
d
a] Expa
n
d inte
g
er-o
n
ly implementation of ordi
n
ary
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ghju
v
an Lacambr
e
[Ada] I
m
pleme
n
t
-gna
t
eb
s
witch
commit
|
commitdiff
|
tree
2020-11-30
A
rn
a
u
d
Charlet
[Ad
a
] P
o
tential
read of uninitialized variable in exp_
d
i
st
.
adb
commit
|
commitdiff
|
tree
2020-11-30
A
rnaud Char
l
et
[Ada] Addre
s
s warning compiling terminals
.
c
commit
|
commitdiff
|
tree
2020-11-30
E
ric Botcazou
[Ada] Add st
r
eam-oriented attr
i
bute
s
sup
p
or
t
for 128
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ed Sch
o
nberg
[
Ada
]
Spu
r
ious
err
o
r on ite
r
ator over container
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Yann
i
ck
M
oy
[Ada] Add com
m
ent on special
Heap variab
l
e us
e
d in
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Pascal
O
bry
[Ad
a
] Fix serial
p
o
r
t
contro
l
settin
g
on
GNU/Linux
commit
|
commitdiff
|
tree
2020-11-30
Pascal Obry
[Ada]
M
inor st
y
l
e
fixes
commit
|
commitdiff
|
tree
2020-11-30
Pio
t
r Trojan
e
k
[Ada] F
i
x folding
of com
p
arison ope
r
ator
s
i
n GNATprove
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Bo
b
Duff
[Ada] Cr
a
sh on ghost assignment check for
i
llegal
code
commit
|
commitdiff
|
tree
2020-11-30
Yanni
c
k
M
oy
[A
d
a]
A
dd continuation message when others choice n
o
t
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ad
a
]
Small cleanu
p
i
n S
y
s
t
em
.
V
a
lue_F
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[
Ada] Confusion in Transf
o
rm_Function_
A
rray and internal
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonb
e
r
g
[
A
da]
Spu
r
ious visibility error in subprogram bo
d
y
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Er
i
c Bot
c
az
o
u
[Ada]
S
mall t
w
eaks
t
o c
o
uple of
Value routines
commit
|
commitdiff
|
tree
2020-11-27
Piotr Trojanek
[Ada] Sim
p
lify
P
a
rent_Is_Boo
l
ea
n
with s
u
btype members
h
ips
commit
|
commitdiff
|
tree
2020-11-27
P
i
otr T
r
o
j
an
e
k
[Ada] Reuse Append_New
_
E
lmt
wher
e
possible
commit
|
commitdiff
|
tree
2020-11-27
Arnaud C
h
a
rlet
[Ada] Wrong com
p
ile time
e
val
u
ation of Shift_Right
commit
|
commitdiff
|
tree
next