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 double free on finalization of Vector in array aggregate
2023-05-26
Piotr Trojanek
ada: Simplify
expansion of
s
e
t mem
b
e
rship
commit
|
commitdiff
|
tree
2023-05-26
Piotr
T
rojane
k
ad
a
: Cleanup expansion of memb
e
r
s
hip operators in
t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Remove left
o
ver code f
o
r cou
n
t
ing protected en
t
ri
e
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojanek
ada: Fix detection
o
f non-stati
c
expre
s
sions in r
e
cords
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iot
r
Trojanek
ada
:
Sim
p
li
f
y iteration ove
r
re
c
ord component items
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
nek
ada: Fix h
a
ndling of Glob
a
l cont
r
acts inside
g
e
neric
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
T
r
ojanek
ada: Tune detection o
f
expres
s
ion f
u
nctions within
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojan
e
k
a
da
:
R
e
m
ove redundant pro
t
ect
i
on
aga
i
nst empty l
i
sts
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr
T
rojanek
a
d
a
:
Clea
n
ups in
h
a
ndling of ag
g
r
e
g
a
t
e
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Tr
o
j
a
nek
ada: Fix iterat
i
on over
componen
t
ite
m
s with pragmas
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r Trojanek
a
d
a:
Remo
v
e redundant guards from
handling of
record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr
Trojanek
ada:
U
s
e
context variable
s
in expa
n
sion of aggregates
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
ada: S
i
mplif
y
expansion of p
o
sitional
a
g
gregate
s
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
nek
a
da: Refine
t
ypes for
a
n a
c
c
e
ss
i
bi
l
ity-checking routin
e
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojanek
ada: Clean style in expansion of arra
y
aggreg
a
tes
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada: Exp
e
ct Exc
e
ptional_C
a
se
s
as a context for at
t
r
ibu
t
e Ol
d
commit
|
commitdiff
|
tree
2023-05-25
Piotr
Troj
a
nek
a
da: Use
proce
d
ural
variant of Next_
I
n
dex w
h
ere p
o
ssible
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada
:
F
i
x copyi
n
g o
f
q
u
antified expres
s
ions
commit
|
commitdiff
|
tree
2023-05-25
P
iot
r
Trojanek
ada: Deconst
r
uct a no longer used para
m
e
t
e
r of New_Copy_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Clean u
p
copying of node trees
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r
Tro
j
a
n
ek
ada:
S
i
m
plify copying of n
o
de lists
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Tr
o
j
a
nek
ada: Remo
v
e
u
nused initial valu
e
of a local varia
b
le
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Prev
e
nt searc
h
of call
s
i
n precond
i
ti
o
ns fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
Fix c
o
m
ments for recently added SPARK aspe
c
t
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
ojanek
ada:
Add missing
supportive code
f
or
r
ecently added
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Tro
j
anek
ada:
T
u
ne handli
n
g
o
f
attributes Ol
d
in contract E
x
ceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Remov
e
r
e
dundant guards fro
m
c
a
lls to
Move_Aspec
t
s
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada:
F
i
x
copy-past
e
mistake in analysis of Exce
p
ti
o
nal_Cases
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Trojanek
ada: Tu
n
e
w
a
rning about ass
i
g
nment j
u
st before a r
a
ise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Trojanek
ada: Accept aliased
p
aramet
e
r
s
i
n Exceptiona
l
_Cases
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
ada:
Restrict
use of formal parameters within exceptional
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troja
n
e
k
ada: Accep
t
a
nd
a
nalyze new aspect Ex
c
eptio
n
al_Case
s
commit
|
commitdiff
|
tree
2023-05-23
P
iotr Tr
o
janek
a
da: Add ta
g
s to
war
n
i
n
gs con
t
rolled b
y
Warn_O
n
_Redundan
t
_Co
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojan
e
k
ad
a
:
C
le
a
nu
p
inconsist
e
nt i
t
erati
o
n
over
exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Turn asserti
o
ns
into de
f
ensive
code in e
r
ror locati
o
n
s
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tr
o
ja
n
ek
ada: Fix end
i
ngs
of pretty-printed num
e
ric literals
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Sync diff
e
rent
variants of interru
p
t
h
andler
regi
s
tration
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
R
evert to old prett
y
-print
i
ng
of internal entities
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
I
gn
o
re
a
cce
s
sib
i
li
t
y actuals in expression
p
re
t
ty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
ane
k
ada: R
e
move speci
a
l-
c
as
e
fo
r
pa
r
e
n
th
e
se
s
in ex
p
an
s
ion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Troj
a
ne
k
ad
a
: Transfer f
i
x for pretty-prin
t
ed parenthes
e
s
from
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Fix expression pr
e
tty-printer f
o
r SPARK
counter
e
xampl
e
s
commit
|
commitdiff
|
tree
2023-05-23
Piotr T
r
ojanek
ada: Suppress warning about Subprogram_
V
ari
a
nt
f
a
i
l
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada:
Mi
n
or fix
typo
in comment
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
A
void rep
e
ated
calls
when looking for f
i
rst/
l
ast
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Tr
o
janek
ada: Fi
x
s
o
urce location for
crashes i
n
e
xpanded Lo
o
p_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r Tro
j
anek
ad
a
:
Furth
e
r fi
x
e
s
t
o
GNATprov
e
and Co
d
ePeer e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Trojan
e
k
ada
:
C
l
eanup redundant conditio
n
in resolution of entity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr
T
r
ojanek
ada: Add warning on frontend inlining of
S
u
bprogram_Variant
commit
|
commitdiff
|
tree
2023-05-22
P
i
ot
r
Trojanek
a
d
a
:
Fix spurious war
n
in
g
on Inline_
A
lw
a
ys and c
o
n
t
ract
s
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Remove
r
edundan
t
p
r
otection against empty lis
t
s
commit
|
commitdiff
|
tree
2023-05-22
Piotr
T
rojanek
ad
a
: Remove u
n
referenced utility
routine Is_Actual_
T
agge
d
_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
ada:
Fix trave
r
sal for the right
m
ost node of a pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
ojane
k
ad
a
: Re
s
trict
e
xpres
s
i
on pretty-printer to subexpressions
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojane
k
ad
a
: Don't pre
t
t
y
-print DEL within expr
e
ssi
o
n i
m
ages
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
t
r Trojanek
a
da: Update Cont
r
o
l
ling_Ar
g
u
m
ent w
h
en copy
i
ng t
r
e
e
s
commit
|
commitdiff
|
tree
2023-05-16
P
i
ot
r
T
rojanek
ada: Appl
y
rang
e
checks to pre
a
nalyzed aggregate
e
xpress
i
o
ns
commit
|
commitdiff
|
tree
2023-05-16
Piot
r
Trojanek
ada: Build i
n
variant
procedur
e
while
f
reezing in GNATpr
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Pio
t
r
Trojanek
a
da: Remove r
e
dundant
p
rotection
against empty
lists
commit
|
commitdiff
|
tree
2023-05-15
Piot
r
T
roja
n
ek
ada: Accept aggre
g
ates w
i
th OTHERS cl
a
use in unchecked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
P
i
otr Troj
a
nek
ada:
R
eject attrib
u
te Ini
t
ializ
e
on u
n
c
h
ecked
unions
commit
|
commitdiff
|
tree
2023-05-15
P
iotr Trojanek
a
d
a: F
i
x link t
o
parent wh
e
n copying w
i
th Co
p
y_Sep
a
rate_Tree
commit
|
commitdiff
|
tree
2023-01-05
P
iotr Tro
j
a
n
ek
ad
a
: Flag renamin
g
-as-s
p
ec as
a body to in
l
ine
commit
|
commitdiff
|
tree
2023-01-05
P
i
otr Troja
n
e
k
ada: Remove
unhelpful special case for renamed bodies
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr Troj
a
n
e
k
ada: Accept a
s
pec
t
s Global and Depends on abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr T
r
ojanek
ada
:
A
djus
t
number of
errors when
remov
i
ng
warn
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Trojanek
ada: Adju
s
t
locations in
aspects
on generic formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
i
otr Trojanek
ada: F
i
x
sty
l
e in code
f
or
g
eneric f
o
rma
l
s
ubpro
g
rams
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr T
r
ojanek
ada: Expand generic formal s
u
bprograms wi
t
h contracts
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
t
r
Trojanek
a
d
a: Clean
up c
a
ll to check if aspe
c
ts
are
present
commit
|
commitdiff
|
tree
2022-11-08
P
iotr T
r
ojanek
ada: Propaga
t
e aspect G
h
ost w
h
en instantiating
n
ull
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Fix expan
s
i
o
n of 'Wide_Image a
n
d 'Wid
e
_Wide_Image
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
tr T
r
ojanek
ada:
F
ix inconsistent
w
hitespace in
Ada
.
N
u
me
r
ics
.
Gen
e
ric_C
o
m
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
Tr
o
janek
ada: Remove unneeded
cod
e
in handling f
o
rma
l
type de
f
aults
commit
|
commitdiff
|
tree
2022-11-08
P
io
t
r
T
rojanek
ada: Clean
u
p local varia
b
l
e
that is
on
l
y se
t
a
s
an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
Troja
n
e
k
ada: Reject
l
i
mi
t
ed objects in array and record delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
ot
r
Trojanek
ada: Allow in
i
t
i
a
l
i
z
ation of limited objec
t
s
with
delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pio
t
r
Trojanek
ada: Re
j
ect record d
e
l
ta aggregat
e
s with limited expres
s
ion
s
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojan
e
k
ad
a
: Rai
s
e
Tag_Er
r
or whe
n
Ada
.
Tags
oper
a
t
i
ons
are called
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojan
e
k
ada: T
u
n
e
h
ash
f
unct
i
o
n
for c
r
oss-reference e
n
trie
s
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Fix
p
erforman
c
e regressi
o
n related to ref
e
rences
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
a
d
a:
I
nline composite node kind
AST queries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Fix detec
t
ion of e
x
t
e
rnal ca
l
ls to protecte
d
obje
c
ts
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojan
e
k
ada: Clean up unnecessary nesting i
n
co
d
e fo
r
DLL libraries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Dec
o
nstruct Safe_To_Cap
t
ure_
I
n_Parameter_
V
a
l
ue
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
rojanek
ada: Flip war
n
i
ng sup
p
ressio
n
r
o
uti
n
e to positive meaning
commit
|
commitdiff
|
tree
2022-11-07
P
iotr
Troja
n
ek
ada:
Cleanup de
t
e
c
tion of code within
generic
insta
n
ces
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Remove redundan
t
suppression for non-modif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Troja
n
ek
ada: Re
j
ect
boxes in delta a
r
r
a
y
a
ggregates
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
rojanek
ada:
Allow reuse
o
f Enc
l
osing
_
Declar
a
t
i
on_O
r
_
Statement
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Trojanek
ada: Clean up unne
c
esary call i
n
resolution of overloaded
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
janek
ada: Clean up
c
ode for visibility of generic actu
a
ls
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojane
k
a
d
a: Cleanup
c
omm
e
nt about mapping
parameters
w
hen
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: T
u
ne
l
a
y
o
ut
after s
w
i
t
ching to Ada 2022 ag
g
regate
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojanek
ada
:
Cleanup WITH clauses
after
s
witchin
g
from
obsolescent
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Trojanek
ada: Create operator nod
e
s in functional style
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
o
ja
n
ek
a
d
a
: Don't reuse operat
o
r
n
o
des in
e
xpansion
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ad
a
:
Si
m
p
lif
y
detection of pragmas in th
e
context
i
tems
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
ojanek
ada: Reject mispla
c
ed
p
r
agma Obso
l
escent
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
roj
a
nek
ada: Fix missing ta
g
for with of
a
n o
b
solescent fun
c
t
i
on
commit
|
commitdiff
|
tree
next