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: Pass Error_Node to calls to Error_Msg in lib-load.adb
2023-06-15
Piotr Trojanek
ada: Accept aspe
c
t Always_Terminates on
package
s
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Accept
a
spect
A
l
ways
_
Terminates on entries
commit
|
commitdiff
|
tree
2023-06-15
Piot
r
Trojane
k
ada
:
R
e
ject aspect Alway
s
_Terminates
o
n function
s
and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
P
i
ot
r
Tro
j
a
n
ek
ad
a
: Accept as
p
ect Always
_
T
e
rminates
without expression
commit
|
commitdiff
|
tree
2023-06-15
Piotr
T
r
o
jan
e
k
ada: Cleanup
ana
l
y
sis of iterated component as
s
ocia
t
ion
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojanek
ad
a
: Fix de
c
oration of iterate
d
com
p
onent
a
s
s
o
cia
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Recognize iterated
_
component_associat
i
o
n
as
repeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojan
e
k
ada: Reco
g
nize iterated_
c
omponent_association as
p
o
t
entially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Dis
a
bl
e
inlin
i
n
g
in p
o
tentially
unevaluated
context
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
ada:
I
m
plement new
a
spect Always_T
e
rminates
for SP
A
RK
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tro
j
ane
k
ada
:
Skip elabo
r
ation checks for abstra
c
t
sub
p
r
o
g
rams
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
o
j
a
n
ek
ad
a
: Remove
unr
e
fe
r
enc
e
d r
o
u
tine
Is_Inherite
d
_Operation_F
o
r_Type
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojane
k
ada: R
e
move
wrong comment a
b
out exp
a
nsion
of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ada:
C
leanu
p
finding of locall
y
ha
n
dle
d
exception ha
n
dlers
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojanek
ada: Cleanup expansion
of locally handl
e
d exception
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr Tr
o
j
a
nek
ada: Tune style in detectio
n
of w
r
i
table function actuals
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Sim
p
lify appending
to a newly
c
r
eated list
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Remove
e
xpli
c
it dec
o
r
a
tion of wr
a
pper c
r
e
ated
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Pio
t
r Trojanek
ada: Only build
access-to-
s
u
b
prog
r
am wrap
p
ers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ad
a
: Fix crash on
semi-r
e
cursive call
i
n acc
e
ss-
t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojanek
ada:
Attach pre/post on acce
s
s-
t
o-su
b
progr
a
m
t
o internal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
iotr
Trojanek
ada: Remove
r
edundant protec
t
i
on agains
t
empty lists
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
d
a
: Re
m
ove extra whites
p
ace
f
rom FOR loop
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada: Cleanup
d
et
e
ction of type
s
uppo
r
t
sub
p
rogram enti
t
ies
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojan
e
k
ada: Accept parame
t
ers of enclos
i
ng subp
r
ograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada: Allow a
t
tributes like First a
n
d Las
t
to b
e
r
ea
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojane
k
ada: Reuse routine fo
r
getti
n
g from body e
n
tity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Fix retrieval of spec entit
y
from entry
b
ody entit
y
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojane
k
ada
:
Restore pa
r
ent l
i
nk for both
l
i
s
ts
a
n
d nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Troja
n
ek
ada: Tune
m
e
s
s
a
ge for missing 'Result in Cont
r
act
_
Cas
e
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojane
k
ada: Simplify r
e
moval of formals fr
o
m the scope
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
T
rojanek
ada:
T
u
ne message for
p
re/
p
o
st
o
n
a
cc
e
ss-
t
o-subpr
o
gram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
roj
a
ne
k
ada: Analyze pre/
p
o
s
t on a
c
cess-to-subp
r
ogr
a
m
without
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
j
ane
k
ada: Remove
re
d
undant g
u
ard agains
t
empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Simplify expansion of set members
h
ip
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
e
k
a
d
a: Cle
a
nup expan
s
i
o
n o
f
membership operators
into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
ot
r
Tro
j
anek
ada: R
e
move leftove
r
c
ode
f
o
r c
o
u
n
ting protected entrie
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix
detection of non-static expre
s
sio
n
s
in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada
:
Simpli
f
y it
e
r
a
tion over record
component items
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
ek
ada: Fi
x
h
an
d
lin
g
of Global contracts inside gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
ada:
T
une de
t
ecti
o
n
o
f
exp
r
ession functio
n
s within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Remove redu
n
d
a
n
t p
r
otectio
n
against e
m
pty
lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada: Cleanu
p
s
in handling of ag
g
regates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
ne
k
ada: Fi
x
iteration
over
c
omponent
items
with
p
r
agm
a
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Remo
v
e re
d
u
ndant guar
d
s from handl
i
ng of re
c
or
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada
:
Use context vari
a
bles in
e
xpan
s
i
o
n of
a
ggregates
commit
|
commitdiff
|
tree
2023-05-26
P
i
o
t
r Tr
o
j
anek
ada: Simplif
y
expansi
o
n of posit
i
onal aggreg
a
tes
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada
:
R
e
fi
n
e
t
ypes for an acc
e
ssibility-c
h
ecking routine
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr
Trojanek
ada: C
l
ean sty
l
e
in expans
i
on of a
r
ray
aggregates
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Tro
j
anek
ada: Expec
t
Excepti
o
nal_Cases as a context for at
t
r
ib
u
te
Old
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Use proce
d
u
ral variant of Next_Index where possible
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada:
Fix copying of quantified e
x
pressions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a: Deconstr
u
ct a no lo
n
ger used pa
r
ame
t
er of New
_
Copy_
T
ree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: Cle
a
n up copy
i
ng of nod
e
t
rees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a:
S
implify copying of no
d
e lists
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ad
a
:
R
e
move u
n
used initial
v
al
u
e of a
local
v
ariable
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Prevent sear
c
h of calls i
n
preconditions
fro
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Fix comments for recently added S
P
ARK asp
e
cts
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
Add missing su
p
p
o
r
tive code for re
c
ently added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Tune handli
n
g
o
f
attributes Old in contract Exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojan
e
k
ad
a
: R
e
move redundant guards f
r
om calls t
o
Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Fix copy-paste mistake in analy
s
is of E
x
c
e
p
tional_Cas
e
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
da: Tune
warning about assignme
n
t
just
before a ra
i
se
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
a
d
a
: Accept aliased para
m
eters in Exceptional_Ca
s
es
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
ojan
e
k
ada: R
e
strict use of form
a
l
p
ar
a
meters within exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Acc
e
pt and analyze new aspect Excepti
o
nal_C
a
ses
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojan
e
k
a
d
a: A
d
d
tags
to
warnings
contro
l
l
e
d by Warn_On_Redundant
_
C
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojane
k
a
d
a: C
l
eanup inconsistent
iteration over excep
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojan
e
k
ada
:
Turn assertions into defe
n
s
i
ve cod
e
in error locations
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada: Fix endings of
p
r
e
t
ty-print
e
d numeric
lite
r
als
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Tr
o
j
an
e
k
ada: Sync differ
e
n
t
variants of inte
r
ru
p
t handler reg
i
stration
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr T
r
ojanek
ada:
R
evert
to old
p
retty-printing of int
e
r
nal
e
ntitie
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojanek
ada:
I
gn
o
re
a
ccess
i
b
i
lit
y
a
c
tuals in express
i
on pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojanek
ada:
Remove specia
l
-case fo
r
parenthes
e
s in
expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojan
e
k
ada: Tr
a
nsf
e
r f
i
x for prett
y
-
p
rinted parentheses from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fix expression p
r
etty-printer for SPARK
c
ounterexam
p
l
e
s
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojanek
ada: S
u
ppress warn
i
ng abou
t
Subp
r
ogram_Variant failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
ada
:
Mi
n
or fix typo in comme
n
t
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
ojan
e
k
ada: Avoi
d
repeated cal
l
s
w
h
en lo
o
k
i
n
g
for first/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
j
a
nek
ada: Fix
source loc
a
tion
f
o
r crashes
i
n expanded Loop
_
Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Tr
o
janek
a
d
a: Fu
r
ther fi
x
es to GNATprove
and CodeP
e
er exp
r
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
a
da: Clea
n
up redundant condition in
re
s
olution of
e
ntity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojan
e
k
ada: A
d
d warning on fr
o
ntend
i
nlining of Subprogram_Variant
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
ada
:
Fi
x
spu
r
ious
warning on
Inline_Always and contracts
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada
:
Rem
o
ve
r
edundant protect
i
o
n against
e
mpty lists
commit
|
commitdiff
|
tree
2023-05-22
Piotr Troja
n
ek
a
da: Rem
o
ve unrefe
r
enc
e
d utility routi
n
e Is_Actual_Tagged
_
Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada
:
Fix traversal for the
rightmost node of a
p
retty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
an
e
k
a
da: Rest
r
ict express
i
on prett
y
-printer to
s
u
bexpressions
commit
|
commitdiff
|
tree
2023-05-22
Piotr
T
rojanek
ada
:
Don't pret
t
y
-print DEL within exp
r
e
ssion ima
g
es
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
T
r
ojanek
a
d
a: Update Con
t
r
o
ll
i
ng
_
Argument
w
hen cop
y
in
g
t
r
ees
commit
|
commitdiff
|
tree
2023-05-16
Piotr Troja
n
ek
a
d
a: Apply range checks to pre
a
n
a
ly
z
ed aggregate expressions
commit
|
commitdiff
|
tree
2023-05-16
Pi
o
tr Trojanek
a
d
a: Build invar
i
ant procedure while
f
r
eezing in GNATpr
o
ve
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Trojanek
a
da:
R
emove redundant protection agains
t
e
m
pty lists
commit
|
commitdiff
|
tree
2023-05-15
P
i
otr Trojanek
a
d
a
: Accept aggregates with OTHER
S
clause
i
n
un
c
hecked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Pio
t
r Trojan
e
k
a
da:
R
ej
e
ct
attribute
I
nitialize on unchecked unio
n
s
commit
|
commitdiff
|
tree
2023-05-15
Piot
r
Trojanek
ada: Fix
l
i
nk to parent w
h
en copying with Copy_Se
p
arate_Tree
commit
|
commitdiff
|
tree
2023-01-05
Pio
t
r Troj
a
nek
ada: F
l
ag ren
a
ming-as-spec as a body to inline
commit
|
commitdiff
|
tree
2023-01-05
Piotr T
r
ojanek
a
d
a
:
Remove un
h
elpful specia
l
cas
e
for renamed bodies
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr T
r
ojanek
ada:
A
ccep
t
as
p
ects Global and Depends on abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Pio
t
r Trojan
e
k
ad
a
: Ad
j
ust number
of errors
w
hen remov
i
ng warning
.
.
.
commit
|
commitdiff
|
tree
next