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 some more operations to get_value().
2009-02-14
Dan Carpenter
A
d
d some more opera
t
i
ons to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retu
r
n &merged inst
e
ad of &und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
make
g
e
t
_value() return a value for b
i
twise or exp
r
e
s
s
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Try again remo
v
ing states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert
"Remov
e
a state from it's ->pools when
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eli
m
inate a wa
r
n
i
ng
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
lean
u
p
s
.
Comments
.
R
ename sli
s
t
_
stack to named_s
t
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha
ha
.
I
sti
l
l suck at poin
t
er
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
C
l
ean
u
p
s
.
Com
m
ents
.
Re
m
ove debugging c
o
de
f
rom filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also
p
reserve
the
-
>pools in one pa
t
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up
g
et_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
R
e
move __overw
r
ite_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
T
h
er
e
was
deb
u
gging outp
u
t that ac
c
identally got committe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rp
e
n
t
er
Remove a state from i
t
's
->
p
o
ols when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
Don
'
t
delete the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y understand th
e
implications
from compound
cond
i
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
reate a st
a
te &merged
.
When w
e
merge stuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ok
.
Thi
s
t
i
me
s
m
a
t
c
h_implied _really_ doe
s
s
o
me
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Ca
r
penter
Ignore cscop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small cleanups
.
(W
h
ite space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whitespace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more
locking function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix impl
i
ed pools
s
o that at
le
a
st it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpenter
It seemed li
k
e
tracker_lis
t
would b
e
useful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Car
p
ent
e
r
Add
a
READ
M
E describi
n
g
s
match
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Add script
to find NULL dereferences
b
etween functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix u
s
age mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Check for malloc() as
well as
k
ma
l
loc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
s
e
g
fault when handling
implic
i
tly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Warn when we don't acquire
l
ocks when
c
all
i
ng certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (an
d
fail
)
to find m
e
mory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Car
p
enter
Almost pr
i
nt
a message when you come to unrea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Ad
d
check to lo
o
k
f
or double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for lock_ker
n
el()/unl
o
ck_ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an C
a
r
p
en
t
er
M
ak
e
check_
l
oc
k
ing c
h
e
ck both spinl
o
cks
and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add
a
new
f
u
n
ction sl
i
st_
h
as_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
I
f
t
here i
s
an i++
t
h
en the
value of '
i
' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add
a
new chec
k
_loc
k
ing sc
r
ipt
that
chec
k
s sp
i
nlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pent
e
r
Save the p
o
ssible states ins
t
e
a
d of just m
e
r
g
i
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Car
p
enter
Ig
n
ore emacs garb
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Merge bran
c
h 'mast
e
r'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
e
nter
We c
o
uld save
s
o
m
e memo
r
y by
n
ot
allocating new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
t
er
Add a
comm
e
nt
s
howing where
the tests are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Ca
r
penter
Th
i
s
is l
e
ft
o
ver fr
o
m October as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over
f
ro
m
October
.
Im
p
l
ied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpent
e
r
We cou
l
d save some memo
r
y
b
y not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
pen
t
e
r
Fix memory leak
.
Add
more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
A
d
d a merge hook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() doesn't ac
c
e
p
t
NULL
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpe
n
ter
re
n
ame two f
u
nc
t
ions: get
_
varia
b
l
e_fr
o
m_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nt
e
r
get
_
variabl
e
_from_expr() uses a st
a
tic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Cr
e
ate a c
h
e
ck_template
.
c exa
m
ple script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_a
l
l
_states() n
o
t se
g
faul
t
every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_va
l
ue() to re
t
urn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We only eve
r
pass
o
ne paramet
e
r
into get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_a
l
l_states() to
match the function de
f
inition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
penter
R
emove
a
dd_state()
a
nd st
a
t
e_define
d
()
defi
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix
l
eak
.
My problem is that I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tial com
m
it o
f
the
"im
p
lied state
p
ools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pen
t
er
Do
h
.
We haven'
t
been using smatch_extra 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 pa
t
h_history
.
I
t
'
s
n
ever goi
n
g to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
ter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Speed
up m
e
rge_s
l
i
st now
t
hat
t
h
e slis
t
s a
r
e ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Insert stuff onto
l
ists in a sorted orde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Delete an unused f
u
nction merge_s
t
ate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n
Carpenter
fi
x
: if (*foo)
{
(*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Car
p
enter
kmalloc
(
) a
n
d friends don't al
w
ays r
e
turn a
non
-
n
u
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carp
e
nter
T
he che
c
ks from he
r
e got me
r
ged into
check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
t
er
M
o
ve t
h
e
stuff f
r
om che
c
k_derefed_
p
arams
.
c
i
n
to che
c
k_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
Fix bu
g
in or_slist_stack()
.
if (a && b)
w
asn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Ad
d
a
hook at the en
d
of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Forg
o
t another
strip_
e
xpr() c
a
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
e
r
Handle
a
ssignmeen
t
s inside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
ar
p
enter
Only print something fo
r
a->foo and
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nter
Ignore a
r
ray declaratio
n
s
.
Th
o
se ca
n
'
t
be
NULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist
s
t
ati
c
.
It's
on
l
y
used in smatch_
s
t
a
t
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpente
r
Whit
e
space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Use merge_slist() instead of trying
to handle it y
o
ursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
__pr
o
cess_contin
u
es() is s
u
p
p
o
s
ed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
New smatch_ignor
e
.
c
fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Car
p
enter
(
foo) = 1 is th
e
same as
f
o
o = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
Ge
n
eralize stip_
c
asts()
.
It's now calle
d
strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore cas
t
s
.
foo((in
t
*)&bar)
i
s
t
he same
as
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Crea
t
ed sh
o
w
_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
ar
p
enter
Ignore stuff
like f
o
o
.
bar
.
We o
n
ly care about
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
What happens
b
efore
is that par
a
m
eters would get
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
M
iss
e
d a cras
h
ing bu
g
in the
i
nt => st
r
uct c
o
nversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can'
t
b
e
lie
v
e I was doing
stac
k
s wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpenter
Chang
e
d
s
m
a
tch state from bein
g
an int to being pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
I
want to
reuse the
name smatch_state
.
The curren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
n
t
er
R
edo the null path t
h
ing
.
So long as there is
on
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
r
penter
Clean up
.
Complic
a
ted
i
s
just
a
b
oo
l
ean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ent
e
r
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save t
h
e pre con
d
itions in
s
ide
the conditions
s
o that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
T
h
e main change
here
w
as to completely
re
w
rite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Brea
k
thin
g
s out into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Handle
w
hile and fo
r
loop
s
slightl
y
bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
m
o
ved nullify_path() earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
I d
o
n't t
h
ink the
s
pecial_kernel_macro
s
()
funct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next