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 internal error on call with parameter of predicated subtype
2023-12-19
P
iotr
Trojanek
ada: Fix style and typos
i
n comments
commit
|
commitdiff
|
tree
2023-12-19
Pio
t
r
Tro
j
anek
ada: Remove unre
f
ere
n
ced ut
i
lity r
o
utine Get_L
o
gi
c
al_Line_Nu
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
Piotr Trojanek
ada:
I
g
n
ore unconstrained c
o
mponents as inputs for
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
iotr
Troja
n
ek
ada: Fix
ex
p
ansio
n
of ty
p
e aspect
s
with ha
n
dling of
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada:
C
le
a
nup "not Pres
e
nt" on Li
s
t_Id
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Cleanup more "not
P
resent"
commit
|
commitdiff
|
tree
2023-11-07
Pi
o
tr Trojanek
a
da: Remove duplicat
e
d code fo
r
expansi
o
n of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
iotr
T
r
o
j
a
nek
ada: Simplif
y
ex
p
ansion of pac
k
ed array
a
ss
i
gn
m
ents
commit
|
commitdiff
|
tree
2023-11-07
P
i
otr
T
rojan
e
k
ada: Fix extra
white
s
pace
after END keywords
commit
|
commitdiff
|
tree
2023-11-07
Piotr
T
rojanek
ada: Av
o
i
d extra
conversi
o
n
in
e
xpansion of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr
Trojanek
ada:
Simplify han
d
l
in
g
of known values in expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ad
a
:
Change local vari
a
bles t
o
constants in expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
i
otr Troj
a
nek
a
d
a
:
F
i
x
style in decl
a
ration of rou
t
ine for ex
p
a
n
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
a
d
a: Cleanup
getting of actual subtypes
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojane
k
a
da: Fix
hand
l
in
g
of actual subtypes fo
r
expa
n
de
d
names
commit
|
commitdiff
|
tree
2023-10-19
Pio
t
r Tr
o
janek
a
da: Simplify "n
o
t
Presen
t
"
w
it
h
"N
o
"
commit
|
commitdiff
|
tree
2023-09-15
Piotr Trojanek
ada: Explicitl
y
ana
l
yze and expan
d
null array aggregates
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tro
j
anek
a
da
:
Remove
r
edundant prote
c
tion against empty list
commit
|
commitdiff
|
tree
2023-09-05
P
i
otr
Tr
o
janek
ada: Add guard b
e
fore queryi
n
g
t
h
e
t
ype
f
or
i
ts interfaces
commit
|
commitdiff
|
tree
2023-09-05
P
iotr Trojane
k
ada: Remove
redundant g
u
a
rd against
a
n empt
y
list
of
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojan
e
k
ada:
Extend precondition
o
f Interfaces
.
C
.
S
t
ring
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
a
d
a: Add guard for dete
c
ti
o
n of
class-wide precondi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Pio
t
r
Troja
n
ek
ada: Leave de
t
ec
t
io
n
of m
i
ssing return in func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
janek
ada:
F
ix typo in comm
e
nt
of Ada
.
Except
i
ons
.
Save_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
Piotr
T
rojane
k
ada:
Allow calls t
o
N
u
mber_
F
ormal
s
wh
e
n no
f
ormals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
P
i
otr Troj
a
ne
k
a
da: Improve defense a
g
ainst illegal co
d
e in c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
t
r
Trojanek
ada: Fix for attribute Range in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
ada:
Fi
x
for quantified expressions in Exc
e
p
tio
n
al_Cases
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: A
c
ce
p
t aspe
c
t Alwa
y
s_Terminates
on packages
commit
|
commitdiff
|
tree
2023-06-15
P
iotr Trojan
e
k
a
da: Accep
t
aspect Alw
a
ys_Terminates o
n
ent
r
ies
commit
|
commitdiff
|
tree
2023-06-15
Piotr Troj
a
ne
k
ada: Reject asp
e
c
t
Always_Term
i
nate
s
on functions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Pi
o
t
r
Trojanek
ada: Ac
c
ep
t
aspect
Always_Terminat
e
s
without expre
s
sion
commit
|
commitdiff
|
tree
2023-06-15
Piotr Tro
j
anek
ada: Cleanup
an
a
lys
i
s of i
t
e
r
ated component
a
s
sociation
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ad
a
: Fix d
e
c
or
a
tion of iterated compon
e
nt as
s
ociatio
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
: Recogn
i
ze
i
terated_
c
ompone
n
t
_
associa
t
ion
a
s
r
epea
t
edl
y
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada: Recognize iterated_c
o
m
p
onent_associati
o
n as poten
t
ially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r
Trojanek
ada: Disable in
l
ining in pot
e
ntial
l
y unevaluated co
n
texts
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojan
e
k
ada
:
I
m
plement ne
w
aspect Always_Terminate
s
for
SP
A
RK
commit
|
commitdiff
|
tree
2023-06-13
P
iot
r
Tr
o
jan
e
k
ada: Skip el
a
b
oration checks
for abstra
c
t subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr Tr
o
j
anek
ada: Remove unrefe
r
enced routi
n
e
Is_Inherited
_
O
p
eration_For_
T
ype
commit
|
commitdiff
|
tree
2023-06-13
P
iot
r
T
r
oja
n
ek
ada: Re
m
o
v
e wrong comment abo
u
t
e
x
pans
i
on
of exceptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Cleanup finding of locally
h
andl
e
d exception h
a
ndlers
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojanek
ad
a
: Cleanup
e
xpansion of loc
a
lly handled exceptio
n
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr
Tr
o
j
a
nek
ada: Tune style i
n
detection of writable fu
n
ctio
n
actua
l
s
commit
|
commitdiff
|
tree
2023-06-13
P
iotr Trojane
k
ada: Simp
l
ify appending to
a newly c
r
e
a
te
d
l
ist
commit
|
commitdiff
|
tree
2023-06-13
Pi
o
tr Trojan
e
k
ada: Remove expl
i
ci
t
deco
r
a
t
ion
of wrap
p
er created
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Piotr Trojane
k
ada: Only build access-to-sub
p
rogram wr
a
p
pers w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
iotr Trojanek
ada:
F
ix crash on semi-recursive call in access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada: Attach pre/post on access-to-subprogram to
int
e
rnal
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
T
roj
a
nek
ada: Remove redundant protection against empty li
s
ts
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Trojanek
ada: Remove ext
r
a whitesp
a
ce from
F
OR loops
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
ada
:
C
leanup de
t
ection o
f
type sup
p
o
rt subp
r
ogram
e
nt
i
ties
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
jane
k
ada:
A
cc
e
pt parame
t
ers of enclosing subprograms
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Allow
att
r
ibutes lik
e
First and L
a
st to be read
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Tr
o
janek
ada:
R
euse
routine for getting from body e
n
tity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
Troja
n
ek
ada
:
Fix retrieval of spec en
t
i
t
y
f
rom entry bod
y
ent
i
ty
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
T
r
o
janek
ada: Rest
o
re pa
r
ent link for b
o
th
lists an
d
nod
e
s i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojanek
ada: Tune mess
a
ge for
mi
s
sing 'Result in Contra
c
t_C
a
se
s
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr
Trojanek
ad
a
: Sim
p
lify r
e
moval
o
f fo
r
mal
s
f
r
om t
h
e scope
commit
|
commitdiff
|
tree
2023-05-29
P
i
o
t
r Trojan
e
k
a
d
a:
T
u
ne mes
s
age fo
r
pre/post on access-to-s
u
bprogram
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Analyze pre/post on
acces
s
-to
-
s
ub
p
rogr
a
m wi
t
h
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Troj
a
nek
ad
a
: Remove redunda
n
t guard against empty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
ada
:
Simplify e
x
p
a
n
sion
o
f set membership
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
a
n
ek
ad
a
:
Cleanup
e
xpansio
n
of m
e
mbership
o
p
e
rators int
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr T
r
ojanek
ada: Remove leftover code for counting protected entr
i
es
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r T
r
oj
a
nek
ada: Fix
d
ete
c
tio
n
of
non
-
static
expressions i
n
r
e
co
r
ds
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojane
k
ada:
S
implify iteration o
v
er
record co
m
ponent
i
t
ems
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
r
o
janek
a
d
a: Fix
h
andling
o
f
Globa
l
con
t
racts i
n
side generic
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojanek
ada: Tune de
t
ection of expression
f
unctions with
i
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada:
R
emov
e
redundan
t
protection
against
e
mpty list
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Cleanups in handl
i
ng
o
f aggr
e
g
ates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix i
t
erat
i
on over component items with pragmas
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojan
e
k
a
d
a
:
R
e
m
ove redundant guards f
r
om han
d
ling
of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr
Trojan
e
k
ada: Use con
t
e
x
t v
a
r
iables in
expansion of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
ja
n
ek
a
d
a: S
i
m
pli
f
y
e
xpansion of positional aggre
g
ates
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
t
r Trojanek
a
d
a: Refine typ
e
s for an acce
s
s
i
b
ility-checking routine
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Clean style in expans
i
on of array aggregat
e
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
a
nek
ada: Expect
Exceptional_Cases as
a
c
on
t
ext for attribute
O
ld
commit
|
commitdiff
|
tree
2023-05-25
Piotr
Trojane
k
ada
:
Use
p
rocedural variant o
f
N
e
xt_Index where
possible
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada
:
Fix co
p
ying of quantified expressio
n
s
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r
T
r
o
jan
e
k
ada: D
e
c
o
nstruct a
n
o longer
u
sed
p
arameter
of New_Co
p
y
_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr
T
rojanek
ada: Clean up copy
i
ng of node
t
rees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
an
e
k
a
d
a
:
S
implify
c
opyin
g
of node list
s
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
t
r Trojanek
ada: Remove
unused
i
ni
t
ia
l
va
l
u
e of a local variable
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
tr Trojanek
ada: Prevent search of
c
alls
in p
r
econdi
t
ions from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
da: Fi
x
c
o
m
m
ents f
o
r
rec
e
n
tly added SPAR
K
aspects
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
T
rojanek
ad
a
: Add missin
g
supp
o
rtive code for
recen
t
l
y
added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Tune
h
a
n
dling of a
t
tributes O
l
d in cont
r
act
E
xce
p
t
ional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troj
a
nek
ada: Remove r
e
dundant
guards
f
rom c
a
lls to Move_As
p
e
c
ts
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
t
r
Tro
j
anek
a
d
a: Fix copy
-
paste
m
i
stake in anal
y
sis of Exce
p
t
i
on
a
l
_
Cases
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Tro
j
anek
a
da: Tune warning about assignment
just
before a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Tr
o
jan
e
k
a
da: Ac
c
ept aliased parameters in Excepti
o
na
l
_Cases
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada: Rest
r
ict use of formal paramete
r
s
within ex
c
eptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Accept and analyze new
as
p
ect
E
xceptional_Cases
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ad
a
: Add tags to wa
r
nings controll
e
d by Warn_On_Red
u
ndant_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Cleanup
inconsiste
n
t iteration over exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
ada:
T
urn asse
r
ti
o
ns
into de
f
ensive code i
n
er
r
or l
o
cations
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Trojanek
ada: Fix en
d
ings of p
r
e
tty-printed n
u
mer
i
c
literals
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojanek
ada: Sync different v
a
riants of inter
r
upt handler r
e
g
istration
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
R
e
v
ert
to old pretty
-
pr
i
nting of i
n
ternal entiti
e
s
.
.
.
commit
|
commitdiff
|
tree
next