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: Make internal_error_function more robust
2023-05-30
Piotr Troja
n
ek
ada: Only build access-to-sub
p
r
ogram
wrappers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojanek
ada: F
i
x crash
on
semi-recursi
v
e call in
a
cces
s
-
t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Troja
n
ek
ada: Atta
c
h pre/post on
a
ccess-
t
o-s
u
b
p
ro
g
ram to
i
n
t
ernal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
Rem
o
ve redund
a
nt pr
o
tection aga
i
nst e
m
pty lis
t
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr
Trojanek
ada: Remove extra
w
h
i
tespace from FO
R
loop
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada
:
Cleanup detection o
f
t
y
pe support subp
r
ogram entiti
e
s
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojanek
ada: Accept parameters
o
f enclosin
g
subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
roja
n
ek
ada:
Allow attributes
li
k
e First and
Last to be
read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
a
d
a:
R
euse rout
i
ne fo
r
ge
t
ting from body
entity t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r
T
r
ojanek
ada:
Fix r
e
t
r
ieval of sp
e
c enti
t
y from entry body
e
ntity
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojane
k
ada: Restore parent lin
k
for both lists an
d
no
d
es in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojan
e
k
ada: Tune message for missi
n
g 'Result in Contract_Ca
s
es
commit
|
commitdiff
|
tree
2023-05-29
Piotr
Trojanek
ada: Simplify removal of fo
r
mals
from the
s
cope
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
j
a
nek
ada: T
u
ne message
for pre/post
on acc
e
s
s-
t
o-subprogr
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
ne
k
ada: Analyze p
r
e/
p
ost on access-to-subprogram wi
t
h
o
ut
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
Tro
j
anek
ada: Remo
v
e redundant
gu
a
rd against empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
r
o
janek
a
da: Si
m
pli
f
y expansion of set membership
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ad
a
:
Cleanup expan
s
ion of memb
e
rsh
i
p
op
e
rators into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada: R
e
mov
e
le
f
tover co
d
e f
o
r counting prot
e
cte
d
entries
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojan
e
k
ada: Fi
x
detection of non-static
e
x
pression
s
in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Simplif
y
iter
a
tion over
r
ec
o
rd
c
o
mponent ite
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Tro
j
anek
ada: Fix
h
a
ndling of Global contrac
t
s
i
n
s
i
d
e
g
eneric
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr T
r
o
janek
a
d
a: Tune d
e
t
e
ction of
ex
p
ression functions
w
ithi
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
T
rojanek
ada: Remov
e
re
d
undan
t
protection against
e
mpty list
s
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojan
e
k
ada: Cleanups in
h
andling of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
a
d
a
:
F
i
x
i
teration over component items w
i
th pragmas
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
a
da: Remove r
e
dundant guar
d
s fro
m
hand
l
ing of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ad
a
: Use con
t
ext variables in expansion of
aggregat
e
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
a
da: Simp
l
ify expansion of positional
aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Refine types fo
r
an acce
s
sibility-checking routine
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
ada: Clean s
t
yle in expansio
n
of
array ag
g
regates
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada
:
E
x
pect
E
xceptional_Cases as
a
c
o
ntext for att
r
ibute
O
ld
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: Use pro
c
edural
v
ariant
of Next_Index whe
r
e pos
s
ible
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troja
n
e
k
a
da: Fix cop
y
in
g
of quantified
e
xp
r
essions
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Tr
o
janek
ada:
D
e
c
onstr
u
ct
a
no
l
onger used pa
r
ameter of N
e
w_Copy
_
Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Clean up cop
y
ing of node trees
commit
|
commitdiff
|
tree
2023-05-25
P
io
t
r Trojanek
ada: Simplify copying
of node lists
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troja
n
ek
ada:
R
e
move un
u
sed initial value of a l
o
cal varia
b
le
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
anek
ada
:
Pr
e
v
ent search of calls in p
r
econ
d
i
t
ions
from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Fix comment
s
f
o
r r
e
ce
n
tly added SPA
R
K aspec
t
s
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Trojanek
ada: Add m
i
ssing sup
p
ortive co
d
e for recently
added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
ojanek
ada: Tune handli
n
g of a
t
tributes Ol
d
in cont
r
act Excep
t
ional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Tr
o
j
anek
ada: Remove
redund
a
nt guards from calls to Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
a
d
a: Fi
x
c
o
py-paste
mista
k
e in analysis of Exceptional_Cas
e
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: Tune w
a
rning
a
bout assi
g
nment just before a
raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Tro
j
anek
ad
a
: Accept aliased
p
arame
t
ers in Exception
a
l_Cases
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Restrict use of formal
p
a
r
a
meters wi
t
h
i
n exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ada: Accept and analyze
new
aspect Excepti
o
nal_Cases
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Add tags to wa
r
nings controlled
b
y Warn_On_Redundant_C
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
ojanek
a
da: Cleanup in
c
ons
i
stent it
e
ration over exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr
T
roj
a
nek
ada
:
Turn as
s
e
rtions into defensi
v
e
code in
e
r
ror l
o
ca
t
i
o
ns
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Tr
o
janek
ada:
F
ix
e
ndings of pretty-printe
d
numeric
literals
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
tr Troja
n
ek
ada
:
Sync different v
a
r
iants of int
e
rrupt handl
e
r registr
a
tion
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
anek
ada: Revert to
o
ld pretty-pri
n
ting of intern
a
l en
t
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
oja
n
ek
ada
:
Ignore accessibil
i
ty actuals in expressio
n
pre
t
ty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ad
a
: Re
m
ove spe
c
ial-case f
o
r parentheses in e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
t
r T
r
oja
n
ek
ada: Tr
a
nsf
e
r
f
ix for pretty-printed parenth
e
ses f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fix expr
e
ssion pretty-printer
f
or S
P
ARK counte
r
exam
p
les
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Su
p
press war
n
i
n
g about
Subpr
o
gram_Variant failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada:
Min
o
r fix typo in
c
omment
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojanek
a
d
a: Avoid re
p
ea
t
ed calls
w
hen looking f
o
r first/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojan
e
k
ada: Fix s
o
u
r
ce loc
a
tion for
cra
s
hes in expanded
L
oop_Ent
r
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Tro
j
anek
ad
a
: F
u
r
t
h
e
r fixes to GNATprove and Co
d
ePe
e
r expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
C
lean
u
p redundant
condition in reso
l
u
t
ion of e
n
tit
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Trojanek
ada: Add w
a
rnin
g
on fronten
d
inlining of Subprogram_Variant
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
janek
ada:
Fix s
p
urious
w
arning
on Inline_Always and contracts
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojanek
a
da:
R
emove re
d
undan
t
protection against empty
lists
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Remove
u
n
r
efe
r
e
nced utility rou
t
i
ne Is_Ac
t
ual_T
a
g
g
ed_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Tro
j
anek
ada: Fix
traversal for the ri
g
htmost node
o
f a pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
a
nek
ada: Rest
r
ic
t
expression pretty-printer to
subexpressions
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr
Trojan
e
k
ada: Don't p
r
etty-pr
i
nt DEL w
i
thi
n
expression im
a
ges
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojane
k
a
d
a: Upd
a
te Controlling_Argument when copy
i
ng
t
rees
commit
|
commitdiff
|
tree
2023-05-16
P
iotr T
r
ojane
k
a
da: Apply range checks to prea
n
alyzed ag
g
regate
e
x
pres
s
ions
commit
|
commitdiff
|
tree
2023-05-16
P
i
o
t
r Trojanek
a
d
a:
B
uild inv
a
rian
t
p
rocedur
e
while f
r
e
e
zing in GNAT
p
rov
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Trojanek
ada: Remove
r
edu
n
dant protec
t
ion against em
p
ty lists
commit
|
commitdiff
|
tree
2023-05-15
Piotr Tr
o
ja
n
ek
ada: Accept a
g
gregates w
i
th OTHER
S
c
l
a
us
e
in unchecked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr
Trojane
k
ada: Rejec
t
attribute Initial
i
ze o
n
unchecked union
s
commit
|
commitdiff
|
tree
2023-05-15
P
i
o
tr Trojanek
ada: Fix link to parent when c
o
pying with Copy_Sepa
r
ate
_
T
ree
commit
|
commitdiff
|
tree
2023-01-05
Piot
r
Trojanek
ada:
Fla
g
renaming-as-spe
c
as a body to i
n
l
i
n
e
commit
|
commitdiff
|
tree
2023-01-05
P
i
otr Tr
o
j
a
nek
a
d
a
: Remove unhe
l
pfu
l
spe
c
ial
cas
e
for renamed bodies
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr T
r
ojanek
a
d
a
: Acc
e
pt aspects Glo
b
al and
De
p
en
d
s o
n
a
b
s
t
ract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
P
iotr Trojane
k
ada: Adjust number of err
o
rs
when removing war
n
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Tr
o
janek
ada:
Adjust
locations in aspects on generic
formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr
Troj
a
nek
ada: Fix sty
l
e
in code for gen
e
ric f
o
r
mal
s
u
b
programs
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr
T
roj
a
nek
ada: Expa
n
d generic formal subp
r
og
r
a
ms
w
ith con
t
r
acts
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Clean up call to c
h
eck if a
s
pects are
p
r
e
sent
commit
|
commitdiff
|
tree
2022-11-08
Piotr
T
rojanek
ada
:
Propagat
e
as
p
ect Ghos
t
when instantiating
n
u
ll
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada
:
Fix expansion of 'Wide_Image an
d
'Wide_Wide_Image
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ad
a
:
F
ix i
n
consistent
w
h
ite
s
pace in
Ada
.
Numerics
.
Gen
e
r
ic
_
C
o
m
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr T
r
ojanek
ada: Remove unneeded code
in handling for
m
al type defaults
commit
|
commitdiff
|
tree
2022-11-08
Piotr Tro
j
a
nek
a
d
a
:
Cleanup
local va
r
iable that is only
s
e
t as an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
tr T
r
o
j
anek
ada: Reject limited obj
e
cts
i
n
arr
a
y
and recor
d
delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
o
tr Trojanek
ada: Allow initia
l
i
zation of limited ob
j
ects with delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr T
r
ojanek
ada: Reject
r
ec
o
rd
del
t
a aggregates with
l
i
mited expressions
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Raise Tag_
E
rror whe
n
Ada
.
Tags operat
i
on
s
ar
e
cal
l
ed
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojanek
a
da: Tune hash
f
unction fo
r
cross-referenc
e
entries
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
oj
a
ne
k
a
d
a
: Fix perf
o
rmance regress
i
on related to r
e
ferences
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojan
e
k
ada: Inlin
e
composit
e
no
d
e kind AST querie
s
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr
Trojanek
ada: Fix detect
i
on
o
f e
x
t
e
rnal calls to protected objects
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojan
e
k
ada: Clean up u
n
nece
s
sary nesting in code for DLL libraries
commit
|
commitdiff
|
tree
next