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
Create a check_template.c example script that looks for locking issues.
2008-10-17
Dan Ca
r
pente
r
Create a c
h
eck_temp
l
ate
.
c exam
p
le script
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpe
n
ter
Make get_all_
s
tates() n
o
t segfault e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_value() to return negative
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
a
r
penter
We o
n
ly ev
e
r
p
ass on
e
parameter into ge
t
_
v
a
l
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
Fi
x
ge
t
_
all_
s
tates() to match the
f
u
n
ction defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Car
p
enter
Remove add_state() and state_defined() defi
n
i
ti
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean up
.
Fix
lea
k
.
My p
r
oblem is that
I
d
on't unde
r
s
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Initial commit
o
f the "implied
s
ta
t
e pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpen
t
er
Doh
.
We haven'
t
been
u
sing smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
en
t
er
Get rid
of path_his
t
ory
.
I
t
's never
g
oing
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
Da
n
Carpenter
Spe
e
d up merg
e
_slis
t
now that
the s
l
ists are o
r
der
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
te
r
Insert stuff ont
o
lis
t
s in
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an unu
s
e
d function merge
_
sta
t
e_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(
*foo)
{
(
*
f
o
o)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
k
m
a
l
l
oc() and friend
s
don't always ret
u
rn
a non-
n
ull
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpen
t
er
The che
c
ks
f
rom here
g
ot merged into check_
n
u
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
pen
t
er
M
o
ve the stuff from chec
k
_dere
f
e
d
_params
.
c into check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bu
g
i
n
or_slist_stack()
.
if (a && b) wasn't
b
eing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
enter
Add a hook at th
e
end of a f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Forgot another str
i
p_expr()
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Han
d
le assignmeent
s
inside c
o
nditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
e
nt
e
r
Only print something for
a->foo and not a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpent
e
r
Ignore arra
y
d
ecla
r
ations
.
Those can't
b
e
NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpent
e
r
Make cur_slis
t
s
tatic
.
It's
only used
in
s
match_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Whi
t
e space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Ca
r
penter
Use
m
erg
e
_s
l
ist() instead of t
r
ying to han
d
le it y
o
urself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_
c
ontinues() is supposed t
o
be bas
i
cal
l
y the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New sma
t
ch_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carp
e
nt
e
r
(foo) = 1
i
s the same as foo
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpe
n
ter
Generalize stip_casts()
.
It's
now ca
l
led
st
r
i
p
_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
nte
r
Igno
r
e casts
.
foo((int *)&bar) is
t
h
e sa
m
e as
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Creat
e
d show_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
re s
t
u
ff
l
ike f
o
o
.
bar
.
We
only
c
a
re
a
b
o
ut foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
What happen
s
before is th
a
t parame
t
ers
w
ould
g
et
ass
i
gned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
M
i
ssed
a
crashing bug
in the int => struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't be
l
ieve I was
d
oing
stac
k
s wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Ca
r
p
enter
Cha
n
ged sma
t
ch
state from be
i
ng
an in
t
t
o
being pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
I want to reuse
t
he name
s
matc
h
_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Redo the nu
l
l p
a
th
t
hing
.
So long
a
s
t
here is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clea
n
up
.
Complicated is
j
ust a
b
oolean
.
Set i
t
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpe
n
ter
Merg
e
branch
'
dev
e
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre
condit
i
ons
i
nsid
e
t
h
e conditio
n
s so t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpen
t
er
T
h
e
m
ain chan
g
e here
w
as to com
p
l
e
tely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
t
e
r
Break things out
into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nte
r
Handle while
a
nd for
lo
o
ps slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Car
p
e
n
ter
I removed null
i
fy_
p
ath(
)
earlier but
t
hat was a m
i
stake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
I don't think the speci
a
l_ker
n
el
_
m
a
c
r
o
s
() funct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpen
t
e
r
Add a fun
c
tion t
o
do a strcmp() with a sy
m
bol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Rem
o
ve everyt
h
ing to do with path_id's
.
I cou
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpente
r
R
e
place the variab
l
e __negate
with
t
h
e
func
t
ion __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
ter
Small clean up
.
Move
t
h
e
p
assing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
C
r
ap
.
I meant to m
e
rge
this earlie
r
w
h
en I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Mov
e
d all the l
o
gic for handli
n
g c
o
n
d
itions in
t
o a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Oops
.
I
guess I
d
eleted the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Don't pas
s
t
h
e contents of sizeof(
)
to the clie
n
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
Improve how t
h
e
d
e
b
ug info for mergi
n
g states
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpent
e
r
The main
t
hing is to han
d
le
z
ero c
o
mparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove unne
e
ded
c
ode
.
This stuff is handled in s
m
atch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
en
t
er
We
need to
b
e able to break down (foo != 0) f
o
r
BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
te
r
I
d
e
ntify for(;;)
type loops as forever
loops
.
Thi
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add suppor
t
for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
arpenter
What I'
v
e see
n
i
s
stu
f
f like t
h
is:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
An
y
thing that
w
e
don't
h
andle is obviousl
y
complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpente
r
Merge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpen
t
e
r
Add a com
m
e
n
t t
o
get_variab
l
e_fr
o
m_
e
xpr_s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Add a
c
omment
to get_
v
ar
i
able_from_expr_s
i
mp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
The n
u
l
l
ify_path() here is a b
u
g
.
It over-wri
t
es all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpent
e
r
__print_c
u
r_slist()
is
a
useful function for debugg
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
arpenter
If you h
a
ve som
e
thing like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Update the line numbers
f
or each stat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Change the merg
e
rules for custom merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Move SM_
D
E
B
UG to a header so
e
veryone
can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a cust
o
m m
e
r
ge funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Da
n
Ca
r
penter
Upda
t
e the l
i
ne number at the very star
t
of
th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Da
n
Carpenter
Change the debug
output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n
Carpenter
Add a --debug option
.
I
t
has to be
t
h
e f
i
r
s
t option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
M
a
ke sure the var
i
abl
e
name is
N
ULL terminated
o
therwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean
u
p
s
.
No cha
n
ge in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
T
h
i
s is an off
by one error reall
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
e
nter
The sparse_in
i
t
ialize() f
u
nc
t
ion
n
ow t
a
kes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree