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
Eric Botcazou
ada: Fix deferred const
a
nt wrongly rej
e
c
ted
commit
|
commitdiff
|
tree
2023-09-26
Marc Poulhiès
ada:
F
ix u
n
nesting generated loops
w
ith nested
f
ina
l
ization
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
J
avie
r
M
i
rand
a
ada
:
Cr
a
sh
processing
t
h
e
a
c
c
es
s
ibilit
y
level of
an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botcazou
ada: Fix mis
s
ing finalization
of e
x
tended return obj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Update personality f
u
nction for CHERI purecap
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Fix con
v
ersio
n
s between addresses and
int
e
g
e
rs
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: A
d
d CHERI variant of System
.
Stream_Attribut
e
s
commit
|
commitdiff
|
tree
2023-09-26
Da
n
i
el King
ada:
D
e
fin
e
C
HERI exception typ
e
s
commit
|
commitdiff
|
tree
2023-09-26
Ronan Desp
l
anques
ada: Make minor corrections to C
U
DA-related
c
omments
commit
|
commitdiff
|
tree
2023-09-26
Derek Schacht
a
da
:
Dimension
a
l
anal
y
sis when used with elemen
t
ary
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Y
a
nnick Moy
ada: Clarify
RM r
e
fere
n
c
e
s
tha
t
justify a
c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Ri
c
hard Wai
ada: TSS fi
n
aliz
e
a
d
dress subprogram generati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richa
r
d
W
a
i
ad
a
: Private extens
i
ons w
i
th the k
e
y
w
ord "syn
c
hr
o
n
ized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Po
u
lhiès
ad
a
: Refine upper array
b
o
und for bit
p
a
c
ked
a
r
ray
commit
|
commitdiff
|
tree
2023-09-19
Javier
M
iranda
ada:
C
r
a
sh pr
o
c
essing t
y
pe i
n
variants o
n
child subpro
g
ram
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ad
a
:
F
ix min
o
r g
l
itch
i
n finish_record_type
commit
|
commitdiff
|
tree
2023-09-15
Piotr
Trojan
e
k
a
d
a: Explicitly analyze
and expand null array
aggregates
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada:
F
i
x wrong opti
m
izat
i
on of exte
n
ded return for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Pat
r
ic
k
Bernar
d
i
ada: Do not pe
r
form local
-
exception-to-goto
o
ptimization
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Pat
r
ick
Be
r
nard
i
ada:
G
enerate runti
m
e
r
e
strictions list when t
h
e sta
n
d
a
rd
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric
Botcaz
o
u
ada:
F
ix internal er
r
o
r
on misaligned component with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Bot
c
azou
ada:
F
ix intern
a
l
e
r
ror on aggregate
n
est
e
d
in c
o
ntainer
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
K
é
v
i
n
Le Gouguec
ada:
Remove
GNAT Pr
o
d
eta
i
ls regard
i
ng mol
d
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada: Fix internal error on express
i
o
n
f
unction with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob Duff
ad
a
: Clean up scope
d
epth and re
l
ated code (tech debt)
commit
|
commitdiff
|
tree
2023-09-15
Javier Miranda
ada
:
C
rash on creati
o
n o
f
ex
t
ra fo
r
m
als on type extension
commit
|
commitdiff
|
tree
2023-09-14
Yan
n
i
c
k Moy
ada:
I
mprove detection of de
a
ctivated
code for warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier
Miranda
ada: Asser
t
ion
f
a
ilure on
expansion
of
recor
d
with
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javie
r
Miranda
a
da: Asserti
o
n failure on calc
u
lation of
L
arge_Ma
x
_S
i
ze_Mutable
commit
|
commitdiff
|
tree
2023-09-14
J
avier
M
i
randa
a
d
a
:
Assertion failure on f
o
r-of lo
o
p i
t
erating on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eri
c
Botcazou
a
d
a
: Fix late finalization f
o
r funct
i
o
n c
a
ll in
delta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
E
r
i
c Botcazou
a
da: Fix prem
a
t
ure
finalization in loop ove
r
limi
t
ed
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javi
e
r Miranda
ada:
Assertion failure ad
d
i
n
g ex
t
ra formals to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada:
E
lide the copy in extended returns
for n
o
nlimited
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
T
o
m Tr
o
mey
ada:
F
ix
D
WARF for cer
t
ain arrays
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
a
da: Remove
r
edu
n
dant protect
i
o
n again
s
t empty lis
t
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tr
o
jan
e
k
ada:
Add guard b
e
f
ore que
r
yin
g
th
e
type for it
s
i
nt
e
rfaces
commit
|
commitdiff
|
tree
2023-09-05
Pi
o
tr Trojanek
ada: Remove redundant g
u
ard a
g
ainst an e
m
pty list of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
E
r
ic
B
o
t
cazou
ada: Fix
p
r
oblematic secondary st
a
ck manageme
n
t in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
B
o
b Duff
ada: Fix crash on selected c
o
mponen
t
lo
o
kup in
generic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ronan Des
p
l
a
nques
ada: Fix spurious warning emiss
i
ons
commit
|
commitdiff
|
tree
2023-09-05
Eric
Bot
c
a
z
ou
ada: F
i
x
a
ssertion failure o
n
v
e
ry
pecu
l
iar enumeration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
L
i
aiss
Merzougue
ad
a
:
Remove
T
B
C
co
m
m
e
nt, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada: Crash on creatio
n
of extr
a
form
a
l
s
on type extension
commit
|
commitdiff
|
tree
2023-09-05
A
lexand
r
e O
l
i
va
ada: Pass -msmp
w
he
n
linking for ppc-
v
x
6 -
-
R
T
S=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Jav
i
er Miranda
ad
a
: C
r
ash on function returnin
g
empty Ada 2
0
2
2 aggregate
commit
|
commitdiff
|
tree
2023-09-05
S
te
v
e Bai
r
d
a
da: Compiler hangs on inva
l
id post
c
on
d
i
tion
commit
|
commitdiff
|
tree
2023-09-05
S
teve Baird
a
da: Spuri
o
us warning about ne
g
a
t
ive modul
a
r literal
commit
|
commitdiff
|
tree
2023-09-05
Joha
n
nes Kliemann
ada: Suppo
r
t setting
t
ask
a
f
finity on QNX
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan L
a
cambre
a
d
a: build
i
ng_e
x
e
c
u
table_programs_wi
t
h_gna
t
.
rst: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel King
ada: Preser
v
e c
a
p
a
bility va
l
idity in
a
ddress arit
h
metic
commit
|
commitdiff
|
tree
2023-09-05
Er
i
c
Botca
z
ou
ada: Fix inte
r
nal error on
instantiation with privat
e
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernste
i
n
a
d
a: Remo
v
e GNA
T
check
v
iolatio
n
s
commit
|
commitdiff
|
tree
2023-09-05
Rona
n
D
e
splanque
s
ada:
Add missing un
i
ts t
o
Ma
k
e
f
ile
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sheri Be
r
n
stein
a
da: H
a
n
d
le GNATchec
k
violation
s
commit
|
commitdiff
|
tree
2023-09-05
Javi
e
r Miranda
ada: Enfor
c
e subtype confo
r
mance of interface primitiv
e
s
commit
|
commitdiff
|
tree
2023-09-05
Ron
a
n Despl
a
nques
a
da
:
T
w
eak
c
omment abo
u
t tasking
c
o
rne
r
case
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhi
è
s
R
evert "Adjust
one Ad
a
test"
commit
|
commitdiff
|
tree
2023-09-04
Marc Po
u
lhiès
mklog: handle Sig
n
ed-off-by
,
min
o
r
cleanup
Signed-off-by:
Marc Poulhiès
<dkm@kataplop.net>
commit
|
commitdiff
|
tree
2023-08-07
Sheri
Bernstein
ada: Refactor multipl
e
re
t
urn
s
commit
|
commitdiff
|
tree
2023-08-07
Pio
t
r Trojanek
ada: Extend
pr
e
condition
o
f Interfaces
.
C
.
String
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Ya
n
nick M
o
y
ada: Crash in GNATp
r
o
ve due
t
o
wrong detectio
n
of inlining
commit
|
commitdiff
|
tree
2023-08-07
Javier Miranda
ada: Spuri
o
us error on class-wide precondition
s
commit
|
commitdiff
|
tree
2023-08-03
Sheri Bernst
e
in
ada:
A
dd pragma Ann
o
tate
f
o
r
GNAT
c
heck exemptions
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy Fof
a
nov
ada
:
Rewrite Set_Image_*_Unsign
e
d routines
t
o re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
E
r
ic Botcazou
ada: Fix spurious error on 'Input of private typ
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric
B
otcazou
a
da
:
Adju
s
t
again a
d
dress ari
t
hmeti
c
s in System
.
Dwarf
_
Lines
commit
|
commitdiff
|
tree
2023-08-01
Yan
n
ick M
o
y
a
da: Fix printing of
numbers in JS
O
N out
p
ut
f
or data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick
Moy
ada: Dis
a
b
l
e inlini
n
g of subprogra
m
s
with Skip(
_
Flow
_
And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Stev
e
Baird
ad
a
: B
u
gbox compilin
g
C
onstrained_Protected_Object
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
St
e
ve
B
air
d
ada: Incorrect o
p
ti
m
iza
t
ion f
o
r unconstrain
e
d lim
i
ted
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal
Ob
r
y
ada:
Default
Put_Im
a
ge for composite derived types
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ya
n
nick
Moy
ada:
Fix g
e
neratio
n
of JSON output fo
r
da
t
a represen
t
a
t
ion
commit
|
commitdiff
|
tree
2023-08-01
Bob
Duff
ada: check Atree
.
Get/
S
et_Fiel
d
_Value
commit
|
commitdiff
|
tree
2023-08-01
Lé
o
Creuse
ada: Emit
S
CO
s
for n
e
sted decisions in quantified expressions
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ada: Elide the
c
opy in ext
e
nded ret
u
r
n
s
for nonlim
i
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Cl
é
ment
C
higot
ad
a
: Add
an ass
e
rt i
n
P
osix Int
e
rrupt_Wait
commit
|
commitdiff
|
tree
2023-07-28
J
avie
r
Mira
n
da
ada: Fi
x
unsupported dis
p
a
t
c
hing con
s
tructor call
commit
|
commitdiff
|
tree
2023-07-28
Pascal
O
b
r
y
ad
a
:
A
dd
support for bind
i
n
g
to a specific net
w
o
rk
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Léo Creuse
ada: Add missin
g
SCO generation for quantified
e
x
pressi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ronan Desplanques
ada: Fix race conditio
n
in protected entry
call
commit
|
commitdiff
|
tree
2023-07-28
V
i
ljar Indus
ada: Small refactor
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
a
da: Add guard
for det
e
cti
o
n of cla
s
s-wi
d
e precondition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ad
a
:
F
i
x memory explo
s
ion
o
n
a
g
g
r
egate
of neste
d
packed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojan
e
k
ada: Lea
v
e d
e
t
e
ction o
f
missing ret
u
r
n
in f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
To
m
Tromey
ada: E
m
it enums rathe
r
t
h
an defines fo
r
v
a
rious constant
s
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
jan
e
k
ada: Fix typo
i
n
c
o
m
me
n
t of Ada
.
Exceptions
.
S
a
ve_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
Piot
r
Trojan
e
k
ada: Allow
c
alls to Numbe
r
_Formals w
h
en no fo
r
m
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr T
r
o
j
anek
ad
a
:
I
m
p
rove de
f
ense against il
l
egal
code in check
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Ma
r
c Poulhiès
Adjus
t
one Ada test
commit
|
commitdiff
|
tree
2023-07-18
To
m
Tr
o
mey
a
da: Use new typedefs
i
n gcc-inte
r
face
commit
|
commitdiff
|
tree
2023-07-18
Ja
v
ier Mir
a
nda
ada: Constraint_E
r
ror
c
a
used by 'Image applied to interface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ad
a
: Avo
i
d ite
r
ato
r
conflicts in container aggreg
a
tes
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada: App
l
y correct element t
y
pe for
c
on
t
a
i
ner aggreg
a
tes
commit
|
commitdiff
|
tree
2023-07-18
V
iljar Ind
u
s
ada: Fix
e
xpandi
n
g
container aggregates with I
t
erator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric B
o
t
cazou
ada: Im
p
rove error message
f
or ambig
u
ous subpro
g
r
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Javier Miranda
a
d
a: Co
n
strain
t
_Erro
r
caused by interfa
c
e convers
i
on
commit
|
commitdiff
|
tree
2023-07-18
Ronan Des
p
lanques
ada: T
w
e
a
k C
P
U af
f
in
i
t
y
handling on Lin
u
x
commit
|
commitdiff
|
tree
2023-07-18
Er
i
c Botcazo
u
ada: Fix i
n
ternal error on aggre
g
a
tes of
s
elf-referencing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
E
r
ic Botcazou
a
d
a: Fix a
s
ser
t
ion failure intro
d
u
ced by latest change
commit
|
commitdiff
|
tree
next