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
Fix PR rtl-optimization/102306
2021-07-12
Piotr T
r
ojanek
[Ada] A
v
oid u
n
necessa
r
y work when
expanding 'Image
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piotr Trojanek
[
A
da] Fix style
i
n
expa
n
sion o
f
attri
b
ute Pu
t
_
Image
commit
|
commitdiff
|
tree
2021-07-09
Piotr
Trojanek
[Ada] Fix
typo in comment related to derived disc
r
imin
a
ted
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piotr Trojanek
[A
d
a] Initialize lo
c
al
v
ariables related to
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piot
r
Trojanek
[Ada] Reorder preanal
y
si
s
of static expr
e
ss
i
on fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2021-07-09
Pi
o
tr Trojanek
[Ada] Decouple analysis of static expression functions
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piotr Trojanek
[Ada] Avoid repeat
e
d computing
of type of expres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piotr Trojanek
[Ada]
Fix
c
omment
rela
t
ed to anal
y
sis of expression
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Pi
o
tr Tr
o
jan
e
k
[Ada] Avoi
d
repeated
calls in ana
l
ysi
s
of
e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Pi
o
tr Trojanek
[Ada]
R
efine types
of loc
a
l variables in analysis of
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Piotr Trojanek
[Ada] Rem
o
ve an unnecessary local
constant
commit
|
commitdiff
|
tree
2021-07-09
Pi
o
tr Trojanek
[Ada] Avoid u
n
n
ecessary call in p
r
e
an
a
l
ysis without
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piotr Tro
j
anek
[
Ada] Tune detection
o
f
illeg
a
l
occurre
n
ces of target_
n
am
e
commit
|
commitdiff
|
tree
2021-07-08
Piotr T
r
ojanek
[Ad
a
] Simplify
redund
a
nt chec
k
s for non-empty
l
ists
commit
|
commitdiff
|
tree
2021-07-08
Piotr
Tro
j
anek
[Ada
]
Remove redundant condition for listing comp
i
lation
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piot
r
T
r
o
j
anek
[
Ada] Restor
e
contex
t
on failure in loading of
rena
m
ed
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piot
r
T
r
ojanek
[Ada] Replace
l
o
w
-level
c
ondition with a h
i
gh-level
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piotr Trojanek
[Ada] Fix style in comments
and c
o
de
r
elated
to compilation
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Pi
o
tr Trojan
e
k
[Ada] Prevent infini
t
e recursi
o
n
w
h
en
t
here is
n
o expected
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piotr Troj
a
ne
k
[Ad
a
]
Avoid
linear searc
h
when e
n
suring depende
n
cy
.
.
.
commit
|
commitdiff
|
tree
2021-07-08
Piotr
Trojanek
[
A
da] Simplify string manipulat
i
on related
t
o p
r
eproces
s
i
n
g
commit
|
commitdiff
|
tree
2021-07-07
Piotr T
r
ojane
k
[A
d
a] St
r
o
nger asse
r
t
ion abo
u
t f
l
ag for checking stati
c
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Piot
r
Trojanek
[Ada] Simpl
i
fy
code
b
y re
u
si
n
g
R
emove on list of primitive
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
P
i
otr Trojanek
[Ada] Fix
l
o
cat
i
o
n
of errors about
volatile compatibility
commit
|
commitdiff
|
tree
2021-07-07
P
i
otr Troja
n
e
k
[A
d
a
] Use b
o
unded strin
g
buffer in
G
e
t_Unit_N
a
me
commit
|
commitdiff
|
tree
2021-07-07
Piotr Trojanek
[
A
da] Replace obsol
e
te calls th
a
t use global nam
e
buffer
commit
|
commitdiff
|
tree
2021-07-07
Pio
t
r
Tro
j
anek
[Ada] Reduce scope of loca
l
v
a
riables
commit
|
commitdiff
|
tree
2021-07-07
Piotr Trojanek
[Ada] Simplif
y
code by reusing List_
L
en
g
th
commit
|
commitdiff
|
tree
2021-07-07
Pio
t
r
T
rojanek
[Ada] Replace low-level membership test
s
w
i
t
h
Is_Privat
e
_Type
commit
|
commitdiff
|
tree
2021-07-07
Piotr Troj
a
n
e
k
[Ada] Replace chopped
s
tring copy w
i
th ren
a
min
g
commit
|
commitdiff
|
tree
2021-07-07
Piotr Trojanek
[Ada] Si
m
plify handlin
g
o
f Ge
n
erate_Code flag for co
m
p
ila
t
i
o
.
.
.
commit
|
commitdiff
|
tree
2021-07-07
Piotr Trojanek
[Ada] T
u
ne
disc
o
very of
No_Elaboratio
n
_
Code res
t
riction
commit
|
commitdiff
|
tree
2021-07-07
Piotr Trojanek
[
Ada] Simplify
i
teration ov
e
r pending instanti
a
tion
s
commit
|
commitdiff
|
tree
2021-07-06
Piotr Tr
o
ja
n
ek
[Ada] Simplify
c
ode by remo
v
i
n
g local
constant
commit
|
commitdiff
|
tree
2021-07-06
Piotr Trojan
e
k
[Ada]
R
epl
a
ce a
q
uestion mark
c
omment with ass
e
rtion
commit
|
commitdiff
|
tree
2021-07-06
Piotr Trojan
e
k
[
A
da] Simpli
f
y
r
et
u
rning
f
r
o
m
Enclosing_C
o
mp_Unit_Node
commit
|
commitdiff
|
tree
2021-07-06
Piotr Trojane
k
[Ada
]
Simplif
y
u
nit loading with membership tests
commit
|
commitdiff
|
tree
2021-07-06
Piotr Trojanek
[
A
da]
S
implify depende
n
cy on Sys
t
em
commit
|
commitdiff
|
tree
2021-07-05
Piotr Trojanek
[
Ada]
R
eject over
l
ays in Glob
a
l/
D
epends
/
Initialize
s
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
Piotr Trojanek
[Ada] Simplify and reuse
I
s
_Conc
u
rr
e
nt_Interface
commit
|
commitdiff
|
tree
2021-07-05
Piotr Troj
a
nek
[Ada] Fix excess
i
ve check for
a
lig
n
m
ent of ov
e
rlaying
.
.
.
commit
|
commitdiff
|
tree
2021-07-05
P
i
otr Trojanek
[Ada] Fix
c
omment
about the
debug fl
a
g for st
r
ict
alignment
commit
|
commitdiff
|
tree
2021-07-05
Piotr T
r
ojane
k
[Ada] Cleanup
c
h
e
cki
n
g for
c
o
mpatible alignment
commit
|
commitdiff
|
tree
2021-06-29
Piotr Troj
a
nek
[Ada] E
x
pose symmetry betwe
e
n Known_ and
U
nknown_ query
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
P
iotr Trojanek
[Ada] Remove an obsolete
v
ar
i
ant
o
f Adju
s
t
_
N
ame_Case
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
Pi
o
tr T
r
ojanek
[Ada] R
e
move a special case for fork
i
ng-for-expect
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
P
iotr Trojanek
[A
d
a]
Fix style in Get_F
u
l
lest
_
View
commit
|
commitdiff
|
tree
2021-06-29
Piot
r
Troja
n
e
k
[Ad
a
]
R
emove redu
n
d
a
n
t
check for
empty l
i
st
commit
|
commitdiff
|
tree
2021-06-29
Pio
t
r Troja
n
ek
[Ada] Reuse I
s
_
S
ubprogr
a
m_Or
_
Entry whe
r
e possible
commit
|
commitdiff
|
tree
2021-06-29
Piotr T
r
ojan
e
k
[Ada] More r
o
bust guard again
s
t casca
d
ed
e
r
r
o
r
s
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
Pi
o
tr Trojanek
[Ada] Simpl
i
fy detection of
l
ocal types
commit
|
commitdiff
|
tree
2021-06-29
P
i
ot
r
Trojanek
[Ada] Ac
c
ept a
r
rays and scalars as type vi
e
ws that
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
Piotr Trojanek
[Ada]
Rewrite
Va
l
ida
t
ed_View in recursive style
commit
|
commitdiff
|
tree
2021-06-29
Piot
r
Trojanek
[Ada] Co
n
si
s
tently
u
s
e Validated_View for Valid_Scalars
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr Trojanek
[Ada
]
Fix un
b
al
a
nced par
e
ns in docume
n
ta
t
ion of
Address
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr T
r
ojane
k
[Ada] Di
s
able
w
rong
c
ompu
t
a
t
ion
o
f
o
ffsets with
i
n multidimen
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr T
r
ojan
e
k
[Ada
]
Skip overlay chec
k
s
on prote
c
t
ed c
o
mponent
s
with
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
P
i
otr
T
rojanek
[Ada] Si
m
p
l
i
f
y detec
t
ion of st
a
tically overlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-21
Piotr Troj
a
nek
[Ada] Fix det
e
c
tion of ov
e
rla
p
ping actuals with r
e
namings
commit
|
commitdiff
|
tree
2021-06-18
Piotr Tro
j
a
n
ek
[
A
da
]
Fix dete
c
tion of ov
e
rlapping
slices i
n
d
e
xed
b
y
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr Tro
j
anek
[Ada
]
Fix dete
c
tion
o
f o
v
erlappi
n
g actuals
with
renamings
commit
|
commitdiff
|
tree
2021-06-18
Piotr Troja
n
ek
[Ada] Reu
s
e Packa
g
e
_
Specification in Is_Incomplete_Or_Privat
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
P
i
otr Troj
a
nek
[Ada] Warn about overlappi
n
g actuals
i
n
al
l
ve
r
sions
.
.
.
commit
|
commitdiff
|
tree
2021-06-18
Piotr
T
r
o
janek
[Ada] Reuse Fir
s
t_Actual
in Address
_
Value
commit
|
commitdiff
|
tree
2021-06-18
Pio
t
r
Troj
a
nek
[
Ada] Fix a
s
ymm
e
t
rie
s
in detec
t
ion of
o
v
erlapping actua
l
s
commit
|
commitdiff
|
tree
2021-06-18
Piotr Troja
n
ek
[Ad
a
]
Remove dead
code for
overlapping actual
s
in
p
refix
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Tr
o
janek
[Ada] Fix de
t
ec
t
ion of valid renamings for over
l
a
ppi
n
g
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[
A
d
a
]
Don't check No_Wide_Characters re
s
triction for
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
P
i
otr Trojanek
[Ada]
Re
m
ove
dubious wrapp
e
r
of a
r
ecursive funct
i
on
commit
|
commitdiff
|
tree
2021-06-17
P
i
ot
r
Trojanek
[Ada]
F
ix punct
u
ation in document
a
tion of
w
a
r
nings
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[Ada] Fix d
e
t
ection of slices that denote the sam
e
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pi
o
tr Trojan
e
k
[Ad
a
] Check all pairs of actuals for overl
a
ppi
n
g
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojanek
[
Ada] Fix handling
of generic types in
check
f
o
r overlapping
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr Troja
n
ek
[Ada] Remove dead code for overlapping actuals
and
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
P
i
otr Trojane
k
[Ada] C
l
eanup redundant c
o
n
di
t
ions in checks for over
l
ap
p
ing
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pi
o
t
r
T
r
o
jan
e
k
[Ada] Use source casing in messages for
alias
i
ng
checks
commit
|
commitdiff
|
tree
2021-06-17
Piotr Trojan
e
k
[Ada] Cla
r
i
f
y error for unsupported
E
LIMINATED
o
v
e
rfl
o
w
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Piotr T
r
ojanek
[
Ada] A
p
ply
aliasing
checks only
t
o na
m
es and not to
.
.
.
commit
|
commitdiff
|
tree
2021-06-17
Pio
t
r
Tr
o
janek
[
A
da] Reject
a
llocators in con
t
ex
t
s res
t
ricted by SPARK
commit
|
commitdiff
|
tree
2021-06-16
Piotr Troja
n
e
k
[Ada] Fix Is_Vola
t
i
le_Function for functions declare
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piot
r
Trojanek
[Ada] Ignore
v
olat
i
le restrictions in preanalysi
s
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada]
F
ix detection of volatile expr
e
s
s
ions
in restricted
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piot
r
Trojane
k
[Ada] C
l
eanup
r
e
pe
a
ted cal
l
s in Sloc_Rang
e
commit
|
commitdiff
|
tree
2021-06-16
P
i
otr
T
r
o
janek
[Ada] Fix
alia
s
ing check
for actual pa
r
ame
t
e
rs
p
ass
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Trojanek
[Ada] Remov
e
unused initia
l
i
zatio
n
with New_List
commit
|
commitdiff
|
tree
2021-06-16
P
io
t
r
Tr
o
janek
[
A
da] Fix
typos in a
l
l
occurrence
s
of "occuring
"
i
n
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr
T
rojanek
[Ad
a
] Adap
t
Is
_
A
ctual_Parameter to
a
lso wo
r
k
for entr
y
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Piotr Tr
o
j
a
nek
[Ad
a
] Cleanup
r
elated to
v
o
latile obj
e
c
ts in re
s
tricted
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
P
i
otr T
r
ojanek
[A
d
a]
R
e
move
ext
r
a
parens around a fun
c
t
i
on call
commit
|
commitdiff
|
tree
2021-06-16
Piotr T
r
ojanek
[A
d
a] Reorder
c
ode fo
r
v
alidit
y
c
h
e
c
ks of unchecked
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
P
i
otr Trojanek
[Ada]
Enable
remova
l
of side-effect
s
in compon
e
nt de
c
larations
commit
|
commitdiff
|
tree
2021-06-15
Piotr
Trojanek
[
A
d
a
] Fix
d
etectio
n
of access-to
-
v
ari
a
ble types
commit
|
commitdiff
|
tree
2021-06-15
Piotr
Tro
j
anek
[Ada]
F
ix ty
p
os
in comment about expansion of a
t
t
r
ib
u
te
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Piotr Troja
n
ek
[Ada] Rem
o
ve re
d
undant g
u
ard from Fin
d
_Overlaid_Entity
commit
|
commitdiff
|
tree
2021-06-15
P
i
otr T
r
ojanek
[
Ada] Replace
repeated calls by references to a loca
l
.
.
.
commit
|
commitdiff
|
tree
2021-06-15
Piotr Trojanek
[
A
d
a] Robust switching from incomplete to
a
ccess types
commit
|
commitdiff
|
tree
2021-05-21
Piot
r
Trojanek
Detec
t
illeg
a
l
c
ondit
i
o
ns in
Raise_xxx_Error nod
e
s
commit
|
commitdiff
|
tree
2021-05-07
P
iot
r
Trojanek
[Ada] Rob
u
st
detection o
f
access-t
o
-subpro
g
ram an
d
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
P
i
o
t
r
T
roj
a
nek
[A
d
a] Fix link
f
r
om
b
ody prote
c
ted entry
impl
e
men
t
ation
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
P
i
o
tr Trojanek
[Ada]
A
t
tri
b
ute Add
r
ess is not an interf
e
ring context
.
.
.
commit
|
commitdiff
|
tree
next