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
Add a new check_locking script that checks spinlocks.
2009-02-02
Dan Carpenter
Add a new check_locking script
tha
t
c
hec
k
s
spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpente
r
Save th
e
p
o
ssi
b
le
states i
n
stead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
I
g
nor
e
e
macs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Merge br
a
nch 'master' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some m
e
mory by not allocati
n
g
new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add
a
c
omment showing where
the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
This
i
s
l
eft over
from Oc
t
ober
a
s part of
the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get_poss
i
ble_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Stuff left over from October
.
I
m
p
lied
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
enter
We c
o
uld save
so
m
e
memory
b
y not a
l
loc
a
ting new
memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Ad
d
more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpe
n
t
er
Add a merge hook
.
H
a
ndle the situations
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
strcmp
(
) doesn
'
t accept N
U
LL
a
rgumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpente
r
rename two f
u
n
c
tions: get_variable_from
_
expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carpe
n
ter
get_v
a
riable_from_exp
r
() uses a static buff
e
r
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
t
e
r
Create
a
c
h
ec
k
_template
.
c examp
l
e
s
cript that
l
o
oks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make get_all_
s
tates() not
s
e
g
fault every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
a
rpenter
Fi
x
g
e
t_val
u
e()
t
o r
e
turn
n
e
gative
v
alues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
onl
y
ever
pass one parameter in
t
o get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_a
l
l
_
states() to ma
t
ch the funct
i
on
d
e
fin
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove add_state() and state
_
defined()
defin
i
t
i
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Clean up
.
Fix leak
.
My probl
e
m is t
h
at I don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial
c
ommit of
the "implie
d
state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
o
h
.
W
e
h
aven
'
t been using sma
t
c
h
_e
x
tr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Get rid
o
f
path_hi
s
t
o
ry
.
I
t
's never going t
o
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Car
p
e
nte
r
Make goto_sta
c
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpen
t
er
Spee
d
up merge_sl
i
st now th
a
t the slists are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Ca
r
pen
t
er
Insert stuff onto lists in
a
s
o
rted o
r
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
p
e
nter
Delete an unused fun
c
tion merge_state_
s
tack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
kma
l
loc() and
f
riends
d
on't
a
lways r
e
t
u
r
n a non-n
u
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpen
t
er
The checks
f
rom h
e
re got merged in
t
o
chec
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the
s
tuff from check_derefed_params
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
b
u
g
in
or_slist_stack()
.
if
(
a
&& b) wasn'
t
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
enter
Add
a hook at t
h
e end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Forgot another strip_expr()
c
all
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Handle as
s
ignme
e
nts in
s
id
e
c
o
nditi
o
ns bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
On
l
y print some
t
hing f
o
r a->foo an
d
not a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ig
n
ore
a
rray
d
eclarations
.
Th
o
s
e c
a
n't be N
U
LL
o
bv
i
ou
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpenter
Make
c
u
r_slist
s
t
atic
.
It's on
l
y us
e
d in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White
s
pace changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
se merge_
s
list() instead of tryi
n
g
to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
pen
t
e
r
__pro
c
ess_
c
o
ntinues()
i
s
su
p
pos
e
d to be basi
c
ally the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
match_ignor
e
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) =
1
is the same
a
s foo
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
ent
e
r
Ge
n
eralize sti
p
_casts()
.
It's now
called
s
trip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
I
gnore casts
.
foo((int
*
)
&b
a
r)
i
s the same as
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
te
r
Created s
h
ow_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like foo
.
bar
.
We only
c
are a
b
out
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
What
h
appens b
e
fore
i
s
that parameters would
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
ar
p
enter
Missed a cra
s
hing
b
ug in t
h
e int
=
> struct conve
r
sio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I
ca
n
't believe I was doing
s
t
a
cks wrong
this wh
o
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Change
d
smatch stat
e
f
r
om bei
n
g an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
I w
a
nt to reuse th
e
name s
m
atch_stat
e
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
Redo
the null path thing
.
So long as th
e
re i
s
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Clea
n
u
p
.
Complicat
e
d
i
s
just a boolean
.
Set i
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Car
p
enter
Merge branch '
d
ev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre conditi
o
ns i
n
side
t
he c
o
nd
i
tions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpe
n
t
e
r
The
m
ain chan
g
e here
w
as to complet
e
ly rewrite
h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
r
eak things o
u
t int
o
f
u
nction
s
a bit
.
Cle
a
n up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Handle while and for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
arpenter
I remov
e
d nu
l
lify
_
pa
t
h() earlier but that w
a
s a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
I don't think the
s
pe
c
ial_k
e
rnel_m
a
cros() fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Add a funct
i
on to do
a strcmp() with a symbol
n
am
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rem
o
v
e
everything
to do with p
a
th_id's
.
I cou
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
R
eplace th
e
v
a
riable
__negate with the funct
i
on __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Small clean up
.
Mo
v
e the pas
s
ing t
h
e whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
C
rap
.
I meant to merge this earlier when I
divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Add
a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Moved all the lo
g
ic for handling condition
s
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
O
o
p
s
.
I guess I del
e
ted t
h
e wrong
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass
t
he contents o
f
sizeof
(
) to
t
he client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carp
e
nter
Im
p
rove how the de
b
ug
i
nfo for
mergin
g
sta
t
es gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main thing is to han
d
le zero comparisons
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
R
emo
v
e
u
n
n
e
eded code
.
This stuff is handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
We
n
e
e
d
to be able to break down (foo != 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
arpenter
Ide
n
tify f
o
r(;;
)
t
y
pe loops
as
for
e
ver loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add support
f
or BU
G
_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
hat I
'
ve see
n
is
stu
f
f
like
this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anyth
i
ng tha
t
we don't hand
l
e
is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge br
a
nch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add a comment to get_variable_
f
rom_expr_s
i
mp
l
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
Add a comment to get_
v
ariab
l
e_fr
o
m_ex
p
r_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
The nullify_path() 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 Carpen
t
er
__print_
c
ur_slist() is a useful
function for
d
ebugg
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
If you have
somet
h
ing like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Up
d
ate the l
i
ne numbers for each
st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Chang
e
the
m
erge ru
l
es for cust
o
m m
e
rge sc
r
ip
t
s
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
M
ove SM_D
E
BUG to a header
so eve
r
yone can u
s
e it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
pent
e
r
Add a custom merg
e
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Car
p
ente
r
Update t
h
e line nu
m
b
e
r
a
t th
e
very start of
t
h
e function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Ca
r
pent
e
r
Change the d
e
b
u
g outpu
t
a
b
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Carpenter
Add a -
-
debu
g
option
.
It has to be the first op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
n
t
er
Make
s
u
r
e the va
r
ia
b
l
e
name is NULL terminated otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpen
t
er
Sma
l
l cl
e
an
ups
.
N
o c
h
ange i
n
behavio
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
T
his i
s
an off
by one err
o
r really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
The s
p
arse_initi
a
liz
e
() function now tak
e
s a
fil
e
l
i
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree