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
f
ix usage in s
i
mplify_se
t
eq_
s
et
n
e
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Va
n
Oostenryc
k
ignore whole-ra
n
ge ov
e
rlap
p
ing
i
n
itial
i
zer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oos
t
enryck
fi
x
checking of overla
p
ping init
i
alizer
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oostenryck
allow to wa
r
n
o
n
a
ll overlapping initi
a
lize
r
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oostenryck
add test case for w
a
r
ni
n
g
s
about
o
v
erlapping in
i
tializ
e
rs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an Oo
s
tenryck
u
se option: '-Wov
e
rride-init'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
E
d
ward C
r
ee
A
llow casting to
a
restricted type i
f
!
rest
r
icted_val
u
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van
O
ostenryck
mak
e
-Wbitwise operational again
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-27
Lu
c
Va
n
Oostenryck
a
d
d mi
s
s
i
n
g
braces aroun
d
F
O
R_EACH_
P
T
R
loop
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oostenr
y
ck
fix expa
n
s
ion cos
t
of pure f
u
nct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Ooste
n
ryck
CSE: avoid hashing
r
emoved instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
L
u
c Van
O
oste
n
ryck
CSE:
use co
m
mutativity to ide
n
tify equ
i
valent instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-23
L
u
c Van Oost
e
nryck
CSE: add t
e
st cases for
comparisons dualit
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenr
y
ck
si
m
plify float-to-fl
o
at cas
t
s that
doesn't ch
a
nge size
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van O
o
stenryck
fix
O
P_PHI usage in t
r
y
_
to_simplify_bb()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oo
s
tenry
c
k
u
s
e kil
l
_instruction() when killing any instruc
t
i
o
ns
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
n
r
yc
k
us
e
kill_ins
t
ruction() when
killing an
OP
_
PHI du
r
i
ng CSE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van
Oostenry
c
k
fix
k
illi
n
g
of rewrit
t
en load
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oo
s
tenr
y
ck
a
d
d
k
il
l
ing
of store
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
V
an
O
ostenryck
add killing
of non-volatile loads
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
fix
k
i
l
l
ing
OP_CALL via poi
n
ters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n
Oostenryck
add
k
illing
of pure calls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
Van Oostenr
y
ck
kil
l
_instruction() may need to be f
o
rced or not
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
fix ki
l
ling o
f
otherwis
e
not-handled instru
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oos
t
e
n
ry
c
k
remove unused
cl
e
ar_
p
hi()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
f
i
x clear_ph
i
(), rep
l
ace it by kill_ins
t
ruction
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Ooste
n
ryck
fix killing of OP_PHIs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van
Oostenryck
a
d
d he
l
per kill_use_list()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
Oostenry
c
k
ad
d
k
illi
n
g of OP_PHISOURCEs
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
a
dd killi
n
g of
O
P_SLI
C
Es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
a
n
O
o
stenryck
fix sho
w
-p
a
r
se()'s
labe
l
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
remove unused
f
ield 'goto_bb' in s
t
ruct state
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
O
ostenryck
remov
e
unused f
i
eld
'
multijmp'
in struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
s
tenryck
c
l
e
a
n
up: there is
n
o '
s
t
ruct
p
hi' to allocate
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
yck
testsuite: quieter err
o
r reporting for 'k
n
own-to-
f
a
i
l'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
tes
t
suite
:
allow quieter error repo
r
ting
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
testsuite: ge
t
'check-
k
nown
-
to
-
fail'
e
a
rlier
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
sten
r
yck
t
es
t
suite: u
s
e 'error' instead of 'info' for
successf
u
l
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: che
c
k
the
nb
r
of times a pattern sh
o
uld
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
c
k
t
e
s
tsuite
:
add some sel
f
checking
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenr
y
ck
testsuite: check patterns presence or a
b
sence in output
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
allow to
launch the tes
t
suite f
r
om the project root
d
i
r
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite: report a
s
error tests know
n
to fail but
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenryck
te
s
ts
u
i
t
e: a
d
d tag t
o
igno
r
e the output/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
t
estsu
i
te: add a simple t
e
st for -Wenum-
m
ismatch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryck
testsuite: simplify the
i
oc-typeche
c
k case
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenr
y
ck
tes
t
suite: ma
k
e tests known to fail effect
i
vely fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite
:
give a
p
roper name to
the 'bi
n
a
ry-c
o
nstant
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
e
xpand
__builtin_bswap*
(
) with
c
onstant
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 O
o
sten
r
yck
let iden
t
i
c
al
s
ymbols share their eval
u
a
t
e/
e
xpand 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
e
v
aluation & e
x
pansion of builtins
i
n
a
s
eparate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oos
t
enryck
a
dd support for LLP
6
4
a
rch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
lify
'
(
x
|| x)
'
and
'(x
&
&
x
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
lif
y
comparisons followed
by an equ
a
lity
t
est
against
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryck
add warn
i
ng option '-Wtautological-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
simplify '(x op
x)' to '0'
,
'1
'
or 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
sim
p
lify '(x ||
1)' to
'
1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
simp
l
ify '~(~x)' and '-(-x)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oos
t
enryck
si
m
plif
y
'(x % 1)'
i
nto '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
simplify '
(
x / -1)' to '-x'
(
b
ut only for signed divi
s
ion
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryck
simplify
'(x * -
1
)' to '-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 Van Oostenryck
mov
e
OP_
M
U
L
simplification in a separate fu
n
ction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
d
efine __LONG
_
MAX__ & __SIZ
E
OF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryc
k
add an h
e
lpe
r
f
o
r
common pr
e
defined
macros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oosten
r
y
ck
define __L
P
64__ & _LP6
4
i
f
arch
_
m6
4
is enable
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
c
k
fix killing OP_SE
T
V
AL ins
t
r
u
c
tions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nr
y
ck
re
m
ove 'Escape' from token
c
hara
c
t
e
r
class
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenry
c
k
warn on unkno
w
n
e
scapes after preproces
s
ing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add
t
estc
a
se
f
or wr
o
n
g
e
a
rl
y
e
scape con
v
ersion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
r
e
move unused arg in us
e
s/defs functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
validate expression'
s
type in conditionals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oos
t
enryck
add helper: is_scala
r
_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
c
o
n
d
itional
c
ontext t
e
st c
a
se with
void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
cleanup kill_instruct
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenry
c
k
explicite
l
y ignore killing OP_
E
NTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryc
k
fix killi
n
g
OP_COMPUTED
G
OTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
a
n
Oostenry
c
k
fi
x
killi
n
g OP_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing
OP_CAST & friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oos
t
en
r
y
ck
fix killing
O
P_PHI instruct
i
ons
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oosten
r
y
c
k
kill uses of
repla
c
ed in
s
t
r
uctions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fix
crash while t
e
sti
n
g betwe
e
n co
n
d
it
i
onal &
unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix cast'
s
t
arget type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
C1
1
: t
e
ach
s
parse
abou
t
'-
-
s
t
d={c
1
1,g
n
u11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
C11: te
a
ch spar
s
e
about '_A
l
i
gn
a
s()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nr
y
ck
C11:
teach spar
s
e a
b
ou
t
'_Alignof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11: te
a
ch sp
a
r
s
e abou
t
'
_
N
o
return'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C
1
1
:
t
each spa
r
se abo
u
t
'
_
Thread
_
local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oost
e
nryc
k
fix value
of label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryc
k
m
i
ssing
load
simplification
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oosten
r
yck
fix phisrc
m
ixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
fix super
f
luou
s
phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
volatile loads must not be simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nryck
unssa: update comment about the u
n
needed copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
t
e
n
ryc
k
unssa: eliminate trivial phi
s
rc cop
i
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oostenryck
un
s
sa
:
try to
av
o
id so
m
e OP
_
PHI copie
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nryck
u
n
ssa: simplify rewrit
e
of OP_PHISOURC
E
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
unssa: do not t
r
y
to
upd
a
te liveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
ck
f
i
x
c
as
t
to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
llvm: remove unn
e
eded OP_CO
P
Y sup
p
o
r
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next