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
Remove unneeded allocation.
2009-02-03
Dan
Car
p
enter
Add chec
k
t
o
l
o
ok for do
u
bl
e
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carp
e
nter
Add checking for
lock
_
kern
e
l()/
u
nlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Make check_locki
n
g check both spinlock
s
a
n
d
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
ew functio
n
slist_has_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
If there is
a
n i++ then the v
a
lu
e
of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ente
r
Add a ne
w
check_l
o
cki
n
g script that c
h
ecks spinlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
S
a
ve th
e
possib
l
e states instead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Ignore emacs g
a
rb
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpente
r
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save s
o
me memory by not allocating
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a
c
o
mment showing where
the tests are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
T
his
i
s le
f
t
ove
r
from October as part of
the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n C
a
rpenter
A
d
d get_poss
i
b
l
e_states(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff le
f
t ov
e
r
f
r
om October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
C
a
rpenter
We could save some memory
by not
al
l
ocating n
e
w
mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
A
dd more comme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pente
r
Ad
d
a
m
e
r
ge
h
o
ok
.
Handle the s
i
tuations
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpente
r
strc
m
p() doesn
'
t ac
c
ept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two fu
n
ct
i
ons: get_variab
l
e_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carp
e
nter
get_variab
l
e_from_exp
r
(
)
uses
a
static
b
uf
f
e
r
and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpente
r
Create a check_templ
a
te
.
c exam
p
le
scr
i
p
t
t
hat
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Mak
e
get_all_states()
n
ot segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix get_value
(
) to return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We
o
nly ever pass
one
p
aram
e
t
er into get_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
ter
Fix g
e
t_
a
ll_states() to match the function
d
efinition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
e
n
ter
Remove add_state() and
state_defined
(
)
defini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carp
e
nt
e
r
Clean up
.
Fix leak
.
My
problem i
s
that I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pente
r
Initial commit of the "im
p
lied state po
o
ls" st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n C
a
rpe
n
ter
Doh
.
We
hav
e
n't been using sm
a
tch_
e
xtra for a
wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get
r
id of path
_
hi
s
tory
.
It's never g
o
ing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed up m
e
rge_slist n
o
w
that th
e
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
n
ser
t
stuff
onto
lists in a s
o
rted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
er
Delete
an unused function merge_
s
tate_s
t
ack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
pen
t
er
fix: if (*f
o
o) {
(
*foo)->b
a
r; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc(
)
and
f
rie
n
ds
d
o
n't
a
lway
s
return
a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The check
s
from
h
e
r
e
got merged into check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carp
e
nter
Mov
e
the st
u
ff f
r
om
c
heck_derefed_params
.
c into check
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Ca
r
penter
Fix bug in or_slist_stack()
.
if (a && b)
w
as
n
't be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
A
d
d
a hook a
t
the end o
f
a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Forgot an
o
t
h
e
r str
i
p_ex
p
r()
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignmeen
t
s insi
d
e
c
ond
i
ti
o
n
s
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Only print
somet
h
ing for a->fo
o
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nter
Ign
o
r
e
array
d
eclar
a
tions
.
T
h
o
se can't b
e
NULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
enter
M
a
ke cur_slist static
.
It's onl
y
used in smatch_stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space
c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Carpenter
Use merge_sl
i
st() instead o
f
trying to han
d
l
e it your
s
elf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__proce
s
s_continu
e
s() is supposed to be b
a
si
c
ally t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
N
e
w
smatch_ig
n
o
re
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
(f
o
o) = 1 is the same as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
e
neralize stip
_
casts(
)
.
It's
n
ow called s
t
rip
_
expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
f
oo((
i
nt *)&bar) is the sam
e
a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
enter
Created show_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore
s
t
u
ff l
i
ke fo
o
.
b
a
r
.
We only care
a
bout foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
What happens before is th
a
t p
a
rameters would get ass
i
gned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Car
p
enter
M
i
s
s
e
d
a
c
r
ashing
b
ug in t
h
e int => struct
c
onvers
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I can't
b
el
i
e
v
e
I
was doing stac
k
s wrong
t
his who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
arpenter
Changed smatch
s
t
a
te from
being
a
n
int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I
want to
r
euse the name smat
c
h_s
t
ate
.
The cur
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Redo
t
he null path thing
.
So long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Clean
up
.
C
omplicated is just
a bo
o
lean
.
S
e
t it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Save th
e
pre
c
o
n
d
i
tions inside the condi
t
ions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Ca
r
penter
T
he m
a
in
c
hange here
w
a
s t
o
completely rewrite
h
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things o
u
t in
t
o fu
n
ction
s
a
bit
.
Clean
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
en
t
er
Handle wh
i
le and for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Ca
r
penter
I rem
o
ved nullify_path()
e
arli
e
r but t
h
at was a mistak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't th
i
nk the
s
pecial_kernel_macro
s
()
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a fun
c
tion
t
o do a strc
m
p
(
)
with a s
y
mbol n
a
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
e
move everything to do with p
a
th_id's
.
I couldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Replace the varia
b
le
_
_negate
w
ith the function __negate(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Smal
l
clean up
.
M
ove th
e
passing t
h
e whole conditi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Cra
p
.
I
mea
n
t to merge this earlier when
I
divid
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
Add a comm
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpente
r
Mo
v
e
d
all the log
i
c
for handling co
n
d
i
tions in
t
o a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
o
ps
.
I
guess I deleted the w
r
on
g
l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Don't pass t
h
e c
o
n
te
n
ts
of size
o
f() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
Car
p
e
nter
Improve
how the d
e
bug info for merging states
g
ets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Ca
r
pen
t
e
r
Th
e
main thin
g
i
s to ha
n
dle zero co
m
paris
o
ns b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
en
t
e
r
Remove
unneeded code
.
T
h
i
s
stuf
f
is hand
l
ed
in smatc
h
_
f
low
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpen
t
er
We need to be abl
e
t
o
break down (foo !=
0
) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpen
t
er
Id
e
ntify for(;;) t
y
pe
l
oops
as forev
e
r loop
s
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Add support for BUG_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Wha
t
I've seen is stuff like thi
s
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
n
ything tha
t
we don't
h
andle
is obviously
complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
e
r
Merge
bra
n
ch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
p
e
nter
Add a comment to get_variable
_
from_exp
r
_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
omment to ge
t
_variable
_
fr
o
m_e
x
pr_si
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
The nu
l
lify_path()
he
r
e is a
b
ug
.
I
t
over-writes
all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
__print_cur_sli
s
t(
)
is a useful f
u
ncti
o
n for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
ar
p
enter
I
f
you have
s
omething like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
e
r
Upd
a
te
the line numbers f
o
r each statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
C
h
a
n
ge the mer
g
e rules
for custom merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpente
r
Move SM_DEBUG to a header so every
o
n
e
c
an us
e
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an
Carpenter
A
d
d a custo
m
merge fu
n
cti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
D
an
Carpente
r
Upd
a
te the line number a
t
t
he very start o
f
the fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
enter
Change the debu
g
output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpen
t
er
Add a -
-
de
b
ug option
.
I
t
has to be the first op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carpenter
Make sure the var
i
able name is
N
U
L
L t
e
r
minated
otherwi
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean u
p
s
.
N
o
c
h
ange in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next