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 support for down_interruptible() and friends.
2009-02-23
D
an Carpenter
Add support for down_interruptible(
)
a
n
d friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Fix the Unclear locking
t
hing
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
War
n
on doubl
e
lo
c
k/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear lo
c
king messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
penter
if ((1
)
) {
.
.
.
is a known_conditi
o
n
_
t
rue
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
s
up
p
ort for t
h
ose
fu
n
ny gcc ({
.
.
.
}) block
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpent
e
r
Handle
d
e
clara
t
ion
s
insid
e
switch
s
t
a
tement bl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
C
leanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Add known_condition
_
fal
s
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix han
d
ling of continue inside do while statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Don
'
t set let people set state
s
f
o
r
u
n
reachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Small
c
l
e
a
nu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Car
p
enter
H
a
ndl
e
t
he itera
t
ors corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
s
upport for "if (a
?
b:c) {
.
.
.
"
t
ernary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d some su
p
p
ort for _spin_trylo
c
k()
a
nd friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
if
(
a
|
|
b
)
{ a->foo;
s
houl
d
print a
n
e
r
r
o
r
.
A
l
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
ent
e
r
This p
r
ints o
u
t
error
m
essage
s
all the time t
h
a
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment always
s
ets &isfr
e
e
d to something
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
D
on'
t
print cross_func errors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nte
r
Remove
ca
l
l to
a
ll
o
c_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
p
enter
Call the merge_h
o
ok() instead of settin
g
the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Oops
.
Meant t
o
commit t
h
is ear
l
i
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
Add
the m
e
rge_ho
o
k
()
back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Cle
a
r
t
h
e returns
lists a
t
t
he end of each funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ove the im
p
lic
a
ti
o
ns chec
k
in
g
to afte
r
t
h
e scr
i
p
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Rewrite completely
wi
t
h new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
te
r
Add some
f
un
c
tions to h
a
ndle
tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Do
n
'
t segfault all
t
h
e
t
i
me when c
h
e
ck
i
ng for
e
ver
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test to see if we
a
re
ca
t
c
h
ing cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
U
s
e the ->possible states a
n
d remove
the
merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
n
t
er
"while ((1)) {" is a forever loop
.
C
a
ll strip_ex
p
r()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
f
i
x
e
s to
t
he
-
> possible
se
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
enter
Merge
br
a
nch
'
m
a
ster' int
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation script for che
c
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Clean up
.
new-
>
possible i
s
alway
s
n
u
ll he
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
C
arpenter
Oop
s
.
->
p
ossibles
w
asn't getting se
t
cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Use strip_expr() in
split_c
o
nditions
(
) instead reproduc
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
arpent
e
r
Add some
more oper
a
tions to g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
rpenter
R
e
turn &merged i
n
s
tead of &und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
make get_va
l
u
e
() return a value for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Try agai
n
removing s
t
ates from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Revert
"Remove
a
state from it's
-
>poo
l
s when set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Eliminate
a
warning
.
P
r
o
b
a
bly
the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rp
e
nter
Clean ups
.
Comments
.
Rename slis
t
_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpente
r
Ha
h
a
.
I still suck
at
p
o
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an
u
ps
.
C
o
mment
s
.
Remove debuggi
n
g code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cl
e
an up
.
Also prese
r
ve the ->
p
ools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Cl
e
an up get_state
_
slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
T
he
r
e
was de
b
ugging output t
h
at accidentally g
o
t committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
te
r
R
e
m
ove a state from it's ->
p
ools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Don'
t
delete
the
->pools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Try understand the implications
f
rom co
m
pound cond
i
t
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
reate a state &mer
g
ed
.
When we merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
enter
Ok
.
This time
s
m
atch_i
m
plied _really_
does some
t
hin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ignore cscope fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carp
e
nte
r
Sm
a
ll cleanups
.
(W
h
ite spac
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Whitespac
e
chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Add some mor
e
lockin
g
functi
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
er
Fix i
m
plied po
o
ls so
t
hat at least it do
e
s s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
penter
It seeme
d
like tracker_list would b
e
useful
in a lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a READ
M
E describi
n
g sm
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add sc
r
ipt t
o
find NULL dereferences between f
u
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpenter
Fix usage mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as well as kma
l
loc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix se
g
fault when handling implic
i
tly de
c
lared fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
p
ente
r
W
arn when we don't acquire locks when calling cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (and fail
)
to find memory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almost
print a message when you come to unrea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check to lo
o
k
f
o
r double f
r
ee
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking fo
r
lock_
k
ernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Make check_locking che
c
k b
o
th spinlocks
a
n
d sema
p
hores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a ne
w
f
u
nc
t
io
n
slist
_
has
_
s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
I
f t
h
ere
is
a
n
i++ then the valu
e
of '
i
' is undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add a new c
h
eck_locking script
t
hat checks spinl
o
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
Save t
h
e poss
i
ble states
i
nst
e
ad
o
f
ju
s
t merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore
e
m
acs garbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merg
e
branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a comment
showing w
h
ere t
h
e te
s
t
s
are su
p
posed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
This
is left o
v
er from Octob
e
r
as part o
f
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
A
d
d get_possible
_
states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Stuff left over from Octo
b
er
.
Im
p
lied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpente
r
We co
u
ld save some memory by not alloc
a
ting new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fi
x
mem
o
r
y
l
e
ak
.
Add mor
e
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Add a
m
e
rge h
o
ok
.
Handle
t
he situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
strcmp
(
)
d
oe
s
n'
t
a
ccept NULL a
r
guments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nter
rename two fun
c
tions: get_variable_
f
rom_expr
_
si
m
p
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ent
e
r
get_va
r
iable_from_expr() uses a s
t
atic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
Crea
t
e a chec
k
_te
m
plate
.
c e
x
ample script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all
_
states() n
o
t segfaul
t
e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
F
i
x
get_value() to
return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
W
e on
l
y
ever pass o
n
e paramet
e
r i
n
to
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
penter
Fix get_all
_
states() to match th
e
fun
c
tion defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
Re
m
ove
add_state() and state_def
i
ned() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Car
p
enter
C
l
e
an
u
p
.
Fix
leak
.
My probl
e
m is that I d
o
n't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
r
penter
Initial co
m
mit of the "implied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
D
o
h
.
We haven't been usin
g
smatch
_
extra for
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Get rid of path_hi
s
tory
.
It's
never
going
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Mak
e
goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Sp
e
ed up merg
e
_slist now that the
slists are ord
e
r
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next