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 exception raised on invalid contract in generic package
2023-06-13
Piotr
T
r
ojanek
ada: Remove
unreferenced routine
I
s_Inherited_Operation_
F
o
r_Type
commit
|
commitdiff
|
tree
2023-06-13
Piotr T
r
ojanek
a
d
a:
R
emove wrong
comment
a
b
out exp
a
n
s
ion of e
x
ceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
: Cleanup findi
n
g of locally handled exception handler
s
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: C
l
eanup expansion o
f
locally handle
d
excep
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
ada
:
Tune style
in detection of wri
t
able function actuals
commit
|
commitdiff
|
tree
2023-06-13
Piot
r
Trojanek
ada: Simplify appending
t
o
a newly c
r
eated
l
ist
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
ada:
R
e
move expli
c
it decoration of w
r
apper crea
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piot
r
Trojanek
a
da: On
l
y bu
i
ld access
-
t
o-subprogra
m
w
rappers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
d
a
: Fix crash on
semi-recursive call in acces
s
-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
rojan
e
k
ada: Attach pre/post
o
n ac
c
e
s
s-to-subprogram to internal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
t
r Troja
n
ek
ada: Remove re
d
undant protection agains
t
emp
t
y li
s
ts
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojane
k
a
da: Remo
v
e extra whitespac
e
from
F
OR loo
p
s
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Clean
u
p
detectio
n
of type suppo
r
t subp
r
ogram entities
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r
Troja
n
ek
a
da: Accept pa
r
amete
r
s of enclosing subprograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
rojanek
ada: Allow attributes lik
e
Firs
t
and Last to be r
e
ad
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Reuse
r
outine for getting from b
o
dy entity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojan
e
k
ad
a
: Fix retrieval of spec entity from entry body ent
i
ty
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojanek
a
da: Resto
r
e parent link for
bot
h
lis
t
s
an
d
nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
nek
ada:
T
une
m
e
ssag
e
for missing 'Result i
n
Contract_Ca
s
es
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troj
a
nek
ada
:
S
i
mplify re
m
oval of f
o
rmals from the scope
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
oja
n
ek
ada: Tune
mess
a
ge for p
r
e/post on
a
ccess-to-
s
u
b
prog
r
am
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojan
e
k
a
d
a: Analyze pre/post
o
n acce
s
s-
t
o-s
u
b
pr
o
gram without
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojan
e
k
ada: Re
m
ove
red
u
ndant guard against empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Simplify expansion of set m
e
mbership
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Clea
n
up expansio
n
of membership operators into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
a
da: Remove lefto
v
er c
o
d
e for co
u
nt
i
ng protected
entries
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada: Fix detect
i
on of no
n
-static expressions in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojane
k
a
d
a
: S
i
m
plif
y
iteratio
n
o
ver record co
m
po
n
ent items
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
T
rojanek
ada: Fix
h
and
l
ing o
f
G
l
obal contracts inside
g
ener
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
ot
r
Trojane
k
ada: Tune dete
c
tion of expression
f
unct
i
ons within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ada: R
e
m
ove redundant
protection against empty
l
ists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
ek
ada:
C
leanups in han
d
ling of aggreg
a
t
es
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada: Fix i
t
eration
over com
p
onent items with pragmas
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
a
d
a:
R
emo
v
e
redun
d
ant gu
a
rds from
handling of
r
ecord
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
nek
ada: Use context vari
a
bles in expan
s
i
o
n
o
f a
g
grega
t
es
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Troj
a
n
e
k
ada:
S
implify e
x
pa
n
sion of posit
i
onal aggreg
a
tes
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Refine
type
s
f
or an a
c
c
e
ss
i
bility-checking
routin
e
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada:
Clean styl
e
in exp
a
nsi
o
n o
f
array
aggregates
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: E
x
pect Except
i
ona
l
_Cases
a
s a c
o
ntext f
o
r
a
ttri
b
u
te Old
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada
:
Use procedural variant of Next_Index where possible
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troja
n
ek
a
da: Fix copying
o
f qua
n
tified
e
x
p
r
essions
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada: Deconstruct a n
o
longer used pa
r
ameter of New_Copy_T
r
ee
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
T
rojanek
ada
:
Clea
n
up copying of node trees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Simplify
c
o
pyin
g
of no
d
e lists
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Remove
u
nus
e
d initi
a
l
va
l
ue of a local variable
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Tro
j
anek
ada: Prevent s
e
arch of
c
alls in precondit
i
ons from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
tr Tro
j
a
n
ek
a
d
a: Fix com
m
ents
for rec
e
ntly added
S
PARK a
s
p
ects
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
o
janek
a
da: A
d
d missing supp
o
rtive code for rec
e
nt
l
y added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Tu
n
e
h
a
n
d
ling
of attr
i
but
e
s Ol
d
in contrac
t
Excep
t
ional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada
:
R
emove redundan
t
guards
f
r
o
m calls
t
o
M
o
v
e_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ada: Fix cop
y
-paste mistake in ana
l
y
sis of Excepti
o
nal_Cases
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
roja
n
ek
ada: Tune
w
arn
i
ng
about assign
m
e
n
t just b
e
for
e
a
raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
rojanek
ada
:
Accep
t
ali
a
sed param
e
ter
s
in
Ex
c
e
p
t
i
onal_Cases
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Restrict u
s
e
of formal para
m
ete
r
s
wi
t
h
i
n exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iot
r
Trojanek
a
d
a: Ac
c
e
p
t
and a
n
alyze new a
s
pe
c
t Exceptional_C
a
s
es
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Add tags to
w
arnings con
t
rol
l
ed by
Warn_O
n
_Redundant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Tr
o
janek
ad
a
:
C
le
a
nup inconsiste
n
t iteration o
v
er exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
nek
a
da: Turn assertions i
n
t
o d
e
fensive c
o
d
e in
error
l
oc
a
ti
o
ns
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Fix endi
n
gs of prett
y
-printe
d
numeric literals
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
ek
ada
:
Sync different varian
t
s of interrupt handler registra
t
i
o
n
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
ada: Re
v
ert to old pr
e
t
ty-printing of internal enti
t
ies
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
a
ne
k
ada: Ignor
e
a
ccessib
i
lity
a
c
t
uals in
e
xpression pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Troja
n
ek
ada: Re
m
ove special-case fo
r
parentheses i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Trojane
k
ad
a
: Transfe
r
fix for pretty
-
printed pa
r
entheses
from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojanek
a
da: Fix ex
p
ression pretty-printer fo
r
SPARK counterex
a
mples
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr Trojane
k
ada:
S
u
ppress w
a
rning about S
u
bprogr
a
m
_V
a
rian
t
failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
otr
Trojane
k
ada
:
Mi
n
or fix ty
p
o in
c
omm
e
nt
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r Trojanek
ada: Avoid repeated calls when looking for first/
l
ast
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
a
n
ek
ada: Fix source location for crashes in exp
a
nded Loo
p
_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Troj
a
n
e
k
a
d
a:
F
urthe
r
fixe
s
to GN
A
Tprove and CodePeer
e
xpressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Cleanup re
d
undan
t
condition
in resolution of entity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr T
r
ojanek
ada: Add
w
arning on fron
t
end i
n
linin
g
of Subprog
r
a
m
_Variant
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Trojanek
ada: Fix spur
i
ous warning on Inl
i
ne_Alwa
y
s an
d
con
t
ra
c
ts
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tr
o
janek
ada: Rem
o
v
e
re
d
undant p
r
o
t
ecti
o
n agains
t
em
p
t
y
lists
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojanek
ada: Remove unreferenced
u
t
ili
t
y rout
i
ne Is_Actual_Tag
g
ed_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
T
rojanek
ad
a
: Fi
x
traversal
for
the
rightmost
n
ode
of
a pre
t
ty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Troja
n
ek
ada
:
Re
s
trict expression pretty
-
print
e
r to subex
p
ression
s
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Trojanek
ada: Don't pretty-print DEL wit
h
in express
i
on im
a
ges
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
a
d
a: Update C
o
ntrolling_Arg
u
m
ent when copying tre
e
s
commit
|
commitdiff
|
tree
2023-05-16
Piot
r
Trojanek
ada: Apply
r
an
g
e
checks to preanalyzed aggregate ex
p
r
es
s
ions
commit
|
commitdiff
|
tree
2023-05-16
P
io
t
r
T
rojane
k
a
d
a: Build
i
n
variant
proced
u
r
e
while
f
r
eezing
in
GNATpro
v
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Tr
o
janek
ada: R
e
mo
v
e redund
a
n
t
protection against e
m
p
t
y
l
ists
commit
|
commitdiff
|
tree
2023-05-15
Pi
o
t
r
Trojanek
ada: Accept
a
g
g
reg
a
tes with O
T
HERS clause in
unchecked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Tro
j
anek
a
d
a: R
e
ject attr
i
bute Initi
a
lize on
u
n
checked unions
commit
|
commitdiff
|
tree
2023-05-15
Piotr T
r
ojanek
ada: Fix lin
k
to parent when copying with
C
opy
_
Separate_Tree
commit
|
commitdiff
|
tree
2023-01-05
Pio
t
r
T
r
ojanek
ad
a
: Flag renaming-as-
s
p
ec as a body to
i
nli
n
e
commit
|
commitdiff
|
tree
2023-01-05
Pi
o
tr Trojanek
a
d
a
: Remove unhelpful
s
p
ecial ca
s
e fo
r
renamed bodies
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr Troja
n
ek
ada: Accept as
p
ects Glob
a
l
and
D
epends on abstr
a
ct
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr T
r
ojanek
ada:
A
djust nu
m
b
e
r of errors when re
m
oving warning
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Trojanek
ada:
Adjus
t
locatio
n
s in aspe
c
t
s
on
generic
f
ormal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr T
r
ojane
k
ada: Fix style in cod
e
for generic forma
l
subpr
o
grams
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Troja
n
e
k
ada: Exp
a
nd ge
n
eric
f
ormal subprog
r
ams with contracts
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pio
t
r Trojanek
a
da: Clea
n
up call
t
o ch
e
c
k if
aspects are present
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Pr
o
pa
g
ate
aspect Ghost when instantiati
n
g n
u
ll
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
Troja
n
ek
a
d
a: Fix expansion of 'W
i
de_Image and 'Wide_Wide_I
m
age
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
otr Tro
j
a
n
ek
ad
a
:
F
ix
i
n
consistent whitespace
i
n Ada
.
Numerics
.
Generic_Com
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Remove unneede
d
code in han
d
ling forma
l
type d
e
faults
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojane
k
a
d
a: Cl
e
anup local variable that is only
set as an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Reject limited objects in array and record delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
a
d
a
:
All
o
w
i
n
itializatio
n
o
f
limit
e
d
o
bjec
t
s
w
i
th delta
.
.
.
commit
|
commitdiff
|
tree
next