repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
use option: '-Woverride-init'
2017-03-03
L
u
c Va
n
Oostenryck
us
e
option: '-Woverride-in
i
t'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Edward Cree
A
llow casting to
a res
t
ricted type if
!restr
i
ct
e
d_value
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
make
-
Wbitwise operational again
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van Oostenr
y
ck
add missi
n
g brac
e
s around FOR_EACH_PTR
l
oo
p
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-26
L
uc Van
O
ostenryck
fix expans
i
on
cost o
f
pure functio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE: avoid
hashing
r
e
moved
instructi
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE: use c
o
mmutativity to identify
e
quivalent instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE: ad
d
t
e
st
case
s
f
or comparisons
d
uality
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
n
ry
c
k
simplify fl
o
at-t
o
-f
l
oat casts that doesn't chang
e
size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oostenr
y
ck
fix OP
_
PHI usage in
t
ry
_
t
o
_simplify_bb
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
use k
i
ll_in
s
truction() when killing any i
n
structions
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oos
t
enryck
use kill_instruct
i
on() when killing an OP_PHI during CSE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enr
y
ck
fix killing
o
f
rewritten load
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryck
add k
i
lli
n
g
of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van
Ooste
n
ryc
k
add k
i
lling of n
o
n
-vo
l
atile
l
oad
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Va
n
Oostenryck
fix
ki
l
ling OP_CA
L
L via po
i
nters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
add killing of pure calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
kill
_
instructi
o
n() may need to
b
e forc
e
d
o
r
not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van O
o
st
e
nryck
fi
x
k
i
l
ling of otherw
i
se
n
ot-handled instru
c
tions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n
Oo
s
tenryc
k
remove unused clear_phi()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van
Oosten
r
yck
fix clear_phi(
)
, replace it by
kill_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
fix killing o
f
OP_PHIs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
t
enryck
add helper ki
l
l_
u
se_list(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Ooste
n
ryck
ad
d
killing of
OP_PHISOURCE
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add kill
i
ng o
f
O
P
_SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Ooste
n
ryck
f
ix show-parse()'s
l
abels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oostenryck
remove unuse
d
f
i
e
ld 'goto_bb' in struct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n
Oostenry
c
k
r
emove unus
e
d field 'multijmp' in struct st
a
te
m
ent
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc V
a
n Oostenryck
cleanup: there is no
'
struct phi'
to allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oosten
r
yck
t
est
s
uit
e
: quieter error reporting for 'kno
w
n-to
-
fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
t
e
stsuite:
a
ll
o
w
qui
e
te
r
error reporting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsui
t
e:
ge
t
'check-know
n
-to-fa
i
l' earlier
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
tests
u
ite:
u
se 'error' instead of 'info' f
o
r succe
s
sful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenr
y
ck
testsuite: c
h
eck t
h
e nbr of times a pattern
s
h
o
uld
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
t
ests
u
ite: ad
d
some
s
e
lfch
e
ckin
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
t
e
s
t
s
uite: chec
k
pattern
s
pre
s
enc
e
o
r absence in output
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
yck
allow
to launch the test
suite from the project
r
oot d
i
r
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryck
testsuite: r
e
p
ort a
s
error tests known to fail but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
n
ryck
test
s
ui
t
e: add tag to ignore the output/er
r
or
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenry
c
k
testsuite: add a simple test f
o
r
-
Wenum-mismatc
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
Oo
s
tenryck
te
s
tsu
i
te: si
m
plify the ioc-typecheck case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
t
e
nryck
test
s
uite: make
t
est
s
known
to fail effectively fail
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
testsuite:
g
i
v
e a proper na
m
e to the 'binary-c
o
nstant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenry
c
k
expand __builtin_
b
s
wap*() wi
t
h constant
a
rgs
Based-on-patch-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
l
et
ide
n
tical symbol
s
s
h
are their evaluate/expand
me
t
h
o
d
s
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
move eval
u
at
i
on & expansio
n
of buil
t
i
n
s
in a s
e
parate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
add sup
p
o
rt for LL
P
64
arch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
im
p
lify
'
(x || x)' an
d
'(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenryck
simplify comparisons
follo
w
ed by an equality test aga
i
nst
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
add warning option '-Wtautologic
a
l-compare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Ooste
n
ryck
simplify '(
x
o
p
x)'
t
o '0', '1' or
'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oost
e
n
ryck
simp
l
ify '(x || 1)' to
'1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
si
m
plify '
~
(~x)' and '-(
-
x)' to 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oostenr
y
ck
simplify '(
x
% 1)'
in
t
o
'
0
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '
(
x
/
-1)' to '-x' (but only for sign
e
d division)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n
O
o
st
e
nryck
s
implify '(x
*
-1)' to '
-
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
n
ryck
simplify '(x
/ 1)' to
'
x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Ooste
n
ryck
move
O
P
_MUL simp
l
ificat
i
on
i
n a separate fun
c
ti
o
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
define _
_
LONG_MAX_
_
& __
S
IZEOF_
P
OI
N
TER_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
ad
d
an
help
e
r for common predefined macr
o
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
define __LP64
_
_ & _
L
P64 if arc
h
_m64 is enab
l
ed
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_SETVA
L
instr
u
ctio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nryck
remove 'Escap
e
' from to
k
en
c
haracter class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Ooste
n
ryck
warn on unknown esc
a
pes after p
r
e
processi
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
add testcase for wrong ea
r
ly escape conver
s
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryck
remove unuse
d
arg in us
e
s/defs functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenr
y
ck
validate exp
r
ession's type in conditionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oos
t
e
nry
c
k
add
helper: is_scal
a
r_type()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix condit
i
onal context
test
case w
i
th vo
i
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
cleanup kill_instru
c
tion()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenr
y
c
k
explicitely ignore
k
illing OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
fix killing OP_COMPUTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fix killing OP
_
S
EL
E
C
T
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
Oostenryck
f
i
x
kil
l
ing OP_CAST & frie
n
ds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fi
x
k
i
lling OP_PHI instruct
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
kill uses of rep
l
aced instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
f
i
x cra
s
h whil
e
testi
n
g between conditional & unconditional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast's
target t
y
pe info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
C
11:
teach s
p
arse a
b
out '--std={c11,gnu11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
C1
1
:
teach spars
e
about '_Ali
g
n
a
s()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
ste
n
ryck
C11: t
e
ach sparse ab
o
ut '_
A
lignof(
)
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
C11: teach spar
s
e about '_Nore
t
u
rn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
e
nryck
C
1
1: teach sparse
abou
t
'_Thread_lo
c
al'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oosten
r
yck
fi
x
value of lab
e
l statemen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
missing load
simplification
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenry
c
k
fix phisrc mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
fix
s
uperfluous
phisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
vo
l
atile loa
d
s must not be simpl
i
fied
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
unssa
:
update comment about the unneeded co
p
ies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unss
a
: eliminat
e
trivial phisr
c
copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
stenryck
unssa: tr
y
to avoid some OP_PHI copie
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nryck
unssa: si
m
plif
y
re
w
rite of OP_PHISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oo
s
t
e
nryc
k
un
s
sa:
d
o
not try t
o
update liveness
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
oste
n
ryck
f
i
x cast to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ry
c
k
llvm
:
remove unneede
d
OP_C
O
P
Y support
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
llvm: fix typi
n
g when comparing to a consta
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix t
y
ping error in compound assi
g
n
m
e
nt
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
add su
p
port for __int
1
28
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
fix miss
i
ng element in type
s
declaration
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryc
k
recursive phi_defi
n
e
s
cann
o
t happen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next
