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: Assertion failure adding extra formals to late overriding subp.
2023-09-14
Javier M
i
r
a
nda
ad
a
:
Asserti
o
n fa
i
l
u
r
e
add
i
ng extra fo
r
m
als to late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
cazou
ada: Elide the copy
i
n
e
xtended returns for
n
onli
m
i
t
ed
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tromey
ada: Fix DWARF f
o
r
c
er
t
ai
n
array
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr T
r
ojane
k
ada: Re
m
o
v
e redunda
n
t protection ag
a
i
nst
e
m
pty
l
i
st
commit
|
commitdiff
|
tree
2023-09-05
P
io
t
r
T
r
ojanek
ada: Add
g
uar
d
before qu
e
rying the type for its interf
a
ces
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojan
e
k
ada: Re
m
o
ve redun
d
ant guar
d
against an empty li
s
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
E
r
i
c
Botcazou
a
da: Fix
problem
a
t
i
c sec
o
ndary
stack management in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob
D
uff
ada
:
Fix crash on select
e
d component lo
o
kup in
g
eneric
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ronan Des
p
lanques
ada: Fix spurious
w
a
rning emissions
commit
|
commitdiff
|
tree
2023-09-05
Eric Botca
z
ou
a
d
a:
F
ix asser
t
ion failure
o
n very pe
c
uliar enumeration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss M
e
rzougue
ada: Remo
v
e
T
BC comment, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Jav
i
er Mira
n
da
ada: Crash on
c
reation of e
x
tra fo
r
m
a
ls on type extension
commit
|
commitdiff
|
tree
2023-09-05
Alexandr
e
O
l
iva
ada: Pass -
m
smp when lin
k
ing for ppc-vx6 --RTS=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javie
r
Mirand
a
ada: Crash on functio
n
ret
u
r
n
ing
empty
Ada 2022 a
g
gr
e
gate
commit
|
commitdiff
|
tree
2023-09-05
Steve B
a
ird
ada: C
o
mpiler hangs on invalid
p
ostcondition
commit
|
commitdiff
|
tree
2023-09-05
Steve Ba
i
rd
ada:
S
pur
i
ous
w
a
rning about
n
egative m
o
dular literal
commit
|
commitdiff
|
tree
2023-09-05
Joha
n
nes Kl
i
e
m
ann
ada: S
u
pport setting task a
f
f
i
nity on QNX
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan
La
c
a
m
b
re
ada: bui
l
ding_executable_programs_with_gnat
.
rst: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Daniel
King
ada: Preserve capab
i
lity validity
in a
d
dre
s
s
a
rith
m
etic
commit
|
commitdiff
|
tree
2023-09-05
Eri
c
Botcazou
ada: Fix i
n
ternal e
r
r
o
r
on i
n
stantiation
w
ith
p
riv
a
te
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernstein
a
da: Remove GNATcheck
vi
o
lations
commit
|
commitdiff
|
tree
2023-09-05
R
o
na
n
Desplanq
u
es
a
d
a
: Add
missing units to Makefile
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernstein
ad
a
:
H
andle GNATcheck violations
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada: Enforce subtype
conformance of inte
r
face primitives
commit
|
commitdiff
|
tree
2023-09-05
R
o
nan Despl
a
nq
u
es
ada: Tweak comment about tasking corner cas
e
commit
|
commitdiff
|
tree
2023-09-05
Marc Poulhiè
s
Revert "Adj
u
st one Ada t
e
st
"
commit
|
commitdiff
|
tree
2023-09-04
Marc Poulh
i
ès
mklog: handle Signed-off-by,
m
i
n
or cleanup
Signed-off-by:
Marc Poulhiès
<dkm@kataplop.net>
commit
|
commitdiff
|
tree
2023-08-07
Sheri Bernstein
ad
a
: Refactor
multip
l
e re
t
u
r
ns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojanek
ada:
E
xte
n
d precondition of
Interfaces
.
C
.
String
.
V
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yannick Moy
ada: Cra
s
h in GNATprove due to wron
g
detecti
o
n of inlinin
g
commit
|
commitdiff
|
tree
2023-08-07
Ja
v
ier Miranda
ad
a
: Spurious error on class-wide p
r
econditio
n
s
commit
|
commitdiff
|
tree
2023-08-03
Sheri Berns
t
ein
ada: Add
p
r
a
gma Annota
t
e f
o
r GNATcheck exemp
t
ions
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy Fofanov
ad
a
: Re
w
rite Set_Image_*
_
U
n
signe
d
routines to re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
ada:
F
ix spu
r
ious e
r
ror
on 'I
n
put of private type
with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Bo
t
ca
z
ou
ada: Adjus
t
again add
r
ess arithmet
i
cs in System
.
D
warf_Lin
e
s
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
a
da
:
F
i
x pri
n
ti
n
g of numbers in JS
O
N output for
d
ata
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Mo
y
a
d
a: D
i
s
able
inl
i
ning o
f
subprograms with Skip(_Flow_An
d
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
a
da:
B
ugbox com
p
i
ling Constrained_Protected_Ob
j
ect
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
St
e
ve Baird
ada:
In
c
orrect
o
ptimization for unconstrai
n
ed li
m
ited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal Obry
ada
:
D
efault
P
ut_Image f
o
r
compos
i
te derive
d
t
y
pes
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ya
n
ni
c
k Moy
ada: Fi
x
generation o
f
JSON output
for data
r
epres
e
ntation
commit
|
commitdiff
|
tree
2023-08-01
B
ob Duff
ada: check A
t
r
e
e
.
Get/Set_Field_Value
commit
|
commitdiff
|
tree
2023-08-01
Léo
Creuse
a
da: Emit SCO
s
for n
e
s
ted decisions in quantified expressions
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ada: Elide
t
he copy in extende
d
returns for
n
onlimited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clé
m
e
n
t Chig
o
t
ada: Add an asser
t
in Pos
i
x
I
nterrupt_Wa
i
t
commit
|
commitdiff
|
tree
2023-07-28
Javier
Miranda
ada: F
i
x un
s
upporte
d
dispatching
c
o
nstructor call
commit
|
commitdiff
|
tree
2023-07-28
Pa
s
cal Obry
a
da: Add
s
upport
for bindin
g
to a sp
e
cific network
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
L
é
o
Cre
u
s
e
ad
a
: Add
m
is
s
ing SCO
g
enerat
i
o
n f
o
r quantifie
d
expressions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ronan Desplanques
a
da: F
i
x
r
a
c
e
c
onditi
o
n
i
n
p
rot
e
c
t
ed
e
ntry call
commit
|
commitdiff
|
tree
2023-07-28
Viljar
Indus
a
da:
S
mal
l
r
e
fac
t
o
r
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr Tr
o
j
anek
a
d
a:
A
dd
guard
for detection of
c
lass-wide precond
i
tion
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
E
ric
Bo
t
cazou
ada:
F
i
x
memor
y
e
x
plosion on aggr
e
gate of nested packed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tro
j
anek
ada: Leave d
e
tection of missing return in functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Trom
e
y
ada:
E
m
i
t enums rather
t
h
a
n defines
for
v
arious
c
onstants
commit
|
commitdiff
|
tree
2023-07-28
P
i
otr Trojanek
a
d
a: Fix typo in co
m
ment of Ada
.
Exc
e
ptions
.
Save
_
O
ccur
r
ence
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr
T
rojanek
ada: Al
l
ow cal
l
s to Number_Form
a
ls when no f
o
rmal
s
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
a
da: Im
p
rove
d
efense ag
a
inst
i
lle
g
al c
o
de
in che
c
k
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Poulhiès
Adj
u
st one Ad
a
test
commit
|
commitdiff
|
tree
2023-07-18
Tom Tromey
ad
a
: Use new typedefs in gcc-
i
nterface
commit
|
commitdiff
|
tree
2023-07-18
Javier Miranda
ada: Constr
a
int_Err
o
r
c
aused by
'
Image appl
i
ed to inte
r
face
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
V
i
l
j
ar Indu
s
a
da: Avoid iterator confli
c
ts in
container
a
g
gregates
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada: Ap
p
ly correct elemen
t
ty
p
e f
o
r container aggregat
e
s
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada: Fix
e
xpa
n
ding c
o
ntainer
a
ggregates with Iterator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric Botcazou
ada: Improve error message fo
r
ambiguous s
u
bprogr
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
avier Miranda
ada: Constr
a
int_Error caused b
y
interface con
v
ersio
n
commit
|
commitdiff
|
tree
2023-07-18
Ronan Desplan
q
u
e
s
ada: Twea
k
C
P
U af
f
inity handl
i
ng on Li
n
ux
commit
|
commitdiff
|
tree
2023-07-18
Eric Botcazou
ada: Fix internal error on agg
r
egat
e
s of self-refe
r
encing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric
Bot
c
azou
a
da: Fix assert
i
on failure
i
ntr
o
duced by latest
c
hange
commit
|
commitdiff
|
tree
2023-07-18
Alexandre Oliva
ada
:
Expose expected_th
r
ow attri
b
ute
commit
|
commitdiff
|
tree
2023-07-18
Va
s
i
liy Fofanov
ada: Ref
a
ctor
s
-
p
ack* units to r
e
mo
v
e
m
ultip
l
e retur
n
s
commit
|
commitdiff
|
tree
2023-07-18
Y
a
n
n
ick
Moy
ada: Allow warnings with explain code
commit
|
commitdiff
|
tree
2023-07-18
E
r
ic Botcaz
o
u
ada
:
Fix Valid_Scalars a
t
t
r
ibute applied to t
y
p
e
s
from
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob Duff
ada: Avoid renaming_decl i
n
case of constrained a
r
ray
commit
|
commitdiff
|
tree
2023-07-11
Eric Botcazou
ada: Fix wr
o
ng resoluti
o
n for hidden discrimina
n
t in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Eri
c
Bot
c
azou
ada:
Follow-up fix for compilati
o
n i
s
sue
wi
t
h recent
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Tom Tromey
ada:
A
dd typedefs to s
n
ames
.
h-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Ya
n
n
i
ck
M
o
y
ada: Simplify assertion
to remove
C
odePeer
messa
g
e
commit
|
commitdiff
|
tree
2023-07-10
Bob
D
uff
a
d
a: Documentatio
n
fo
r
mixed declarations and s
t
a
te
m
ents
commit
|
commitdiff
|
tree
2023-07-10
Alexandre Oliva
a
d
a: hardcfr
:
o
ptionally disable in l
e
a
f functions
commit
|
commitdiff
|
tree
2023-07-10
Alexandre Oliva
a
da: h
a
rdcfr: mark throw-expected functi
o
ns
commit
|
commitdiff
|
tree
2023-07-10
Yannick
M
o
y
ada: Adapt
proo
f
of System
.
Arith
_
Dou
b
le to remove CVC4
commit
|
commitdiff
|
tree
2023-07-10
A
lexandre Oliva
ad
a
:
A
dd leafy
m
ode for zero-call
-
used-regs
commit
|
commitdiff
|
tree
2023-07-06
Claire Dr
o
ss
ada:
A
d
d specification so
u
rce fil
e
s of run
t
ime units
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ada: Refactor
the proof of th
e
Va
l
ue and Imag
e
r
unt
i
me
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Viljar
I
n
d
us
ada: Evaluat
e
s
tatic expr
e
ssions
in
R
a
n
g
e attributes
commit
|
commitdiff
|
tree
2023-07-06
Vi
l
ja
r
Ind
u
s
ada:
Refer to non-Ada binding l
i
mitat
i
ons
in user guide
commit
|
commitdiff
|
tree
2023-07-06
V
i
ljar In
d
us
ada: Reuse code
i
n
I
s
_
Fully_Init
i
alized_
T
yp
e
commit
|
commitdiff
|
tree
2023-07-06
Viljar
I
n
dus
ada
:
Avoid crash in Find_Optio
n
al_Prim_Op
commit
|
commitdiff
|
tree
2023-07-06
Ya
n
ni
c
k
Moy
ada:
Impro
v
e error mess
a
ge on violation of SPARK_Mode
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
S
t
eve Baird
ad
a
: Finalization not performed for c
o
m
p
o
nent o
f
protected
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
E
r
ic Botcazo
u
ada: Do not
unnec
e
ssari
l
y use component
-
wise loop for
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric Botcazou
ada: Small adjustmen
t
s
to new procedure Exp
a
n
d
_Unchecked_Uni
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Vilj
a
r Indus
ada: Add No_Use_Of_Attribute & No_
U
se_
O
f_P
r
agma t
o
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Yannick M
o
y
ada: Fix
list o
f
inherited subpro
g
r
ams in query
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eri
c
B
o
tcazou
a
d
a
: Fix r
e
nami
n
g
o
f predefined equality operator for
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Bot
c
a
z
ou
ada: Fix
d
iscrepancy in expansion o
f
u
ntagged recor
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
E
r
i
c B
o
t
cazou
ada:
F
ix small inaccuracy
i
n
implementation o
f
B
.
3
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
a
d
a: Fix build of
GNAT tools
commit
|
commitdiff
|
tree
2023-06-27
E
ric
B
otcaz
o
u
a
d
a
:
Fix bad i
n
t
eraction between inlining a
n
d thunk
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botc
a
zou
a
d
a: Make the identific
a
tion of case e
x
pressions more
.
.
.
commit
|
commitdiff
|
tree
next