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] armhf-linux: symbolic tracebacks
2020-12-16
Doug Rup
p
[Ada]
a
rm
h
f-linux: symbolic tr
a
cebacks
commit
|
commitdiff
|
tree
2020-12-16
D
m
itr
i
y
Anisimkov
[
A
d
a] Fix memor
y
leak in GNAT
.
Expect
.
Non_Blocking_Spawn
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
P
iotr Tro
j
anek
[Ada
]
R
e
move in
c
onsistent colo
n
s in m
e
ssa
g
es for Ada
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
P
iotr Troj
a
nek
[Ada
]
R
e
f
ine t
y
p
e
s of variables for
p
arsing
f
o
r
mal
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
P
i
ot
r
T
rojanek
[Ada]
Fi
x
t
ypo i
n
checks for implementati
o
n defined
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr Trojanek
[
Ada] Sim
p
lify member
s
hip tests
w
i
t
h
N_Delay_Statement
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Pio
t
r T
r
o
janek
[Ad
a
] Simplify membership tests with
N
_S
u
bprogram_
C
all
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Eric
Botca
z
ou
[Ada] Fix glitch
i
n
comment o
f
Sys
t
e
m
.
Powten_Table
commit
|
commitdiff
|
tree
2020-12-16
Philippe Gil
[A
d
a] Fix possible un
i
nitialized ATCB
componen
t
use
commit
|
commitdiff
|
tree
2020-12-16
E
r
i
c
Botcazou
[Ada] Avoid artificial underflow in Sys
t
em
.
Val_Real
commit
|
commitdiff
|
tree
2020-12-16
P
iotr Troja
n
ek
[Ada] Fix
i
n
teger-vs-floa
t
errors in example
for Test_C
a
se
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Piotr T
r
ojanek
[Ada] Reject junk syntax for Contract_Cases/Test_Case
.
.
.
commit
|
commitdiff
|
tree
2020-12-16
Dmitriy
A
nisimkov
[
Ada]
Fix gmem
.
out corrupt
i
on by GNAT
.
Expect
commit
|
commitdiff
|
tree
2020-12-16
Yannick Moy
[Ada] Mark
g
e
ne
r
ic
body outside of SPARK
commit
|
commitdiff
|
tree
2020-12-16
Eric B
o
tcazou
[
A
d
a]
Another
s
mall adj
u
s
t
men
t
to Sy
s
tem
.
Value_R
commit
|
commitdiff
|
tree
2020-12-16
Pasca
l
Obry
[Ada] Add some
OS cons
t
ants to co
n
trol serial port
commit
|
commitdiff
|
tree
2020-12-15
Pascal Obry
[Ada] Fix serial port bau
d
rate setting on GNU/Linux
commit
|
commitdiff
|
tree
2020-12-15
Eric Bot
c
azou
[Ada] S
m
all ad
j
ustment to System
.
Val_Real
commit
|
commitdiff
|
tree
2020-12-15
Pio
t
r Trojanek
[Ada] Simplify
c
heck
f
o
r ext
r
a parens
commit
|
commitdiff
|
tree
2020-12-15
P
i
ot
r
Trojanek
[Ada
]
Refac
t
or repeated c
o
mpla
i
ns about
m
issing -gnat
2
005
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Eric
Bot
c
azou
[Ada
]
S
m
all
adjustmen
t
to parameter
i
zation of
S
ys
t
em
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Just
i
n
S
quirek
[
Ad
a
]
Pos
t
condition checks performed befo
r
e
finali
z
ation
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Complain abo
u
t missing
-
gnat2020 s
w
itch on it
e
rator_filter
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Reuse App
e
n
d
_N
e
w in parsing
aggregates
commit
|
commitdiff
|
tree
2020-12-15
Eric B
o
tcazou
[Ada] I
m
plement tie
r
ed s
u
p
port f
o
r floating-point input
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Ya
n
ni
c
k Moy
[Ada] Mark gene
r
ic
b
ody outside
o
f SPARK
commit
|
commitdiff
|
tree
2020-12-15
A
rnau
d
Charlet
[
Ada] T
r
ans
f
or
m
_Function_Array issues
commit
|
commitdiff
|
tree
2020-12-15
Pi
o
tr Trojanek
[Ada] Simplify di
s
carding nodes when proce
s
sing aspect
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Arnaud
C
harlet
[Ada] Cras
h
on
unnesting unnamed bl
o
cks
commit
|
commitdiff
|
tree
2020-12-15
Piotr T
r
ojanek
[Ada] Refactor rep
e
a
ted code for Value
attributes
commit
|
commitdiff
|
tree
2020-12-15
Pascal Ob
r
y
[Ada] Fix pos
s
ib
l
e in
f
inite recursio
n
i
n director
y
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Pio
t
r
Trojanek
[Ada] Re
f
actor re
p
eated code
for Callable and Terminated
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
P
iotr Troj
a
nek
[Ada] R
e
fa
c
tor re
p
eated code for
Wid
t
h attrib
u
t
e
s
commit
|
commitdiff
|
tree
2020-12-15
Piotr Tr
o
j
a
nek
[Ad
a
] Refacto
r
repeated c
o
de for
P
r
e
d and Succ attribute
s
commit
|
commitdiff
|
tree
2020-12-15
Piotr
T
rojanek
[Ada] R
e
factor repeated code for size a
t
trib
u
tes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojane
k
[Ada] Refacto
r
repeated code for
fixed point a
t
tri
b
ute
s
commit
|
commitdiff
|
tree
2020-12-15
P
i
otr Trojanek
[Ada]
Remove redu
n
d
a
nt calls to
UI
_
To_Int in re
l
a
tional
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Tro
j
anek
[Ada
]
Refactor
repeated code
for component a
t
tributes
commit
|
commitdiff
|
tree
2020-12-15
Piotr Tro
j
a
n
ek
[Ada]
R
e
factor repeated code fo
r
r
ea
l
type a
t
tribu
t
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
T
roj
a
nek
[Ada] Refactor repeated c
o
de fo
r
r
e
al type attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refa
c
tor r
e
p
e
ated code for
rea
l
type attribute
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr
T
rojanek
[Ada] Refactor repeated
c
ode for floating po
i
nt a
t
tributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
P
iotr
Trojanek
[
A
da] Refactor rep
e
ated code for floating point attributes
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor d
u
pl
i
c
ated c
o
d
e
for Denorm and
Signe
d
_Zeros
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[
A
da] Re
f
ac
t
or
d
u
plicated c
o
de for Adjacent, Copy_Sign
.
.
.
commit
|
commitdiff
|
tree
2020-12-15
Piotr Troj
a
nek
[Ada]
Refactor
d
uplicate
d
code for Compose, Lea
d
ing_Part
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr
T
ro
j
anek
[Ad
a
] An
a
ly
z
e sec
o
n
d
parameter of attribute
Scaling
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada]
Refactor d
u
plicated code f
o
r Fi
r
st and Last attr
i
butes
commit
|
commitdiff
|
tree
2020-12-14
Pio
t
r Trojanek
[Ada] Proc
e
ss Truncatio
n
just
like other floating p
o
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr
Troj
a
n
e
k
[
A
da] Refactor dup
l
ic
a
te
d
code for floating poi
n
t attributes
commit
|
commitdiff
|
tree
2020-12-14
Eric
Bo
t
cazou
[
Ad
a
]
S
ma
l
l adj
u
stments
t
o fixed-
p
oint I/O un
i
ts
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Small clea
n
up in t
h
e Ada
.
Text_IO hierarchy
commit
|
commitdiff
|
tree
2020-12-14
Justin Squ
i
rek
[Ada] Incorrect acc
e
ssibility
leve
l
on type in fo
r
mal
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
E
r
i
c Botcaz
o
u
[Ada
]
F
i
x alignme
n
t
warning in System
.
F
a
t_Gen unit
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charlet
[A
d
a] Add annotat
i
on after r
e
cent compi
l
e
r
changes
commit
|
commitdiff
|
tree
2020-12-14
Arnau
d
Charlet
[Ada] Fix
compil
e
time
evaluation o
f
shift
i
n
t
ri
n
sics
commit
|
commitdiff
|
tree
2020-12-14
E
ric B
o
tcazo
u
[A
d
a
] Adjust again
p
re
v
i
ous change to
System
.
F
a
t
_
Gen
commit
|
commitdiff
|
tree
2020-12-14
Er
i
c Botcazou
[A
d
a
]
Fix int
e
rnal
error on bit-packe
d
array
i
n Vola
t
ile_Ful
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Eric B
o
tcazou
[Ada] Adjust previ
o
us change to Syst
e
m
.
Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
E
ric Botc
a
zou
[Ada]
Impl
e
ment p
a
r
t of
Sy
s
tem
.
Fat_Gen m
o
re efficien
t
l
y
commit
|
commitdiff
|
tree
2020-12-14
P
iotr Trojanek
[Ada] Remove double initialization
o
f
the kn
o
wn value
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
G
a
ry Dismu
k
es
[
Ada] Fix do
c
umentati
o
n of
-
gnatw
.
K switch
(act
i
va
t
es
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Dou
g
Rupp
[
Ada] arm
h
f
-linux: symbolic tracebacks
commit
|
commitdiff
|
tree
2020-12-14
Ghjuvan Lacambre
[Ad
a
] Implement AI1
2
-039
8
-
1/0
3
commit
|
commitdiff
|
tree
2020-12-14
Gary Dismu
k
es
[Ada] Additional
f
ixe
s
for D
e
faul
t
_
I
n
itial_Condition
commit
|
commitdiff
|
tree
2020-12-14
E
r
ic Botcazou
[Ad
a
] Fi
x
c
o
upl
e
of b
u
gs in the imple
m
e
ntation
o
f Ro
u
nd
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
P
iotr Trojanek
[Ada] S
i
mplify
p
revent
i
on of ca
s
cad
e
d
e
r
rors for R
e
fined
_
State
commit
|
commitdiff
|
tree
2020-12-14
Bob
D
uf
f
[Ada] Compile
r
c
rash on call to function i
n
stanc
e
commit
|
commitdiff
|
tree
2020-12-14
Ya
n
nick
Moy
[Ada] Fix warning contr
o
l character for mes
s
age on
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Yannick Moy
[Ad
a
] Refine er
r
or messag
e
s on illeg
a
l
Refined_St
a
te
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
P
i
ot
r
T
r
ojanek
[Ada] Avo
i
d
r
eanalysis
of malfo
r
med depen
d
ency
r
elations
commit
|
commitdiff
|
tree
2020-12-14
Eric
Botc
a
zou
[
Ada
]
T
i
dy up implementation of System
.
Fat_Gen
.
Valid
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
Piotr Tr
o
jan
e
k
[
A
da] Fix ana
l
ysi
s
of
a
ccess objects in De
p
ends contracts
commit
|
commitdiff
|
tree
2020-12-14
Piotr
Trojanek
[A
d
a]
Update comment for processing of pragma Asserti
o
n
_Policy
commit
|
commitdiff
|
tree
2020-12-14
Yanni
c
k
M
o
y
[Ada] C
o
rrectly mark subprogram as not always inlined
.
.
.
commit
|
commitdiff
|
tree
2020-12-14
E
r
i
c Bot
c
azou
[Ada]
A
d
just
d
ocumentation of Sys
t
em
.
Img_U
t
il
.
Set_Decima
l
_D
i
gits
commit
|
commitdiff
|
tree
2020-11-30
Pierre-Marie de
.
.
.
[Ada] s-trasym
.
ads: update the lis
t
of suppor
t
e
d
platforms
commit
|
commitdiff
|
tree
2020-11-30
A
rnaud Cha
r
let
[Ada
]
R
e
move all ^L ch
a
r
a
cters
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charl
e
t
[Ada
]
Enab
l
e ch
e
c
k
s on
r
untim
e
by def
a
u
l
t
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charle
t
[A
d
a
]
Wrong
r
eplac
e
ment of Com
p
onent
.
Di
s
crimina
n
t
commit
|
commitdiff
|
tree
2020-11-30
P
i
otr Trojanek
[Ada]
M
inor r
e
use
I
s
_Assig
n
able
commit
|
commitdiff
|
tree
2020-11-30
Pi
o
tr Trojan
e
k
[Ada] Simplify
ana
l
ysi
s
of assignment stat
e
ments
commit
|
commitdiff
|
tree
2020-11-30
P
iotr Tro
j
anek
[Ada] Minor reuse Is_Prote
c
ted_Compo
n
e
nt
commit
|
commitdiff
|
tree
2020-11-30
E
ric
B
otcazou
[Ada] Fix
i
nternal erro
r
on extended re
t
urn and
f
i
x
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Gary
D
ismu
k
es
[
A
da]
Implement in
h
eritance for Default_Init
i
al_Condition
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
A
rna
u
d Char
l
et
[
A
da]
I
m
p
rove error reco
v
ery
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazo
u
[Ada] Reimplement Ada
.
Numerics
.
Big_Numbers
.
Big_Re
a
ls
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Bob D
u
ff
[Ada
]
Compil
e
r
crash on
l
imited conditional
expres
s
ions
commit
|
commitdiff
|
tree
2020-11-30
Eric B
o
tcazou
[A
d
a
]
Expand inte
g
e
r
-only implementation of ordinary
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ghj
u
van Lacambre
[
A
da]
Implement
-
gnateb switch
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Charlet
[Ad
a
]
Potential read
of uninitial
i
zed variab
l
e in exp
_
dis
t
.
adb
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Charlet
[Ada] Address warning compiling termi
n
al
s
.
c
commit
|
commitdiff
|
tree
2020-11-30
Eric
B
otcazou
[Ad
a
] Add stream-o
r
iented
a
t
tributes support for 12
8
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonbe
r
g
[Ada] Spurious
error on it
e
r
a
tor
over co
n
tai
n
er with
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Y
a
nnick Moy
[Ada]
A
d
d
co
m
ment on
special Heap variable use
d
in
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Pas
c
al Obry
[
Ada
]
Fix serial port control settin
g
on GNU/
L
inu
x
commit
|
commitdiff
|
tree
2020-11-30
Pascal Obry
[Ada]
Mino
r
style fi
x
es
commit
|
commitdiff
|
tree
2020-11-30
Piotr Trojanek
[
Ada] Fi
x
folding of comparison operators in GNATp
r
ov
e
.
.
.
commit
|
commitdiff
|
tree
2020-11-30
Bob Du
f
f
[Ada] Crash
on ghost assignment c
h
eck fo
r
illegal c
o
de
commit
|
commitdiff
|
tree
2020-11-30
Yannick Moy
[Ada
]
Add c
o
ntinuation
m
essa
g
e when o
t
hers choice not
.
.
.
commit
|
commitdiff
|
tree
next