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: Explicitly analyze and expand null array aggregates
2023-09-15
Piotr
Trojanek
ada: Explicitly analyze and ex
p
and null a
r
r
ay aggrega
t
es
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada:
Fix wrong op
t
i
m
ization of extended
r
eturn for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick
Bernar
d
i
ad
a
: D
o
not perform lo
c
al
-
except
i
o
n-to-goto
op
t
imiz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick Berna
r
di
ada: Generate runtime restric
t
ions list
w
h
en the standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric
B
o
t
cazou
ad
a
: Fix inte
r
n
al
error on misa
l
igned
component with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Er
i
c Botcaz
o
u
a
d
a
:
Fix internal error on aggreg
a
te
nested in contain
e
r
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Ké
v
i
n Le Gouguec
ada: Re
m
ov
e
GNAT Pro details rega
r
ding mol
d
commit
|
commitdiff
|
tree
2023-09-15
E
r
ic Bot
c
azo
u
a
da: F
i
x internal
error on expr
e
ssion function with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob
D
u
f
f
a
da: Clean up scope depth and related cod
e
(
t
e
ch
d
ebt)
commit
|
commitdiff
|
tree
2023-09-15
Ja
v
ie
r
Mira
n
da
ada: Crash
on cr
e
a
t
ion of extra formal
s
on t
y
pe extension
commit
|
commitdiff
|
tree
2023-09-14
Yannick M
o
y
a
da
:
I
m
pro
v
e de
t
e
ction of de
a
cti
v
ate
d
co
d
e f
o
r
w
arni
n
gs
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Assertion fa
i
lur
e
on e
x
p
a
n
sion of r
e
cord with
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada: Asse
r
t
ion failu
r
e
on cal
c
u
l
ation of Large_Max_Size
_
Mutab
l
e
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada
:
Assertion fa
i
l
u
re on for-of
loop iterating on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcazou
ada: F
i
x
late finalization for function call
i
n
d
elta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcazou
ada: F
i
x
p
rematur
e
finalization in loop ov
e
r
l
i
m
it
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
J
av
i
e
r
Miranda
a
d
a:
Asser
t
ion failure ad
d
ing extra
f
o
rmals to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric
Botcazo
u
ada: Elide the cop
y
in extended returns for
n
o
nlimited
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tromey
ada: Fi
x
DWARF for certa
i
n ar
r
a
y
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tro
j
anek
ada: R
e
move
r
edu
n
dant protection
a
gainst empty list
commit
|
commitdiff
|
tree
2023-09-05
P
i
o
tr Trojanek
ada:
A
dd guard before qu
e
rying t
h
e type for its interfaces
commit
|
commitdiff
|
tree
2023-09-05
Pi
o
tr Trojanek
ada: Remove r
e
dundant guard against a
n
e
mpty li
s
t of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Botcazo
u
ada:
F
ix problema
t
ic secondary stack management in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob
Duff
ada: Fix crash o
n
selected com
p
onen
t
l
o
okup in generic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Rona
n
Desplan
q
ue
s
ada: Fix spu
r
ious warn
i
n
g emissio
n
s
commit
|
commitdiff
|
tree
2023-09-05
Eri
c
Botcazou
ada: Fix a
s
sertion
f
a
i
lure on very
p
eculiar enu
m
eration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss Merz
o
ugu
e
ada:
Remove TBC comm
e
nt, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Javier M
i
randa
ada: Crash on
c
rea
t
ion of extra
f
orma
l
s
o
n type extension
commit
|
commitdiff
|
tree
2023-09-05
Alex
a
ndre Oli
v
a
ada: Pas
s
-
m
smp when
l
inking fo
r
ppc-
v
x6 --RTS=rtp-sm
p
commit
|
commitdiff
|
tree
2023-09-05
Javier M
i
randa
ada: Crash on fu
n
ction
r
eturning empt
y
Ada
2
022 agg
r
egate
commit
|
commitdiff
|
tree
2023-09-05
Steve Baird
ada: Compiler hangs on invali
d
postcondition
commit
|
commitdiff
|
tree
2023-09-05
Ste
v
e Baird
ada: Spurious w
a
rni
n
g abou
t
negat
i
ve modular li
t
eral
commit
|
commitdiff
|
tree
2023-09-05
Jo
h
a
n
nes Kl
i
emann
ada:
S
uppor
t
s
etti
n
g task affin
i
ty on QN
X
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan La
c
ambre
ada: buildin
g
_
e
xe
c
utable_
p
rogram
s
_with_gnat
.
rst: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel
Ki
n
g
ada: Preserve capab
i
lity v
a
lidity in add
r
ess ari
t
h
metic
commit
|
commitdiff
|
tree
2023-09-05
Er
i
c
Bot
c
azou
ada: Fix internal erro
r
on inst
a
ntia
t
ion with p
r
ivate
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernstein
ada: Remove GNATcheck violat
i
ons
commit
|
commitdiff
|
tree
2023-09-05
Ro
n
an De
s
pla
n
q
u
e
s
ada: Add missing units to Makefile
.
rt
l
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernstein
ada: Handle GNATcheck viola
t
i
o
ns
commit
|
commitdiff
|
tree
2023-09-05
Javier M
i
randa
ada: Enforce s
u
btype co
n
formance
o
f interfa
c
e primitives
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
ada: Tweak comment about tasking
corne
r
case
commit
|
commitdiff
|
tree
2023-09-05
Marc
P
oulhiès
Revert
"
A
djust one Ad
a
te
s
t
"
commit
|
commitdiff
|
tree
2023-09-04
M
a
rc Poulhiè
s
mk
l
og: handle Signe
d
-o
f
f-by,
m
inor cleanup
Signed-off-by:
Marc Poulhiès
<dkm@kataplop.net>
commit
|
commitdiff
|
tree
2023-08-07
Sheri Bernstei
n
ada: Re
f
actor multiple returns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Troj
a
nek
a
da:
Extend precondition
of In
t
erfac
e
s
.
C
.
String
.
Valu
e
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Y
a
n
nic
k
Moy
a
d
a
: Cr
a
sh in GN
A
Tpro
v
e
d
ue to
w
rong d
e
te
c
tion of in
l
ini
n
g
commit
|
commitdiff
|
tree
2023-08-07
Javier
Miranda
ada: Spurio
u
s
error on class-w
i
de preconditions
commit
|
commitdiff
|
tree
2023-08-03
Sheri
B
e
r
n
st
e
in
ada:
A
dd pragma Annotat
e
for GNATcheck exemp
t
i
ons
commit
|
commitdiff
|
tree
2023-08-03
V
asi
l
iy
F
ofanov
ada: Rewr
i
te Set_Image_
*
_
Unsigned routines to remove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
ada: Fix spurious error
o
n 'Input of pri
v
a
te typ
e
with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Er
i
c
B
otcazou
ada: Adjust
ag
a
in add
r
e
s
s arithmet
i
cs in Sy
s
tem
.
Dwa
r
f_Lines
commit
|
commitdiff
|
tree
2023-08-01
Yann
i
ck
Moy
a
d
a: Fix printing of num
b
ers in JSON outp
u
t for data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick
M
oy
ada: Disable
inlin
i
ng of subp
r
ograms with
S
kip(_Flow_
A
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ste
v
e
Baird
ada:
Bug
b
ox compi
l
ing C
o
nstrained_
P
rot
e
ct
e
d
_Obj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
S
t
eve
B
ai
r
d
a
da: I
n
c
o
rrect o
p
timiz
a
tion fo
r
uncons
t
rain
e
d limited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal Obry
ada: Defaul
t
Put_Image fo
r
composite derived ty
p
es
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yan
n
ick Moy
ada
:
Fix generation of JS
O
N ou
t
p
u
t
f
or data rep
r
esentation
commit
|
commitdiff
|
tree
2023-08-01
Bob Duf
f
ada: check A
t
ree
.
Get/Set_Fi
e
l
d_Value
commit
|
commitdiff
|
tree
2023-08-01
Léo Creus
e
ad
a
: Emit SC
O
s
for nested d
e
c
i
sio
n
s in quantified expr
e
s
s
ions
commit
|
commitdiff
|
tree
2023-07-28
Eric
B
otcaz
o
u
ada: Elide
the copy in ex
t
ended returns for nonlimited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clément Chi
g
o
t
ad
a
: Add a
n
assert in Po
s
ix
I
nterrupt_Wait
commit
|
commitdiff
|
tree
2023-07-28
Ja
v
ier Mi
r
anda
ada:
Fix unsuppo
r
ted d
i
sp
a
tch
i
n
g co
n
struct
o
r
call
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
a
da: Ad
d
support for bindi
n
g to a specifi
c
network
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
L
éo
Cr
e
use
ada
:
Add missing
S
CO g
e
neration for
quant
i
fied expressions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ronan Desplanques
ada: F
i
x r
a
ce conditi
o
n in protected
ent
r
y cal
l
commit
|
commitdiff
|
tree
2023-07-28
V
i
ljar Indus
ada:
S
m
all refacto
r
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Add
g
uard for detectio
n
of class-wide
p
recondi
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ada: Fix
memo
r
y ex
p
losion on aggregat
e
of nested pa
c
ked
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada
:
Leave
d
e
tect
i
on of missi
n
g
return i
n
fun
c
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Tromey
ada:
E
mit e
n
ums rather t
h
an de
f
ines
f
or various const
a
nts
commit
|
commitdiff
|
tree
2023-07-28
Piotr T
r
o
j
anek
a
d
a
:
Fix typo i
n
co
m
m
ent of Ada
.
Exceptions
.
S
a
ve_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
P
i
otr Trojanek
ada: Al
l
ow
c
a
l
ls to Number_Formals when no formals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr
Tro
j
anek
ada: Improve defense again
s
t i
l
leg
a
l code in check
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Po
u
l
h
i
è
s
Ad
j
u
s
t one Ada
test
commit
|
commitdiff
|
tree
2023-07-18
Tom Tromey
a
da
:
Us
e
new typedefs
i
n gcc-i
n
ter
f
ace
commit
|
commitdiff
|
tree
2023-07-18
J
av
i
er Miranda
ada: Constraint_Error caused by 'Image
a
p
plied to interface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar I
n
dus
ada: Avoid
iterator co
n
f
l
ic
t
s in container aggrega
t
e
s
commit
|
commitdiff
|
tree
2023-07-18
Viljar
I
ndus
a
da:
A
p
pl
y
correct element type
for c
o
ntaine
r
aggr
e
g
ates
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada:
F
ix expanding
con
t
ain
e
r
aggregates
w
it
h
I
terator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
E
ric Botcazou
ada:
Improve error message for ambiguous subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Javier Miranda
ada: Constra
i
nt_
E
rror cau
s
ed by interf
a
ce conversion
commit
|
commitdiff
|
tree
2023-07-18
Ronan Des
p
la
n
que
s
ada: Tweak CP
U
affinity
h
an
d
lin
g
on
L
i
nux
commit
|
commitdiff
|
tree
2023-07-18
Eri
c
Botca
z
ou
ada: Fix internal e
r
ror on aggregat
e
s of
s
elf-referencing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric
Botcaz
o
u
ada: Fix assertion fail
u
r
e
int
r
oduced by latest
change
commit
|
commitdiff
|
tree
2023-07-18
Al
e
xandre
Oliva
ada: Expose expec
t
ed_throw attribute
commit
|
commitdiff
|
tree
2023-07-18
Vasiliy Fofanov
ada: Refac
t
or s-pack* uni
t
s to rem
o
v
e multiple return
s
commit
|
commitdiff
|
tree
2023-07-18
Y
annick Mo
y
ada: Allo
w
w
a
rnings w
i
t
h explain code
commit
|
commitdiff
|
tree
2023-07-18
Er
i
c
Botcazou
ada
:
Fix Vali
d
_Scalars attribute appl
i
ed to ty
p
e
s
from
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob
D
uff
ada: Avoid renaming_de
c
l in
c
ase of
constraine
d
ar
r
ay
commit
|
commitdiff
|
tree
2023-07-11
Er
i
c Botcazo
u
ada: Fix
wrong r
e
so
l
ution for hid
d
en d
i
s
cr
i
minant in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Eric Botcazou
a
da: Foll
o
w-up fix for com
p
ilat
i
on issue with re
c
ent
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Tom Tromey
ada: A
d
d typede
f
s to s
n
ames
.
h
-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Y
annic
k
Moy
a
da: Sim
p
lify a
s
sertion to
r
e
m
o
ve CodePe
e
r messa
g
e
commit
|
commitdiff
|
tree
2023-07-10
Bob Duff
ad
a
:
D
ocumentat
i
on
f
or mixe
d
d
ec
l
arat
i
ons
and st
a
t
e
men
t
s
commit
|
commitdiff
|
tree
2023-07-10
A
l
exandre Oli
v
a
ada:
hardc
f
r
:
o
ptionally
d
isabl
e
in lea
f
f
unctions
commit
|
commitdiff
|
tree
2023-07-10
Alexand
r
e Oliva
a
da: hard
c
fr: mar
k
thro
w
-exp
e
cted functions
commit
|
commitdiff
|
tree
2023-07-10
Yanni
c
k
Moy
ada: Adapt
p
roof of System
.
Arith_Double to
r
emove CVC4
commit
|
commitdiff
|
tree
2023-07-10
A
l
exandre Oliva
ada: Ad
d
l
e
afy mod
e
for z
e
ro-call-use
d
-regs
commit
|
commitdiff
|
tree
2023-07-06
Claire
Dross
ad
a
:
A
d
d
spe
c
ification source files of runtim
e
u
n
it
s
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ada: Refactor
the proof o
f
t
he Value
a
n
d
Image
r
unt
i
m
e
.
.
.
commit
|
commitdiff
|
tree
next