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 new free_stack() function.
2009-03-02
Dan C
a
rpenter
Add new
f
ree_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
rpenter
r
e
name de
l
_s
l
ist_stack()
t
o free_stack
_
and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pen
t
e
r
ren
a
m
e
del_sl
i
st() -> fre
e
_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Free all the sm_sta
t
e
s
a
t
th
e
end of each fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add
-
>po
s
sib
l
e to __print_slis
t
() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n C
a
rpenter
Save all the
p
o
ols a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
A
dd and fix smatch implied te
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Preserve
the ->pools
a
n
d
->possible f
o
r
imp
l
i
e
d stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
t
e
r
Fix handling mutually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
te
r
G
et rid of redun
d
ant h
a
rmonize_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add func
t
ion __
s
e
t
_
t
rue_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
O
n
ly
s
ave an implied
list if a state has been mo
d
ified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
Only implied states that a
r
en't al
r
eady true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carp
e
nter
Take a paramete
r
i
nstead of as
s
um
i
ng the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
pe
n
ter
Don't check that there are both tr
u
e
a
nd
f
a
lse states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpente
r
This ch
e
ck_order() seems supe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Ne
w
function ha
r
m
o
n
ize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call
_
_spl
i
t_e
x
p
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
rem
o
ve unneeded calls
to __use_cond_true_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Ca
r
pen
t
er
Do
n
't
s
et the impl
i
ed state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_tracker() accessible
to outside file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
All the states are implied not just uniqu
e
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Impr
o
ve l
o
c
k check outpu
t
.
Add
m
o
re validatio
n
samp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
f
or
down_inte
r
ruptible
(
) and fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
C
ar
p
en
t
er
Fix the Unclear l
o
cking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on double lock/unl
o
ck
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear loc
k
i
ng me
s
s
a
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
i
f ((1)) {
.
.
.
is a known
_
condition_true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Add support for those funny gcc ({
.
.
.
}) block st
a
te
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Handle
d
ecl
a
rations inside
switch statement
b
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cle
a
nup i
s
_zero
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
A
dd known_condition_fa
l
se()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
er
Fix handling of co
n
t
i
nue insi
d
e do
while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
s
et let
people set
sta
t
es for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
mall cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle the i
t
erators correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if
(
a
?
b:c) {
.
.
.
"
ternary co
n
ditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support f
o
r _
s
pin
_
trylock() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
if (a || b)
{
a
-
>foo; shou
l
d print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
This
p
rints out
e
rror messag
e
s a
l
l the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
enter
A
s
signment alw
a
ys sets
&
isf
r
e
e
d
to
something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print c
r
oss_
f
unc
e
r
rors if the called fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call
to alloc_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Car
p
e
n
te
r
C
a
ll the merge_hook
(
)
instead of setting
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
O
ops
.
Meant to
commit th
i
s earli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Ad
d
the
merge_hook()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arp
e
nter
Clear the retur
n
s lists at the end of each
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
o
ve the imp
l
ications checking to a
f
ter
the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Rewrite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
Add some functions t
o
handle tracker list
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Don't segfault all the
time
w
he
n
chec
k
ing foreve
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Test to see if we are catching cro
s
s function de
r
ef
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
pen
t
er
Us
e
t
he ->pos
s
ible sta
t
es and remove the merge_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
"wh
i
le ((1))
{
" is a
fore
v
er
loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
to the -> possib
l
e setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Merge
branch '
m
aster' i
n
to
null_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add valid
a
tion scrip
t
for check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpente
r
Clean up
.
new->possi
b
l
e
i
s
always
n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
O
o
ps
.
->p
o
ssibles was
n
'
t
g
e
t
ting se
t
c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpent
e
r
Use
s
trip_expr()
i
n split_conditions() i
n
stead repro
d
ucing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &m
e
rged
i
nstead of
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return
a
value
for bitwise or expressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Ca
r
p
e
nter
T
ry ag
a
in removing sta
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "R
e
move a state fr
o
m it's -
>
pools whe
n
set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
E
l
i
minate a warning
.
P
robably the wrong
wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
s
.
C
omments
.
R
e
name slis
t
_stack t
o
named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Ha ha
.
I still suck at poin
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
C
leanups
.
C
omments
.
R
e
move debugging code
f
rom fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
C
l
ean
u
p
.
Also p
r
e
serve the ->p
o
ols
in one
p
ath of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up
g
et_
s
tate_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Remov
e
__overwrite_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There was
d
e
b
u
g
g
ing out
p
ut t
h
a
t a
c
ciden
t
ally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
R
emove
a
state
f
r
o
m it's
->poo
l
s when
set_sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't de
l
ete
the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand
the im
p
li
c
ations from compound con
d
itio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
C
r
eate
a state &merged
.
When we merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Th
i
s
time sma
t
ch_impli
e
d _really_ does somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ignore cscope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sm
a
ll cleanups
.
(White spa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
White
s
p
ac
e
chang
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Add some more lock
i
ng
f
un
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
er
Fix implied pools so that at least it does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpent
e
r
It seemed like track
e
r
_
list would be usef
u
l in a l
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a REA
D
M
E
d
escribing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpen
t
e
r
Add script to find
N
ULL dereferences betw
e
en f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Ca
r
pent
e
r
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
eck for mall
o
c() as well as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fix segfa
u
lt when
h
an
d
ling im
p
lici
t
ly declared
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Warn when we don't acquire locks whe
n
calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an
C
arpenter
Try (and fail) to
find me
m
ory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpen
t
er
Almost print a message when yo
u
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d check to l
o
ok fo
r
double f
r
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add ch
e
cking for lo
c
k
_
kernel()/unl
o
c
k_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make check_loc
k
i
n
g
c
heck both sp
i
nlock
s
and
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add
a new
functio
n
s
l
is
t
_ha
s
_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
If there
i
s an i++ then the v
a
lue of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
a
rpenter
Add
a
new check_
l
ocki
n
g script that checks spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpent
e
r
Save the
p
o
s
s
ible states
in
s
t
ead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ign
o
re emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next