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
Make struct sm_state more compact.
2009-05-06
Dan Ca
r
penter
Make struct sm_state more compac
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
a
r
pe
n
ter
s
m
atch_
s
l
ist
.
c no long
e
r needs any funct
i
ons
fr
o
m smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
Delete all the anding com
p
ound
con
d
i
t
ions
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
che
c
k
debug
i
s useful for deb
u
ggi
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
potential bug fix for g
o
to
s
with implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
Make v
a
li
d
ation test h
a
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
Re
w
ork sma
t
ch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan
C
arpenter
get
_
v
alue(
)
:
ha
n
dle
a
couple more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpen
t
er
Se
t
things in
s
match extra in
s
tea
d
of smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpenter
Handle s
w
itch
statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Re
v
ert "Don't the implicat
i
ons for
the state determ
i
nin
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Ca
r
penter
Re
v
e
rt
"
H
ere is a bug in
h
and
l
i
n
g co
m
pound condition
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
penter
handle if((foo =
down_t
r
ylock()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpenter
add_is_mer
g
ed_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
Der
e
ferencing a v
a
riabl
e
doe
s
n't make
i
t undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Ca
r
p
e
nt
e
r
Redo chec
k
ing fo
r
ou
t
o
f
range args
t
o
E
R
R_
P
T
R
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpent
e
r
H
ere is
a
bug i
n
ha
n
d
ling comp
o
und c
o
nditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n C
a
rpenter
Handle straight forward comparisons to
z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
enter
S
t
ore th
e
im
p
lica
t
i
o
ns for return_implies_state() assignm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
A
dd: retur
n
_implies
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Ren
a
m
e sma
t
ch_e
x
tra_helper
.
c to
smatch_ra
n
ges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
E
l
i
m
in
a
te set_cond_state
s
()
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
e
n
ter
Small clean u
p
.
A
lloc
a
ting filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n C
a
rpenter
Ve
r
i
f
y th
a
t the
v
alue p
a
ssed
t
o
ERR_P
T
R() isn't
t
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fix compiler int<-
>
ptr co
n
v
e
rsi
o
n
warn
i
ngs
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
M
erge adjacen
t
ranges
.
1-2,
3
-4 becom
e
s 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
Sav
e
some a
l
l
o
cati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
Fix s
t
rnca
t
() bug
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpe
n
ter
Improve
h
a
n
dli
n
g
of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpen
t
er
Handle once th
r
ough loops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
ente
r
Fix merging ranges
.
Comple
t
e
l
y broken b
e
fore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Typo: <= instead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Re
v
erse all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
a
r
p
en
t
er
Don't the impl
i
cation
s
f
or
t
h
e s
t
at
e
determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
match_
c
omparison
t
o handle
l
ess than, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpente
r
Change
l
o
cking
o
utp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpe
n
ter
Don
'
t allocate so many extra_undefine
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
r
pen
t
er
create
alloc_extra_state_
e
mpty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
remove true_
c
omp
a
ris
o
n() and do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Ca
r
pe
n
ter
mov
e
(true|false)
_
compari
s
on
_
rang
e
() to
smatch_e
x
tra_help
e
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
clea
r
->my
_
lists
for &
i
gnor
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Print m
o
re --debug-im
p
lied information whe
n
--debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpent
e
r
R
em
o
ved hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix range comp
a
rison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused function: range_list_i
n
ters
e
c
t
ion()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Car
p
e
n
ter
Ha
n
d
le UNDEFI
N
ED range and di
s
pl
a
y the name correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Fix state names for
r
an
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpenter
Impl
i
ed r
a
nges
.
Part #3
.
Ran
g
e
L
ists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
a
r
penter
Update data files fo
r
2
.
6
.
30-rc
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Ca
r
p
e
n
ter
smatch_extr
a
.
sa
v
e othe
r
comparisons
b
esides j
u
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpente
r
handle: if
(
(foo = try_lock()
)
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: expr_to_val() -> get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
Fix handling of if (IS_ER
R
(
f
oo =
b
ar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Ca
r
penter
handle if conditional function
s
are assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpent
e
r
Add
n
ew restricted known_condi
t
ion_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename known_c
o
ndit
i
on_true() to implie
d
_
c
ondition
_
t
r
u
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Ca
r
p
ente
r
Add
ER
R
_PT
R
() c
h
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Car
p
enter
_
_mo
d
ule_put_and_exit() doesn't re
t
u
rn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
Separate th
e
list of freed arguments from
d
ecremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Wri
t
e a sc
r
ipt to pri
n
t fu
n
cti
o
ns that retu
r
n
NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Ca
r
penter
Don't fre
e
bin
_
dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpe
n
ter
Oops
.
C
om
m
i
t
thes
e
essential
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
ente
r
Hand
l
e
k
nown
c
o
n
di
t
ion
s
when they ar
e
a simple val
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Add
CASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Fix m
e
mory leaks found by valg
r
in
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpent
e
r
alloc
_
string() -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Put some validation
s
cripts in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
pent
e
r
Impl
i
ed range
s
.
Part #2
.
Fil
t
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
a
rpenter
Silence t
h
e
m
utually e
x
clusive outp
u
t
aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free all data_in
f
o at the end of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carpenter
Add --n
o
-data opti
o
n
and war
n
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpenter
ran
g
e fix
.
anding
sli
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
clean
u
ps from clone_slist
(
) changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied ranges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Car
p
enter
Add t
h
e allocat
i
on func
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
free_scq is defined 2 times qu
i
te d
i
ffe
r
ently
.
I
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
Fi
x
implications (fallout from cl
o
n
e_sli
s
t
() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
t
e
r
M
ajor memo
r
y saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--d
e
bug means prin
t
the impl
i
ca
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
er
Add --no-im
p
lied to
the h
e
lp
t
ext
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Save memory
.
Don't copy the state name so
m
u
c
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpenter
Add check_type
.
c
(
disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an
C
a
rpent
e
r
kref_pu
t
() and kobject_put
(
) are basi
c
ally like a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
Don't
dere
f
erence free
d
memor
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
an Carp
e
nter
Add all the allocation
f
uncti
o
ns to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
penter
G
e
n
erate a l
i
st
o
f functions
t
hat allocate da
t
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
U
pdate th
e
gen_fre
e
s_lis
t
.
sh and the
g
ener
a
ted data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save function lists in sm
a
t
ch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
new
(
disabl
e
d) script: c
h
eck_leak
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
ar
p
en
t
er
implied: add get_i
m
p
l
icati
o
ns() f
o
r sc
r
ipts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Car
p
ent
e
r
Add co
m
ment
.
get
_
va
l
ue re
t
urns UND
E
FINED on e
r
ror
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carp
e
nt
e
r
funct
i
on_hooks:
b
ump the number of entries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
C
a
rpenter
new: ad
d
_functio
n
_a
s
sign
_
hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean
up the cond
i
t
i
onal hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpe
n
te
r
n
e
w api: add_conditional_hook(), set_cond_stat
e
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks: pass
t
he
f
uncti
o
n name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
r
p
e
nter
don'
t
try return bloc
k
things i
n
g
et_var
i
able_fr
o
m_e
x
pr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
rpenter
A
d
d
a
list of noreturn type functions that
nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge branch
'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
recompile the
check_*
.
c files if
t
he sm
a
tch heade
r
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next