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] Make tools compatible with No_Dynamic_Accessibility_Checks
2021-07-08
Arn
a
ud Charlet
[
Ada] Make tools compatible with No_Dyn
a
mic_A
c
cessibility_Checks
commit
|
commitdiff
|
tree
2021-07-07
Ar
n
au
d
C
harlet
[A
d
a] Front-end inlin
i
ng
a
nd in
s
tantiations
of UC
commit
|
commitdiff
|
tree
2021-07-07
A
rnaud Charlet
[
Ada]
M
i
n
or
c
o
d
e
cleanup
commit
|
commitdiff
|
tree
2021-07-07
A
r
naud Cha
r
let
[
A
d
a
] Code cleanup
s
in System
.
Atomic_
C
ounte
r
s
commit
|
commitdiff
|
tree
2021-07-05
Arnaud Charlet
[Ada] Use runt
i
m
e from bas
e
co
m
piler
d
uring
s
t
a
g
e1 #2
commit
|
commitdiff
|
tree
2021-06-18
Arnaud C
h
arlet
[Ada]
P
r
emature freezing of
t
ypes
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Cha
r
let
[Ada] Fix handli
n
g of gn
a
t check/t
e
s
t co
m
mands
commit
|
commitdiff
|
tree
2021-06-18
Arna
u
d Charlet
[
A
da] Code cle
a
nups in exp_ch6
.
ad
b
commit
|
commitdiff
|
tree
2021-06-18
Arnau
d
Char
l
et
[Ada]
Up
d
ate
com
m
ents
r
elated
t
o TBD
commit
|
commitdiff
|
tree
2021-06-18
Arna
u
d Charlet
[Ada] Relax n
u
ll exclusion
m
ismatch
check in Relaxed_
R
M
_Sem
a
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arna
u
d Char
l
et
[Ada] Replace Opt
.
E
x
tensions_Allowed by Ada_V
e
rsion
commit
|
commitdiff
|
tree
2021-06-18
Ar
n
aud Charlet
[Ada] GNAT
.
C
o
mpiler_Version and
L
TO
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charl
e
t
[Ada]
C
rash
o
n
ove
r
riding o
f
a
n
abstract primitive
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
aud Charlet
[Ad
a
] Missing
f
inaliza
t
ion on nested express
i
o
n
with
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[
A
da] Crash o
n
a
nested aggreg
a
te containing
c
ontro
l
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud
Charlet
[A
d
a] Move run
t
ime units for Put_Image
attribute to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada] P
r
ovide ne
w
func
t
ion Uintp
.
U
I
_To_Unsigned_
6
4
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
au
d
C
h
arlet
[
A
da] Minor comment cleanu
p
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
C
har
l
et
[Ada] Do not system
a
tically suppress checks on atree
.
adb
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
Charle
t
[A
d
a]
A
I12-0411 Add "bool" to Interfa
c
es
.
C
commit
|
commitdiff
|
tree
2021-06-17
A
rnau
d
Charlet
[A
d
a] Use
runtime from base compi
l
er duri
n
g s
t
a
ge1
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnaud Charlet
[Ada] W
r
o
n
g refer
e
nce to
Syste
m
.
Taski
n
g
i
n expanded
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Ar
n
aud Charlet
[Ada] Raise expressions and
unconstra
i
n
e
d compon
e
nts
commit
|
commitdiff
|
tree
2021-06-15
A
r
n
a
ud Charlet
[Ada]
Fix handling of scopes for subprogr
a
m c
a
lls in
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Arn
a
ud Cha
r
let
[Ada] Use runti
m
e from base compiler during stage
1
commit
|
commitdiff
|
tree
2021-06-15
Arn
a
u
d
Charlet
[Ad
a
] Add
s
u
p
port
for folding
more an
d
/o
r
expressions
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Charlet
[Ada
]
R
e
name Ada 20
2
*
to Ada 2022
commit
|
commitdiff
|
tree
2021-05-07
A
rnau
d
Charlet
[A
d
a]
C
omputation of Shif
t
_L
e
ft and large signed
val
u
es
commit
|
commitdiff
|
tree
2021-05-06
Arn
a
ud C
h
arl
e
t
[A
d
a]
A
s
s
ert failure on E_Enume
r
a
t
io
n
_Lite
r
al and fron
t
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arnaud C
h
ar
l
et
[
A
da
]
Bad e
x
p
ans
i
on with -gnato2 and if express
i
on
commit
|
commitdiff
|
tree
2021-05-06
Arn
a
ud Charlet
[Ada] AI12-0411: A
d
d
"
b
ool" to Interfaces
.
C
commit
|
commitdiff
|
tree
2021-05-06
A
r
nau
d
Charlet
[A
d
a] Assert
fail
u
re on pragma Inline in procedure
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Charlet
[Ada]
F
i
x
handling of
PATs
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Charl
e
t
[Ada] Fix typ
o
s
commit
|
commitdiff
|
tree
2021-05-04
A
rnaud Charlet
[
A
d
a
] Assert_
F
ai
l
ure vs Assertio
n
_Error
commit
|
commitdiff
|
tree
2021-05-04
Arn
a
u
d Cha
r
let
[
A
da] Ad
d
r
e
s
s s
o
m
e ?
?
? comme
n
t
s
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charlet
[Ada]
M
issing finali
z
a
t
ion on gener
i
c ins
t
ant
i
a
t
ion
commit
|
commitdiff
|
tree
2021-05-04
Arnaud
C
harlet
[A
d
a]
Address so
m
e ??? comments in
c
hecks
.
adb
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charl
e
t
[Ada] Address
?
?? comments in sty
l
eg
.
ad
b
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada]
Ada
.
S
t
rings
.
Unbounde
d
.
Aux
.
Set_Stri
n
g
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[A
d
a
]
Missin
g
Preelaborate_Initialization on Ada
.
Container
s
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[
A
da] U
p
d
a
te copy
r
ight notice
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada] Remove confusing warn
i
ng on type ex
p
o
r
t
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Ch
a
rlet
[Ada] No_Imp
l
icit_
L
oops restriction
a
nd pragma As
s
ert
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[
Ada] Spurio
u
s
w
arning on po
s
tcondition a
n
d result
commit
|
commitdiff
|
tree
2021-05-03
A
r
naud Charle
t
[Ada]
Code cle
a
n
u
p
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Self reference acc
e
ss di
s
c
riminant
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
C
harlet
[Ada] Tree inconsistency between -O0 a
n
d
-O
1
commit
|
commitdiff
|
tree
2021-04-29
Arn
a
ud Charlet
[
Ada] Clean up
M
akefile
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
A
r
n
aud Charlet
[Ada] Bad h
a
ndlin
g
of array s
l
iding in aggregate
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Ada 2020 AI1
2
-0401:
R
e
n
aming of q
u
a
l
ifie
d
ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ad
a
]
Remove obsole
t
e comme
n
t
commit
|
commitdiff
|
tree
2021-04-29
A
r
naud Charlet
[Ada] Spurious er
r
or on
'
I
mage
commit
|
commitdiff
|
tree
2021-04-29
Ar
n
aud
C
harlet
[Ada]
A
I12-0
4
0
7
:
Fixups on Big_I
n
tegers
a
n
d
B
i
g_Reals
commit
|
commitdiff
|
tree
2021-04-28
Arna
u
d
Cha
r
let
[Ad
a
] Fix rece
n
t optim
i
zatio
n
in evaluatio
n
of
s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud C
h
a
r
let
[Ada] Assert failure on complex
code with pri
v
ate
typ
e
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arna
u
d Charlet
[Ada] Cras
h
with
d
e
clare
e
xpres
s
ion
used in a postcondition
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[Ad
a
] Incorrect di
s
crim
i
nant c
h
e
c
k
o
n c
a
ll to acces
s
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
A
rna
u
d Ch
a
r
l
e
t
[Ada] Remove unused subprograms
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charle
t
[Ada] Bad handling of 'V
a
lid_Scalars
a
nd arr
a
ys
commit
|
commitdiff
|
tree
2021-04-28
A
rn
a
ud Char
l
et
[Ada] Fi
x
the Sphinx c
o
nf
i
guration and port it to Python3
commit
|
commitdiff
|
tree
2021-02-12
Arnaud
C
ha
r
let
[Ada] Remove unu
s
ed subprograms (
c
on
t
inued)
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Char
l
et
[Ada] Perf
o
rmance of
C
W_Membersh
i
p
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Remov
e
u
n
u
sed subpr
o
g
r
a
ms in valids
w
commit
|
commitdiff
|
tree
2020-12-17
Arna
u
d Charlet
[Ada] Remove unu
s
ed fi
l
es
commit
|
commitdiff
|
tree
2020-12-17
A
rna
u
d Charl
e
t
[Ada] Code clea
n
u
p
: remove Old_Requires_
T
ransient_Scope
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Cras
h
on i
f
expression in
s
id
e
d
ec
l
are expression
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Remove discriminant checks pro
c
e
ssing in
gigi
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] A
s
sert failur
e
o
n b
3
8105a in
-
gnat95 mod
e
commit
|
commitdiff
|
tree
2020-12-17
Arnaud
C
harlet
[Ada] Compi
l
er
c
rash
o
n
p
r
o
tected compon
e
nt
of
contr
o
lled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Ar
n
aud Charlet
[Ada] Spur
i
ous error on Type'Access and <
>
commit
|
commitdiff
|
tree
2020-12-16
Arna
u
d Charlet
[Ada]
C
ode cle
a
nup: re
n
ame ALI
.
S
c
ope
commit
|
commitdiff
|
tree
2020-12-15
Arnau
d
C
h
arlet
[
A
d
a
] Tr
a
nsfo
r
m_F
u
nctio
n
_
Array
i
ssu
e
s
commit
|
commitdiff
|
tree
2020-12-15
A
rnaud Charl
e
t
[Ada] Crash on unnesting unnamed blocks
commit
|
commitdiff
|
tree
2020-12-14
Ar
n
aud Charlet
[Ada] Add annota
t
ion after recent compi
l
er
c
hanges
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Cha
r
let
[A
d
a] Fix com
p
il
e
time evalua
t
io
n
of
shift intri
n
sics
commit
|
commitdiff
|
tree
2020-11-30
Arnaud C
h
arlet
[Ada] Rem
o
ve all ^L ch
a
r
acte
r
s
commit
|
commitdiff
|
tree
2020-11-30
A
r
n
aud Charlet
[Ada] Enable checks on runtime
b
y default
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Wron
g
repla
c
ement of Component
.
Discriminant
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
Char
l
et
[Ada] Improve er
r
or
recovery
commit
|
commitdiff
|
tree
2020-11-30
A
r
nau
d
C
h
a
rlet
[Ada] Potential
read of uninitialized
v
ariable in
e
xp_dist
.
adb
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d Charlet
[Ada]
A
ddress warning compiling terminals
.
c
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d Charlet
[Ada] Confu
s
i
o
n
i
n Tra
n
sform_Function_Array and interna
l
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada]
W
ro
n
g compile time evalua
t
ion
of Shift_R
i
ght
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[
A
d
a] Referenc
e
bef
o
re
d
ec
l
arati
o
n
on C3
9
20
1
5
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] To_GM_T
i
m
e
re
t
urning in
v
al
i
d
value for
I
nvalid_Time
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charl
e
t
[
Ada] Abort defer mismatch with
S
JLJ
exc
e
ptions
commit
|
commitdiff
|
tree
2020-11-27
Arn
a
ud Charlet
[Ad
a
] Fix tr
e
e for expanded instantiations
c
orresponding
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Ch
a
rlet
[A
d
a] To_
B
ig_In
t
e
ger and 128bits
integers
commit
|
commitdiff
|
tree
2020-11-27
Ar
n
aud
Charlet
[Ada] Error in Big_R
e
a
l
compariso
n
commit
|
commitdiff
|
tree
2020-11-26
Arnaud C
h
arlet
[Ada] Ada
.
N
u
merics
.
Big_Number
s
.
Bi
g
_Real
s
.
To_Big_
R
eal
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud
C
harlet
[Ada] Ada 2020 AI1
2
-0401 Renaming of qualified expression
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Charlet
[
Ada] Add s
u
pport for
.
c output fi
l
e
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Ch
a
r
le
t
[Ada] Con
s
tr
a
i
nt_Error in Task_Wrapper and -u0
commit
|
commitdiff
|
tree
2020-11-25
Ar
n
aud Ch
a
r
l
e
t
[Ada]
A
llow debugging finalization-rela
t
ed
expande
d
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arnaud C
h
arlet
[
Ada]
Can
n
ot process -
S
-o with GNAT
LLVM
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Cha
r
let
[Ada] Wrong resolution of u
n
i
v
ersal_acc
e
ss = operators
commit
|
commitdiff
|
tree
2020-11-24
Arnaud C
h
arlet
[Ada] Pre
m
atu
r
e fi
n
aliza
t
ion on b
u
i
l
d
i
n p
l
ace r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arn
a
u
d
Charlet
[Ad
a
] AI12-
0
394 Named Numbers and U
s
er-D
e
fined Numer
i
c
.
.
.
commit
|
commitdiff
|
tree
2020-11-24
Arnaud Charlet
[Ada] Wrong finaliz
a
tion in call w
i
t
h
if expression
commit
|
commitdiff
|
tree
next