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] Assert_Failure vs Assertion_Error
2021-05-04
Arnaud
Charlet
[Ada] Assert_Failure vs Asserti
o
n_Error
commit
|
commitdiff
|
tree
2021-05-04
Arnau
d
Charlet
[Ada] Address so
m
e ??? comments
commit
|
commitdiff
|
tree
2021-05-04
A
r
naud
C
harlet
[Ada]
Missing
finalization on ge
n
eric instantiation
commit
|
commitdiff
|
tree
2021-05-04
Ar
n
aud Charlet
[Ada] Address some ??? commen
t
s in checks
.
adb
commit
|
commitdiff
|
tree
2021-05-04
A
r
n
a
ud Cha
r
l
e
t
[Ada] A
d
d
ress ?
?
? co
m
m
e
nts in sty
l
eg
.
a
db
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada] Ada
.
Strings
.
Un
b
o
u
n
d
ed
.
Aux
.
Set_String
commit
|
commitdiff
|
tree
2021-05-03
Arna
u
d Charl
e
t
[Ada] M
i
ssing Preelabor
a
te_
I
nitializatio
n
o
n A
d
a
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[A
d
a] U
p
date copyright
n
otice
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
arl
e
t
[Ada
]
Remove confusing warni
n
g
o
n ty
p
e
e
x
p
ort
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charl
e
t
[Ad
a
] No_Implicit_Loops restriction
a
nd
p
ragma Assert
commit
|
commitdiff
|
tree
2021-05-03
A
rnaud Charlet
[Ada] Spurio
u
s warning on
p
ostcondition and result
commit
|
commitdiff
|
tree
2021-05-03
Arn
a
ud Charlet
[Ada
]
Code clean
u
p
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Self refe
r
en
c
e
a
ccess d
i
s
crimin
a
nt
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
C
harlet
[Ada
]
Tree
i
n
consistency
b
etween -O
0
a
n
d -O1
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
C
harlet
[
A
d
a] Cle
a
n
up M
a
k
e
file
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
Charle
t
[Ada] Bad handling of arra
y
sliding in aggregate
commit
|
commitdiff
|
tree
2021-04-29
A
rnaud Charlet
[Ada] A
d
a 2020 A
I
12-0401
:
Renaming
o
f qu
a
lified expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Arn
a
ud C
h
arl
e
t
[Ada] Remove
obsol
e
te comment
commit
|
commitdiff
|
tree
2021-04-29
A
rnaud Charlet
[Ada] Spur
i
ous err
o
r on 'Ima
g
e
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
Charlet
[Ada] AI1
2
-0407
:
Fix
u
ps on B
i
g_Integers and Big_Reals
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[A
d
a] F
i
x recent
optimization in evaluation of selected
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnau
d
Cha
r
let
[Ada]
Asse
r
t fail
u
r
e on complex c
o
de with private type
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnau
d
Char
l
et
[Ada] Cra
s
h
wit
h
declare expressio
n
u
se
d
i
n a
postconditio
n
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charl
e
t
[Ada]
I
nco
r
rect
d
iscriminant check on call to access
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Ch
a
r
let
[Ada]
Remove unused subprograms
commit
|
commitdiff
|
tree
2021-04-28
Arnaud
Cha
r
let
[A
d
a
] B
a
d handli
n
g of 'Valid_S
c
ala
r
s
a
nd arra
y
s
commit
|
commitdiff
|
tree
2021-04-28
Ar
n
a
u
d Char
l
et
[Ada] Fix the Sphinx co
n
figuration and port
it
t
o Python3
commit
|
commitdiff
|
tree
2021-02-12
Arnaud Charlet
[Ada]
Remove unused s
u
bpro
g
rams
(continued)
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
arlet
[Ada] Performance of CW_Mem
b
ership
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] R
e
move unused subprograms in validsw
commit
|
commitdiff
|
tree
2020-12-17
Arn
a
ud Ch
a
r
let
[A
d
a] Rem
o
ve
u
nused fil
e
s
commit
|
commitdiff
|
tree
2020-12-17
Arn
a
ud Cha
r
l
et
[Ada] Co
d
e cleanup
:
rem
o
ve
O
ld_Requi
r
es_Transient_Scope
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
a
rlet
[
Ad
a
] Crash on if expressio
n
in
s
ide
d
e
clare expression
commit
|
commitdiff
|
tree
2020-12-17
A
r
naud C
h
arle
t
[Ada] Remov
e
discrimi
n
a
n
t
checks
p
rocessin
g
in
gigi
commit
|
commitdiff
|
tree
2020-12-17
A
r
naud Charlet
[Ada] Assert failur
e
on b381
0
5a in
-
gnat95 mode
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
arl
e
t
[
Ada] Compiler crash on protect
e
d compo
n
ent of
c
ontrolled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Spurious
e
rror on Type'Access and <
>
commit
|
commitdiff
|
tree
2020-12-16
Arnaud Charle
t
[Ada] Code cl
e
anup: re
n
am
e
ALI
.
Scope
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Charlet
[Ada]
T
r
ansform_Function_Arr
a
y iss
u
es
commit
|
commitdiff
|
tree
2020-12-15
Arna
u
d
C
h
arlet
[Ada] Cra
s
h
o
n unnesting unnam
e
d
blocks
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charlet
[
Ad
a
] Add annotation
a
fte
r
recent compiler changes
commit
|
commitdiff
|
tree
2020-12-14
Arn
a
ud Char
l
et
[Ada]
F
ix
comp
i
l
e
t
ime evaluation o
f
shi
f
t intrinsics
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Cha
r
let
[Ada] R
e
move all
^
L
characte
r
s
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
C
harlet
[Ada
]
Enable
c
h
ec
k
s on runtime
b
y de
f
ault
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Ch
a
rlet
[Ada
]
Wrong replacement of Component
.
Discriminant
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Charlet
[Ada]
I
mpr
o
ve error reco
v
ery
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada]
P
o
tential r
e
a
d
of uniniti
a
l
iz
e
d
v
a
r
iabl
e
in exp_dist
.
adb
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
C
h
a
rlet
[Ada] Ad
d
ress warning c
o
mpiling terminals
.
c
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Conf
u
sion
i
n Transform_
F
unctio
n
_Array
a
nd i
n
tern
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
A
r
naud Ch
a
rlet
[Ada]
W
rong compi
l
e tim
e
eva
l
ua
t
i
on of Shift
_
Righ
t
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] Reference
b
efore declaration on C39201
5
commit
|
commitdiff
|
tree
2020-11-27
Arna
u
d Charlet
[
Ada] To_GM
_
Time returning invalid value for Inv
a
lid_Time
commit
|
commitdiff
|
tree
2020-11-27
Arnau
d
Charlet
[Ada] Abort
d
e
fer mismatch w
i
th S
J
LJ exceptions
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Cha
r
let
[Ada] Fix tree
f
or expanded in
s
tantiati
o
n
s corresponding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arn
a
ud Charlet
[Ada]
T
o_Big_Integer
a
nd 128bits
i
nteg
e
rs
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Ch
a
rlet
[Ada
]
Erro
r
in Big
_
R
e
al comparison
commit
|
commitdiff
|
tree
2020-11-26
Arn
a
u
d
Charlet
[Ada] Ada
.
Numerics
.
Big
_
N
u
mber
s
.
Big_Reals
.
To_Big
_
Real
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Charle
t
[A
d
a]
Ada 20
2
0 AI12
-
0401 Re
n
aming of qu
a
lified express
i
on
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Ar
n
aud Charlet
[Ada] Add supp
o
rt for
.
c output file
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Charlet
[Ada] Constraint_Err
o
r
in
Task_Wrapper and -u0
commit
|
commitdiff
|
tree
2020-11-25
A
r
naud
Charle
t
[
A
d
a
]
All
o
w
debugging finalizatio
n
-
related e
x
pande
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charlet
[Ada] Cannot pr
o
ce
s
s
-
S -o w
i
th G
N
AT LLVM
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Cha
r
let
[Ada]
W
ro
n
g
re
s
olution
o
f
u
ni
v
ersal_ac
c
es
s
= operators
commit
|
commitdiff
|
tree
2020-11-24
Arnaud
Charlet
[Ada] Prema
t
u
re fi
n
alization on build in place return
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
A
r
naud
C
harlet
[Ada] AI12-0394
Named Numbers a
n
d
User-Defined Numeric
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arnau
d
Charl
e
t
[
A
da] Wrong f
i
nalizatio
n
in c
a
ll wi
t
h if ex
p
ression
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charlet
[Ada]
Imple
m
ent Big_Integer
.
From_String fully
commit
|
commitdiff
|
tree
2020-11-24
Arn
a
ud Charlet
[Ad
a
] Wrong ha
n
dling
o
f
_ in B
i
g_Reals
.
From_String
commit
|
commitdiff
|
tree
2020-10-27
Arnaud Charlet
[Ada] Warnings on g-sp
o
gwa
.
ad
b
commit
|
commitdiff
|
tree
2020-10-27
A
rnaud Charlet
[Ada
]
N
e
w flag Tr
a
nsfo
r
m_Function_Array
commit
|
commitdiff
|
tree
2020-10-26
Arna
u
d Charl
e
t
[
Ada
]
Suppress war
n
ings on unreferenced parameters
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
A
rnaud Cha
r
l
et
[Ada] I
m
p
rov
e
erro
r
on m
i
ssing with clause
commit
|
commitdiff
|
tree
2020-10-26
Arnaud Charle
t
[Ada
]
AI12
-
0395: Allow asp
e
ct_specifications on f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Arn
a
ud Charlet
[Ad
a
] C
l
ean up in
w
r
i
ting of ALI files
commit
|
commitdiff
|
tree
2020-10-23
Arnau
d
Charlet
[
A
da]
F
ix logic
i
n C_Se
l
ect
u
nder
m
i
n
gw
commit
|
commitdiff
|
tree
2020-10-23
Arnaud
Charl
e
t
[Ada] Improve document
a
tio
n
of p
r
a
g
ma Abort_Defe
r
commit
|
commitdiff
|
tree
2020-10-23
A
r
naud Char
l
et
[Ada] Error when closing c_stream
commit
|
commitdiff
|
tree
2020-10-23
A
r
n
a
u
d
Charlet
[Ada]
M
issing detect
i
on of unused w
i
th_clause
commit
|
commitdiff
|
tree
2020-10-23
Arnau
d
C
h
a
rle
t
[Ada] Upda
t
e head
e
r o
f
front-end fil
e
s
commit
|
commitdiff
|
tree
2020-10-23
Arn
a
ud Charlet
[A
d
a] Take adva
n
tage
o
f L
o
ng_Long_L
o
n
g_
I
nt
e
g
e
r
in F
r
om_String
commit
|
commitdiff
|
tree
2020-10-22
Arnaud
C
harlet
[Ada] Ad
d
more annotation
s
and
asse
r
tions
i
n the runti
m
e
commit
|
commitdiff
|
tree
2020-10-22
Arnaud Charlet
[Ada
]
U
p
d
ate annotat
i
ons for
c
odepeer analy
s
is on GNAT
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
A
rnau
d
Charlet
[Ada] Ad
d
support for Unreferenced aspect on formal
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arnaud
Char
l
et
[Ada]
New warn
i
ng
on not f
u
l
l
y initia
l
ized bo
x
aggregate
commit
|
commitdiff
|
tree
2020-10-20
Arnau
d
Charlet
[Ada] Crash on precondition, discriminant and
p
rotected
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Ar
n
aud Char
l
et
[Ada] Issue with gnatbind
-V switch and Ada 201
2
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[
A
da
]
Spurious d
i
scriminant c
h
eck on "
f
or of" loop
commit
|
commitdiff
|
tree
2020-10-20
Arnaud
Ch
a
rlet
[Ada] Rem
o
v
e
ex
t
ra val
i
dity check in c
a
s
e sta
t
em
e
nt
commit
|
commitdiff
|
tree
2020-10-20
Arnau
d
Charlet
[
A
da] Code clean up
commit
|
commitdiff
|
tree
2020-10-19
A
r
nau
d
Charlet
[Ada
]
Mi
s
sing c
h
eck
on array conca
t
enation
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Cha
r
l
e
t
[Ada] AI12
-
0
352: Earl
y
de
r
ivation and eq
u
a
l
i
ty o
f
u
ntagged
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Char
l
et
[Ad
a
] Wrong f
r
eezing
for exp
r
es
s
i
o
n
fu
n
c
t
io
n
with contracts
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
A
r
naud C
h
arlet
[Ada] ACATS 4
.
1R - Except
i
on
m
iss
e
d
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charle
t
[Ada
]
No range
chec
k
on fixed point to
integer conversion
commit
|
commitdiff
|
tree
2020-10-19
Arn
a
ud
Charlet
[Ada] Cl
e
a
n
up su
p
port of square brackets
commit
|
commitdiff
|
tree
2020-10-16
A
r
n
a
ud Charlet
[
Ada
]
Preel
a
b
o
rate ru
l
es not fully enforc
e
d
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Ada2020: AI1
2
-012
9
Make pro
t
ected obje
c
ts mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
A
r
n
aud
C
harlet
[Ada] Clean up in sy
s
tem
.
ads depend
e
nci
e
s during compiler
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Ch
a
rlet
[Ada] Convert from UT
F
_16 to U
T
F_8
f
ai
l
s f
o
r large
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charl
e
t
[Ada] Finalization of un
i
nitialized o
b
j
ect wi
t
h build
.
.
.
commit
|
commitdiff
|
tree
next