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
implied: get rid of a temporary variable
2016-07-01
D
an Carpe
n
ter
im
p
lied: get rid
of
a temporar
y
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
smat
c
h_da
t
a/wine
.
n
o
_retur
n
_f
u
ncs: add
more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
s
match_sc
r
ipts/gen_no_return_funcs:
fi
x
this
for othe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpenter
pre
-
pr
o
c
ess: make
-nostdi
n
c work a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
c
h
eck_
w
in
e
: make repo
r
t(R_
F
AT
A
L,
.
.
.
) a
nullif
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an
C
arpente
r
val
i
d
ati
o
n/
s
m_WtoA: add s
i
ngle qu
o
t
e
s in
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Car
p
ent
e
r
smatc
h
_
scripts: update the
gen_* sc
r
ipts to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
par
s
e: ignore _Pragma(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
s
m
atch
_
data/wine
.
ignored_macros:
a
dd ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
C
arpent
e
r
smatch_data/wine
.
no_
r
eturn_funcs:
upd
a
te the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
n
t
er
s
p
a
rse:
add /usr/include/x86_
6
4-linux-gn
u
/ incl
u
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
wine_WtoA:
add si
n
gled quotes in
t
h
e
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Da
n
Carpenter
db
:
remove PRAGMA synchronous = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpenter
a
vl: make get_st
r
ee
_
id()
r
etu
r
n -1 if th
e
stre
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
pent
e
r
implied:
h
a
ndle ->implied s
t
ates d
i
ffe
r
en
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nt
e
r
sl
i
st, implied: pr
e
serve the
e
ntire cur_stre
e
in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpenter
implied: fi
x
a bug
wh
e
re
w
e i
m
ply the
w
rong thin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lie
d
: remove an
inde
n
t l
e
vel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
i
mplied: change
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Da
n
Carpenter
extra: ignore
t
runcat
e
d limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
flow: handle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
db:
sp
l
it on boolean pa
r
a
meter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpenter
s
tr
u
ct_ass
i
gnment
:
han
d
le pointers
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function
_
hoo
k
s
:
hac
k
around invalid inp
u
t from the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carpenter
function_hooks: fix the previous ran
g
e hooks fix a
g
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set ->paren
t
for expression
statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, un
t
racked_param: move the i
n
t
_stack to
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
ranges: fix casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fl
o
w: set posit
i
on at the
start of the function correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpen
t
er
function_h
o
oks: fix a typo in debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: twea
k
timeout
i
n
separate_an
d
_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function
_
hooks: fi
x
a type i
s
s
u
e (af
f
e
cts ranged function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
unction
_
hooks: fix d
b
and ran
g
ed_fu
n
ctions
i
nte
g
rati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
C
a
rpenter
db/
k
ernel
.
retu
r
n_fixes: ha
c
k
a
round
down_i
n
terruptib
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpen
t
er
db/k
e
r
nel
.
return_fixes: add s
c
nprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
funct
i
on_hook
s
:
fix locking false positi
v
es when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
an
C
arp
e
nt
e
r
extr
a
:
f
i
x
memset()
h
an
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
pe
n
ter
implie
d
:
d
el
e
te unused functio
n
sm_state_
i
n_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpen
t
er
ptrlist: use
a
f
ter free in
l
a
s
t
_p
t
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpent
e
r
flo
w
: type issue handl
i
ng sw
i
tch s
t
a
t
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpen
t
er
ra
n
g
e
s: fix type
issue in remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
condi
t
ion
s
: sil
e
n
c
e valgrind warnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
flow: set final_pass if we h
a
v
e
to bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
x
tra:
e
xport
get_other_name_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carp
e
nter
impo
s
s
ible: ad
d
is_impossible_p
a
t
h() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
db: do
n
't
c
r
a
s
h
g
e
nerating
S
Q
L
for invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
C
arpe
n
te
r
extra: fix bug handling untrac
k
ed poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
struct_assignment: ignore
certain type
s
of assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
ex
t
r
a: deferen
c
es i
n
fake assignments don't c
o
unt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: handle
f
ake assignments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
mplied:
impro
v
e overwrite_sta
t
es_using_pool
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
im
p
lied
:
add a comment explain
i
ng how implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carpent
e
r
function_hoo
k
s: check
P
ARA
M
_
L
IMIT im
p
lications all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
D
a
n Carpenter
function
_
h
o
oks: i
n
tegrat
e
call_
i
mplies hook
s
wi
t
h t
h
e db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
sl
i
s
t: man
g
le the line number of merged
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpente
r
size
o
f_par
a
m: r
e
move read_r
o
m() fr
o
m checked functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
create_db: delete some dupli
c
ate
entrees
from f
u
nction
_
ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
r
p
en
t
er
re
a
l
_absolute
:
d
o
n
'
t store whol
e
ranges for no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
nter
struc
t
_ass
i
gnment: p
u
ll spl
i
t_fake_exp
r
()
i
nto its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
d
b: limit the
a
m
ount of d
a
ta in type_val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpe
n
te
r
extra: handl
e
if (IS_
E
R
R
(
foo[bar])
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db
:
int
r
oduce get_para
m
_name_var
_
s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied:
handle chunks
in swit
c
h s
t
ateme
n
t
s like
switc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
e
r
extra: don't mark
a
ll arrays
as dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
helper: create an alloc_state_ex
p
r() hel
p
er function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
whitespace
:
rem
o
ve some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
extra: r
e
move unus
e
d
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpent
e
r
l
ocking: add
m
ore
imp
o
ssible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: remove some extra se
m
i-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pen
t
er
ranges: r
e
move an
u
nnee
d
ed i
n
it
i
a
l
ize
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
returns: provide
a
split o
u
t list of all the r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: ad
d
get_all_returns
_
states() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
m
o
v
e fre
e
ing to AFTER_FUNC_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
db: constif
y
som
e
po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nter
extra:
add mis
s
ing includ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Ca
r
p
e
nter
extra: don't overwrite non-null poi
n
t
ers becau
s
e of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extr
a
:
f
ix han
d
ling of "if (foo & 0x3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Car
p
ent
e
r
pa
r
am
_
set
:
int
r
oduce param
_
was_se
t
_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
ar
p
enter
i
mpossible:
h
and
l
e switch s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpenter
impossible: don't ove
r
write the impossib
l
e s
t
ate by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
impl
i
ed:
handl
e
implications for if (({whatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
an
C
arpen
t
er
slist:
c
reate is_leaf()
f
un
c
ti
o
n which
i
s
t
he o
p
posite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
D
a
n Carp
e
nter
ranges: us
e
signed
t
ype for neg
a
t
i
ve ints less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
d
b/kernel
.
return_fix
e
s
reg
m
ap
_
bulk
_
read()
r
etu
r
ns
negativ
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpen
t
er
ranges: f
i
x
a bug in rl_
i
nver
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
ter
sval, type:
m
a
ke some fun
c
t
ions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Da
n
Carpenter
implied: f
i
x an
o
ld
i
mplication b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpent
e
r
impl
i
ed: rem
o
ve
u
nused
add_
p
ool() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an Carpenter
implied: pass sm_s
t
ates
instead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n
Carpenter
implied
:
f
i
x a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
implied: update s
o
me debug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
er
imp
l
ied: create fake i
m
plication history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an
C
arpe
n
ter
states
:
t
weak d
e
bug
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: print debug
o
utput i
n
_
_set_
t
rue_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Car
p
ent
e
r
imp
l
ied: overwr
i
t
e
smatc
h
_extra
u
sing implied s
t
ates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
ranges, extra
:
mo
v
e
a
nd export s
p
lit_com
p
arison_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpenter
slist: r
e
m
o
ve
unus
e
d __se
t
_true_false_
i
f_not_al
r
eady_s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
db: make a fi
l
e kernel
.
r
e
t
ur
n
_fixes for u
p
dating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
a
rpenter
flow: merg
e
multiple case s
t
a
t
em
e
nts in a row toge
t
her
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
helper: use
.
i
n
stead
o
f -
>
for more
v
ariables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next