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
Make --known-conditions an option.
2009-02-18
Dan Ca
r
penter
Re
m
o
v
e
c
all to alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the merge_hoo
k
() ins
t
ead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Oops
.
Mea
n
t to commit th
i
s
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpente
r
Add
the m
e
rge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Cl
e
ar the returns
l
ists at
t
he
end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Move the
implic
a
tions che
c
king to after t
h
e scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
c
ompletely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpent
e
r
Add
s
om
e
functions to handle t
r
acker
l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
D
o
n'
t
s
e
gfault
all the
t
ime when checkin
g
fo
r
ev
e
r
lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Te
s
t
t
o se
e
if we are cat
c
hing cross funct
i
o
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possible stat
e
s and r
e
move the m
e
rge_ho
o
k
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
"
w
hile ((1)) {" is a
f
orever loop
.
Call s
t
ri
p
_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pent
e
r
fixes to the -
>
possible
s
etting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
e
r
Merg
e
bran
c
h 'mast
e
r' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Add
validat
i
on script for
c
heck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
a
n up
.
new
-
>p
o
ssible
i
s alwa
y
s
nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
arpente
r
Oops
.
-
>
p
ossibles wasn't ge
t
ting set corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpent
e
r
Use str
i
p
_expr() in split_condition
s
() inste
a
d repr
o
ducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
m
ore
opera
t
io
n
s to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Ret
u
r
n
&
merged
inste
a
d of &und
e
fi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpent
e
r
make get_val
u
e(
)
return a value f
o
r
b
i
twis
e
or e
x
p
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
t
e
r
T
r
y a
g
ain removing s
t
ates from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nt
e
r
Reve
r
t "R
e
move
a st
a
t
e fr
o
m it's ->po
o
ls
wh
e
n
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Eliminate a warn
i
n
g
.
P
r
o
b
ably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
Rename slist_stack to
n
amed_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a
ha
.
I still suck at point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
a
n
u
p
s
.
Commen
t
s
.
Remove de
b
ugging code fr
o
m filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
C
le
a
n up
.
Also preserve
the ->poo
l
s in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean up ge
t
_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
R
e
move __overwrit
e
_cur_
s
l
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ther
e
was
debugging
outpu
t
that accid
e
nt
a
lly got committ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove
a
state from it's ->pools when set
_
state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don't
d
ele
t
e the ->
p
oo
l
s on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Try understand the impli
c
at
i
o
n
s from compound con
d
it
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Crea
t
e
a state &merge
d
.
When we merge stuff it is
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time
s
mat
c
h
_
implied _really
_
does
so
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignor
e
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an C
a
rpenter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d
some more loc
k
ing functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
F
ix implied poo
l
s
s
o that at le
a
st i
t
does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
seemed lik
e
tr
a
ck
e
r
_l
i
st woul
d
b
e
u
s
eful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README desc
r
i
bing s
m
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to
f
ind NULL dereferences between func
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
r
penter
Fix
u
sage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
C
h
eck for
ma
l
loc() as we
l
l as kmalloc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix s
e
gfault
when hand
l
i
ng implici
t
ly
d
ecl
a
red f
u
ncti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
penter
Warn
when we do
n
'
t
acquire locks wh
e
n calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
a
rp
e
nter
Try
(and
fail) to find mem
o
r
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
r
p
enter
A
l
most print a message when you
c
o
m
e to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add
check to look
f
or
d
o
uble
fre
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
i
ng for lock_ke
r
nel()/unlock
_
ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ente
r
M
ake ch
e
ck_l
o
c
k
ing
check both spinl
o
ck
s
and sema
p
hores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new f
u
nction sli
s
t_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If the
r
e is a
n
i++
t
hen the value
o
f '
i
' is undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add a
n
ew chec
k
_locking scr
i
pt
t
hat
c
he
c
ks spinl
o
ck
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
S
ave
t
he possible states i
n
s
t
ead of just merging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ig
n
ore emacs garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an C
a
rpe
n
ter
Merge branch 'm
a
s
t
er
'
into p
o
ols5
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
Add a comment
s
howing where the
tests
a
r
e s
u
ppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
This
i
s left over from Oc
t
ober as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_possib
l
e_
s
tates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Stuf
f
l
ef
t
o
v
er f
r
om Octobe
r
.
Implied pools w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could sav
e
some memory by not all
o
catin
g
n
ew
m
emor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
a
rpente
r
Fix memory leak
.
A
dd more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nter
Add
a merge
h
ook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arp
e
nter
strcmp()
d
oesn't accept NULL argument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
e
r
renam
e
two functions: get_variable_fro
m
_expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_va
r
iable_from_e
x
p
r
() uses a static buf
f
e
r an
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
Create a check_template
.
c
example sc
r
ip
t
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
M
a
ke get_all_s
t
ate
s
() not se
g
f
a
ult e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
i
x get
_
value() to return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We only ever pass one parameter
i
nto get
_
v
a
lue
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
F
i
x
g
e
t
_all_states() to match the
f
u
n
ction de
f
in
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Remove ad
d
_s
t
at
e
() an
d
state_d
e
fined() d
e
finition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Ca
r
penter
Clea
n
up
.
Fix
le
a
k
.
M
y
problem is
t
hat I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpe
n
ter
I
n
itial
c
ommit of
t
he "i
m
plied s
t
at
e
pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
W
e haven't
been usi
n
g smatch_extr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get
r
id of pat
h
_
history
.
It's nev
e
r going
t
o
be
u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
ar
p
e
nter
Mak
e
goto_stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Speed up merge_s
l
ist n
o
w
that the slists are
orde
r
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
Insert stuff onto lists in a so
r
ted or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
D
e
lete an unused f
u
nction
merge
_
state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
pent
e
r
f
i
x: if (*
f
oo
)
{ (*foo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
n
ter
kmalloc() and frie
n
d
s
do
n
't
a
l
w
a
ys
r
e
t
u
rn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpente
r
The
c
hecks from he
r
e
g
ot mer
g
ed int
o
che
c
k_
n
ull_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpen
t
er
Move the stuff
f
rom che
c
k
_
derefed_para
m
s
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
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 Carpe
n
ter
Ad
d
a
hoo
k
at the end
o
f a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Forgot ano
t
her stri
p
_exp
r
() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assi
g
nmeents insid
e
conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only print
s
omething for a-
>
foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore ar
r
ay decl
a
r
a
tions
.
Those can't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
penter
Make cur_slist s
t
atic
.
It's o
n
ly use
d
in smatch
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpenter
White sp
a
ce changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Car
p
e
n
t
e
r
Use merg
e
_slist() instead of tryi
n
g to handle
it
y
ourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues() is supposed
t
o be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nte
r
Ne
w
sm
a
tch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo) = 1 is
the same a
s
f
o
o
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
G
e
neralize stip_cast
s
()
.
It's n
o
w called s
t
rip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next