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
Small fix for -fdump-ada-spec
2023-01-09
Arnaud Charlet
a
da: Update copyright notice
commit
|
commitdiff
|
tree
2022-11-14
Arnaud
Cha
r
let
ada: Remove gn
a
tch
e
ck r
e
ference
commit
|
commitdiff
|
tree
2022-09-06
Arnaud Ch
a
rle
t
[Ada] Dis
a
ble if expressio
n
o
p
timization for LL
V
M
commit
|
commitdiff
|
tree
2022-09-05
A
r
naud Charlet
[Ada] Secondary stack an
d
i-c*
commit
|
commitdiff
|
tree
2022-09-05
A
rnaud Charlet
[Ada] New
gnat
b
ind sw
i
tch -k
commit
|
commitdiff
|
tree
2022-09-05
Arnaud Charlet
[Ada] Code cleanups
commit
|
commitdiff
|
tree
2022-09-05
Arna
u
d C
h
arlet
[Ada] Fix
s
ynt
a
x in doc
u
mentatio
n
commit
|
commitdiff
|
tree
2022-07-05
Arnaud Cha
r
le
t
[Ada] R
e
move exceptio
n
propagation during boots
t
ra
p
commit
|
commitdiff
|
tree
2022-06-02
Arn
a
ud
C
harlet
[Ada] Disable -fl
t
o
w
hen building
the sh
a
red
libgnat
commit
|
commitdiff
|
tree
2022-06-02
Arnau
d
Charlet
[Ada] Refin
e
previous chan
g
es on making sym
b
o
ls public
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Arnaud Ch
a
rlet
[Ada] Introduce Opt
.
CCG
_
Mo
d
e
commit
|
commitdiff
|
tree
2022-05-19
Arnaud
C
harle
t
[Ada]
F
i
x co
m
pilation of rai
s
e
-gc
c
.
c
w
i
th
-
DSTANDA
L
ONE
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Arnaud Charlet
[Ada] Remove
re
m
aining r
e
ferences to g
n
atfin
d
/gn
a
txref
commit
|
commitdiff
|
tree
2022-05-18
Ar
n
aud
C
harlet
[
Ad
a
]
Errors missed on
ACATS
t
est
B650007
commit
|
commitdiff
|
tree
2022-05-18
Arnaud Charlet
[Ada] Se
c
ondary stack and a-tags
commit
|
commitdiff
|
tree
2022-05-18
A
r
na
u
d
Cha
r
let
[Ada] Freezing too strict
in inst
a
n
c
e
s
commit
|
commitdiff
|
tree
2022-05-17
Arnaud C
h
a
r
let
[
A
da
]
Allow 'R
e
duce w
i
t
h
-g
n
at2022
commit
|
commitdiff
|
tree
2022-05-13
A
rn
a
ud
C
h
arlet
[
A
da] Only use
a
lt
e
rna
t
e stack
when needed
commit
|
commitdiff
|
tree
2022-05-12
Arn
a
ud
C
h
arlet
[Ada] Fix U
R
L in doc
commit
|
commitdiff
|
tree
2022-05-12
Arnaud Char
l
e
t
[Ada
]
Add
m
ore dummy na
m
es in Sem_Warn
.
Has_Junk_Name
commit
|
commitdiff
|
tree
2022-05-12
Arna
u
d C
h
a
rlet
[Ada
]
Remove f
r
ont-end SJL
J
p
r
ocessing
commit
|
commitdiff
|
tree
2022-01-31
Arnaud Charlet
[
A
d
a
]
F
ix up handling of ghos
t
units PR104027 #2
commit
|
commitdiff
|
tree
2022-01-18
Arnaud
C
ha
r
let
Update prerequisites for GNAT
commit
|
commitdiff
|
tree
2022-01-11
Arnau
d
C
h
arlet
[Ad
a
]
PR a
d
a
/79724
commit
|
commitdiff
|
tree
2022-01-11
Arnaud Charlet
[Ada] Cod
e
cle
a
nups
commit
|
commitdiff
|
tree
2022-01-11
Arnaud Charlet
[Ada] Update
c
opyri
g
ht n
o
tice a
n
d bump G
n
atvsn
.
Curr
e
n
t_Year
commit
|
commitdiff
|
tree
2022-01-10
Arnaud
C
harlet
[
Ad
a
] Reduce runtime dependencie
s
on stage1
commit
|
commitdiff
|
tree
2022-01-05
Arnau
d
Charl
e
t
[Ada] Re
d
uce runtime depe
n
d
e
n
cies
on stage1
commit
|
commitdiff
|
tree
2021-10-25
Arnaud Char
l
et
[Ada] Remove
g
natfind and gnat
x
ref
commit
|
commitdiff
|
tree
2021-10-25
Arnaud Ch
a
rle
t
[
Ada] Shutdown codep
e
er mes
s
age
commit
|
commitdiff
|
tree
2021-10-25
Arnaud Charl
e
t
[Ada] Remo
v
e more uses of except
i
on pr
o
pagation during
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Arnaud Charlet
Avoid
ex
c
eption
p
ropagation durin
g
bootstr
a
p
commit
|
commitdiff
|
tree
2021-10-05
Arnau
d
Cha
r
let
[Ada] Add comments in Ada
.
T
ask_Initialization
commit
|
commitdiff
|
tree
2021-10-04
Ar
n
aud Cha
r
le
t
[Ada] PR
a
da/1020
7
3
commit
|
commitdiff
|
tree
2021-09-22
Arnaud
C
h
a
r
let
[Ada] U
p
date status
o
f s
o
me attributes
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[Ada] More flexibilit
y
i
n preproce
s
sor
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[
A
d
a
]
Minor d
o
c
im
p
rove
m
ent
commit
|
commitdiff
|
tree
2021-09-22
Ar
n
aud C
h
arle
t
[Ada
]
Allow more cas
e
s
o
f impor
t
with Relaxed
_
RM_S
e
man
t
ics
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[
A
da] Make Ada
.
Task_Initialization
c
omp
a
tib
l
e
with
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Arn
a
ud
C
harl
e
t
[Ada
]
Change
m
e
s
sag
e
f
o
r
mat on missing re
t
urn
commit
|
commitdiff
|
tree
2021-09-22
A
r
naud Charlet
[A
d
a] Mark gnatfind
and gnatxref obsolete
commit
|
commitdiff
|
tree
2021-09-20
Arnaud Charlet
[Ada] Clean up
Uint fiel
d
s (co
n
tinued)
commit
|
commitdiff
|
tree
2021-07-25
Arnaud Charlet
[Ada]
D
e
clare tim
e
_
t uniformly
based on a system
pa
r
ameter
#
2
commit
|
commitdiff
|
tree
2021-07-09
A
r
naud
Char
l
et
[Ada] Code cleanups in a-s
t
rfix
.
adb
commit
|
commitdiff
|
tree
2021-07-09
Arnaud Charlet
[Ada]
Inconsist
e
ncy between declaration and body of
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
A
rnaud Charlet
[
Ada] AI12-0156 U
s
e subtype indi
c
at
i
on in generalized
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud C
h
arlet
[Ada] S
p
urious
warning i
n
generic instance
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Charlet
[A
d
a
]
A
d
d No_Tasking
restri
c
t
i
on is system
.
a
d
s f
o
r
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Char
l
et
[Ada] Make runtime code com
p
atible w
i
th No_Dynamic_Accessibi
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Charlet
[Ada
]
Rever
t
meaning of
-
g
n
atd_b
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Ch
a
rle
t
[Ada] Make
t
ools
c
ompatible w
i
th No_Dynamic_
A
cc
e
ssibi
l
ity_Chec
k
s
commit
|
commitdiff
|
tree
2021-07-07
Arnaud Ch
a
rle
t
[Ada] Front-
e
nd
i
nl
i
ning and
i
n
s
tantiatio
n
s of UC
commit
|
commitdiff
|
tree
2021-07-07
A
r
naud Cha
r
let
[
A
da] Minor c
o
de cleanup
commit
|
commitdiff
|
tree
2021-07-07
Arnau
d
Charl
e
t
[
A
d
a]
Code cleanups
in Syst
e
m
.
Atomi
c
_Coun
t
ers
commit
|
commitdiff
|
tree
2021-07-05
Ar
n
aud Ch
a
rlet
[Ada] Use runt
i
me
fro
m
base c
o
mpi
l
er d
u
rin
g
sta
g
e1 #2
commit
|
commitdiff
|
tree
2021-06-18
A
r
naud Charlet
[
A
da] Premature fre
e
z
ing of type
s
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[Ada]
F
ix
h
a
ndling of gnat check/
t
est commands
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
ud Charle
t
[Ada] Code cleanups in exp_
c
h
6
.
adb
commit
|
commitdiff
|
tree
2021-06-18
A
rnaud Charlet
[Ada
]
Update
c
o
mmen
t
s related t
o
TBD
commit
|
commitdiff
|
tree
2021-06-18
A
r
naud Ch
a
rlet
[Ada] Rela
x
null ex
c
l
u
si
o
n
m
i
s
ma
t
ch check in
R
elaxed_
R
M_Sema
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
A
r
nau
d
C
h
arlet
[Ada
]
Re
p
la
c
e
O
p
t
.
Extensions_Allowed by Ada_Version
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
ud
Charlet
[Ada]
GN
A
T
.
Compil
e
r_V
e
rsi
o
n and LTO
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Ch
a
rlet
[Ada] Crash on overriding o
f
an abstract p
r
imitive
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Char
l
et
[A
d
a] Mis
s
ing fin
a
li
z
ation
on ne
s
t
ed expr
e
ssion
with
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
Cha
r
let
[Ada] Crash on a n
e
sted a
g
grega
t
e co
n
t
a
i
ning controlled
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
rnaud Cha
r
let
[Ada] M
o
ve runtime u
n
its for Put_
I
mage
attribute
to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arn
a
ud Charl
e
t
[Ada] Provide new
f
un
c
tion Ui
n
tp
.
UI_
T
o_Unsign
e
d_64
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
C
harlet
[A
d
a] Minor comment cl
e
anup
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
C
harlet
[
Ada] Do not systematic
a
lly
suppr
e
ss
c
hecks on at
r
ee
.
adb
commit
|
commitdiff
|
tree
2021-06-17
A
r
naud Charlet
[
A
da] AI12
-
04
1
1 Add "bool" to Int
e
rfac
e
s
.
C
commit
|
commitdiff
|
tree
2021-06-17
A
rnaud
C
ha
r
let
[
A
d
a] Use r
u
ntime from
bas
e
compiler during st
a
ge
1
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
A
rnaud Charlet
[
Ad
a
] Wrong referen
c
e to System
.
Task
i
ng in expanded
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnaud
C
harlet
[Ada] Raise
exp
r
essio
n
s
and unco
n
strained
c
omponents
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Charl
e
t
[
A
d
a] Fix
handling
o
f
s
copes for subpr
o
g
r
am
calls in
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Charlet
[Ada] Use
r
untime from base compiler during stage1
commit
|
commitdiff
|
tree
2021-06-15
A
r
naud Ch
a
rlet
[
Ada]
A
d
d s
u
pport
for folding more and/or ex
p
r
es
s
ions
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Charlet
[
A
da] Rename Ada 202* to A
d
a
2
022
commit
|
commitdiff
|
tree
2021-05-07
A
r
nau
d
Charlet
[Ada] Compu
t
ation of
Shift_Lef
t
and large signed values
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Charlet
[Ada] Ass
e
rt
f
ail
u
re on E_Enumeratio
n
_Lite
r
al an
d
front
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Ar
n
aud Cha
r
le
t
[Ada
]
B
a
d expans
i
on wi
t
h -gnato2 and if
e
x
pression
commit
|
commitdiff
|
tree
2021-05-06
Arnaud Charlet
[Ada] AI12-
0
411
:
Add "
b
ool" to I
n
terfaces
.
C
commit
|
commitdiff
|
tree
2021-05-06
A
r
naud Charlet
[Ada]
A
sser
t
failure o
n
p
r
agm
a
Inline in procedure
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Ar
n
aud Charle
t
[Ad
a
] Fix handling of
P
A
Ts
commit
|
commitdiff
|
tree
2021-05-06
Ar
n
aud Cha
r
let
[Ad
a
] Fix typos
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charle
t
[Ada] As
s
e
rt_Fail
u
re vs Assertion_Error
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charlet
[Ada] Address some ??? comments
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charlet
[Ada] Missing
f
inalization
o
n
generic instanti
a
tion
commit
|
commitdiff
|
tree
2021-05-04
A
rn
a
ud Charlet
[A
d
a] Ad
d
ress som
e
?
?
?
comments in checks
.
adb
commit
|
commitdiff
|
tree
2021-05-04
Arnau
d
C
harlet
[
A
da] Address ??
?
co
m
m
e
nts in styleg
.
adb
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Cha
r
let
[Ada] Ada
.
S
t
rin
g
s
.
Unbounded
.
Aux
.
S
e
t_Str
i
ng
commit
|
commitdiff
|
tree
2021-05-03
Arnau
d
Charlet
[Ada] Missing
Preelaborate_Initiali
z
ation on A
d
a
.
Containers
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
A
r
nau
d
Charlet
[Ada] Update c
o
pyright
n
otice
commit
|
commitdiff
|
tree
2021-05-03
Arnaud
C
harlet
[Ada
]
R
e
move
c
onf
u
sing warning on type export
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
a
rlet
[Ada]
N
o
_
I
mp
l
icit_
L
oops restrict
i
on and pragma Ass
e
rt
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
arlet
[Ada] Spur
i
o
us war
n
i
ng o
n
post
c
ondition and
res
u
lt
commit
|
commitdiff
|
tree
2021-05-03
Arnaud
C
harlet
[Ada] Code
c
lea
n
up
commit
|
commitdiff
|
tree
2021-04-29
A
r
n
a
ud Charlet
[Ada] Self referen
c
e a
c
cess
di
s
crimina
n
t
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Charlet
[Ada] T
r
ee inc
o
nsistency between
-O0 and -O1
commit
|
commitdiff
|
tree
2021-04-29
Arn
a
ud Charl
e
t
[Ada] Clean up Ma
k
e
f
ile
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
Arn
a
ud Charlet
[Ada
]
Bad han
d
ling of array slidi
n
g in aggreg
a
te
commit
|
commitdiff
|
tree
next