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 Ch
a
r
l
et
[
A
da] Assert_Failure vs Asserti
o
n_Error
commit
|
commitdiff
|
tree
2021-05-04
A
r
n
aud Charlet
[Ada
]
Add
r
ess s
o
me ??? com
m
en
t
s
commit
|
commitdiff
|
tree
2021-05-04
Arn
a
u
d
Charlet
[Ada]
M
i
s
s
i
ng
f
inalization on
g
eneric ins
t
antia
t
ion
commit
|
commitdiff
|
tree
2021-05-04
Arna
u
d Char
l
et
[Ada] Address
some ???
commen
t
s in checks
.
adb
commit
|
commitdiff
|
tree
2021-05-04
Arn
a
ud Charlet
[Ada] Ad
d
ress ??? comments in styleg
.
adb
commit
|
commitdiff
|
tree
2021-05-03
A
r
naud Charlet
[
A
da] Ada
.
Stri
n
gs
.
Un
b
ounded
.
Aux
.
Set
_
Stri
n
g
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada]
M
issing
P
reelaborat
e
_Initializati
o
n on
Ada
.
C
o
ntainers
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Arnau
d
Charlet
[Ada] Update copyri
g
ht notice
commit
|
commitdiff
|
tree
2021-05-03
A
r
naud Ch
a
rlet
[Ada] Re
m
ove confusi
n
g w
a
rning on type export
commit
|
commitdiff
|
tree
2021-05-03
Arn
a
ud Charlet
[Ada] No
_
Implicit_Loops r
e
s
t
ric
t
ion and pragma Asse
r
t
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[A
d
a] Spuri
o
u
s
warning on postcondition and result
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada] Co
d
e cleanup
commit
|
commitdiff
|
tree
2021-04-29
Arn
a
ud
Cha
r
let
[Ada
]
Self reference ac
c
ess discriminant
commit
|
commitdiff
|
tree
2021-04-29
A
rnaud Charle
t
[Ada] Tr
e
e
inconsistency between -O0 and -O1
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d Charlet
[Ad
a
] Clean up
Makefile
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
Charlet
[Ada] Bad
han
d
ling of arr
a
y sliding in aggregate
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada]
A
d
a
2
0
20 A
I
12-0401: Renam
i
ng of qualified
ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Remove obsolete comment
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
C
h
arlet
[Ada] Spurious error on 'Image
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d
Charl
e
t
[Ad
a
]
AI1
2
-04
0
7:
F
ixu
p
s
on
Big_In
t
ege
r
s and Big_Re
a
l
s
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Cha
r
let
[Ada] Fix re
c
ent optimizat
i
on
in e
v
a
l
uation of se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[Ada] Ass
e
rt failure on complex code with private
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud
C
ha
r
l
e
t
[A
d
a] Cras
h
with
de
c
lare
expre
s
sion
u
sed
in a
postcond
i
tion
commit
|
commitdiff
|
tree
2021-04-28
Ar
n
aud Charlet
[Ada] Incorrect
discriminan
t
c
h
eck on call to access
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[Ada] Remove unused subprog
r
ams
commit
|
commitdiff
|
tree
2021-04-28
A
rnaud Charlet
[Ada]
B
a
d hand
l
ing
o
f
'V
a
lid_
S
calars and arrays
commit
|
commitdiff
|
tree
2021-04-28
Arnau
d
Charlet
[Ada] Fix the Sphinx
c
o
n
figuration a
n
d
port it to Python3
commit
|
commitdiff
|
tree
2021-02-12
Arn
a
ud Charlet
[Ada] Re
m
ove unus
e
d subprogram
s
(continued
)
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
a
rlet
[Ad
a
]
P
e
r
f
o
rmance of CW_Membersh
i
p
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Remove un
u
sed
subpro
g
rams in vali
d
sw
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada
]
Remove unused fi
l
e
s
commit
|
commitdiff
|
tree
2020-12-17
Arnau
d
C
harlet
[Ada] C
o
de cle
a
nup: re
m
ove Old_Requires_Transient_Scope
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Ch
a
rlet
[Ada] Crash
o
n if expre
s
sion inside declare ex
p
res
s
i
o
n
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[
A
da] Remove discrimi
n
ant checks processing i
n
gigi
commit
|
commitdiff
|
tree
2020-12-17
Arnau
d
Charle
t
[Ada] Assert fai
l
ure o
n
b38105a in -gna
t
95 mode
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[
A
d
a
]
C
o
mpiler cra
s
h
o
n protected
component of
c
ontrolled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Ch
a
rlet
[Ada] S
p
urious e
r
ror on
T
ype'
A
ccess and <>
commit
|
commitdiff
|
tree
2020-12-16
Arnaud Char
l
e
t
[Ada] Code cleanup:
rename
A
LI
.
Scope
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Charle
t
[Ada]
T
ransfo
r
m_Function_Ar
r
ay is
s
ues
commit
|
commitdiff
|
tree
2020-12-15
Arnaud
Ch
a
rlet
[Ad
a
] Crash
o
n unnesti
n
g unnam
e
d block
s
commit
|
commitdiff
|
tree
2020-12-14
A
rnaud
Charlet
[A
d
a
]
A
dd annotation after rece
n
t comp
i
ler changes
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charle
t
[Ada] Fix compil
e
t
i
me evaluation o
f
shift intrins
i
cs
commit
|
commitdiff
|
tree
2020-11-30
Arn
a
ud Charl
e
t
[
A
da
]
Remove al
l
^L character
s
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d
Charl
e
t
[
Ada] Enabl
e
checks on
r
u
n
time
b
y default
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada
]
W
ro
n
g r
e
pla
c
e
m
ent of
C
omponent
.
Discri
m
inan
t
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Char
l
et
[
A
d
a
] Improve error recovery
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d C
h
arlet
[Ada] Pote
n
tia
l
r
ead of unin
i
t
i
alized variable
i
n
exp_dist
.
adb
commit
|
commitdiff
|
tree
2020-11-30
Arnau
d
Charlet
[Ada] Address warning compiling
t
e
r
minals
.
c
commit
|
commitdiff
|
tree
2020-11-30
A
r
na
u
d
Char
l
et
[Ada] Conf
u
si
o
n
in Transform_Fu
n
ction_Array and int
e
rn
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] Wrong compile time
eva
l
u
a
t
i
on
of Shift_Right
commit
|
commitdiff
|
tree
2020-11-27
Arn
a
ud Ch
a
rlet
[
A
d
a
]
R
e
f
erenc
e
be
f
ore de
c
laration on C392015
commit
|
commitdiff
|
tree
2020-11-27
Ar
n
aud Charlet
[Ada
]
To_GM_Ti
m
e
r
e
turning invalid value for In
v
alid_Tim
e
commit
|
commitdiff
|
tree
2020-11-27
A
rnau
d
Charle
t
[Ada
]
Abort defer mismatch with SJLJ exceptions
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Cha
r
let
[Ad
a
] Fix tre
e
fo
r
expanded
i
ns
t
antiation
s
c
o
rresponding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[A
d
a] To_Big_Integer and
1
28bits integers
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] Error i
n
B
ig
_
Rea
l
comparis
o
n
commit
|
commitdiff
|
tree
2020-11-26
A
r
naud Charlet
[Ada] Ada
.
Numerics
.
Big_Number
s
.
Big
_
Reals
.
To_Bi
g
_R
e
al
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Ch
a
rle
t
[Ad
a
] Ada 2020 AI12-0401
R
e
na
m
ing of qual
i
fied expression
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
A
r
n
aud C
h
a
rlet
[Ada] Add s
u
ppo
r
t
for
.
c output file
commit
|
commitdiff
|
tree
2020-11-26
A
r
naud Charlet
[Ada] Constraint_Err
o
r in
T
as
k
_
W
ra
p
per a
n
d -u0
commit
|
commitdiff
|
tree
2020-11-25
A
r
naud C
h
arlet
[Ada] Al
l
ow deb
u
gg
i
ng finaliz
a
tion
-
re
l
ated e
x
p
a
nded
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
A
r
naud Cha
r
let
[Ad
a
] Cannot
p
rocess -S
-
o
w
i
th GNAT LLVM
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Ch
a
rlet
[Ada] W
r
ong r
e
so
l
ution of
u
niversal_access = oper
a
tors
commit
|
commitdiff
|
tree
2020-11-24
Arna
u
d Charlet
[Ada] Premature finali
z
ation on build
i
n
place retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charle
t
[Ada]
AI12-0394 Named Numbers an
d
U
ser-Defined Numeric
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arn
a
ud Charlet
[Ada] W
r
ong finalization i
n
cal
l
with if
e
xpression
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charlet
[
A
da]
Implem
e
nt Big_
I
nteger
.
F
r
o
m_String fully
commit
|
commitdiff
|
tree
2020-11-24
Arnaud C
h
arlet
[Ada]
Wrong
h
andling
of _ i
n
Big_Reals
.
Fr
o
m
_St
r
i
n
g
commit
|
commitdiff
|
tree
2020-10-27
Arnaud Cha
r
let
[
A
da] Warnings
on g-spogwa
.
a
d
b
commit
|
commitdiff
|
tree
2020-10-27
Arnaud
Ch
a
rlet
[
Ada] New
f
lag Transform_Fu
n
cti
o
n_Array
commit
|
commitdiff
|
tree
2020-10-26
A
rnaud Charlet
[Ada] Suppress wa
r
ning
s
on un
r
efe
r
ence
d
parameters
.
.
.
commit
|
commitdiff
|
tree
2020-10-26
Arna
u
d
Charlet
[
A
da]
I
mp
r
ove e
r
ror on
m
i
s
s
ing with clause
commit
|
commitdiff
|
tree
2020-10-26
A
rnaud Charlet
[Ada] A
I
1
2
-03
9
5: A
l
low a
s
pect_
s
p
ecif
i
c
ations on form
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charle
t
[Ada] C
l
ean up
i
n
wri
t
ing
o
f ALI f
i
les
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ad
a
] Fix logic in
C_Sele
c
t under min
g
w
commit
|
commitdiff
|
tree
2020-10-23
A
r
naud Charlet
[Ada] Im
p
rove documentation of pragma Abort_Defer
commit
|
commitdiff
|
tree
2020-10-23
A
r
naud Charlet
[
A
da] Error
w
hen
closing c_stream
commit
|
commitdiff
|
tree
2020-10-23
Ar
n
au
d
Charlet
[Ada] Missing det
e
ction
of unused with_c
l
ause
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Update head
e
r of fro
n
t-end files
commit
|
commitdiff
|
tree
2020-10-23
Ar
n
au
d
Charlet
[Ada] Tak
e
advant
a
ge
o
f Long_Long_
L
o
n
g_I
n
teger in From_St
r
ing
commit
|
commitdiff
|
tree
2020-10-22
Arnaud Charlet
[Ada] Add m
o
re annota
t
ion
s
and assertio
n
s in the
run
t
i
m
e
commit
|
commitdiff
|
tree
2020-10-22
Arnaud C
h
arlet
[Ada] Update
annot
a
t
i
ons
f
or codepeer analysi
s
on GNAT
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
A
r
n
a
ud Charle
t
[Ada] Add
su
p
port
f
o
r Unre
f
e
r
ence
d
a
s
pe
c
t on fo
r
m
al
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Arnau
d
Charlet
[Ad
a
] New warn
i
ng on not f
u
lly
ini
t
i
alized box
aggreg
a
t
e
commit
|
commitdiff
|
tree
2020-10-20
A
rnaud Charlet
[Ada] Crash on precond
i
t
i
on
,
discriminant and
pr
o
t
ected
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
A
rnaud C
h
ar
l
et
[Ada]
Is
s
ue
with
g
natb
i
nd -V switch a
n
d Ada 2012
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Spurious
d
iscriminant check on "for
o
f" lo
o
p
commit
|
commitdiff
|
tree
2020-10-20
A
rnaud
Charlet
[Ada] Remove extr
a
validity check in
case s
t
a
tement
commit
|
commitdiff
|
tree
2020-10-20
Arnaud
C
harlet
[Ada]
C
ode
c
l
e
an
u
p
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Ch
a
rlet
[A
d
a]
M
issing check on
a
rray concatenation
commit
|
commitdiff
|
tree
2020-10-19
Ar
n
a
u
d
Cha
r
l
e
t
[Ada] AI12-0352: Early derivati
o
n and equali
t
y of unt
a
g
g
ed
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Char
l
et
[
A
da] Wrong freezing fo
r
expression functio
n
wit
h
c
o
ntracts
.
.
.
commit
|
commitdiff
|
tree
2020-10-19
A
r
naud Charlet
[
Ada] ACATS
4
.
1
R
-
Exception m
i
ssed
commit
|
commitdiff
|
tree
2020-10-19
Arn
a
u
d Ch
a
rlet
[
A
da] No
r
a
nge c
h
e
c
k on fixed point to
integer conversion
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] Clean up support of square brackets
commit
|
commitdiff
|
tree
2020-10-16
A
rn
a
ud C
h
arlet
[Ada] P
r
eelaborate rules no
t
fu
l
ly enforced
commit
|
commitdiff
|
tree
2020-10-16
Arnau
d
C
harlet
[
Ada] Ada2020: AI12-01
2
9 Make protected objects m
o
re
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Arnaud
C
harlet
[Ada
]
Clean up i
n
system
.
a
ds
dependencies duri
n
g co
m
piler
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
A
rnaud Charl
e
t
[Ada] Co
n
vert from UTF
_
1
6
to UTF_8 fa
i
ls for la
r
ge
.
.
.
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[
Ada] Fi
n
alization of u
n
init
i
al
i
zed object with build
.
.
.
commit
|
commitdiff
|
tree
next