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 extra whitespace after END keywords
2023-11-07
Piotr Trojanek
ada
:
Fix
e
x
t
r
a whit
e
space afte
r
E
ND keywords
commit
|
commitdiff
|
tree
2023-11-07
Piotr T
r
o
janek
ad
a
: Avoid e
x
tra con
v
ersion in expansio
n
of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pi
o
tr
T
roj
a
n
e
k
a
d
a:
S
im
p
lify handl
i
ng of known values
i
n e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pio
t
r Tro
j
anek
ada: Chan
g
e lo
c
a
l va
r
iables to
c
on
s
t
a
nts in expansio
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pio
t
r
Tro
j
anek
ada:
F
i
x style in declaration of
r
outine for
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Cleanup g
e
t
ting of
a
ctual s
u
btypes
commit
|
commitdiff
|
tree
2023-11-07
Pi
o
tr Trojanek
ada: Fix h
a
ndling
of actu
a
l subtypes for expanded names
commit
|
commitdiff
|
tree
2023-10-19
Piotr Tr
o
janek
a
d
a: Simplify "not Presen
t
" with "No"
commit
|
commitdiff
|
tree
2023-09-15
Piot
r
Trojanek
ada: Explicitly analyze a
n
d expand null array agg
r
egates
commit
|
commitdiff
|
tree
2023-09-05
Pi
o
tr Trojanek
ada: Remov
e
redundant prote
c
tion
a
gainst empty l
i
st
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
ada: Add guard before querying the type for its interfaces
commit
|
commitdiff
|
tree
2023-09-05
Pio
t
r Trojanek
ada: Re
m
ove
r
edundant guard a
g
ainst
a
n empty list of
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojanek
a
da: Extend precondition of
Interfaces
.
C
.
Str
i
ng
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr Trojanek
a
da: Add guard for detect
i
o
n
of class-wi
d
e
p
recondition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piot
r
Trojanek
ada: Leave detection of m
i
ssing return in fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr
Trojanek
ada: Fix
typ
o
in comme
n
t
o
f A
d
a
.
Exceptions
.
S
ave_
O
c
currence
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
janek
ada: Allo
w
cal
l
s to Number_Forma
l
s when no
f
orm
a
ls
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Improve def
e
ns
e
against il
l
egal
c
ode in check
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
t
r
Tro
j
anek
ad
a
:
Fix for att
r
ibute Range in Exceptio
n
al_Cases
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
tr Trojanek
ada
:
Fix for
q
uantified
expr
e
ssions in Ex
c
eptional_Cases
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Trojanek
ada: Accept
aspect Alw
a
ys_Terminates on packages
commit
|
commitdiff
|
tree
2023-06-15
P
i
o
tr Trojan
e
k
ada: Accept aspect Alwa
y
s
_
T
er
m
i
n
ates on en
t
ries
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Troja
n
ek
a
d
a: Reject
asp
e
ct Al
w
ays_Terminates on
f
unc
t
ions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
i
otr
T
ro
j
anek
a
da: Accept
a
spect Alwa
y
s_Termi
n
ates wit
h
out expr
e
ssi
o
n
commit
|
commitdiff
|
tree
2023-06-15
Piotr
T
r
ojanek
ada: Cleanup anal
y
sis of iter
a
t
ed component
a
ss
o
cia
t
i
o
n
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
oja
n
ek
ada: Fix decoration of iterated component association
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
ada:
R
ecognize iterated_component_associa
t
ion
a
s repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada: Recogniz
e
iter
a
t
e
d_c
o
mponent_association
a
s
p
otentiall
y
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Troja
n
ek
a
d
a: D
i
sable i
n
lining in potenti
a
lly unevaluated con
t
ex
t
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troj
a
nek
ada: Imple
m
e
nt ne
w
aspect
A
lways_Termin
a
tes
for S
P
ARK
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
t
r Trojanek
ada
:
Skip el
a
bor
a
ti
o
n checks fo
r
abs
t
rac
t
sub
p
r
o
gr
a
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
a
da: Remov
e
unrefere
n
ced ro
u
tine
I
s_Inherite
d
_
O
p
eratio
n
_For_
T
ype
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojanek
a
d
a: Remove
wrong comme
n
t abou
t
e
x
p
a
nsi
o
n of
e
xceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
o
j
anek
a
da
:
C
l
ean
u
p
fi
n
d
in
g
of local
l
y
han
d
led excepti
o
n ha
n
dlers
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
t
r
T
r
o
janek
ada: Clean
u
p expansion o
f
loca
l
l
y
handled e
x
ception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Troj
a
n
e
k
ada: Tune
styl
e
in de
t
ection of writable function act
u
al
s
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Troja
n
ek
a
d
a
:
Simplif
y
appendi
n
g to a newly created list
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr Trojanek
ada: Re
m
o
v
e explicit
d
ecoration of wrapper created
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr T
r
oja
n
e
k
ada: Only build a
c
cess
-
to-subprogra
m
wrappers
when
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojane
k
ada: Fix
c
rash on sem
i
-
re
c
u
r
sive call in access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Tro
j
anek
ad
a
: Atta
c
h pr
e
/p
o
st o
n
acces
s
-
t
o
-subprogra
m
to internal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Remove redundant protecti
o
n ag
a
inst empty
lists
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
nek
ada: Remove extra whitesp
a
ce from FOR loops
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojanek
ada: Clea
n
up d
e
tec
t
i
on of type
s
upport subp
r
ogram entiti
e
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
d
a: Accept parameters of enclosing subprog
r
am
s
in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr
T
rojanek
ada: Allow attribu
t
es lik
e
F
i
r
s
t an
d
Last
t
o be read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tro
j
anek
ada: R
e
use routine for getti
n
g
f
ro
m
b
ody enti
t
y to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojanek
ada
:
Fix retriev
a
l of s
p
ec entity fro
m
ent
r
y b
o
dy entity
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Restore p
a
r
ent
l
ink for bot
h
lists an
d
nodes i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
nek
ada: T
u
ne mes
s
age fo
r
missing
'
Result in Contr
a
ct_Cases
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
j
a
nek
ada: Simpl
i
fy removal of
f
ormals from the s
c
o
p
e
commit
|
commitdiff
|
tree
2023-05-29
P
i
o
t
r Troja
n
ek
ada: Tun
e
mess
a
ge for pre/post on access-to
-
subpr
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
iotr
T
r
o
janek
ada: Analyze p
r
e/po
s
t
on
a
c
cess-to
-
subprog
r
a
m
wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojane
k
ada:
Remove
redun
d
a
n
t
g
u
ar
d
against
e
mpty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojan
e
k
a
d
a: Si
m
p
lify ex
p
an
s
ion of set membership
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada: Cleanup expansio
n
of membership opera
t
ors into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r
Trojanek
ada: Remove lefto
v
er code for c
o
unting protect
e
d e
n
tries
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Tro
j
ane
k
ada: Fix detection
o
f non
-
st
a
tic expressions in
r
ec
o
r
d
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
ek
ada: Simplify i
t
e
r
at
i
on over record component it
e
ms
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
ot
r
Trojanek
ada: Fix handli
n
g
of G
l
obal
contract
s
i
nside g
e
neric
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada
:
Tune de
t
e
ction o
f
ex
p
re
s
s
i
on funct
i
o
n
s w
i
thin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
da: Remove redu
n
dant protection against empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojan
e
k
ada: Cleanups in handling of
agg
r
egate
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ad
a
: Fix iteration over com
p
onent items wit
h
pra
g
m
as
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada:
Remove
redundant guards from handling of
r
ecord
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Use
context variables
i
n
expansion
o
f aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojanek
ada: Simplify
ex
p
ansion
of
p
ositional aggregates
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r Troj
a
n
ek
a
d
a
: Refine types
for an acce
s
s
i
bility-ch
e
c
king
r
ou
t
i
n
e
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r Trojanek
ada: Clea
n
style i
n
e
xpansion of
a
r
r
ay
aggre
g
ates
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troj
a
n
e
k
a
da: Expec
t
Exception
a
l_C
a
ses as a co
n
t
e
x
t
f
or attr
i
bute Old
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: U
s
e
p
rocedural variant
o
f Next_Index w
h
ere
p
oss
i
ble
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
o
j
an
e
k
ad
a
: Fix
copying
o
f
quantified
e
xpressions
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Trojanek
ada: Decon
s
t
ruct
a
no longer
u
s
ed parame
t
er o
f
New_Copy_T
r
ee
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
rojanek
a
d
a: Clea
n
up copying of n
o
d
e
trees
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojane
k
ada: Simplify copying
o
f node lists
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Remove
u
nused initial value of a l
o
c
a
l varia
b
le
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
Prevent
search of
ca
l
l
s
in precondit
i
ons fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
anek
ada
:
Fix comments for recent
l
y adde
d
SP
A
R
K
aspects
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ad
a
: Add missing supportive code for r
e
cently added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Troja
n
ek
ada: Tune
handling of attribut
e
s Old in
c
ont
r
act Exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada
:
Rem
o
ve redu
n
d
a
nt guards from calls to Move_Aspect
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a: Fix copy-paste mis
t
ake in analysis
o
f E
x
c
e
ptional_Cases
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
T
un
e
warni
n
g
ab
o
u
t
assi
g
n
m
e
n
t jus
t
before a
raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada: Accept aliased p
a
ra
m
eters in Exce
p
tiona
l
_Cases
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Tro
j
anek
ada: Restr
i
ct
u
se
o
f formal p
a
rameters with
i
n exc
e
ptiona
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iot
r
Trojane
k
ada: Acc
e
pt and ana
l
yz
e
ne
w
aspect Excep
t
ional_Cases
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
a
da: Add ta
g
s to warnings contro
l
le
d
by
Warn_On_
R
ed
u
nda
n
t_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojan
e
k
ada: Cleanup inconsistent i
t
eration
ov
e
r
e
xception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
a
d
a:
T
u
rn assertions i
n
to
defensive code in error
l
oca
t
ions
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fix
e
n
d
i
n
g
s of pretty-printed
n
umeric literals
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
nek
a
da:
Sync different v
a
riants
o
f inter
r
upt ha
n
dle
r
registration
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
a
d
a
: Rever
t
to old pretty-printin
g
of internal
e
nti
t
ies
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojan
e
k
ada: Ignore a
c
cessibility actuals
in
express
i
o
n
pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojanek
ada: Remove spe
c
ial
-
case for paren
t
h
e
s
es
i
n ex
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tr
o
j
a
n
e
k
ada: Transfer
fix for pretty-pr
i
nted
pa
r
entheses from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
F
i
x expres
s
ion
pret
t
y
-printer for SPARK counterexamples
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Troja
n
e
k
ada: Suppress w
a
rning abo
u
t Subprog
r
am
_
V
a
riant failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
t
r Trojanek
ada: M
i
nor fix t
y
po in comment
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Trojanek
ada: Avoid repeat
e
d calls wh
e
n loo
k
ing f
o
r first/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Trojane
k
ada: Fix source loc
a
tion fo
r
crashes in expanded Loop_Entry
.
.
.
commit
|
commitdiff
|
tree
next