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
For some reason smatch can't find these header files on my other system.
2009-03-03
Dan Ca
r
penter
Fo
r
some rea
s
on smatc
h
can't
f
ind
these h
e
ade
r
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an
Carpen
t
er
Fix str
i
ng memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Rem
o
v
e
unneeded a
l
location
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
enter
Remove outdate
d
co
m
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Don't __free_sm_state()
u
ntil
e
n
d of functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
f
ree_slist
(
) af
t
er calli
n
g ge
t
_all_
s
tates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
don't reallocate
the ->possible st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get rid of unused li
n
e histo
r
y
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix
s
o
me memory lea
k
s in _
_
imp
l
ied_
s
t
ates_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add fr
e
e
_tra
c
ke
r
s_and
_
lis
t
() a
n
d free_t
r
a
c
k
e
r_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Add
n
ew free_stack() functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carp
e
nter
re
n
am
e
del_slist_stack
(
) to free_sta
c
k_and
_
slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
rename del_slist() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free
al
l
the
s
m_
s
tat
e
s at the
e
nd of each funct
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
a
rpenter
Add ->possi
b
le to
__pri
n
t
_
s
list()
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
a
r
p
e
nter
Save
a
l
l
t
he pools
a
state goes th
r
o
ugh
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
rp
e
nter
A
dd and fix smat
c
h implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preserve
the ->pools and
-
>possible for implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
F
i
x handling
mut
u
ally exclusive stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
G
et rid of re
d
unda
n
t harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pent
e
r
A
d
d function
_
_set_true_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Car
p
enter
Only
s
ave an im
p
lied list if
a
state
has been modif
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpente
r
O
nly im
p
lied states that a
r
e
n
't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a p
a
rameter instead of assu
m
ing the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check
t
hat there are both true and false sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arp
e
nter
This check_orde
r
() seems su
p
erf
l
uous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
New
f
unction harmo
n
ize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
call __
s
plit_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
remove unneeded ca
l
l
s
to __use_cond_t
r
u
e_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Don't s
e
t the
i
mplied state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
p
e
nter
Make cmp_tracker() accessible
to ou
t
side fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpe
n
ter
A
ll the states
a
re implied n
o
t just uni
q
ue ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Impr
o
v
e l
o
ck
c
heck output
.
A
d
d more validation
s
a
mples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an C
a
rpenter
Ad
d
s
upport for down_interruptible()
and frien
d
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Fix the Unclear locking th
i
ng
.
A
gai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
en
t
er
War
n
o
n double
loc
k
/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
if (
(
1)) {
.
.
.
is a known_condition_t
r
u
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpe
n
ter
Add support fo
r
tho
s
e
f
u
nny
g
c
c ({
.
.
.
}) block state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpente
r
Handle decl
a
r
a
ti
o
ns inside switch statemen
t
block
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rp
e
nter
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add kn
o
wn
_
conditi
o
n_f
a
lse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
F
ix
h
an
d
l
ing of
c
on
t
inue insi
d
e
do whi
l
e
statemen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Don't set let people set states for unrea
c
hable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l
cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
a
nd
l
e
the it
e
rators corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
p
ent
e
r
Add
s
up
p
ort for "if (a?b:
c
) {
.
.
.
" ternary conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
A
dd some supp
o
rt
f
or _spin_trylock()
and
fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpen
t
er
i
f (a ||
b
) { a->foo; sho
u
ld p
r
i
n
t
an e
r
ror
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
Carpenter
Th
i
s
p
r
i
n
t
s out error me
s
s
ages a
l
l
t
he time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
A
s
s
ignment alway
s
sets &isfree
d
to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't print
c
ross_func
errors i
f
the called fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
p
enter
R
e
move call
t
o
all
o
c
_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Call the
merge_ho
o
k() instead
o
f setti
n
g
t
h
e s
t
ate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Oo
p
s
.
Meant to com
m
it this earli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Ad
d
the merge_hook() bac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
C
lea
r
th
e
returns lists at the end
o
f each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
M
ove th
e
implicatio
n
s check
i
ng to after t
h
e script
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Rewrite complet
e
l
y
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Add som
e
functions to hand
l
e tra
c
ker lis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't segfa
u
lt all the time when c
h
ecking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Test
to see if w
e
are catc
h
ing c
r
oss
f
u
nction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
p
e
nt
e
r
Use t
h
e ->possib
l
e s
t
at
e
s
a
n
d
r
emo
v
e the
m
erge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"
w
hile
(
(
1)
)
{" is a forever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes t
o
the -> p
o
s
sible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rp
e
n
te
r
M
e
rge bra
n
c
h
'm
a
ster' into null_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation
script for check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
e
nter
Clean up
.
new->possible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Oops
.
->po
s
sib
l
es wasn't getting se
t
co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Use strip_expr(
)
in sp
l
it_c
o
nditions() ins
t
ead reproduc
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
ente
r
Add som
e
more
o
p
erat
i
ons to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
R
e
turn &merg
e
d inst
e
a
d of &und
e
fine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
m
a
ke get_valu
e
() ret
u
r
n
a valu
e
for bi
t
wise or expr
e
s
s
ion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
ry
a
g
ain removing stat
e
s from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
vert "Remove a state from it's -
>
pools w
h
en
set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Elimina
t
e
a warning
.
P
r
ob
a
bly the wro
n
g
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Clean ups
.
Com
m
ents
.
Ren
a
me slist_
s
t
a
ck to n
a
med_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Ha ha
.
I still suck at
point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Cleanups
.
C
omments
.
Remo
v
e
debuggi
n
g code
fr
o
m filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
ar
p
enter
Clean
up
.
Also preser
v
e the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
Clean
up get_st
a
te_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remove __over
w
rite_cur_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pen
t
er
The
r
e was debugging outpu
t
that accidentally got
c
o
mm
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Remo
v
e a sta
t
e from it's -
>
pools
w
he
n
set_state() i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don
'
t de
l
ete the ->pools on m
e
rgin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y understand th
e
implications from co
m
pou
n
d condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a
stat
e
&mer
g
ed
.
When we
m
erge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This
t
ime sma
t
c
h
_im
p
li
e
d
_really_
d
oes somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ignore cscope
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
pente
r
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some m
o
re locking
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
F
i
x implied pool
s
s
o that at l
e
ast it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
I
t seemed like tracker_list would
be
usef
u
l in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add a README describ
i
ng smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add scrip
t
to f
i
n
d
NULL dereferences be
t
ween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Ca
r
penter
Fix
usage
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check
f
or
m
alloc
(
) as well
a
s kmall
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
F
ix segfault when handl
i
n
g
implicitly d
e
c
l
ared funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn wh
e
n we d
o
n'
t
acquire locks w
h
en calling
ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next