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 small fallout of previous change
2023-05-29
E
r
ic Botcazou
ada:
F
i
x
s
mall
fallout of prev
i
ous ch
a
nge
commit
|
commitdiff
|
tree
2023-05-29
Eric
B
otcazou
ada: F
i
x re
m
aining failu
r
es in Roman Numbers
t
e
st
commit
|
commitdiff
|
tree
2023-05-29
Eric Botcazou
a
d
a:
F
ix memory leak in
m
ulti-dimensional arr
a
y
aggrega
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Eric
Botcazou
ada: Fix wrong
r
esu
l
t for
m
e
mber
s
hip test of nu
l
l
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Er
i
c
Botc
a
zou
ada: Fix small fallo
u
t of previous cha
n
ge
commit
|
commitdiff
|
tree
2023-05-29
Eric Bo
t
c
a
zou
a
d
a
:
Fix
w
ro
n
g
f
inali
z
atio
n
for
call to BIP function
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
nek
ada: A
c
c
ept p
a
rameters of enclosing subprogr
a
ms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Marc Poulhiès
ada:
F
ix crash on v
e
c
t
or initializ
a
t
io
n
commit
|
commitdiff
|
tree
2023-05-29
P
iotr
Troja
n
ek
ada:
A
llow a
t
t
r
ibutes
l
i
k
e First and L
a
st to be read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
E
r
ic Botcaz
o
u
ada:
Repair s
u
pport for user-defined literals in
a
ri
t
h
meti
c
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Ba
i
r
d
ada:
D
efault
_
Component_
V
alue tru
m
ps Initialize/Norma
l
ize_Scalars
commit
|
commitdiff
|
tree
2023-05-29
Javier Miranda
ada: Cr
a
sh on ag
g
regate for t
a
gg
e
d
r
e
c
ord with dis
c
rimi
n
ants
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojanek
ada:
R
euse
routine for getti
n
g
from body entity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Fix retrieval of spec en
t
it
y
from
entry body entity
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
R
est
o
r
e pare
n
t lin
k
for both lis
t
s
a
nd nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
A
r
naud Cha
r
let
ada: Refining handling o
f
inlining
f
or CCG
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcazou
ada: F
i
x spurious
error on nested instantiations with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r
Trojanek
ada:
T
une
message for m
i
ssing 'Resul
t
i
n
Contract_Cases
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojane
k
ada: Simplify removal of for
m
a
l
s fr
o
m th
e
scope
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: T
u
n
e
m
essage for pre/post on access-to-subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Javi
e
r Miranda
a
da
:
Sp
u
r
i
ous erro
r
on string interpolation
commit
|
commitdiff
|
tree
2023-05-29
Johan
n
es K
l
i
e
m
ann
ada: Add
QN
X
s
peci
f
i
c
v
e
rsion of System
.
Paramet
e
r
s
commit
|
commitdiff
|
tree
2023-05-29
Y
a
nni
c
k
M
oy
ada: Restore SPARK_Mode On for
n
umerical functio
n
s
commit
|
commitdiff
|
tree
2023-05-29
Marc Poulhiè
s
ada:
Fix
r
e
s
t
oration of parent lin
k
commit
|
commitdiff
|
tree
2023-05-29
P
i
o
t
r Trojanek
ada: Anal
y
z
e
pre/po
s
t on a
c
ce
s
s-to-subprogra
m
without
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Bob D
u
ff
ada: Co
r
rections to premature-r
e
fere
n
ces
rules
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada: F
i
x
typos
"
stat
m
ent" and "condtion"
commit
|
commitdiff
|
tree
2023-05-26
Eric Botc
a
zou
ada: Use truncation
f
or dynamic conversi
o
ns f
r
om floating
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Mira
n
d
a
ada:
C
r
a
sh on
funct
i
on
re
t
urning allocated object containin
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Yannic
k
Moy
ada: Default initi
a
liz
e
entity to avoi
d
Cod
e
Peer message
commit
|
commitdiff
|
tree
2023-05-26
Yannic
k
Mo
y
ada:
M
ino
r
doc clarification
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
ada: Complete co
n
tracts of SPARK
units
commit
|
commitdiff
|
tree
2023-05-26
Bob
D
uff
ada: F
i
x cra
s
h
o
n
'Im
g
as ge
n
er
i
c
a
c
tual function
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Troja
n
ek
ad
a
: Re
m
o
v
e redun
d
ant guard against emp
t
y lists
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
ot
c
azou
ada: Fix double fr
e
e on
fina
l
ization of Vector
i
n a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Botcaz
o
u
ada: Fix interna
l
er
r
or on Big_Integer
c
onversion gho
s
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Simplify expansion of se
t
m
e
m
bership
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
r
o
jan
e
k
ada: Cleanup expansion
o
f membership operato
r
s
into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
o
t
r Trojanek
ada:
R
emove leftover code for counting protected entries
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
n
e
k
ada:
Fi
x
detection
of non-static expr
e
ssions in record
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Botcazou
a
d
a
:
R
eor
d
er co
m
pone
n
ts in Ada
.
Containe
r
s
.
Bo
u
nded_Doubly_L
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
ric Botcazou
ada: Reorder components i
n
Ada
.
Con
t
a
i
ners
.
Restri
c
ted_Doubly_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c Botcazou
ada: Rej
e
ct t
h
in 'Unrestricted_
A
ccess val
u
e to aliased
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a
:
S
implify i
t
era
t
ion ove
r
record compon
e
n
t
ite
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
ada: Fix
h
andling o
f
G
lo
b
al
cont
r
a
c
ts inside generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a:
T
une det
e
ction of expre
s
sion func
t
ions within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Ja
v
ier Miranda
ada
:
Crash on loop in
d
ispatching condition
a
l
entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
o
j
anek
ada: Remove redundant
p
rotection
against
e
mpty lists
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada:
Cleanups in handling of
aggregate
s
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
T
rojanek
ad
a
: Fix iteration ov
e
r compon
e
nt items with
pragmas
commit
|
commitdiff
|
tree
2023-05-26
Javier Mir
a
nda
ada: Duplicate declaration of _master entit
y
commit
|
commitdiff
|
tree
2023-05-26
P
io
t
r Trojanek
ada: R
e
mo
v
e r
e
d
undant guards fr
o
m
handl
i
ng
of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
i
c Botca
z
ou
ad
a
: Remove Is_Descendant_Of_Address flag fro
m
Standard
_
Address
commit
|
commitdiff
|
tree
2023-05-26
Ghjuvan Lac
a
mbre
ada:
H
andle
n
ew Control
l
ing_Tag for
m
at when co
n
verting
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
ada: Use
c
on
t
ext variab
l
es in
e
x
pansion of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
Botcazou
ada: Fix mis
s
ing finalization in library-le
v
el insta
n
ce
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Botcazou
a
d
a
:
Mino
r
tweak in condit
i
on
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada
:
S
impl
i
fy expansi
o
n of position
a
l ag
g
regates
commit
|
commitdiff
|
tree
2023-05-26
Doug Rupp
ad
a
: Us
e
com
p
uted val
u
e from os_cons
t
ants
t
o define
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: F
i
x another couple of unch
e
cked
c
onversions to
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r
Troja
n
e
k
ada: Ref
i
ne type
s
f
o
r an accessi
b
i
l
ity-checki
n
g routi
n
e
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: C
l
e
a
n style in e
x
pansion of arra
y
aggregate
s
commit
|
commitdiff
|
tree
2023-05-26
Ronan Desplanques
ada: F
i
x
la
t
e
extra formals crea
t
ion
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Add mi
s
sing gua
r
ds in Selected_Rang
e
_Checks
commit
|
commitdiff
|
tree
2023-05-26
E
r
ic Botcazou
ada:
E
nha
n
ce Is_N
u
ll_
R
ange and N
o
t
_
N
u
l
l_Range predic
a
tes
commit
|
commitdiff
|
tree
2023-05-25
J
a
vier Miranda
a
da: Mi
s
sing war
n
ing
o
n
null-excludin
g
array
agg
r
e
gate
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
ot
r
Trojane
k
ad
a
:
E
xpect Excepti
o
nal
_
Case
s
a
s a
context for att
r
ibute Old
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr T
r
ojanek
ada:
U
se proc
e
dural
variant
of Ne
x
t_I
n
dex wh
e
re
p
ossible
commit
|
commitdiff
|
tree
2023-05-25
Javier Miranda
a
d
a
:
Crash on
empty aggr
e
gate usi
n
g the Ada 2022 notati
o
n
commit
|
commitdiff
|
tree
2023-05-25
Johannes Kliemann
ada: E
n
able Suppor
t
_Atomic_Pri
m
itive
s
on V
x
Works 7 PPC
commit
|
commitdiff
|
tree
2023-05-25
Eric Bo
t
c
azou
ada: Fix internal error on
d
ecla
r
e-expression in pos
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
T
om Tromey
ad
a
: Require su
c
c
e
ssfu
l
build of xsnamest
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcaz
o
u
ad
a
: Minor adjust
m
ents to Standard_
A
ddress
commit
|
commitdiff
|
tree
2023-05-25
Er
i
c
Botcazou
ada: Add size clause
to S
y
stem
.
Address
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada: Fix
e
rror me
s
sage
f
or Aggr
e
g
a
te
a
spect
commit
|
commitdiff
|
tree
2023-05-25
Bob Du
f
f
a
d
a:
Switch from
E
_
V
oid to Is_N
o
t_Self_
H
idden
commit
|
commitdiff
|
tree
2023-05-25
Eric Botcazou
ada: Decouple size
of a
d
dresse
s
an
d
pointers from
s
ize
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troj
a
nek
ada:
Fix
copy
i
ng of quantified e
x
p
re
s
sions
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
t
r Trojanek
ada: Decon
s
truct a no lo
n
g
er
use
d
param
e
ter
o
f New_Copy_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troj
a
n
e
k
ada: C
l
ea
n
up copying
of node trees
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Troja
n
ek
ad
a
: Simplify copy
i
ng of no
d
e lists
commit
|
commitdiff
|
tree
2023-05-25
S
teve B
a
i
rd
ada: Avoi
d
d
upli
c
ated streaming sub
p
rogram
s
commit
|
commitdiff
|
tree
2023-05-25
Marc Poul
h
iès
ada:
F
i
x crash during
f
uncti
o
n
return a
n
alysis
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troja
n
ek
ada
:
Remove unu
s
e
d
initial value o
f
a local var
i
able
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada: Fix (a
g
ai
n
)
in
c
orrect hand
l
ing
of Aggregate aspect
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada:
Pr
e
vent search o
f
calls in pr
e
conditions from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
j
a
nek
ada:
Fix commen
t
s for recent
l
y added SPARK aspect
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
oj
a
nek
ada: Add missing
s
upportive code for
re
c
ently a
d
ded
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
Trojane
k
ada
:
T
u
ne
h
a
ndling of attri
b
u
tes
Old i
n
co
n
tra
c
t
Ex
c
epti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ada: Remove redundant guards f
r
om calls
t
o Move_Aspect
s
commit
|
commitdiff
|
tree
2023-05-25
Eric Botca
z
ou
ada: Small tweak to implementati
o
n of b
y
-copy sem
a
n
tic
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
Tro
j
anek
ada: Fix
cop
y
-
p
aste mistake
i
n analysis of Ex
c
eptional_Cases
commit
|
commitdiff
|
tree
2023-05-25
Ronan
Desplanques
ad
a
: Enrich
documentatio
n
of subprogr
a
m
commit
|
commitdiff
|
tree
2023-05-25
R
onan
D
esplanques
ada: Maximi
z
e
use of e
x
i
s
ting constant
commit
|
commitdiff
|
tree
2023-05-25
Ronan D
e
splanques
ada
:
R
e
duc
e
s
p
an
o
f
v
ariable
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
a
d
a
:
Set Is_No
t
_
S
elf_
H
idden f
l
ag
i
n more
c
ases
commit
|
commitdiff
|
tree
2023-05-25
Ro
n
a
n D
e
splanques
ad
a
: Handle controlling acce
s
s parameter
s
i
n DTWs
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada:
Add Ent
r
y_Cancel_Parameter t
o
E_La
b
e
l
commit
|
commitdiff
|
tree
2023-05-25
E
ric Bo
t
cazou
ada: Minor
f
ixes in description
of scope d
e
pth
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Trojanek
ad
a
:
T
u
n
e warning about assignme
n
t just
b
efore a
raise
.
.
.
commit
|
commitdiff
|
tree
next