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
Ignore cscope files.
2009-02-10
Dan Ca
r
penter
Ignore csco
p
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Small cle
a
nups
.
(White
s
p
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Wh
i
te
s
pace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d some m
o
re locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix imp
l
ied
pools so that at least
it does
s
om
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
r
penter
I
t
seemed like track
e
r_list would b
e
useful i
n
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a README
d
escribin
g
sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
A
d
d script to find
N
ULL de
r
efe
r
e
nces
b
e
t
we
e
n func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nter
Check for
mall
o
c() as well as
k
malloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpe
n
t
er
F
i
x segfault when
h
andling
implici
t
l
y
declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
C
a
rpenter
Warn when
w
e don't acquire l
o
cks w
h
e
n calli
n
g certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (an
d
fail)
t
o
f
i
n
d m
e
mory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Car
p
enter
Almost
print a message when you
come to unreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add check to look
f
o
r doubl
e
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
A
d
d ch
e
cking for lock_ker
n
el()/unlo
c
k_ke
r
nel(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make check_locking
check both spi
n
lo
c
ks and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new func
t
ion slist_has_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If t
h
ere i
s
an i++ then
t
h
e
v
alue of
'
i' is unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a new check
_
l
o
cki
n
g script that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possibl
e
sta
t
es instead of
jus
t
merging
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore e
m
acs
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pen
t
er
Merge bra
n
ch
'master' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
We c
o
u
l
d save som
e
mem
o
ry b
y
not allocating new 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 t
e
s
t
s are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
This is left ov
e
r from October as part of the
i
mpli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add ge
t
_possib
l
e_
s
tates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
ter
Stu
f
f left over
f
ro
m
Octob
e
r
.
Implied
p
o
ols wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some m
e
m
ory by not all
o
catin
g
new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix me
m
ory leak
.
A
d
d
mor
e
com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
A
d
d
a
me
r
ge
h
ook
.
Handle the situations
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Car
p
e
n
ter
strcm
p
(
)
doesn'
t
accept NUL
L
ar
g
um
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
r
en
a
me two funct
i
ons: ge
t
_variable_from_expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carp
e
nt
e
r
ge
t
_
v
ari
a
b
le_from
_
expr() uses a st
a
tic buf
f
er
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create
a ch
e
c
k_templat
e
.
c example
s
cript that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
M
ake get_all_sta
t
es() no
t
segfa
u
lt every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix get_value() to return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pa
s
s
one paramet
e
r
i
n
to get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ente
r
Fix
g
et_all
_
s
tates()
t
o matc
h
t
he funct
i
o
n
defi
n
ition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
m
o
ve add_stat
e
() and
sta
t
e_defined()
d
efinitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Cl
e
an up
.
Fix leak
.
My p
r
oblem is that I don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Initial commi
t
of the "implied stat
e
pool
s
"
s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We haven't been usi
n
g smat
c
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 never
goi
n
g to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
ent
e
r
M
a
k
e go
t
o_stack s
t
a
ti
c
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Sp
e
ed up merge_slist n
o
w
t
h
at the slists
are or
d
ered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inse
r
t stuf
f
ont
o
lists in a
s
o
rted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Dele
t
e an
u
nused function me
r
ge_state_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpenter
fix: if
(
*foo) { (*
f
oo
)
->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
km
a
lloc() a
n
d friends don't al
w
a
y
s
r
e
turn a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carp
e
nte
r
The che
c
k
s f
r
om her
e
g
ot merged
into
che
c
k_n
u
ll
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Mo
v
e
t
he stuff
f
ro
m
check_der
e
fed_p
a
ram
s
.
c into chec
k
_null_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Fix bug 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 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 Carpenter
F
orgot
a
nother
strip_expr() ca
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handl
e
as
s
ignmeent
s
inside
c
on
d
ition
s
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
O
n
ly
p
r
i
n
t
someth
i
n
g
for a
-
>foo
a
n
d not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignor
e
array declarati
o
ns
.
Those
c
an'
t
be NU
L
L obvi
o
usly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carp
e
nter
Make cur_slist static
.
It's only used in
smat
c
h_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
r
p
enter
White space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpenter
Use m
e
r
ge_s
l
ist() instead of trying to h
a
ndle it you
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
roces
s
_
c
ontin
u
es() is s
u
ppos
e
d to be basically
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
smatc
h
_ignore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rpente
r
(foo) = 1 is
t
he same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpen
t
e
r
Generali
z
e stip_casts
(
)
.
It's now calle
d
s
trip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
casts
.
foo
(
(i
n
t *
)
&bar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpent
e
r
Create
d
show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
g
nore stuff lik
e
f
o
o
.
bar
.
W
e
o
n
ly c
a
r
e
abou
t
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpent
e
r
What h
a
p
p
ens before is that
p
a
r
ameters w
o
uld get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpen
t
e
r
Missed
a
crash
i
n
g bug in the
i
nt
=
>
struct
c
o
nversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I was doing stacks wrong this wh
o
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
C
h
ang
e
d smatch state from being an
i
n
t to b
e
i
ng
p
o
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
I want
to reus
e
t
he name sma
t
ch_state
.
T
he current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
R
edo the null
p
a
th thing
.
So
long as there is
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Cl
e
a
n
up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Ca
r
pen
t
er
M
e
r
ge branch 'deve
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
S
a
v
e t
h
e pre
cond
i
tion
s
inside th
e
condition
s
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
T
he main change here was to completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpen
t
e
r
B
reak things ou
t
into fun
c
ti
o
n
s
a bit
.
Clean
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle whil
e
and for loops slightly
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpent
e
r
I
removed nullify_
p
ath
(
)
earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
I
don't thi
n
k
th
e
special
_
k
e
rn
e
l_macros()
functio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Add a function to do
a strcmp
(
) with
a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
Remove e
v
e
r
yt
h
ing to
do
w
ith
p
ath_i
d
's
.
I
couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
n
t
er
Replace the v
a
riable
__negate
wit
h
t
he
f
un
c
tion __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Small clean up
.
Move the passing the whole
c
ondition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Crap
.
I meant
t
o
me
r
ge t
h
is e
a
rlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carp
e
nter
Ad
d
a
c
omment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Car
p
enter
Moved all the logic for
h
a
n
d
ling
condi
t
ions
i
nto a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Oops
.
I
gues
s
I
d
elete
d
the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Don't pa
s
s the
cont
e
nts of sizeof() to
t
he client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
Improve
h
ow the debug info
for
mergin
g
states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
The m
a
i
n thing
is to handle
z
e
r
o
c
omparis
o
n
s
bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove u
n
n
eeded cod
e
.
This stuff is ha
n
dled i
n
smatch_
f
low
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Car
p
enter
We nee
d
to be able to break
d
own (f
o
o != 0) for
BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Ide
n
tify fo
r
(;;) t
y
pe loops as for
e
ver
lo
o
p
s
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
h
at I've seen
is
stuff lik
e
this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpen
t
er
A
n
ything that
we don't ha
n
dle is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
ar
p
enter
Merge branch
'devel'
commit
|
commitdiff
|
tree
next