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
add killing of stores
2017-02-16
Luc Van Oosten
r
yck
add killing of
stores
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
add
killing
o
f non-vola
t
ile
l
o
a
ds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
fix killing O
P
_CALL v
i
a po
i
nter
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenry
c
k
add killing
of pure calls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
ki
l
l_instruction() may need
t
o be force
d
or not
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
fix
killing o
f
otherwise
n
ot-hand
l
ed
in
s
tructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
s
t
e
n
r
yck
remove unuse
d
clear_phi()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix clea
r
_phi(), r
e
place
it by kill_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenryck
fix killing of OP_PHIs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add helper k
i
ll_use_list()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Va
n
Oostenryc
k
ad
d
killing of OP_PHISOURCEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
add killi
n
g of OP_SLICEs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
e
nryc
k
fix
show-parse()'s l
a
b
els
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryc
k
remov
e
unused field 'goto_bb' in struct
s
tatement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove unuse
d
f
ield 'multijmp' in struct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
c
leanup:
ther
e
is no 'str
u
ct
p
h
i' to allocate
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
t
e
stsuite:
q
uieter err
o
r
reportin
g
for 'known
-
t
o-fail'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oosten
r
yck
testsu
i
te:
a
llow quieter error r
e
porting
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
o
s
tenr
y
ck
testsuit
e
: ge
t
'chec
k
-
k
nown-to
-
f
ail' earlier
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oosten
r
yck
test
s
u
ite: use
'
error' instead of 'info' for s
u
c
cessf
u
l
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
testsui
t
e
: c
h
eck
t
he
n
br of times a pattern should
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsu
i
t
e
:
add some selfchec
k
in
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
sten
r
yck
t
e
stsuite: check patterns
p
resence
or
abs
e
n
c
e in output
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
o
sten
r
yck
al
l
ow
to launch
t
h
e tes
t
suite
f
r
om the proj
e
c
t
r
o
ot dir
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
t
estsuite: re
p
o
r
t
a
s erro
r
tests known to fail but
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite
:
add tag to i
g
nore th
e
outpu
t
/e
r
ror
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enr
y
ck
testsuit
e
:
add
a simple t
e
st for -Wenu
m
-
mi
s
match
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryc
k
testsuite: simplify the i
o
c-typ
e
che
c
k case
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsuite: make tests known to fail effectively
f
ai
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
t
e
stsuite
:
give a p
r
oper name to the '
b
i
n
ary-const
a
nt
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
exp
a
nd __builtin_bswap*() with
c
o
n
stant args
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
Oostenryck
let
identical
symb
o
ls sh
a
r
e their e
v
aluate/expand methods
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
move evaluati
o
n & expa
n
sion of b
u
iltins in a separate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
add
sup
p
ort for LLP6
4
a
rch
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenry
c
k
simplify '(x ||
x
)
'
a
nd '(x && x
)
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
lify
c
o
mpa
r
isons followed by
a
n equalit
y
test a
g
ains
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Ooste
n
ryck
add warning opti
o
n '-Wtautol
o
gical-com
p
a
r
e'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
simplify '(x
o
p x)' to '0
'
, '1' or 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x
|
| 1)' to '1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenryck
s
i
mplify '
~
(~x)' and
'-(
-
x)' to
'
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x % 1)'
int
o
'0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryc
k
simplify '
(
x
/
-1)
'
to
'
-x' (but
o
n
l
y for sign
e
d di
v
is
i
on)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oo
s
t
e
n
ryc
k
si
m
plify '
(
x *
-
1
)' to '-x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
s
implify '(x
/
1)' to
'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
O
ostenryck
move OP_MU
L
s
i
mplifica
t
io
n
in a se
p
arate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
sten
r
yck
defin
e
__LONG_MAX__ & __SI
Z
EOF_
P
OINTER__
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
add an helper for commo
n
predefined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
de
f
ine _
_
L
P
64__
&
_
L
P64
i
f
arch_m
6
4 is en
a
b
l
e
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix kil
l
ing
O
P_SETVA
L
instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
rem
o
ve 'Escape' fro
m
to
k
en
c
h
a
rac
t
er class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oosten
r
yck
warn on un
k
n
own esc
a
pes after pr
e
processi
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
add testcase for wrong e
a
r
ly e
s
cape conversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
os
t
enryck
remove unu
s
e
d
a
rg i
n
u
ses/defs
funct
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryc
k
validate e
x
pre
s
sio
n
's ty
p
e i
n
condi
t
ion
a
ls
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
add hel
p
er: is_scalar_ty
p
e()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
fix conditional co
n
text
t
est case w
i
th void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
cleanup kill_inst
r
uction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
ex
p
licitely ig
n
ore killing OP_ENTR
Y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
f
ix ki
l
ling OP_C
O
MPUTEDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
fix killing OP_S
E
LECT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
fix killing OP_CAST & friends
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yck
fix killing OP
_
PHI i
n
structions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n Oostenryck
k
i
ll uses of replace
d
instr
u
c
t
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenry
c
k
fix crash while testing betw
e
en condit
i
o
nal &
unconditi
o
na
l
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
f
i
x
c
ast's t
a
rget type info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse about '--std={c11
,
g
n
u11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenr
y
ck
C
1
1
:
teach sparse a
b
out '_Al
i
gna
s
()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse about '_A
l
i
g
nof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C
11:
teach
sparse about '_Noreturn
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C
1
1:
t
e
ach
s
parse
a
bout '_Thread
_
local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
i
x v
a
lue of label statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
mis
s
ing lo
a
d simpl
i
fica
t
ion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix phisr
c
mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix supe
r
fluous phisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
volatile 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
uns
s
a: update comment about th
e
unneed
e
d copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
o
s
tenryck
unssa
:
eliminate trivial phisrc
c
o
pies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
u
n
s
sa: try t
o
avoid some
O
P
_PH
I
copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
r
yck
unss
a
:
s
i
mplify re
w
rite
o
f
OP_PHI
S
OURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yc
k
u
n
ssa: do not try t
o
up
d
ate liveness
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
f
ix c
a
st to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oos
t
enryck
llvm: rem
o
ve unneeded OP_COPY support
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
llvm: fix
t
y
ping when comparing
t
o a co
n
stant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix typ
i
ng error in compoun
d
assignme
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an
O
ost
e
nryck
add
su
p
po
r
t for
_
_int12
8
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix miss
i
n
g element in types declar
a
tion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
r
ecursive phi_d
e
fines cannot happen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
cg
c
c sho
u
ld not define non-reserved i
d
enti
f
i
e
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nryck
Update maintainers in the manpage
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
some
m
o
d
if
i
ers need to be pres
e
rved by
'
t
ypeof
(
)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
testsuite: tes
t
modifier
s
preserv
e
d by 'typeof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: te
s
t
mod
i
fiers preserved by '&' oper
a
t
or
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
use a shorter name
f
or
f
u
nction-p
o
inter-m
o
difie
r
-
i
nheritance
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
te
s
tsuite: simplify
t
e
s
t f
u
n
c
t
ion-point
e
r-inheritanc
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
storage shou
l
d not be inh
e
rited by pointers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryc
k
r
e
move unused fi
e
ld 'multijum
p
' in
struct instruction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
OP_
S
WITCH s
h
ould use 'insn->
c
o
n
d' in
s
tea
d
of 'insn
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yc
k
give compa
r
able labe
l
's
names to basic bl
o
cks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
let "compile" not crash
o
n boo
l
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an
O
oste
n
ryck
make p
t
r
list wal
k
ing
agai
n
st robus
t
a
g
ainst empty blocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next