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
fix usage in simplify_seteq_setne()
2017-03-03
Luc
Van Oostenryck
fi
x
usage in s
i
mpl
i
fy_seteq_setn
e
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
Oos
t
enryck
ignore whole-range ov
e
rlapping initi
a
lizer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oostenryck
fix checking of
ov
e
rlapping initializer
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oo
s
t
e
nryck
a
l
low to warn on all overlapping
i
nitia
l
izer
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
L
uc V
a
n
O
ostenryck
add
t
es
t
case for
w
a
r
nings abou
t
overlapping
i
n
i
t
ializers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an Oostenryck
use option: '-Woverride-in
i
t'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Ed
w
ard Cree
Allow cas
t
ing
to a
r
estricted type i
f
!restricted_value
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
enryck
make -Wbitw
i
se operationa
l
a
g
a
i
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van Oostenryck
add mis
s
ing braces
a
round FOR_EACH
_
P
TR loo
p
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-26
Luc Va
n
Oo
s
tenryck
fi
x
expansion cos
t
o
f
pure fun
c
t
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oosten
r
yck
CSE: avoid
hashing rem
o
v
ed i
n
structions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
C
S
E
: u
s
e commutativit
y
t
o ide
n
t
i
fy equivalent in
s
tructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-23
L
uc Van
O
ostenryck
CSE: add te
s
t cases for com
p
arisons dual
i
t
y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
simplify
flo
a
t-to-float casts t
h
at doe
s
n't change size
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oo
s
tenryck
fi
x
OP_PHI
u
s
age in try_to
_
simplify
_
bb()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryck
use kill_in
s
tructio
n
() w
h
en
k
il
l
ing any inst
r
uctions
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oos
t
enry
c
k
u
s
e
kill_instr
u
ction() when k
i
lli
n
g
a
n
OP_PH
I
d
u
r
ing
C
SE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n Oostenryck
fix killing
o
f rewritten load
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenry
c
k
add kil
l
ing of stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ry
c
k
a
dd kill
i
ng of non-volatile loads
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
f
ix kil
l
ing
OP_CALL via pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add kil
l
ing of pure
calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van
O
o
s
t
e
n
r
yck
k
ill_instr
u
ction() may need to be forced or not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
fix killing of otherwise not-
h
andled i
n
structions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
rem
o
ve unused
cle
a
r_phi()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oo
s
tenry
c
k
fix clear
_
phi()
,
repl
a
ce it by
kill_ins
t
ructi
o
n()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van O
o
stenryck
f
i
x kill
i
n
g
of OP_PHI
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van
O
o
st
e
n
r
yck
add
h
elper kill_use_list()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oo
s
tenryck
add killing
o
f OP_PHI
S
OURCEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenryck
add kil
l
ing of OP_SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
fix sh
o
w-parse(
)
's labels
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
O
o
ste
n
ryck
r
e
move unus
e
d
field
'
goto_b
b
'
in struct
s
t
atement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
r
e
move
u
nused field '
m
ultijmp' in struct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenry
c
k
cleanup: th
e
re is no 'stru
c
t phi' to allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
testsuite: quiet
e
r e
r
ror report
i
ng
for 'kno
w
n
-
to-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite: allow
quie
t
er e
r
ror reporting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryck
t
e
stsuite: get 'check
-
known-to-fa
i
l
'
e
a
r
lier
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
te
n
ryck
te
s
tsuit
e
:
u
s
e
'
e
rro
r
' instead
of 'inf
o
' for successful
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
testsuite: check the
nb
r
of times a
p
attern shou
l
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enry
c
k
tests
u
ite: add some se
l
fchecking
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n O
o
sten
r
yck
testsuite: che
c
k
patterns pre
s
ence or absence in output
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
allow to launch
th
e
t
e
st sui
t
e f
r
om
t
h
e
pr
o
ject r
o
o
t
dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oost
e
nryck
testsuit
e
:
r
eport as error te
s
ts kno
w
n to fail
but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
te
s
tsuite: add tag to ignore the ou
t
put/error
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
tests
u
ite:
a
dd a
s
imple t
e
st for
-
Wenu
m
-mismatch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
te
s
t
s
uite: simplify the ioc-typec
h
eck case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oost
e
nry
c
k
testsuite: make
tests known to fail effe
c
tively fa
i
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yc
k
te
s
tsuite
:
give a p
r
o
p
er na
m
e
to the '
b
in
a
ry-consta
n
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
e
xpand __bu
i
ltin_bs
w
ap*() wit
h
c
on
s
ta
n
t arg
s
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 i
d
en
t
i
cal s
y
mbols
s
hare the
i
r e
v
aluate/expand
m
e
tho
d
s
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
s
tenry
c
k
m
o
ve evalua
t
ion & e
x
pansio
n
of builti
n
s in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enryck
ad
d
suppo
r
t f
o
r LLP64 ar
c
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
simplify '(x
||
x
)' and '(x
&
&
x
)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
simplify
c
o
m
p
arisons followed by an equalit
y
test agains
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenr
y
ck
a
dd warning option '-W
t
autolog
i
cal-compare
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
sim
p
lify '(
x
op
x
)' to '0', '1' o
r
'
x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
stenryck
s
implify '(x || 1)' t
o
'1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
simplify '~(~x)' and '-(-x)'
t
o
'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
simplify
'
(
x % 1)' into '0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
ryck
simplify '(x / -1)' t
o
'-x' (but only for signed div
i
sion)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
simpli
f
y '(x * -1)'
t
o '-x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x / 1)'
t
o 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenryck
move OP_MUL si
m
plific
a
tion i
n
a separate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
de
f
ine __LONG_MAX__ & _
_
SIZEOF_POINT
E
R__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
a
d
d
a
n helper for
common predefined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
d
e
fine __LP64__ & _LP64 if ar
c
h_m64 is enabled
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix
killing
O
P
_
S
E
TV
A
L instruction
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
remo
v
e 'Es
c
ape'
f
rom tok
e
n cha
r
acter
cl
a
ss
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enr
y
c
k
wa
r
n on unkno
w
n esca
p
es aft
e
r
preprocessing
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ost
e
nryck
a
d
d
t
e
stcase for wrong early
escap
e
conversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
rem
o
v
e unuse
d
a
r
g in uses/def
s
functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
validate
expre
s
sion's type in condi
t
ionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
sten
r
yck
add help
e
r: is_sc
a
la
r
_type()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Va
n
Oostenryck
f
i
x
c
ond
i
ti
o
n
al context te
s
t
c
ase w
i
th vo
i
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
stenryck
cleanup kill_instr
u
ction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryc
k
explicit
e
ly ignore kill
i
ng
O
P_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix k
i
lling
O
P
_
COMPUTE
D
GOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
fix killing OP_SELECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
stenryck
f
ix killing OP
_
CAST & friends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix killing OP_PHI instruc
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oos
t
enryck
k
ill
uses of
rep
l
a
c
ed instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ry
c
k
fix
c
r
ash while testin
g
between c
o
ndi
t
ional & unconditional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
f
i
x cast's target type info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
C11
:
teach sparse abou
t
'--
s
td=
{
c11,g
n
u
1
1
}
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenr
y
ck
C
1
1
:
tea
c
h sparse about '_Alignas()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C
11: teach
sparse about '_Alignof()
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
C
1
1: teach
s
parse a
b
o
ut '_Noreturn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enryck
C11:
t
e
ach sparse about '_Thread_local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oosten
r
y
c
k
fi
x
value of label statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
missing load s
i
mplifi
c
a
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fix
phisrc
mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
fix superflu
o
us
p
hisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryck
v
olati
l
e loads
must not
be s
i
m
p
lified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
u
n
ssa: updat
e
c
omme
n
t about
t
he u
n
needed c
o
p
ie
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
u
nssa: elimi
n
ate trivia
l
p
hisrc
copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
unssa: try to
avoid so
m
e OP_PH
I
c
opies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ost
e
nryck
un
s
sa: simplify
rewrit
e
of OP_PHISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
uns
s
a: do not try to upd
a
te liven
e
ss
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oo
s
tenryck
fix
c
a
s
t to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
llvm: r
e
move un
n
e
e
d
ed O
P
_
C
OPY
s
uppor
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next