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] tech debt: Clean up Uint fields, such as Esize
2021-10-20
A
r
naud Charlet
Avoid exception
p
ropa
g
a
tion d
u
r
i
ng boo
t
stra
p
commit
|
commitdiff
|
tree
2021-10-05
Arnaud C
h
arlet
[
A
da] Add commen
t
s in Ad
a
.
Task_Initializati
o
n
commit
|
commitdiff
|
tree
2021-10-04
Arnaud
C
h
a
rl
e
t
[
Ada]
PR ada/102073
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[
Ada] Up
d
ate status o
f
some attri
b
utes
commit
|
commitdiff
|
tree
2021-09-22
A
rnaud Charlet
[A
d
a] More flexib
i
l
ity in preproc
e
ssor
commit
|
commitdiff
|
tree
2021-09-22
Arna
u
d C
h
arlet
[Ada] Minor doc impr
o
vement
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[Ada] Allow more case
s
of import with Rela
x
ed_RM_Semantics
commit
|
commitdiff
|
tree
2021-09-22
Arnaud Charlet
[
Ada]
M
a
k
e
Ada
.
T
a
sk_Initialization
c
ompatible
w
ith
.
.
.
commit
|
commitdiff
|
tree
2021-09-22
Arnaud
C
harlet
[Ada] C
h
ange
m
essa
g
e
f
ormat on
m
i
ssin
g
return
commit
|
commitdiff
|
tree
2021-09-22
Ar
n
aud C
h
arlet
[Ada] Mark gnatfind a
n
d
gnatxre
f
ob
s
olete
commit
|
commitdiff
|
tree
2021-09-20
A
r
naud Charlet
[Ad
a
] Cle
a
n up Uint fields
(c
o
ntinue
d
)
commit
|
commitdiff
|
tree
2021-07-25
Arnaud C
h
arlet
[
Ada
]
Declare tim
e
_
t
uniformly ba
s
ed on a
s
ystem parameter #2
commit
|
commitdiff
|
tree
2021-07-09
Arnaud Charlet
[Ada] Code cleanups in a-s
t
rfix
.
adb
commit
|
commitdiff
|
tree
2021-07-09
Ar
n
aud C
h
arlet
[
Ada] In
c
o
nsistency betw
e
en
d
ec
l
aration and b
o
dy of
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud C
h
arlet
[Ada]
AI12-015
6
Use subtype i
n
dicat
i
o
n in
g
eneralized
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud
C
harl
e
t
[
Ada] S
p
urious warning
in generic
instance
commit
|
commitdiff
|
tree
2021-07-08
A
r
naud
Charlet
[Ada] Add No_Taskin
g
re
s
triction is
s
y
stem
.
ads
for
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Char
l
et
[Ada] Ma
k
e ru
n
tim
e
c
o
d
e
compatible with No_Dynamic_
A
ccessi
b
i
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Arnau
d
Charl
e
t
[
A
da]
R
eve
r
t meaning of -gna
t
d
_
b
commit
|
commitdiff
|
tree
2021-07-08
Arnaud Charle
t
[Ada]
Make too
l
s
compa
t
i
ble with No_Dynami
c
_Accessi
b
il
i
t
y_
C
hecks
commit
|
commitdiff
|
tree
2021-07-07
Arnau
d
C
h
arlet
[Ada] Front-e
n
d inlining and
i
n
s
ta
n
tiations o
f
UC
commit
|
commitdiff
|
tree
2021-07-07
A
r
naud
C
h
a
rlet
[A
d
a] Minor code cleanup
commit
|
commitdiff
|
tree
2021-07-07
A
r
naud Charlet
[Ada] Code cleanups
in System
.
Atomic_Counters
commit
|
commitdiff
|
tree
2021-07-05
Arnaud Charlet
[Ada] Use runtime f
r
o
m b
a
s
e compiler du
r
i
ng stage
1
#2
commit
|
commitdiff
|
tree
2021-06-18
Arnaud
C
harlet
[Ada] Pre
m
at
u
re
f
reezing of typ
e
s
commit
|
commitdiff
|
tree
2021-06-18
Arnau
d
Charle
t
[Ada] F
i
x han
d
ling of
gn
a
t check/
t
e
s
t comm
a
nd
s
commit
|
commitdiff
|
tree
2021-06-18
A
rnaud Charlet
[Ada] C
o
de cleanup
s
in e
x
p_ch6
.
adb
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
ud Charlet
[Ada]
U
pdate
c
omments r
e
lated t
o
TBD
commit
|
commitdiff
|
tree
2021-06-18
Arnaud C
h
arlet
[
A
da] Relax null
e
xclusion mismatch check in Relaxed_R
M
_S
e
ma
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Arnaud Charlet
[A
d
a] R
e
place Opt
.
E
x
tensions_Allowed by Ada
_
Version
commit
|
commitdiff
|
tree
2021-06-18
Arn
a
u
d
Cha
r
let
[Ada] GNAT
.
Co
m
pi
l
er_V
e
rsion and LTO
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
aud Charlet
[Ada] Crash on overriding of an
a
bstract primitive
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charlet
[Ada] Missi
n
g finalizat
i
o
n
o
n
nested exp
r
ession with
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Arn
a
ud Charlet
[
A
da]
C
r
a
s
h
on
a
nested
a
g
gregate contai
n
ing controlled
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
r
nau
d
Charlet
[Ada] Move runt
i
me unit
s
for Put
_
Imag
e
a
ttribute to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
A
rnaud
Charlet
[
A
d
a
]
Provide new
func
t
ion Uintp
.
UI_To_Unsigned_64
commit
|
commitdiff
|
tree
2021-06-17
Arnaud Charl
e
t
[Ada]
Minor
c
omm
e
nt
c
l
e
a
nup
commit
|
commitdiff
|
tree
2021-06-17
Arnaud
C
h
a
rl
e
t
[Ada
]
Do not sys
t
emati
c
ally
s
u
ppress c
h
ecks
on atree
.
adb
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
aud Charlet
[Ada] AI12-0
4
11 Add "bool"
t
o Interfaces
.
C
commit
|
commitdiff
|
tree
2021-06-17
Ar
n
au
d
Charlet
[Ada] Us
e
runtime fro
m
base compile
r
d
uri
n
g
s
t
a
ge1
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Ar
n
aud Charlet
[Ada] Wrong
r
eference
t
o
S
yste
m
.
Taskin
g
in expanded
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Arnaud Char
l
et
[
Ada
]
Ra
i
se
e
xpr
e
ss
i
ons and
unconstrained components
commit
|
commitdiff
|
tree
2021-06-15
Arnaud Char
l
et
[A
d
a] Fix
handlin
g
of scopes for su
b
program calls in
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Ar
n
aud
Charlet
[Ada] Use
r
untime
from
b
ase c
o
mpile
r
during stage1
commit
|
commitdiff
|
tree
2021-06-15
Arnaud
Charlet
[
A
da] Add
support for fol
d
ing more a
n
d/or expres
s
ions
commit
|
commitdiff
|
tree
2021-06-15
Arn
a
ud Charl
e
t
[
A
da]
R
ename Ada 202* to Ada 202
2
commit
|
commitdiff
|
tree
2021-05-07
A
rnaud Charlet
[Ada] Computation
o
f Shift
_
Left and lar
g
e
sig
n
ed values
commit
|
commitdiff
|
tree
2021-05-06
Arn
a
ud Cha
r
let
[Ada] Assert failur
e
on E_Enumerat
i
on_
L
iteral and front
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arn
a
ud
C
harlet
[Ada] Bad
e
xpansion with -gnato2 and if expre
s
sion
commit
|
commitdiff
|
tree
2021-05-06
Arnau
d
Charlet
[Ada]
AI12-0411: Ad
d
"bool" to Int
e
rfaces
.
C
commit
|
commitdiff
|
tree
2021-05-06
Ar
n
aud
C
harlet
[Ada] Assert failure
on p
r
a
g
ma Inline in proc
e
dure
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Arnaud
Charlet
[A
d
a] Fix handling of PATs
commit
|
commitdiff
|
tree
2021-05-06
Arnaud C
h
a
rlet
[Ada] Fix typos
commit
|
commitdiff
|
tree
2021-05-04
Arnaud
C
h
arle
t
[A
d
a] A
s
se
r
t_Failure vs As
s
er
t
ion_E
r
ror
commit
|
commitdiff
|
tree
2021-05-04
Arnaud Charlet
[Ada] Address
some
??? co
m
me
n
ts
commit
|
commitdiff
|
tree
2021-05-04
A
rnaud
Charlet
[Ada] Mis
s
i
n
g final
i
za
t
io
n
on gene
r
ic instantiation
commit
|
commitdiff
|
tree
2021-05-04
Arna
u
d Charlet
[Ada] Address some ??? comments in checks
.
adb
commit
|
commitdiff
|
tree
2021-05-04
A
r
naud C
h
arlet
[Ada] Ad
d
ress ??? comments in styleg
.
adb
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
ar
l
e
t
[
A
d
a] Ad
a
.
Strings
.
Unbounded
.
Aux
.
Set_Str
i
ng
commit
|
commitdiff
|
tree
2021-05-03
Arnaud
C
harlet
[Ada
]
M
i
s
sing Pre
e
laborate_
I
nitialization on
A
da
.
C
onta
i
ners
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Arn
a
ud Cha
r
let
[Ada] Update
copyri
g
ht notice
commit
|
commitdiff
|
tree
2021-05-03
Arnaud C
h
arlet
[
A
da] Remove
c
onfusing warn
i
ng
o
n
type export
commit
|
commitdiff
|
tree
2021-05-03
A
r
na
u
d Ch
a
rlet
[Ada] No
_
I
m
plicit_
L
oo
p
s
r
e
striction and pragma Assert
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ad
a
] Spurious warning
on postcondi
t
ion
and result
commit
|
commitdiff
|
tree
2021-05-03
Arnaud Charlet
[Ada] Code cleanup
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
C
h
arl
e
t
[Ada]
Sel
f
ref
e
rence
access discrimi
n
a
n
t
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
C
harlet
[
Ada] Tree
i
ncon
s
istency bet
w
een
-
O
0
a
nd -O
1
commit
|
commitdiff
|
tree
2021-04-29
A
rnaud Charlet
[Ada]
Cl
e
a
n up
M
a
k
efi
l
e
.
rtl
commit
|
commitdiff
|
tree
2021-04-29
Arnaud Ch
a
rlet
[Ada
]
Bad handling of ar
r
ay sliding
i
n aggreg
a
te
commit
|
commitdiff
|
tree
2021-04-29
Arnau
d
Charlet
[
A
da] Ada 2020 AI12-0401: Renaming of qualifi
e
d expression
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d
Cha
r
let
[Ad
a
] Remo
v
e o
b
s
o
lete commen
t
commit
|
commitdiff
|
tree
2021-04-29
Arnaud
Charle
t
[Ada] Sp
u
rious error on 'Image
commit
|
commitdiff
|
tree
2021-04-29
Arna
u
d Charlet
[Ada] A
I
12
-
0407
:
F
ixups on
Big_Inte
g
ers and Bi
g
_Reals
commit
|
commitdiff
|
tree
2021-04-28
A
rna
u
d C
h
arl
e
t
[Ada] Fix recent
o
ptimiz
a
t
i
on in evalua
t
i
on of sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Char
l
et
[
Ada] Assert fai
l
u
re o
n
co
m
plex code with private
t
ype
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
A
r
naud Charlet
[Ada]
C
rash
w
it
h
declare expression used in a postcondition
commit
|
commitdiff
|
tree
2021-04-28
Arnaud C
h
arl
e
t
[Ada] Incor
r
ect discriminant check o
n
call
t
o access
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Arnaud Charlet
[Ad
a
] Re
m
ove unused
s
ubprograms
commit
|
commitdiff
|
tree
2021-04-28
Ar
n
au
d
Charlet
[Ada] Bad handling of 'Valid_
S
c
a
l
ars a
n
d arrays
commit
|
commitdiff
|
tree
2021-04-28
Arna
u
d C
h
a
rl
e
t
[Ada] Fix the
S
p
h
inx co
n
fig
u
ration and po
r
t
it to Py
t
hon3
commit
|
commitdiff
|
tree
2021-02-12
Arn
a
ud
C
h
a
rlet
[Ada] Remo
v
e unu
s
ed subprograms (continued)
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charl
e
t
[Ada] Per
f
o
r
mance o
f
CW_Membership
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[Ada] Re
m
ove unuse
d
s
ubprograms in validsw
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[A
d
a
] Remove unused files
commit
|
commitdiff
|
tree
2020-12-17
Arnaud Charlet
[A
d
a] Code
cl
e
anup: remove O
l
d_Requires_Trans
i
ent
_
Scope
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
a
rle
t
[Ada]
C
rash o
n
i
f expre
s
sion inside d
e
c
l
a
r
e e
x
pres
s
io
n
commit
|
commitdiff
|
tree
2020-12-17
Arnaud C
h
arle
t
[
A
da] R
e
m
o
v
e
d
iscri
m
inant
checks proces
s
ing
i
n
gigi
commit
|
commitdiff
|
tree
2020-12-17
Arnaud
C
harlet
[Ada] Assert f
a
il
u
re o
n
b
3
8
1
05
a
in -gn
a
t95
m
ode
commit
|
commitdiff
|
tree
2020-12-17
Arnaud
C
harlet
[A
d
a] Com
p
iler cr
a
sh on p
r
ote
c
ted compo
n
ent o
f
controlled
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Arnaud
Charlet
[A
d
a] Spur
i
o
us error
o
n Type'Acc
e
ss and <>
commit
|
commitdiff
|
tree
2020-12-16
A
r
naud Ch
a
r
le
t
[Ada] C
o
de cleanup: re
n
ame ALI
.
Scope
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Cha
r
let
[Ada] Transf
o
rm_Function_Array issues
commit
|
commitdiff
|
tree
2020-12-15
Arna
u
d Ch
a
r
let
[Ada] Cra
s
h on un
n
esti
n
g unnamed blocks
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charle
t
[Ada] A
d
d annotation
after
r
ecen
t
compiler chan
g
es
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charlet
[Ada] Fix co
m
pile
t
ime evalua
t
ion of
s
hift intrinsics
commit
|
commitdiff
|
tree
2020-11-30
A
r
naud Charlet
[
A
da] Rem
o
ve all
^
L
c
haracters
commit
|
commitdiff
|
tree
2020-11-30
Arnaud
C
harlet
[Ada] Enabl
e
checks on
r
untime by defaul
t
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Cha
r
le
t
[Ada] Wrong
r
e
placem
e
nt of Component
.
Discrimin
a
nt
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charle
t
[Ada] Improve error recovery
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[
Ada]
P
otential
r
ead of uniniti
a
lized variabl
e
in exp_dist
.
adb
commit
|
commitdiff
|
tree
next