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
Check for malloc() as well as kmalloc()
2009-02-05
Dan Carpente
r
C
h
ec
k
for malloc() as well as kma
l
loc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix s
e
g
fault whe
n
handling im
p
l
i
ci
t
ly decl
a
red functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
W
a
rn wh
e
n
we don't acqu
i
r
e locks
when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpen
t
er
Try
(
and
f
ail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almost print a me
s
s
a
ge wh
e
n
y
o
u
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd check to l
o
ok for
d
oub
l
e frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add c
h
ecking
f
or lock_kern
e
l()/un
l
ock_kern
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
M
a
k
e
check
_
locking check bo
t
h
s
p
inlocks a
n
d
semapho
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a new function sli
s
t_
h
a
s_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
I
f there
i
s an i++ then
the value of 'i'
is
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
A
d
d a new che
c
k_l
o
cking s
c
ript that
c
hecks sp
i
n
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pente
r
Save the possib
l
e sta
t
es inste
a
d
of just
m
er
g
ing them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Car
p
enter
I
gnor
e
emacs
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge branc
h
'master'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save
s
ome memory b
y
not alloc
a
ting
n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
enter
A
dd a c
o
mment
s
h
owing wher
e
th
e
test
s
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
en
t
e
r
Th
i
s is le
f
t o
v
er from October as par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add get_possible_state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
uf
f
le
f
t over from Octob
e
r
.
Implied poo
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
ter
We could save some mem
o
ry by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carpen
t
er
Fix me
m
ory leak
.
A
dd more
comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpe
n
ter
Add a merg
e
hook
.
Handle the situat
i
ons
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpen
t
er
ren
a
me two funct
i
ons: get
_
varia
b
le_from_expr_s
i
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpent
e
r
g
et_variable_
f
r
o
m_expr() uses
a static
b
uffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
Create a check_templa
t
e
.
c e
x
ample script
t
hat look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Ma
k
e get_a
l
l_st
a
t
e
s() not
segfault
every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix
g
et_
v
alue() t
o
return neg
a
ti
v
e values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
We only ever pass one parameter into g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix ge
t
_all_states(
)
to match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Remov
e
add_
s
ta
t
e() and s
t
ate_define
d
()
d
efinition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Clean up
.
Fix lea
k
.
My problem is
that I
don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Initial commit o
f
t
h
e "implied st
a
te
p
ools" stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
h
ave
n
'
t
been using sma
t
ch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Get rid of path_history
.
It's ne
v
er
going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rpe
n
t
er
Make
got
o
_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed
up merge_s
l
ist now tha
t
the slists a
r
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Ins
e
rt st
u
f
f onto lists in a sorted or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
Delet
e
a
n
u
n
u
sed function me
r
ge_state_stac
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fix: if
(*foo)
{
(*foo)->bar
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc()
and friends don't always return a non-
n
u
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The ch
e
cks from here got merged into
ch
e
c
k_n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Move the stuff f
r
o
m
check_
d
ere
f
e
d
_
params
.
c into check_
n
u
ll_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or
_
slist_
s
tack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a h
o
o
k
at the end of a
f
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
o
rgo
t
another strip_exp
r
(
) call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
H
a
ndle
assignmeen
t
s inside
c
o
n
ditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
e
nter
Only pri
n
t something fo
r
a-
>
foo and not a
.
f
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpen
t
er
Ignor
e
array declarations
.
Those
c
an't be NULL
o
b
viously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carp
e
nter
Make cu
r
_sl
i
st static
.
It's only
u
s
ed
i
n
s
m
a
tch
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White space cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpen
t
er
Use mer
g
e_sl
i
st()
i
nstead of trying to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
r
ocess
_
continues
(
)
i
s
supp
o
se
d
to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
sm
a
tch
_
ignore
.
c
fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an C
a
r
p
enter
(foo) = 1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpent
e
r
Generalize stip_casts()
.
It
'
s now ca
l
led str
i
p_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpenter
Ignore casts
.
f
oo((in
t
*)&bar)
i
s
the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore
stuff like fo
o
.
bar
.
We only care about
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t hap
p
ens bef
o
re is that parameters would
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Misse
d
a cr
a
shi
n
g bug in
the
int =>
struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I can't be
l
i
eve I was doing stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed sma
t
ch state fr
o
m being a
n
int to
b
eing pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpente
r
I
want t
o
reuse the name s
m
a
tch_state
.
The cu
r
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
pente
r
Redo the
n
u
ll path thing
.
So
l
ong as t
h
ere is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean u
p
.
C
omplicated is just a boolean
.
Set i
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
S
a
ve the pre conditions i
n
side the conditio
n
s so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
a
r
penter
The m
a
in
c
hange here was to completel
y
rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Break
thin
g
s out into funct
i
ons a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpenter
Handle while and for
lo
o
ps slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
moved nullify_
p
ath
(
) earlier but
that
w
as
a
m
i
stake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rp
e
nter
I
d
on't thi
n
k
t
he special_kernel
_
macros(
)
funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
en
t
er
Add a
f
unction to do a s
t
r
c
mp() with a symbol
n
ame
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Remove e
v
e
rything
t
o do
w
ith path_id
'
s
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
penter
Replace the v
a
ri
a
ble _
_
negat
e
wit
h
the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Smal
l
clean up
.
Move the passing the whole
conditi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I
m
eant to
merge
t
h
i
s earlier when I div
i
d
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Car
p
ent
e
r
Add a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved a
l
l
the logic for
ha
n
dling conditions
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
pent
e
r
Oops
.
I gu
e
s
s I deleted t
h
e
wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpen
t
e
r
Don't pass the con
t
ents
o
f si
z
eof() to the cl
i
ent
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpen
t
er
Improve how the debug info for
m
erging s
t
ates gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
T
h
e main t
h
ing is to handle
z
er
o
c
o
mparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remov
e
unneeded c
o
de
.
This stuff is handled in sma
t
ch_
f
l
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpenter
We need to
b
e able to break dow
n
(
f
oo != 0) for BUG_
O
N
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
I
dentify for(;;
)
type loo
p
s as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
What
I'
v
e see
n
is s
t
uff li
k
e this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Anyt
h
ing t
h
at we don
'
t handle is
obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpe
n
te
r
Merge br
a
nch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpente
r
Add a
c
omment
t
o
g
e
t_va
r
iable
_
from
_
expr_si
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
A
d
d a comment to ge
t
_
v
ariable_from_e
x
pr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
T
h
e nullify_path() here is a
bug
.
I
t
over
-
writ
e
s
all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
_
_
print_c
u
r_s
l
is
t
() is a useful function fo
r
debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If
y
ou have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
r
p
e
n
t
er
Upda
t
e the line num
b
ers for e
a
ch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change
t
h
e
merge rules for custom
me
r
ge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DEBUG to a header so everyone c
a
n use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rp
e
nter
Add a cust
o
m
merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next