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 Carpe
n
ter
C
r
e
a
te a check_template
.
c ex
a
mple script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make get_all
_
sta
t
es() not segfa
u
lt e
v
ery time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to return
n
egative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
a
rpen
t
er
We only ever pass one para
m
eter into get_
v
al
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix ge
t
_all_s
t
ates() to match the fu
n
ctio
n
definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_st
a
te
(
) and st
a
te_defined()
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpent
e
r
Clean up
.
Fix leak
.
My problem is that I
d
on't understa
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Init
i
al
c
ommit
of t
h
e "implie
d
state pools"
s
t
u
ff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
haven't
b
ee
n
using
s
matc
h
_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get
rid of path_history
.
It's n
e
ver going
t
o
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpente
r
Make go
t
o_stack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_slist now that
t
he s
l
is
t
s are order
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
Insert stuff onto lists i
n
a
s
orted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
D
e
lete
an u
n
used function merg
e
_
state_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix: i
f
(*foo) { (*foo)->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Car
p
enter
km
a
lloc() and friends don't always r
e
turn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The chec
k
s from here got mer
g
ed into check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
pente
r
Move the
s
t
u
f
f
fro
m
chec
k
_dere
f
e
d
_params
.
c into
c
h
eck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carp
e
nter
Fix bug in or_s
l
ist_stack()
.
if (a &&
b
) wasn'
t
being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Add a hook
at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpe
n
ter
Forgot another strip_
e
xpr()
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Han
d
le assignmeents insid
e
con
d
ition
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carp
e
nter
Only print some
t
hing fo
r
a
->
f
oo and
not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpente
r
Ignore arra
y
declaratio
n
s
.
Tho
s
e can't be NULL obvio
u
sl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
a
ke c
u
r_slist
s
tat
i
c
.
It's only used
i
n smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Whit
e
space chan
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_
s
l
i
s
t
()
instead
o
f
trying
t
o hand
l
e it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__
p
ro
c
ess_co
n
t
i
nues() is supposed to be
b
asically th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpenter
N
ew smat
c
h
_
ig
n
ore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
(
fo
o
) = 1
is the sam
e
as
foo
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpent
e
r
Gener
a
lize stip_casts()
.
It'
s
now
c
a
l
l
ed strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pente
r
Ig
n
ore casts
.
foo((int *)&bar) i
s
the
s
am
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
D
a
n
C
a
r
p
enter
Ignore
stuff l
i
ke f
o
o
.
bar
.
We only care
about
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
penter
What happens
befor
e
is th
a
t pa
r
a
meters would get
a
ssigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed
a
c
r
ash
i
ng b
u
g in the
i
nt => stru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
n
t
er
I c
a
n'
t
believe I was
doing stacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
ente
r
Changed smatch st
a
te from being
a
n in
t
t
o bei
n
g pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arp
e
nter
I
w
ant to reuse the name
s
match
_
state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Redo
the null path t
h
ing
.
S
o
long as
t
h
ere is on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carp
e
nter
Clean up
.
C
o
m
plicated is just a boolean
.
Set it t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are compl
i
c
at
e
d so they shou
l
dn
'
t
b
e retur
n
ed by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
w
e call set_s
t
ate from i
n
s
i
d
e a condition t
h
e
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nt
e
r
If
t
he
po
i
nter is initialized to non-nu
l
l
t
hen set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
e
nter
i
g
n
ore the smatch
binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpenter
When we
m
e
rge 2 slists we
need to dea
l
with the
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Ca
r
p
e
nter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
pen
t
er
Add nullify the p
a
th when you
have f
o
r(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'ls'
i
n
to ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Merge bra
n
ch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Lo
t
s of do w
h
i
le(0) loops don't call brea
k
so
it d
o
e
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpe
n
te
r
Re
m
ove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carp
e
nter
Fix o
r
_slist_stack()
.
B
efore it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
enter
crap crap cr
a
p
.
do no
t
us
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
er
Clea
n
u
ps and add so
m
e __unnullify_path
s
tuff
.
Hop
e
f
ull
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
er
Small cleanup
.
g
oto_
s
t
a
ck should
o
nly
be u
s
ed
in
s
match_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
penter
C
le
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Ca
r
penter
Fi
x
bug s
a
ving
the false_only
stack
.
Before
c
ode like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the s
t
a
rt of
the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
r
p
e
nter
Fix
overwrite_slist
(
) so
i
t
t
a
kes
a poin
t
e
r to a
pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Carpenter
Make
smatch_extra depend on sm
a
tc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move is_zero
(
) to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a bi
g
b
ug
.
get_state_slist(
)
wa
s
always getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpenter
M
erge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Save the pre
c
onditions in
s
ide the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
The
main
change here was
t
o completely rewrite
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k thi
n
gs ou
t
i
n
to
f
u
nctions a bit
.
Cl
e
a
n ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Handle w
h
i
l
e and for l
o
ops slightly
b
e
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carp
e
nter
I removed nulli
f
y_path()
e
arlier
bu
t
that was a mis
t
ake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpen
t
er
I d
o
n't think
t
he speci
a
l_k
e
rnel
_
macros
(
) function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
A
d
d a functi
o
n to do a s
t
rcmp() with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pen
t
er
Remov
e
everything to do w
i
t
h p
a
th_id's
.
I
c
ouldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
R
eplace
th
e
v
a
riable __negate with
the
f
uncti
o
n __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Sm
a
ll clean up
.
M
o
ve the passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpen
t
er
Crap
.
I
m
eant
to
merge
thi
s
ea
r
l
ier
w
hen
I
divid
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
d
d
a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
Mo
v
ed
a
ll the
logic
for
h
a
n
d
ling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Oops
.
I
g
uess I
d
e
leted
th
e
wron
g
l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Don't
p
a
ss
t
he contents of size
o
f() to
t
he client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an
Ca
r
pe
n
ter
Improve how the de
b
ug info for mer
g
i
ng states
g
ets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
The main t
h
ing is to h
a
ndl
e
zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpente
r
Remove unneeded
c
ode
.
This stu
f
f
i
s
h
andled in smatch_
f
low
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpen
t
er
W
e ne
e
d to be able t
o
break d
o
wn (foo != 0)
f
or BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
a
r
p
ente
r
Identify for(;;) t
y
pe loo
p
s as forev
e
r
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add s
u
pport for BUG_O
N
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Wh
a
t I've seen
i
s stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Anyt
h
i
n
g t
h
a
t we don't handle is ob
v
ious
l
y co
m
plicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a co
m
ment to get_variable_fro
m
_expr_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Ad
d
a comment
t
o get_variabl
e
_from
_
expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
The
nullify_path() here
is a
b
ug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
__print_cur_slis
t
() is a useful function fo
r
d
e
buggin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpente
r
If you have something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Car
p
e
nter
Update
t
he
li
n
e nu
m
b
ers for ea
c
h statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
a
rpe
n
ter
Change the me
r
ge
r
ules for c
u
stom m
e
rge scripts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
M
o
ve SM_
D
E
B
U
G
to a
he
a
der s
o
ev
e
ryone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
p
e
nter
A
d
d
a
custom m
e
rge fun
c
ti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan
Carpen
t
er
Update the line numb
e
r a
t
the very st
a
rt of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n
C
a
rpenter
Change the
d
ebug output a bi
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next