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] Rename sigtramp-vxworks-target.inc to sigtramp-vxworks-target.h
2021-07-08
Arnaud Charlet
[
A
da] A
I
12-0156 Use subt
y
pe in
d
ica
t
ion in generalize
d
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
A
r
n
a
u
d
Charlet
[Ada] Spu
r
ious wa
r
ning in generi
c
i
n
stance
commit
|
commitdiff
|
tree
2021-07-08
A
r
n
aud Charle
t
[
Ada] Add No_Ta
s
king
restrict
i
on
i
s
syste
m
.
ads f
o
r
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Char
l
et
[Ada] Make
run
t
ime code compatible with No_D
y
nam
i
c_Acces
s
ibi
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arna
u
d Charl
e
t
[Ada] Revert mean
i
ng
o
f -gnatd_b
commit
|
commitdiff
|
tree
2021-07-08
Arnaud C
h
arlet
[A
d
a] Ma
k
e to
o
ls compatible with N
o
_Dynamic_
A
ccessibility
_
Check
s
commit
|
commitdiff
|
tree
2021-07-07
Arna
u
d Ch
a
rle
t
[A
d
a
]
Front-en
d
inlining
a
nd instantiation
s
of UC
commit
|
commitdiff
|
tree
2021-07-07
Ar
n
aud C
h
arlet
[
Ada] Minor co
d
e
clean
u
p
commit
|
commitdiff
|
tree
2021-07-07
Arnaud Cha
r
let
[Ada] Code cleanups i
n
System
.
Atomic_Counters
commit
|
commitdiff
|
tree
2021-07-05
A
rnaud Charlet
[Ada] Use runtim
e
f
r
om base c
o
mp
i
ler during stage1 #2
commit
|
commitdiff
|
tree
2021-06-18
Arnaud C
h
arlet
[
A
da]
P
rem
a
ture
f
reezing
o
f types
commit
|
commitdiff
|
tree
2021-06-18
Arnau
d
Charlet
[Ada] Fix handling of gnat check/test commands
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
ud
C
harlet
[
A
da]
C
ode clean
u
ps
in exp_
c
h6
.
adb
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ada] Upd
a
te
commen
t
s relate
d
to TBD
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
ud Charlet
[Ada] R
e
l
ax null
e
x
clu
s
io
n
mismat
c
h
chec
k
in Rela
x
ed_RM_Sema
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
A
r
n
aud Cha
r
l
et
[A
d
a] Replac
e
Opt
.
Extensions_Allowed
by Ad
a
_Version
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Cha
r
let
[Ada] G
N
AT
.
Compiler
_
Version and LTO
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
Charlet
[Ad
a
] Crash on overridi
n
g o
f
an abs
t
r
a
c
t primitive
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arn
a
ud Charle
t
[
A
da]
Missing f
i
naliza
t
ion on n
e
sted expre
s
s
i
on with
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada] Crash on a
neste
d
aggregate co
n
tai
n
ing co
n
t
r
o
l
l
ed
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada
]
Move r
u
ntime u
n
its for Put_Image attribute to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Char
l
e
t
[Ada] Provide new
f
un
c
tion Uintp
.
UI_To_Unsigned_64
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud Charle
t
[Ada] Minor commen
t
cleanup
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada] Do not syst
e
matical
l
y suppress checks on atree
.
adb
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[
Ada] AI12-0411 Add "bool" to Interfa
c
e
s
.
C
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
C
h
arlet
[Ada] Use runti
m
e from base compil
e
r dur
i
ng stage1
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Ar
n
a
u
d Charlet
[Ada]
W
rong reference t
o
Syste
m
.
Tasking in e
x
p
anded
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnau
d
Charlet
[
Ada]
R
a
ise
e
xpressions an
d
unc
o
nstrained c
o
mponen
t
s
commit
|
commitdiff
|
tree
2021-06-15
Arnaud C
h
arle
t
[Ada] Fix hand
l
ing of scopes f
o
r subp
r
ogram calls
i
n
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
A
r
na
u
d Charlet
[
A
da] Use runtime fr
o
m base compil
e
r during s
t
ag
e
1
commit
|
commitdiff
|
tree
2021-06-15
A
r
naud
Charlet
[
A
da] Ad
d
support f
o
r folding more a
n
d/or exp
r
essions
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Char
l
et
[Ada]
R
e
name Ada 2
0
2*
t
o Ada 2022
commit
|
commitdiff
|
tree
2021-05-07
Arnaud Charl
e
t
[
A
da] Computation
o
f
Shift_Left and large
signed
v
alues
commit
|
commitdiff
|
tree
2021-05-06
A
rnaud Charlet
[Ada] A
s
sert fa
i
lu
r
e on E
_
En
u
meration_Litera
l
and front
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Char
l
et
[Ad
a
] Bad expansion w
i
th -g
n
a
to2 and i
f
expression
commit
|
commitdiff
|
tree
2021-05-06
Arn
a
ud Charle
t
[A
d
a] A
I
12-0
4
11
:
Ad
d
"bool" to Interfaces
.
C
commit
|
commitdiff
|
tree
2021-05-06
Arna
u
d Charlet
[
Ada] As
s
e
rt failure on pragma
I
n
line
in pr
o
cedure
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Charlet
[Ada]
F
ix handling of PATs
commit
|
commitdiff
|
tree
2021-05-06
Arnaud
Charlet
[Ada] Fix
typos
commit
|
commitdiff
|
tree
2021-05-04
Arn
a
ud
Cha
r
let
[
Ada] Assert_Fai
l
ure vs
A
sserti
o
n_Err
o
r
commit
|
commitdiff
|
tree
2021-05-04
Arnaud
Charlet
[Ada] Address so
m
e ??? co
m
ments
commit
|
commitdiff
|
tree
2021-05-04
Arn
a
ud Charlet
[Ada] Mi
s
sing finalizati
o
n on
g
eneric insta
n
tiation
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charle
t
[Ada]
Address
s
om
e
??? comments in checks
.
a
d
b
commit
|
commitdiff
|
tree
2021-05-04
Arna
u
d Cha
r
let
[Ada
]
A
ddress ??? comments in styleg
.
adb
commit
|
commitdiff
|
tree
2021-05-03
Arn
a
u
d Ch
a
rlet
[
A
d
a
] Ada
.
Strings
.
Unbound
e
d
.
A
u
x
.
S
et_String
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Char
l
et
[Ada] Missi
n
g Preelaborate_Ini
t
i
a
liz
a
t
ion on Ada
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
A
r
naud Charl
e
t
[
A
da]
U
pdate co
p
yrig
h
t notice
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
arlet
[A
d
a] Remov
e
confusi
n
g
warning on ty
p
e export
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada]
N
o
_Implic
i
t_Loops re
s
triction
a
nd p
r
agma
A
ssert
commit
|
commitdiff
|
tree
2021-05-03
Arnaud
C
harlet
[Ada]
S
purious warning on pos
t
c
o
n
ditio
n
and result
commit
|
commitdiff
|
tree
2021-05-03
A
r
n
a
u
d Charlet
[
A
da] Code cleanup
commit
|
commitdiff
|
tree
2021-04-29
Ar
n
a
u
d Charlet
[A
d
a] Self reference access discrimina
n
t
commit
|
commitdiff
|
tree
2021-04-29
A
r
na
u
d Char
l
et
[Ada] T
r
ee inconsis
t
ency between
-O0 and -O1
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d
Charlet
[A
d
a
]
Clean up
M
a
kefile
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Ch
a
rlet
[Ada] Bad handling of array
s
l
i
d
ing in aggregate
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Ada 2020 AI12-0
4
01
:
Renamin
g
of quali
f
ied expres
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
Charlet
[Ad
a
] Remove
o
bso
l
ete comment
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] Spurious error on
'I
m
age
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d C
h
arlet
[Ada]
AI12-0407
:
Fixup
s
on Big_Integers and Big_Reals
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[Ada] Fix recent
o
p
timiz
a
tion in eva
l
uation of selected
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charl
e
t
[Ada
]
Assert fa
i
lure on complex code
w
ith private
type
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Ch
a
rlet
[Ada]
Cras
h
wit
h
decla
r
e ex
p
ression used
in
a
postcondition
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[
A
da]
I
ncorrect d
i
sc
r
iminant c
h
eck on cal
l
to ac
c
ess
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arna
u
d Charle
t
[Ada]
R
emove unused subp
r
ograms
commit
|
commitdiff
|
tree
2021-04-28
A
rnaud Charlet
[A
d
a] Ba
d
handling o
f
'Valid_S
c
alars and ar
r
a
ys
commit
|
commitdiff
|
tree
2021-04-28
A
r
naud Cha
r
let
[
A
da] Fix the Sp
h
in
x
config
u
ration an
d
port it to Python3
commit
|
commitdiff
|
tree
2021-02-12
Arnau
d
Cha
r
l
e
t
[Ada]
R
emove unused sub
p
rogram
s
(con
t
in
u
ed)
commit
|
commitdiff
|
tree
2020-12-17
Arn
a
ud Charle
t
[Ada] Performance of C
W
_Memb
e
rship
commit
|
commitdiff
|
tree
2020-12-17
A
rnaud Charlet
[Ada] Re
m
o
v
e
u
nused su
b
programs in validsw
commit
|
commitdiff
|
tree
2020-12-17
A
r
nau
d
Cha
r
let
[Ada] Remove
u
nused files
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Cha
r
l
e
t
[
A
d
a]
C
ode cleanup
:
r
e
move Old_Req
u
ire
s
_Transient_S
c
ope
commit
|
commitdiff
|
tree
2020-12-17
Arnau
d
Charlet
[Ada] Crash on if
expression inside
declare
e
xpre
s
sion
commit
|
commitdiff
|
tree
2020-12-17
A
rnaud Charlet
[Ad
a
] Remove
d
iscriminant ch
e
cks
p
roces
s
in
g
in gigi
commit
|
commitdiff
|
tree
2020-12-17
A
r
naud C
h
arlet
[Ada] Asser
t
failure on b38105a in -gnat95 mode
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Compiler crash on
p
r
otec
t
ed
com
p
onent
of controlled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Ar
n
aud Cha
r
let
[Ada] Spurious error on Typ
e
'Acce
s
s
and
<>
commit
|
commitdiff
|
tree
2020-12-16
Arnaud Cha
r
l
e
t
[Ada]
C
ode c
l
eanup: rename ALI
.
Scope
commit
|
commitdiff
|
tree
2020-12-15
A
r
naud Ch
a
rl
e
t
[
Ada]
Transform
_
Fu
n
ct
i
on_Array issues
commit
|
commitdiff
|
tree
2020-12-15
Arn
a
u
d Charlet
[
Ada] Crash on unnesting unn
a
med b
l
ocks
commit
|
commitdiff
|
tree
2020-12-14
A
rnaud Charlet
[Ada] Add
annotatio
n
after recent compiler changes
commit
|
commitdiff
|
tree
2020-12-14
A
r
naud
C
h
arlet
[Ada]
F
ix compile ti
m
e evalua
t
ion of
s
h
i
ft i
n
trin
s
ics
commit
|
commitdiff
|
tree
2020-11-30
Arna
u
d Ch
a
rlet
[Ada]
R
emove all ^L characters
commit
|
commitdiff
|
tree
2020-11-30
Ar
n
aud Charlet
[
A
da] Enable checks on runtime by
d
efault
commit
|
commitdiff
|
tree
2020-11-30
Arnau
d
Cha
r
let
[Ada] Wrong rep
l
acem
e
nt o
f
C
o
mponent
.
Discr
i
m
i
nant
commit
|
commitdiff
|
tree
2020-11-30
Arn
a
ud Char
l
et
[Ada] Improve error reco
v
er
y
commit
|
commitdiff
|
tree
2020-11-30
Ar
n
aud Charlet
[Ada] P
o
tential read of uninit
i
a
l
iz
e
d vari
a
ble i
n
ex
p
_dist
.
adb
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Char
l
e
t
[Ada]
A
ddress warn
i
ng
comp
i
li
n
g ter
m
inals
.
c
commit
|
commitdiff
|
tree
2020-11-30
A
r
naud Char
l
et
[Ada] Confusion in Transform_Funct
i
on_Array and inter
n
al
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnau
d
Charlet
[Ada] Wrong compile time evalu
a
t
i
on of Shift_Right
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] Refer
e
n
c
e before declaration on C3920
1
5
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charl
e
t
[Ada] To_GM_Time returning invalid value for I
n
v
a
l
i
d_Time
commit
|
commitdiff
|
tree
2020-11-27
A
r
naud C
h
a
r
let
[
Ada]
Abort
d
efer
m
ism
a
tch with SJLJ exceptions
commit
|
commitdiff
|
tree
2020-11-27
Ar
n
aud Charlet
[Ada] Fix tree for expand
e
d
i
nstant
i
ati
o
n
s c
o
rrespondi
n
g
.
.
.
commit
|
commitdiff
|
tree
2020-11-27
Arnau
d
Charlet
[A
d
a] To_Big_
I
nte
g
e
r
a
n
d 128bits
intege
r
s
commit
|
commitdiff
|
tree
2020-11-27
A
rnau
d
Charlet
[Ada] E
r
ror in
B
i
g_Real compa
r
i
s
o
n
commit
|
commitdiff
|
tree
2020-11-26
Arnaud Charlet
[Ada] Ada
.
Nu
m
erics
.
B
i
g_Numbers
.
B
ig_Reals
.
To_Big_Real
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Arnaud
Ch
a
rlet
[Ada] Ada
2
0
20 AI12-0
4
01 Renaming of qu
a
lif
i
ed expression
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Ar
n
au
d
Charl
e
t
[Ada
]
Add support
for
.
c output
file
commit
|
commitdiff
|
tree
2020-11-26
A
r
naud Charlet
[Ad
a
] C
o
nstraint_Error in Tas
k
_
Wra
p
per
a
nd -u0
commit
|
commitdiff
|
tree
2020-11-25
Arnaud Charlet
[A
d
a] Allow debu
g
ging
finalization-related expanded
.
.
.
commit
|
commitdiff
|
tree
next