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] Eliminate early roundoff error for Long_Long_Float on x86
2021-04-28
Eric Botcazo
u
[
A
da] Elimin
a
t
e
early
roundoff err
o
r for Long_L
o
ng_Float
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Yann
i
ck
Moy
[Ada] U
s
e spans instead of locatio
n
s for compiler diagnostics
commit
|
commitdiff
|
tree
2021-04-28
Arnau
d
Charl
e
t
[
A
da] A
s
sert fai
l
ure on c
o
mplex code
with p
r
ivate ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Gary
D
ismukes
[Ada] AI1
2
-0397: Default_Initial_Condit
i
on expressions
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
E
d
Sc
h
onbe
r
g
[Ada] Crash
o
n
i
nher
i
t
ed c
o
mponent in t
y
pe
extension
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
A
rnaud
C
harlet
[Ada] C
r
ash with
d
eclare
e
xp
r
ession used in
a
p
ostcondit
i
on
commit
|
commitdiff
|
tree
2021-04-28
A
rnaud
C
harl
e
t
[Ada] Incorrect di
s
cri
m
inant check on call to
a
c
cess
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Pi
o
tr
T
rojan
e
k
[
A
da]
R
emove doubl
e
initializat
i
on of
in
t
e
rpretation
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Piotr Trojan
e
k
[Ada] Update
reference
w
ith description of type
r
eso
l
ution
commit
|
commitdiff
|
tree
2021-04-28
Yannick Moy
[
A
d
a
]
I
mpro
v
e er
r
or message for
g
host in predicat
e
commit
|
commitdiff
|
tree
2021-04-28
Eric Botcaz
o
u
[Ada] C
o
u
p
le of
a
djus
t
ments fo
r
the sake
of static
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Piotr Troj
a
nek
[
Ada] Extend comp
i
le-time eval
u
ation in ca
s
e statements
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Piotr
T
rojane
k
[A
d
a
]
Cleanups related to entry barri
e
r
conditions
commit
|
commitdiff
|
tree
2021-04-28
Bob Duff
[Ad
a
] Incorrec
t
error with
D
efault_Value on pr
i
vate
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
A
r
naud Charlet
[Ada
]
Remove un
u
s
e
d subpr
o
grams
commit
|
commitdiff
|
tree
2021-04-28
A
rnaud
C
ha
r
let
[Ada] Bad handling of 'Valid_
S
calars an
d
arrays
commit
|
commitdiff
|
tree
2021-04-28
Arn
a
ud Cha
r
let
[
A
da] Fix the
Sphinx con
f
iguration
and po
r
t
i
t to
P
ython3
commit
|
commitdiff
|
tree
2021-04-28
R
ichar
d
Wai
[Ada] Hashed conta
i
n
e
r Cur
s
or ty
p
e pr
e
d
efine
d
equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Ar
n
a
ud Charlet
[Ada] Pe
r
formance of CW_Mem
b
ership
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
a
r
l
et
[Ad
a
] Remove u
n
u
s
ed subprograms in v
a
lidsw
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada
]
Remove unuse
d
files
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] C
o
de cle
a
nup: remove Old_Requir
e
s_T
r
ans
i
ent_
S
cope
commit
|
commitdiff
|
tree
2020-12-17
Eric
Botcazou
[
Ada]
M
i
n
o
r comment fix in System
.
Val_
R
eal
commit
|
commitdiff
|
tree
2020-12-17
Piotr Tr
o
janek
[
A
da] Pr
e
vent e
a
r
l
y e
x
its without
r
e
s
toring a global
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Piotr
T
r
o
jane
k
[
Ada] Reduce scopes of l
o
c
al
v
ariab
l
es for ca
s
e and
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
P
i
o
t
r Trojanek
[A
d
a
] Refine type of a mult
i
unit index
number
commit
|
commitdiff
|
tree
2020-12-17
Piotr Trojanek
[A
d
a] Pre
v
ent In_
C
heck_Node routine fro
m
going too
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
B
o
b Duff
[Ada] Ada202
0
: AI12-0
4
00 Ambiguiti
e
s
associa
t
ed with
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Arnaud
Charlet
[
Ada]
Cr
a
sh on if expr
e
ssion
i
nside declar
e
e
x
pression
commit
|
commitdiff
|
tree
2020-12-17
Piotr Trojanek
[A
d
a] Consisten
t
w
ording for missing
-
gnat2020 switc
h
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Remove discrimi
n
ant che
c
ks processing
i
n
g
i
g
i
commit
|
commitdiff
|
tree
2020-12-17
Piotr Tro
j
a
n
ek
[Ada]
Move folding of unchecke
d
conversions from
e
xpa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Eric Bo
t
c
azou
[
Ada]
D
o no
t
use exponentiation for
c
o
mmon bases
i
n
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
E
rwan Le Guill
o
u
[A
d
a] Fi
x
s
m
a
l
l typo in comment
s
.
commit
|
commitdiff
|
tree
2020-12-17
Eric Botcazou
[Ada] Do not gene
r
ate encodings for
f
i
x
e
d
-point types
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Justin Squirek
[Ada] C
r
ash on discriminant c
h
eck with cur
r
ent inst
a
nce
commit
|
commitdiff
|
tree
2020-12-17
P
iotr
Trojanek
[Ada] B
e
tter d
i
agno
s
tic for new
l
anguage f
e
atures
commit
|
commitdiff
|
tree
2020-12-17
Ed
S
c
h
on
b
erg
[Ada] Spurio
u
s
discriminant check on bounded syn
c
hro
n
ized
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
A
rna
u
d
C
harlet
[Ada] Asse
r
t fail
u
re
on b3
8
105a in -gnat
9
5 mode
commit
|
commitdiff
|
tree
2020-12-17
A
r
naud Charlet
[
Ada]
Compiler c
r
a
s
h on
p
rotected component of controlled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Yanni
c
k Mo
y
[Ada] Fixes f
o
r
GNAT error/warning message
s
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charle
t
[Ada] Spu
r
i
o
u
s
e
r
ror on Ty
p
e
'Access an
d
<>
commit
|
commitdiff
|
tree
2020-12-17
Piotr Trojanek
[Ada]
Sty
l
e
c
l
e
a
nup
s
in Parse_Aspe
c
t_Stable_Prop
e
rt
i
e
s
commit
|
commitdiff
|
tree
2020-12-16
Arnaud Charl
e
t
[Ad
a
] Code
c
leanup:
r
e
name ALI
.
Sc
o
pe
commit
|
commitdiff
|
tree
2020-12-16
Jo
f
frey Huguet
[A
d
a
]
Add contra
c
ts
to
Ada
.
St
r
ings
.
Fi
x
ed
commit
|
commitdiff
|
tree
2020-12-16
Ed S
c
honb
e
rg
[Ad
a
] Handle
i
terat
o
r
f
il
t
er
s
on
l
oop specifications
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Doug
R
upp
[
Ada]
a
rm
h
f
-
linux
:
symbolic
tracebacks
commit
|
commitdiff
|
tree
2020-12-16
Dmitriy Anisimkov
[Ada] Fix memory le
a
k
in GNAT
.
Ex
p
ect
.
Non_Blocking_Spawn
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr T
r
ojanek
[Ada] Re
m
ove
inconsistent colons
i
n message
s
for Ada
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr Trojane
k
[Ada]
R
e
f
ine types of variable
s
f
or parsing for
m
al
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr Trojanek
[Ada] Fix typo in
checks for i
m
pleme
n
tation define
d
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
P
iotr Tr
o
janek
[Ada] Si
m
pli
f
y member
s
hip t
e
sts with N_Del
a
y_St
a
tement
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Pio
t
r T
r
oj
a
nek
[Ad
a
]
Simplify membership t
e
st
s
w
i
th N_Subprogram_Cal
l
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Eric Botcazou
[Ada] Fi
x
g
l
itch
i
n comment of System
.
Powten_Table
commit
|
commitdiff
|
tree
2020-12-16
Philip
p
e G
i
l
[Ada
]
Fix
p
ossibl
e
uninitial
i
z
ed ATCB compo
n
ent
use
commit
|
commitdiff
|
tree
2020-12-16
E
r
ic
Botcazou
[Ada] Avoid
ar
t
if
i
cial u
n
derflow i
n
S
ystem
.
V
a
l_Real
commit
|
commitdiff
|
tree
2020-12-16
Piotr
T
r
oj
a
nek
[
Ada] Fix integer-vs-float erro
r
s in example for Test_Case
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr Trojanek
[
A
da] Reje
c
t
junk syntax
for Con
t
ra
c
t_Cas
e
s/T
e
st_Case
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Dmitriy Anisim
k
ov
[
Ada] Fix gmem
.
out co
r
ruption by
GNAT
.
Ex
p
ect
commit
|
commitdiff
|
tree
2020-12-16
Yannick Mo
y
[Ada]
M
ark ge
n
eri
c
body
outside of
SPARK
commit
|
commitdiff
|
tree
2020-12-16
Eric Botcazou
[Ada]
A
n
o
t
her small
a
djustment to Sy
s
tem
.
V
alue_R
commit
|
commitdiff
|
tree
2020-12-16
Pa
s
c
a
l Obry
[Ada
]
A
d
d so
m
e
OS constants
to control se
r
i
a
l port
commit
|
commitdiff
|
tree
2020-12-15
Pascal
Obry
[Ada] Fix
serial port
baud rate setting on
GNU
/
L
inux
commit
|
commitdiff
|
tree
2020-12-15
Eric
B
otcaz
o
u
[
Ada] Small adj
u
s
t
ment to Syst
e
m
.
Val_Real
commit
|
commitdiff
|
tree
2020-12-15
P
i
otr Trojanek
[
A
da] Simplify check for extra parens
commit
|
commitdiff
|
tree
2020-12-15
P
i
o
tr Trojanek
[Ada]
R
efactor r
e
peated
c
omplains about missing -gnat2005
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Eric
B
otcazou
[Ada] Sm
a
ll
a
d
justment
t
o parameteri
z
ation of
Sys
t
em
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
J
u
stin Squirek
[Ada] Postcondit
i
on
checks performed before
finalization
commit
|
commitdiff
|
tree
2020-12-15
Pio
t
r Tr
o
janek
[Ada] Compla
i
n about mi
s
sing -gnat2020 switch on
iterator_filter
commit
|
commitdiff
|
tree
2020-12-15
Piotr Troja
n
ek
[Ada
]
Reuse App
e
nd_New
i
n parsing aggregates
commit
|
commitdiff
|
tree
2020-12-15
Eric Botcazou
[Ada] Imple
m
ent tiered support for floa
t
ing-point input
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Y
annick Moy
[Ada] Ma
r
k generic body o
u
tside
o
f SPARK
commit
|
commitdiff
|
tree
2020-12-15
Arnaud C
h
ar
l
et
[A
d
a]
Transform_Function_
A
r
r
a
y i
s
sues
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada
]
Simplify
d
iscar
d
ing nod
e
s whe
n
processing
a
sp
e
ct
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
A
r
naud Charlet
[Ada] Cra
s
h on unnestin
g
unnamed
b
locks
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Trojanek
[Ada] Refacto
r
repeated code fo
r
Value
a
t
t
ributes
commit
|
commitdiff
|
tree
2020-12-15
P
a
scal Obry
[Ada] Fi
x
possibl
e
infinite re
c
ursion in directory
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Tr
o
janek
[
Ada]
R
efactor repeated
c
ode for Callable
and Termi
n
ated
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
P
i
otr Trojan
e
k
[Ada] Refactor r
e
peated code for Width attributes
commit
|
commitdiff
|
tree
2020-12-15
P
i
ot
r
Trojanek
[Ada
]
Re
f
actor
r
e
p
eated code for Pred and Succ attributes
commit
|
commitdiff
|
tree
2020-12-15
Pio
t
r Trojanek
[Ada] Refact
o
r repea
t
ed code for size attr
i
b
utes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
A
da] Refa
c
tor
r
epeated
c
o
de
f
o
r fixed point attributes
commit
|
commitdiff
|
tree
2020-12-15
P
i
o
t
r Trojanek
[Ada]
R
emove redu
n
dant
c
alls to UI_To_Int in relational
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
T
rojanek
[Ada] Ref
a
ctor repe
a
ted co
d
e for
co
m
pone
n
t attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
Ada] Ref
a
ctor re
p
e
a
ted code f
o
r real type attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojane
k
[Ada
]
Ref
a
ct
o
r rep
e
ated
c
o
d
e for real type attribute
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
Ada] Refactor repeated c
o
de for real type attribu
t
es
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr
T
rojanek
[Ada] Refactor repeated
code
for floating
point attr
i
b
u
t
es
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor repeated c
o
de for floating p
o
int attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Trojanek
[Ada
]
R
e
factor duplicat
e
d
c
ode
for Denorm and Signed_Zeros
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
Trojan
e
k
[
A
da]
Ref
a
ctor d
u
plicated code for A
d
jacent, Copy_Sign
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piot
r
Trojanek
[
Ada] Refactor duplicated cod
e
fo
r
Comp
o
se, Leading_Part
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojan
e
k
[Ad
a
]
Anal
y
ze second parame
t
er
o
f attrib
u
t
e
Scaling
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada]
R
efactor duplica
t
ed code for
F
irst and Last attributes
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Pr
o
cess Truncat
i
on ju
s
t
like other float
i
ng point
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[
Ada] Refactor duplica
t
ed
c
ode for fl
o
ating point attrib
u
tes
commit
|
commitdiff
|
tree
2020-12-14
E
ric
B
otcazou
[
A
da] S
m
all adju
s
tments t
o
fixed-
p
oint I/O units
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c Botc
a
zou
[Ada] Sm
a
ll cleanup in the Ad
a
.
T
e
x
t_I
O
hierarchy
commit
|
commitdiff
|
tree
2020-12-14
Justin Squ
i
rek
[Ad
a
] I
n
correct accessibil
i
ty leve
l
on
t
ype in formal
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric
B
o
t
cazo
u
[
Ada
]
F
ix alignment w
a
rning in System
.
Fat_G
e
n unit
commit
|
commitdiff
|
tree
next