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 incorrect quoting in documentation
2023-11-07
Piotr Trojanek
ada: Fix e
x
pansio
n
of ty
p
e aspec
t
s
w
it
h
hand
l
ing
o
f
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Tr
o
janek
a
d
a: Cl
e
a
nup "not Present" on List_I
d
commit
|
commitdiff
|
tree
2023-11-07
Piotr
Trojanek
ada
:
Cleanup more "not Present"
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojan
e
k
ada: Rem
o
ve
dupli
c
ated
c
ode fo
r
ex
p
ansion of
p
acked
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojan
e
k
ada: Simplify expansion
of packed
a
r
r
ay assignments
commit
|
commitdiff
|
tree
2023-11-07
P
io
t
r Trojanek
ada: F
i
x
extra whi
t
espace after END keyword
s
commit
|
commitdiff
|
tree
2023-11-07
Piot
r
Trojan
e
k
ada:
A
voi
d
extra conversion
i
n expa
n
sion of
p
acke
d
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr
Trojanek
a
d
a: Simplify
h
andling of known value
s
i
n
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piot
r
Tro
j
anek
ada: Change local var
i
ables to c
o
nstants in expansio
n
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr
Trojanek
ada: Fix style in declarati
o
n o
f
r
o
utine f
o
r expansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Troj
a
nek
ada: Cleanup ge
t
ting o
f
actual s
u
b
t
y
p
e
s
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojan
e
k
a
da: Fix
handl
i
ng of actua
l
subtyp
e
s for
e
xpa
n
ded na
m
es
commit
|
commitdiff
|
tree
2023-10-19
P
iotr Trojanek
ada: S
i
mplify "not Present" with
"No"
commit
|
commitdiff
|
tree
2023-09-15
Piot
r
Trojan
e
k
ada: E
x
plicitly analyze an
d
expand null array aggregates
commit
|
commitdiff
|
tree
2023-09-05
P
i
ot
r
Tro
j
ane
k
ada
:
Remove redundant pr
o
tection agains
t
emp
t
y list
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
a
d
a:
A
dd guar
d
before querying the type
f
o
r its int
e
r
f
a
c
es
commit
|
commitdiff
|
tree
2023-09-05
Piot
r
Trojane
k
ada: Remo
v
e re
d
undant gu
a
rd ag
a
inst an e
m
pty list of
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Piotr
T
roja
n
ek
ada: Ex
t
end p
r
econdition of Interfaces
.
C
.
String
.
V
alue
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Pio
t
r Trojanek
ada: Add
g
uard for
d
etection o
f
cla
s
s-wide precondit
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
jan
e
k
ada: Lea
v
e
de
t
ectio
n
of m
i
ssing
r
eturn in functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
P
i
o
t
r
Trojanek
ada: Fix typo
in co
m
ment of Ada
.
E
x
cep
t
io
n
s
.
Save_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Allow
cal
l
s t
o
Nu
m
ber_Formals when no form
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tr
o
janek
ada: I
m
pr
o
ve
d
efe
n
se against ill
e
gal code in check
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
tr
T
ro
j
anek
ada: F
i
x for attribute R
a
nge in Excep
t
ional_
C
ases
commit
|
commitdiff
|
tree
2023-06-20
Pi
o
t
r
T
rojanek
a
d
a:
F
ix f
o
r quantified expressions in
Except
i
on
a
l_Cases
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Tr
o
janek
ada: Accept aspect Al
w
ays_T
e
rminates on packages
commit
|
commitdiff
|
tree
2023-06-15
Pio
t
r Troja
n
ek
ada:
A
c
c
ept aspect A
l
way
s
_Te
r
minates on entries
commit
|
commitdiff
|
tree
2023-06-15
Piotr
Trojanek
ada:
Reject a
s
pect Al
w
ays_Terminates
on f
u
nctions and
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
Piotr Trojanek
ada: Acc
e
pt aspect Al
w
a
ys_Te
r
minates withou
t
expression
commit
|
commitdiff
|
tree
2023-06-15
P
iotr Trojane
k
ada: Clean
u
p
a
nalysi
s
of iterated com
p
onent association
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
da: Fix deco
r
ation of iterat
e
d component a
s
s
o
ciation
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Re
c
ognize
i
terat
e
d_com
p
onent
_
association as
r
epeatedly
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojane
k
ada:
R
eco
g
niz
e
ite
r
at
e
d_comp
o
nent_associati
o
n
a
s potentially
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr
Trojanek
ada: Disable inlini
n
g in
p
o
tentially unevaluated contexts
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ada: Impl
e
men
t
new aspect Always_Terminates for SPAR
K
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
a
da:
S
kip elab
o
ration ch
e
cks for a
b
stract subprograms
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojanek
ad
a
:
R
emove u
n
reference
d
routine Is
_
Inherited_Operatio
n
_For_Type
commit
|
commitdiff
|
tree
2023-06-13
Pio
t
r Trojan
e
k
ada: Remove
w
rong comme
n
t
about expansion of ex
c
e
ptions
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Tr
o
janek
ada:
C
leanup fin
d
i
ng of
l
ocally
h
andl
e
d except
i
o
n handlers
commit
|
commitdiff
|
tree
2023-06-13
P
i
otr
T
rojanek
ada: Cleanup expan
s
ion of locally handled
e
x
c
eption
.
.
.
commit
|
commitdiff
|
tree
2023-06-13
Piotr Trojan
e
k
a
da: Tun
e
st
y
le i
n
detec
t
i
on of writ
a
ble fu
n
ction act
u
als
commit
|
commitdiff
|
tree
2023-06-13
Piotr Troja
n
ek
ada:
Si
m
plify append
i
ng to a newly
c
r
e
ated list
commit
|
commitdiff
|
tree
2023-06-13
P
iotr
Tro
j
anek
ada:
Remo
v
e explicit deco
r
ation of w
r
apper
created
.
.
.
commit
|
commitdiff
|
tree
2023-05-30
Pio
t
r Troj
a
nek
ad
a
: O
n
ly build
access-to-subprog
r
a
m wrappers when
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
a
d
a:
F
ix crash on semi
-
rec
u
rs
i
ve call in
access-to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Pi
o
tr Trojanek
ada: A
t
tach p
r
e/post on access-
t
o
-
subprogra
m
to intern
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojane
k
ada:
R
emove re
d
unda
n
t protection against empt
y
lists
commit
|
commitdiff
|
tree
2023-05-29
Piotr Troja
n
ek
ada: Remove extra whitespace fr
o
m FOR
loops
commit
|
commitdiff
|
tree
2023-05-29
Piotr T
r
ojan
e
k
ad
a
: Cleanup detection
o
f
type support
s
ub
p
rogr
a
m
en
t
ities
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
ada: Accept
p
arameters
of enclosi
n
g
sub
p
rograms in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Tr
o
janek
a
d
a:
Allow attributes lik
e
F
irst and Last to be r
e
ad
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
io
t
r
T
ro
j
anek
ada: Reu
s
e
rou
t
ine for
getting from body
e
ntity to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
P
iotr
Tro
j
anek
ada:
Fix
r
etr
i
eval
of
spec entity from
e
ntry body entity
commit
|
commitdiff
|
tree
2023-05-29
Pio
t
r Trojanek
ada: Re
s
t
o
r
e
parent
link f
o
r
b
o
th lists and nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piot
r
T
r
o
j
anek
ada:
T
un
e
message for
m
issing 'Resu
l
t
i
n
C
ontr
a
c
t_Cas
e
s
commit
|
commitdiff
|
tree
2023-05-29
P
i
o
tr Troja
n
ek
ada
:
Simpl
i
fy removal
o
f
f
ormals from
t
h
e scope
commit
|
commitdiff
|
tree
2023-05-29
P
iotr
T
roja
n
e
k
a
d
a
:
Tu
n
e me
s
sage for pr
e
/post on access-to-su
b
progr
a
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr
Trojanek
ada:
A
nalyze
pre/post on access-
t
o-subpr
o
gr
a
m withou
t
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
r
o
ja
n
ek
ada: R
e
move redundant guard against em
p
ty lists
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
ada: S
i
mp
l
ify exp
a
nsion
o
f set member
s
hip
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Troj
a
n
ek
ada: Cleanup expansion of memb
e
rsh
i
p operat
o
r
s
into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
an
e
k
ad
a
:
Remove lefto
v
e
r
code for cou
n
ting p
r
o
tected entrie
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
j
a
nek
ada
:
Fix detection of
n
on-static
expressio
n
s in records
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
ane
k
ada: Simplify iter
a
tion over
record component it
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojanek
a
d
a: F
i
x
handling
o
f Global co
n
tracts i
n
s
ide
g
e
ner
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
o
tr Tro
j
anek
ada: T
u
n
e
d
e
t
ection of
e
xpress
i
on functio
n
s within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada: Remove redundant prot
e
ction
a
gainst
e
m
p
ty lists
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojane
k
ada: C
l
eanups in han
d
ling of aggreg
a
tes
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr Trojanek
ada:
F
ix iterati
o
n
over co
m
ponent
i
t
ems with pragmas
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Troj
a
nek
ada: Remove redun
d
ant guards from handling of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Troj
a
nek
ada: Use con
t
ext variables in ex
p
ansion of aggregates
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
nek
ada: Sim
p
lify
e
xpansion
o
f posit
i
on
a
l ag
g
rega
t
es
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
a
da: Re
f
ine type
s
f
o
r
a
n
accessibility
-
check
i
ng r
o
u
t
ine
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
ada: Clean style in expansion of array
a
ggregat
e
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
a
d
a: Expe
c
t Exceptio
n
al_Cases as a
contex
t
for attribute Old
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
anek
ad
a
: Use procedur
a
l variant
o
f Next_Index wh
e
re possible
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a:
F
ix copying
of quantified e
x
pr
e
s
sio
n
s
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ada: Deconstru
c
t a no longer used
parameter
o
f New_Copy_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
C
lean up copy
i
ng of node trees
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojan
e
k
ada: Simplify copying
o
f node
l
i
s
ts
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
a
da: Remove unu
s
ed i
n
itia
l
val
u
e
of a local variable
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
ojanek
ada: Pr
e
vent sea
r
ch of
calls in precondition
s
from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tro
j
anek
ada:
F
ix comments for recent
l
y added S
P
AR
K
a
spects
commit
|
commitdiff
|
tree
2023-05-25
P
i
o
tr Troja
n
ek
ada: Ad
d
missing supportiv
e
code
f
o
r re
c
e
ntly added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: T
u
ne
h
andling of
attributes O
l
d in contract Excepti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
ada: R
e
move redundant guards f
r
o
m
ca
l
ls to Move_Aspects
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Fix copy-paste mistake in
a
nalysi
s
of Ex
c
epti
o
nal
_
C
ases
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Trojanek
ada: Tune warning ab
o
ut a
s
signment j
u
st before a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
e
k
ada: Ac
c
ep
t
ali
a
s
e
d paramet
e
rs
in E
x
ceptiona
l
_
C
ases
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojane
k
ada: Rest
r
ict
u
se of formal pa
r
ameters withi
n
e
xception
a
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
nek
a
d
a
: A
c
cept and analyze new as
p
ect Exc
e
ptional_Cases
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada
:
Add tags t
o
warni
n
gs controlled by Warn_O
n
_Redund
a
nt
_
Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Cl
e
anup
i
n
c
onsistent ite
r
a
tion over ex
c
ep
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
a
da: Turn assertio
n
s in
t
o
d
efensive code i
n
error locat
i
ons
commit
|
commitdiff
|
tree
2023-05-23
Piotr
T
rojanek
ada: Fix endings of p
r
etty-printed numeric
l
i
t
era
l
s
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Sy
n
c differ
e
nt v
a
r
i
a
nts of interrupt han
d
ler registration
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Reve
r
t to o
l
d pretty-printing o
f
internal
entities
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada: Igno
r
e acc
e
ssibility actuals in
expression pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Troja
n
ek
ada: Remove special-case
f
or parent
h
e
ses
i
n ex
p
ansio
n
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
i
o
tr Troj
a
nek
ada: Transfer fix f
o
r pretty-p
r
i
n
ted p
a
rentheses from
.
.
.
commit
|
commitdiff
|
tree
next