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 Carpenter
Crea
t
e
a check_template
.
c examp
l
e
s
cript t
h
at look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Make get_all
_
states() not s
e
g
f
aul
t
every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_valu
e
()
t
o return neg
a
tive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
ent
e
r
W
e o
n
ly ever pass one
p
arameter into get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
F
ix ge
t
_all_
s
tat
e
s() t
o
m
atch th
e
function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
ov
e
a
d
d
_
s
tat
e
()
a
nd state
_
defined() definiti
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Car
p
enter
Clean
up
.
Fix leak
.
My proble
m
is that I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Ca
r
pen
t
er
Initia
l
commit of
t
he "i
m
pli
e
d state poo
l
s" stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
D
oh
.
We haven't been usi
n
g smatch_ext
r
a for a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Get r
i
d of path_hist
o
ry
.
It'
s
ne
v
er going t
o
be
us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rp
e
nter
Make goto_s
t
ack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Sp
e
ed up mer
g
e_slist
n
ow that the sl
i
sts
are orde
r
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpen
t
er
Insert stuff onto lists in a sorte
d
or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Delete
a
n unuse
d
fu
n
ct
i
o
n
merge_state_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpente
r
f
i
x:
if (*foo) {
(*foo)-
>
bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
kmallo
c
() an
d
friends don't
a
lways ret
u
rn a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpen
t
er
T
he
c
h
ecks from
h
ere got
merged
i
nto che
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
arpen
t
er
Mo
v
e the stuff from check_dere
f
e
d_param
s
.
c
i
nto check_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Ca
r
pente
r
F
i
x bug in or_slist_stack()
.
i
f
(a && b) wasn'
t
be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carp
e
nte
r
Add a hook a
t
th
e
e
n
d o
f
a
fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
o
rgot anoth
e
r strip_e
x
pr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Ha
n
dle assignm
e
ents i
n
side cond
i
tions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print someth
i
ng
for a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
enter
Ig
n
ore array declarations
.
Those ca
n
'
t
be NU
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
a
k
e cur_slis
t
static
.
It's on
l
y u
s
ed in sma
t
ch_
s
tates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Whi
t
e space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
m
erge_sli
s
t()
i
nste
a
d of trying t
o
h
a
ndle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carp
e
nter
__process
_
c
o
nt
i
nues() is
supposed to b
e
basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpen
t
er
New smatch_ignore
.
c fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Car
p
e
n
ter
(foo)
=
1
is
t
he
s
ame as
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_
c
asts()
.
I
t
's now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
e
nter
Ignore casts
.
foo(
(
i
n
t
*
)&bar
)
is the same
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_
s
tate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ig
n
ore st
u
ff
l
ike foo
.
b
a
r
.
W
e
only care abou
t
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
W
h
a
t
ha
p
pen
s
befor
e
is that parameters
w
ould get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pent
e
r
Mi
s
sed a crashing bug
i
n the int => struc
t
co
n
v
e
rsion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpen
t
er
I can
'
t believe I was doing stac
k
s
wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch state
from being an i
n
t
to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Ca
r
penter
I want t
o
reuse
the name smatc
h
_s
t
ate
.
T
he curre
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpente
r
R
ed
o
the null path thi
n
g
.
So l
o
ng as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Cl
e
an
up
.
C
omplic
a
ted is just a b
o
olean
.
Set it t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
erge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Save
the pre conditions
i
nside the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
The
main change here was to completely r
e
write how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
Bre
a
k thing
s
out in
t
o functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
a
r
p
enter
Hand
l
e
while
a
n
d for loops slightly b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
Carpenter
I
remo
v
ed
nullify_path(
)
e
arlier bu
t
that
was a m
i
s
tak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
I do
n
't think the spe
c
ial_ke
r
nel_ma
c
ros() func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Add a funct
i
on to
d
o a strc
m
p() wi
t
h a
s
ymbol
name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpen
t
e
r
R
e
move
e
v
e
rything to do wit
h
path_i
d
's
.
I co
u
l
d
n
't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
R
e
place the variab
l
e __negate with
t
he funct
i
on
__negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Small cle
a
n up
.
M
ove th
e
p
a
ssing
t
he wh
o
l
e
c
ondition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Crap
.
I m
e
ant to merge
t
h
i
s
e
a
rlier when
I
di
v
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carp
e
nter
A
d
d a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
M
oved
a
l
l the logi
c
fo
r
handl
i
ng condi
t
ion
s
in
t
o a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Oops
.
I gu
e
s
s
I deleted the w
r
o
n
g list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
Don't pass the contents of sizeof() t
o
the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Ca
r
penter
I
m
pr
o
v
e how the debug info for merging states get
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an
Carpenter
The main thing i
s
to h
a
n
d
le
z
ero comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
arpenter
Remov
e
unneeded code
.
This st
u
ff is ha
n
dled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
W
e
need to be able
t
o b
r
eak dow
n
(foo != 0)
f
or BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Identify for(;;) type
loops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpen
t
e
r
Add suppor
t
for
BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What
I
'
ve
seen
i
s stuff l
i
ke this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpenter
Anything that w
e
don'
t
han
d
le is o
b
v
iou
s
ly compl
i
cated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Me
r
ge br
a
nch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
A
d
d a c
o
mment to get_var
i
a
b
le_from
_
ex
p
r_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
nter
Add a comment
t
o get_
v
a
r
iable
_
f
rom_expr
_
si
m
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Car
p
enter
The n
u
llif
y
_
pa
t
h() here is a bug
.
It over-w
r
ites all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
p
e
n
t
e
r
__pri
n
t_cur
_
slist() is a u
s
eful
func
t
i
on for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If
y
ou h
a
ve something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Upda
t
e th
e
l
i
n
e
nu
m
bers for
each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Change
the merge rules for
cus
t
om mer
g
e scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Move SM
_
DEB
U
G
t
o a hea
d
er so
e
veryo
n
e
can us
e
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
A
dd
a
c
ust
o
m
m
erge fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpenter
Update
the line number at the very star
t
of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpent
e
r
Change the debug output a
b
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Da
n
Carpenter
Ad
d
a --debug option
.
It h
a
s to be t
h
e first op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make sur
e
the va
r
iable name is NULL termi
n
ated
o
t
h
erwi
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpente
r
Small clean ups
.
N
o change in beha
v
ior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
an
Carpenter
This is an of
f
by
o
ne error
really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_initialize() function now takes
a
filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree