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 possible infinite recursion in directory iterator
2020-12-15
P
ascal Obry
[Ada] Fix possible infinite rec
u
rsion in directory
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
P
iotr
Tro
j
anek
[Ada] R
e
factor repea
t
ed
c
od
e
for Callable and
T
erminated
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr T
r
oj
a
nek
[
Ad
a
] Refactor re
p
eated
c
o
de for Width attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor repeated code for P
r
e
d and Succ
at
t
r
ibutes
commit
|
commitdiff
|
tree
2020-12-15
Piotr
Troj
a
nek
[Ada]
R
efa
c
tor repeated co
d
e
for
s
ize attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refact
o
r repe
a
te
d
code f
o
r fixed
p
o
int a
t
tributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Remove redund
a
nt calls
to UI_To_Int i
n
relational
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Troj
a
nek
[
A
da] Refactor repeated code
f
or component attributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
A
d
a
]
Refacto
r
repeated
c
ode
for real type attri
b
utes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Tr
o
ja
n
ek
[Ada] Refactor r
e
p
e
a
t
ed code for real
t
ype attribu
t
es
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Trojanek
[Ada] Refa
c
tor repeat
e
d
c
o
de for rea
l
typ
e
attribut
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
A
da] Refactor
r
ep
e
ated co
d
e for fl
o
a
ting point attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
Trojanek
[Ada] Refactor
rep
e
ated code f
o
r floati
n
g point a
t
tributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr T
r
ojane
k
[Ad
a
] Refactor dupli
c
a
ted code
f
or Denorm a
n
d
S
igned_Ze
r
os
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
Trojanek
[Ada] Refac
t
or duplicate
d
code for Adjacent, Copy_Sign
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor
d
u
p
licat
e
d code fo
r
C
ompose,
L
e
ading_Part
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piot
r
Trojanek
[Ada] Analyze second
parameter
of attr
i
bute Scalin
g
commit
|
commitdiff
|
tree
2020-12-14
Pio
t
r Trojanek
[Ada] Refacto
r
du
p
licated code for Fir
s
t and
L
ast attributes
commit
|
commitdiff
|
tree
2020-12-14
Piotr
Trojanek
[Ada] Proc
e
ss Tru
n
cation ju
s
t l
i
ke other floating
p
o
int
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[
A
da] Refactor du
p
l
i
cated code for floati
n
g point attribu
t
e
s
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c
Botcazou
[Ada] Sma
l
l adj
u
stm
e
n
t
s
t
o fixed-point
I/
O
units
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Small cleanup in the
Ada
.
Tex
t
_
IO hi
e
r
a
rchy
commit
|
commitdiff
|
tree
2020-12-14
Just
i
n Squirek
[Ad
a
] Incorrect access
i
bili
t
y level on type in formal
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric Bot
c
azo
u
[
A
d
a
] Fix alignme
n
t
warning in
System
.
Fat_Gen unit
commit
|
commitdiff
|
tree
2020-12-14
Ar
n
aud Charl
e
t
[Ada]
Ad
d
an
n
otati
o
n
after recent comp
i
l
e
r
chang
e
s
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Cha
r
l
et
[Ada]
F
i
x
compi
l
e tim
e
eval
u
at
i
on of shift intrinsics
commit
|
commitdiff
|
tree
2020-12-14
Eri
c
Botcazou
[Ada] A
d
just again
p
rev
i
o
us change to System
.
Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Eric Bot
c
azou
[
Ad
a
] F
i
x internal error on
b
it-packed a
r
ray in Vola
t
il
e
_Ful
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c
Botc
a
zou
[Ada] Adj
u
s
t previ
o
us change to System
.
Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazo
u
[Ada] Imple
m
ent part of Syst
e
m
.
Fat
_
Gen more efficiently
commit
|
commitdiff
|
tree
2020-12-14
Pio
t
r Troj
a
ne
k
[
Ada]
Remove d
o
uble initialization of the known value
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Gary
D
ismuke
s
[Ada]
F
ix d
o
cumenta
t
ion o
f
-gna
t
w
.
K
sw
i
tch (activat
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Doug
R
upp
[
A
da] armhf-linux
:
symb
o
lic tr
a
ceba
c
ks
commit
|
commitdiff
|
tree
2020-12-14
Ghju
v
an
Lacambre
[Ada]
Im
p
lement AI12-0398-1/0
3
commit
|
commitdiff
|
tree
2020-12-14
Gary Di
s
mukes
[
Ada] Additional fixes for
D
efa
u
lt_Initial
_
Cond
i
tion
commit
|
commitdiff
|
tree
2020-12-14
Eric
B
otcazou
[A
d
a] Fix couple of bugs in
t
h
e implementation
o
f R
o
u
nd
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Pi
o
tr
Tro
j
anek
[Ada] Simp
l
ify p
r
e
venti
o
n of
c
ascaded
err
o
r
s for Refined_State
commit
|
commitdiff
|
tree
2020-12-14
Bob Duff
[Ada] Compiler
c
r
ash on cal
l
to function
i
n
s
t
anc
e
commit
|
commitdiff
|
tree
2020-12-14
Ya
n
n
ick
M
oy
[
A
da] Fix warning con
t
rol
c
haracter for mes
s
age on
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Yannick Moy
[
A
d
a
]
R
e
f
ine error
messages on illegal
Re
f
ined_Sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr
Troja
n
ek
[Ada] Avoi
d
reanalysis of m
a
lfor
m
ed depend
e
ncy
r
e
lations
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Tidy
u
p imp
l
ementati
o
n
of S
y
s
t
em
.
Fat
_
Gen
.
V
a
lid
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[A
d
a
]
Fix an
a
lysis of access objects in Depends contracts
commit
|
commitdiff
|
tree
2020-12-14
Pi
o
tr
Trojanek
[A
d
a] U
p
d
ate
comment f
o
r
processi
n
g of
p
ragma
As
s
e
r
tion_Policy
commit
|
commitdiff
|
tree
2020-12-14
Yan
n
i
ck M
o
y
[Ada] Correctly mark subprogram as not alw
a
ys inline
d
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
E
r
ic
B
otcazou
[Ada] Adjust
d
ocumentation of
Syste
m
.
Img
_
Util
.
Set_Decima
l
_Digi
t
s
commit
|
commitdiff
|
tree
2020-11-30
P
ierre-
M
ari
e
de
.
.
.
[
Ada] s-trasym
.
a
d
s: up
d
at
e
the list of
s
upported pla
t
forms
commit
|
commitdiff
|
tree
2020-11-30
A
rnaud
Charl
e
t
[Ada] Remove all ^L characters
commit
|
commitdiff
|
tree
2020-11-30
Arn
a
ud Ch
a
r
l
e
t
[
A
d
a] Enable checks on
runt
i
me
b
y default
commit
|
commitdiff
|
tree
2020-11-30
Arn
a
ud Charle
t
[Ada] Wron
g
r
eplacement of
C
ompon
e
n
t
.
Discrim
i
nant
commit
|
commitdiff
|
tree
2020-11-30
Piot
r
T
r
ojanek
[A
d
a
]
Min
o
r r
e
u
s
e Is_Assignable
commit
|
commitdiff
|
tree
2020-11-30
P
iotr T
r
oj
a
nek
[
A
da]
Simplify analysis
o
f assign
m
ent statements
commit
|
commitdiff
|
tree
2020-11-30
Piotr Trojanek
[Ada] Minor reus
e
Is_Prot
e
cted
_
Compon
e
n
t
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ada
]
F
ix interna
l
error on extended ret
u
rn
and fixed
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
G
a
ry Di
s
m
u
ke
s
[Ada] Implement in
h
eri
t
ance
f
or Defau
l
t_Initial_Condition
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Cha
r
let
[Ada
]
Improve error recovery
commit
|
commitdiff
|
tree
2020-11-30
Eric
B
otcazou
[Ada] Rei
m
plement
A
da
.
Numerics
.
Big_Nu
m
bers
.
Big_R
e
als
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Bob D
u
f
f
[Ad
a
] Compiler cra
s
h on limited
c
onditiona
l
expressio
n
s
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[
A
da] Exp
a
nd integer-only implement
a
tion of ordinary
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ghjuv
a
n Lac
a
mbre
[Ad
a
] Implement -gn
a
teb switch
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charl
e
t
[Ada]
P
o
tentia
l
read of un
i
nitia
l
ized va
r
iable in exp
_
dist
.
a
db
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
C
har
l
et
[Ada]
Addr
e
ss warning
c
ompiling termi
n
als
.
c
commit
|
commitdiff
|
tree
2020-11-30
Eric B
o
tcaz
o
u
[
A
da] A
d
d stream-oriented attribute
s
support for 128
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonberg
[Ada] Spurious error on iter
a
tor over container with
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Yannick Moy
[Ad
a
] Add comm
e
nt
o
n spe
c
i
a
l
He
a
p variable
u
sed in
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
P
as
c
a
l
Obry
[Ada] Fix
s
erial port c
o
n
t
rol s
e
tting on
GNU/Linux
commit
|
commitdiff
|
tree
2020-11-30
P
ascal
Obry
[Ada] Mino
r
style fix
e
s
commit
|
commitdiff
|
tree
2020-11-30
Piotr Tro
j
anek
[Ada
]
Fix
f
oldi
n
g o
f
c
o
mparison operators i
n
GN
A
Tprove
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
B
ob Duff
[Ada]
C
r
a
sh on ghost assignment ch
e
ck for illeg
a
l
c
ode
commit
|
commitdiff
|
tree
2020-11-30
Yannick Moy
[Ad
a
] Add con
t
inuation message
w
hen others ch
o
i
ce not
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Eric Botc
a
zo
u
[
A
da] Small cleanup
in System
.
Value_F
commit
|
commitdiff
|
tree
2020-11-30
A
r
naud Charlet
[Ada] Confusion in Transform_Functi
o
n_Array and internal
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonberg
[Ada
]
Spurious visibility error i
n
subpr
o
gram body
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
E
ric Botcazou
[Ada
]
Sma
l
l tweaks
t
o co
u
ple of Value routines
commit
|
commitdiff
|
tree
2020-11-27
Piotr Trojanek
[
Ada
]
S
implify Parent_Is_
B
oolean with subtype memberships
commit
|
commitdiff
|
tree
2020-11-27
P
iotr Trojanek
[Ada] Reuse
A
pp
e
nd_N
e
w_Elmt wher
e
possib
l
e
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[A
d
a] Wrong compile time evaluatio
n
of Shi
f
t_Ri
g
ht
commit
|
commitdiff
|
tree
2020-11-27
Ar
n
aud Charlet
[Ada] Re
f
erence before declarat
i
on on C392
0
15
commit
|
commitdiff
|
tree
2020-11-27
Pi
o
tr Trojanek
[Ada] Restore access type in
s
tead of mode out
par
a
meter
commit
|
commitdiff
|
tree
2020-11-27
E
ric Botcaz
o
u
[A
d
a] Small
improve
m
ent to System
.
V
alu
e
_
R
.
Scan_R
a
w
_R
e
al
commit
|
commitdiff
|
tree
2020-11-27
Yannic
k
M
o
y
[Ada] Do
n
ot
ap
p
l
y
range c
h
ecks
i
nside ge
n
erics in
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[Ad
a
] D
o
n
o
t use 128-bit division fo
r
64-bit fixed
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charle
t
[Ada] To_GM_Time return
i
ng invalid
v
alue for I
n
valid_
T
i
me
commit
|
commitdiff
|
tree
2020-11-27
Steve
Baird
[Ada] Implement AI12
-
0187
(Stable proper
t
ies
o
f
ab
s
tract
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
P
i
o
t
r
Trojanek
[
Ada]
Default_Ini
t
ial_Conditi
o
n assertion polic
y
is
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Piotr Tr
o
janek
[Ada
]
Sync doc and
c
o
d
e for
pra
g
ma Asser
t
io
n
_Policy
commit
|
commitdiff
|
tree
2020-11-27
Pi
o
t
r
Trojanek
[Ada
]
A
ssertion_Policy is not
a
vali
d
assertion policy
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[Ada] Do no
t
c
ompile predefine
d
units with -gn
a
tp
i
n
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Piotr Tro
j
anek
[Ada] Restore general c
a
s
e
f
o
r folding comparison of
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Piotr Trojanek
[Ada] C
h
ange parameter
from acce
s
s type
to mode out
commit
|
commitdiff
|
tree
2020-11-27
Eric B
o
t
c
az
o
u
[Ada] Move down call to Narrow_Lar
g
e_Operati
o
n
i
n
Expand_N
_
O
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[A
d
a]
R
eimplement A
d
a
.
N
um
e
rics
.
Big_Numb
e
rs
.
Big_Reals
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Er
i
c
Bo
t
cazou
[
A
d
a] Optimize
g
eneration of checks
f
or fixed-point
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
P
i
otr
Trojanek
[A
d
a]
Simplify check for illegal non-returning
pr
o
c
edures
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada]
A
bort
d
efer mismatch
with SJLJ exceptions
commit
|
commitdiff
|
tree
2020-11-27
Ghjuvan
L
acambre
[Ad
a
] Emit e
r
r
or me
s
sages for null/generic nonreturn
i
ng
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
A
rna
u
d Charlet
[A
d
a] Fix t
r
ee for expanded
i
nstantiati
o
ns corres
p
onding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Eric Bot
c
az
o
u
[Ad
a
] Adju
s
t head c
o
m
ment of various subprogr
a
ms in
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Ar
n
aud Charlet
[Ada] To_Big_Integer and 128b
i
t
s int
e
gers
commit
|
commitdiff
|
tree
2020-11-27
Eri
c
Botcazou
[Ada] Small t
w
eaks
t
o new imp
l
ementa
t
ion
of
S
et_Image_Fixed
commit
|
commitdiff
|
tree
next