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: Fix deferred constant wrongly rejected
2023-09-26
Eri
c
Botcazou
ada:
F
ix deferred constant wrongly r
e
j
e
cted
commit
|
commitdiff
|
tree
2023-09-26
M
a
rc Poulhiès
ad
a
: Fix unnesting generated loops with neste
d
final
i
zation
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Ja
v
ier Mira
n
d
a
ada: Crash pr
o
cessing the
a
c
c
e
s
sibility
lev
e
l
o
f an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Bot
c
a
z
o
u
ada: Fix
missing final
i
zation of extended re
t
urn object
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada
:
Upd
a
t
e
persona
l
ity
f
unc
t
ion for
C
HERI p
u
recap
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
a
da: F
i
x
conversions between addresses and integer
s
commit
|
commitdiff
|
tree
2023-09-26
Dan
i
e
l
King
ada
:
Add CHER
I
v
a
riant of System
.
S
t
r
eam
_
Attributes
commit
|
commitdiff
|
tree
2023-09-26
Daniel Kin
g
ada: Def
i
ne CHERI
e
x
cep
t
ion
t
ypes
commit
|
commitdiff
|
tree
2023-09-26
Ronan
D
e
splanques
a
da: Make m
i
no
r
corrections to
C
U
DA-re
l
a
ted comments
commit
|
commitdiff
|
tree
2023-09-26
D
erek Sc
h
acht
ada: Di
m
en
s
ional analysi
s
when us
e
d with eleme
n
t
a
ry
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Y
a
nnick
M
oy
ada:
Clarify
R
M references t
h
a
t
just
i
fy a constraint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard Wai
ada
:
TSS finalize add
r
e
ss subprogram generation for
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Rich
a
r
d
Wai
ada:
Priva
t
e ext
e
ns
i
ons with
the keyw
o
rd "synchronized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Poulh
i
è
s
ada: R
e
fine upper array bound fo
r
bit pac
k
ed arra
y
commit
|
commitdiff
|
tree
2023-09-19
Javier Mira
n
d
a
ada: Crash processi
n
g
t
ype inv
a
riant
s
o
n child subprogram
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazo
u
a
da: Fix
minor gli
t
ch i
n
f
inish_record_type
commit
|
commitdiff
|
tree
2023-09-15
Piotr Trojanek
a
da: E
x
plicitly anal
y
ze and expa
n
d nul
l
array aggregates
commit
|
commitdiff
|
tree
2023-09-15
Eric Botc
a
zou
ada
:
Fix wrong o
p
t
i
mization of ex
t
ended return fo
r
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
P
a
trick Be
r
n
ardi
ada: Do not
p
erform loca
l
-exception-t
o
-goto optimizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Pa
t
rick Bernard
i
a
d
a: Generate runti
m
e r
e
strictions li
s
t when the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botc
a
zou
ada: Fix inter
n
al e
r
ror on misalign
e
d
compo
n
ent with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric
B
o
tcazo
u
ada: Fix in
t
ernal error on
a
ggrega
t
e
n
ested in co
n
t
a
ine
r
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le G
o
ugue
c
ada: Remov
e
GNAT
Pro det
a
ils rega
r
d
i
n
g mold
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
a
d
a:
F
i
x i
n
te
r
nal error on expressi
o
n
func
t
i
o
n with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob D
u
ff
ada: Clean up scope depth and related co
d
e (tec
h
d
e
bt)
commit
|
commitdiff
|
tree
2023-09-15
J
avier Mi
r
anda
ada:
Crash o
n
creation of extra formals on type ex
t
ension
commit
|
commitdiff
|
tree
2023-09-14
Y
an
n
ick
M
o
y
ada: Imp
r
ove detect
i
on of deactivat
e
d code for warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Mi
r
anda
ada: Asserti
o
n fa
i
lure on expansi
o
n of re
c
ord with
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miran
d
a
a
d
a: As
s
ertion failure on c
a
lculati
o
n of Large_Max
_
S
i
ze_Mutab
l
e
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Assertion f
a
ilure
o
n for-of loop iterat
i
ng on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcaz
o
u
a
d
a: Fix late f
i
nalization for function
call
i
n d
e
lta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botc
a
zou
ada: Fix p
r
emature
f
inal
i
zatio
n
i
n loop ove
r
lim
i
ted
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Ass
e
r
tion fa
i
l
ure adding extra formals to
l
ate
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada: Elide the co
p
y
i
n ex
t
e
nded
returns for nonlimite
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
T
om
T
romey
a
d
a: Fix DWARF for certain
a
r
rays
commit
|
commitdiff
|
tree
2023-09-05
Pi
o
t
r Trojanek
ad
a
: Re
m
ov
e
r
e
dundant p
r
otection against em
p
ty list
commit
|
commitdiff
|
tree
2023-09-05
Piotr
Trojanek
ada: Add guard befo
r
e querying th
e
type for its
i
n
terf
a
ces
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tr
o
janek
ada:
Rem
o
ve redundant guard against
an empt
y
list of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada
:
Fix problemat
i
c
secondary stack ma
n
a
gement in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob Duf
f
ada: Fix
cr
a
sh
o
n selected comp
o
nent lookup
in
gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Rona
n
Despl
a
n
ques
ada: Fix spurio
u
s warning emissions
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada: Fix asser
t
ion
failure
o
n ver
y
pecu
l
iar en
u
meration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liai
s
s Merzougue
ada: R
e
move TBC
c
omment, no more nee
d
ed
commit
|
commitdiff
|
tree
2023-09-05
Javier Mi
r
anda
ad
a
:
Crash on creation of extra formals on type ex
t
e
n
sion
commit
|
commitdiff
|
tree
2023-09-05
Alexandre Oliva
ada: Pa
s
s
-
msmp when linking for ppc-vx6 --
R
TS=
r
tp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada: Crash on func
t
i
o
n returning emp
t
y Ad
a
2022 aggr
e
gate
commit
|
commitdiff
|
tree
2023-09-05
Steve Bair
d
a
d
a
: C
o
m
piler
hangs on
i
nvali
d
postc
o
ndition
commit
|
commitdiff
|
tree
2023-09-05
Steve Baird
ada
:
S
p
ur
i
ous warning abou
t
negative modular lite
r
al
commit
|
commitdiff
|
tree
2023-09-05
Johannes K
l
iemann
a
d
a
: Support setting
tas
k
affinity
o
n
Q
N
X
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan Lacam
b
r
e
ada: building_e
x
ecutable_
p
rograms_with_gna
t
.
rs
t
:
fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel Ki
n
g
a
d
a
: Preserve capability validity in
a
ddress arithmetic
commit
|
commitdiff
|
tree
2023-09-05
Eric
Botcazou
ada:
Fix inter
n
a
l
erro
r
on instantiatio
n
with private
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri
B
ernstein
ada: Remove
GNATc
h
ec
k
violat
i
o
n
s
commit
|
commitdiff
|
tree
2023-09-05
R
o
nan Desplanques
ada: Add m
i
s
sing
u
nits to Makefile
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sher
i
Bernste
i
n
ada: Handle
GNAT
c
heck violations
commit
|
commitdiff
|
tree
2023-09-05
Javier Mi
r
anda
ada: En
f
orc
e
subtype conforma
n
ce o
f
in
t
erface primitives
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
a
da: Tweak com
m
ent
a
bout tasking corner case
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhiès
Revert "Adjust
o
n
e Ada test"
commit
|
commitdiff
|
tree
2023-08-07
Sheri B
e
rnstein
ad
a
: R
e
factor multiple returns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojan
e
k
ada: E
x
t
end preconditio
n
of
I
nterfaces
.
C
.
String
.
Valu
e
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yan
n
ick Moy
a
d
a
:
Crash in GNA
T
p
r
ove due to wrong detection
o
f inlining
commit
|
commitdiff
|
tree
2023-08-07
Jav
i
er
M
ira
n
da
a
d
a: S
p
urious error on c
l
ass-wide preco
n
di
t
ions
commit
|
commitdiff
|
tree
2023-08-03
Sheri Bernstein
a
da: Add pragma Annotat
e
for G
N
AT
c
h
eck exem
p
t
i
ons
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy Fofanov
ada: Rewrit
e
S
e
t
_Image_*_
U
nsign
e
d ro
u
ti
n
es to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric
B
otcazou
a
d
a
: Fix spurious error on 'I
n
put of private
t
ype with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcaz
o
u
ada: Ad
j
ust
again addr
e
ss arithmetics in System
.
Dw
a
rf_Line
s
commit
|
commitdiff
|
tree
2023-08-01
Ya
n
nick Moy
ada
:
Fix printing of number
s
i
n
JS
O
N o
u
t
p
ut fo
r
data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Disable i
n
linin
g
of subprograms
w
ith
Ski
p
(_Flow_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
S
t
eve Bair
d
ada: B
u
gbox compiling Constraine
d
_Prot
e
cted_
O
bject
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
ada: Inco
r
rect opt
i
miz
a
tion f
o
r
unconstra
i
ned l
i
m
it
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pa
s
cal O
b
ry
ada: Default Put_
I
m
a
ge
f
or compo
s
ite derived types
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yann
i
ck Moy
ad
a
:
F
ix
g
e
neration of
J
SON o
u
tput fo
r
data represen
t
ation
commit
|
commitdiff
|
tree
2023-08-01
B
o
b Duff
a
da: c
h
eck Atree
.
Get/Set_Field_V
a
l
u
e
commit
|
commitdiff
|
tree
2023-08-01
Léo Creuse
ada: Emit
S
COs
f
o
r
nested decisions in quantified exp
r
essi
o
ns
commit
|
commitdiff
|
tree
2023-07-28
Eric B
o
tcazou
ada: E
l
ide
t
h
e
copy in exte
n
de
d
returns for nonlimite
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clément Ch
i
got
a
d
a:
Add an assert in
Po
s
ix Interrupt_Wait
commit
|
commitdiff
|
tree
2023-07-28
Javier Miranda
ada: Fix unsupported dispat
c
hing constructor call
commit
|
commitdiff
|
tree
2023-07-28
Pa
s
cal Obry
ad
a
: Add
s
upport for bi
n
d
i
ng to
a
specific
n
e
t
work
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
L
éo Cre
u
se
ada: Add
missing SCO ge
n
eration f
o
r
quantifi
e
d ex
p
ressions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ro
n
an Desplanques
ada: Fix rac
e
condition in prote
c
ted
entry call
commit
|
commitdiff
|
tree
2023-07-28
Vi
l
j
a
r Indus
ada:
Small ref
a
ct
o
r
commit
|
commitdiff
|
tree
2023-07-28
Piotr T
r
oja
n
e
k
ada: Add
g
uard
f
or
de
t
ection of
c
las
s
-wide
p
reco
n
di
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eri
c
Botcazou
a
d
a: Fix m
e
m
o
ry ex
p
losi
o
n
o
n
a
gg
r
egate o
f
ne
s
te
d
p
ack
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr
Trojanek
ada: Leave de
t
e
c
tion of missing
r
etu
r
n in functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
T
o
m
Tromey
a
da: E
m
it
enums rather t
h
an defines for var
i
ous
consta
n
ts
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Fix typo in comment of Ada
.
Excep
t
i
o
ns
.
Save_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
P
iot
r
Tr
o
janek
ada
:
Al
l
o
w
calls to Number_Formals w
h
e
n
no for
m
als
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piot
r
Troja
n
ek
a
d
a: Improve d
e
fe
n
s
e
agains
t
illegal
c
ode
in ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Poul
h
iès
Adj
u
st one Ada test
commit
|
commitdiff
|
tree
2023-07-18
To
m
Tromey
ada: Use new typedefs
i
n gcc-in
t
erface
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
a
d
a: Con
s
t
r
a
i
nt_Erro
r
c
aused by 'Image appl
i
ed to i
n
t
e
rface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar
Indus
ada: Av
o
id iterator conflicts in
containe
r
aggregates
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada: A
p
p
l
y correct
element type for conta
i
ner
a
ggregates
commit
|
commitdiff
|
tree
2023-07-18
V
i
ljar Indus
a
da: Fix ex
p
an
d
ing container aggregates
w
ith Iterato
r
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric
Botcazou
a
da: Imp
r
ove
error message for ambiguous subpr
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
a
vier Miranda
ada: Const
r
ai
n
t
_
Erro
r
caused by inter
f
ace
conversion
commit
|
commitdiff
|
tree
2023-07-18
Ronan
Desplanques
a
da
:
Tweak CPU
affinity
handling on Linux
commit
|
commitdiff
|
tree
2023-07-18
Eric
B
otcazou
ada:
Fix
interna
l
er
r
o
r on aggreg
a
te
s
o
f
s
e
lf-referencing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric B
o
tcazou
a
da:
F
ix asse
r
tio
n
f
ailu
r
e
introduced b
y
l
atest
change
commit
|
commitdiff
|
tree
2023-07-18
A
l
e
xa
n
dre Oliva
ada: Expose e
x
pected_
t
hrow at
t
rib
u
te
commit
|
commitdiff
|
tree
next