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
don't reallocate the ->possible states.
2009-03-02
Dan Carpenter
d
o
n't
r
eallocate the ->
p
ossible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
p
enter
Get r
i
d of u
n
us
e
d
line histo
r
y code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
er
Fix some mem
o
ry leaks in __imp
l
ied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpe
n
ter
Add free
_
trac
k
ers_and_list() and free_tr
a
c
ker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
A
d
d new free
_
stack() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
rename del_sl
i
st_s
t
a
ck() to
f
ree
_
sta
c
k_an
d
_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
rena
m
e d
e
l_sl
i
s
t() -> free_s
l
ist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Free all
t
he sm_states at t
h
e end
o
f
each func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add
->possi
b
le to __pri
n
t_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpenter
Save all the
p
o
o
l
s a state goes thr
o
ugh
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Add a
n
d fix smatch
i
mpl
i
ed
t
ests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Preserve
t
he ->pools and ->po
s
sible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Fix handling
mutually exclusive
s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Get ri
d
of redundant harmo
n
i
z
e
_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add f
u
nction __s
e
t_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpenter
Onl
y
s
av
e
a
n implied
l
ist if a
s
tate has been modifi
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Only implied s
t
at
e
s that aren't
already
t
ru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Tak
e
a pa
r
ameter instead of assumi
n
g th
e
output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an C
a
r
p
e
nter
Don't ch
e
c
k
t
hat there
are both tru
e
an
d
false s
t
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
T
his check
_
o
rder() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New fu
n
c
t
ion
h
armonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpent
e
r
cal
l
__split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
remove unn
e
eded calls to __use_c
o
nd_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
D
on't set the
implied
s
tate to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rp
e
nter
Make cmp_tracker() accessible to o
u
ts
i
de f
i
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the states are imp
l
ied not
j
ust unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improv
e
l
o
c
k
c
h
e
ck outpu
t
.
Add mor
e
v
a
lidation
samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carp
e
nter
Add
s
upport for down_interruptible() and frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carp
e
nter
Fix the Unclea
r
locking thing
.
Ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Warn on doubl
e
lock/
u
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
P
r
int
f
ewer Unc
l
ear
l
ocking mess
a
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
if ((
1
)) {
.
.
.
is a
known_c
o
nditio
n
_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
r
p
enter
Ad
d
suppo
r
t
f
or those fun
n
y
g
cc ({
.
.
.
}) block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Ca
r
penter
H
a
ndle de
c
lara
t
i
ons inside swit
c
h statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
p
enter
Cleanup is_ze
r
o(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ad
d
known
_
co
n
dition
_
false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ente
r
Fix h
a
ndling of co
n
tinue inside do while
s
tatements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Do
n
't set let people set states
f
or u
n
reacha
b
le code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Small cle
a
nup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
t
e
r
Handle
the iterators
c
orrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpent
e
r
Add support for "i
f
(a
?
b
:c) {
.
.
.
"
ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carp
e
nter
A
dd some
support for
_spin_trylo
c
k() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (
a
|| b) { a->foo; should print an error
.
Als
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpent
e
r
This
p
r
ints out e
r
r
o
r messa
g
es all
the time that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
Assig
n
ment always set
s
&isfreed to
so
m
et
h
ing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
D
o
n
'
t pri
n
t cross_func
e
rrors if the
c
a
lle
d
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Remove call to allo
c
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpenter
Call t
h
e
mer
g
e_hook() in
s
tead of set
t
ing t
h
e state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
O
o
ps
.
Meant
t
o
commit this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add the merge_hook() bac
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
Cle
a
r
t
he returns
l
ists
at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
M
o
ve th
e
implicatio
n
s checking to after the scr
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
R
e
write completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add s
o
m
e func
t
ions to handle tracker list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't segfault
all the time when checking foreve
r
lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Test to see if we are cat
c
hing cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use
the ->possible
states and
remove the merg
e
_
h
o
ok
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"while ((1)) {"
is
a forever loop
.
Call
str
i
p_e
x
pr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpen
t
er
f
i
x
es to the -> possible sett
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Merge branch 'master'
i
nto
nul
l
_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Ad
d
v
a
lidatio
n
script fo
r
check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
penter
Clean u
p
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rp
e
nte
r
Oops
.
->possibl
e
s w
a
s
n
't getting set
correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Ca
r
penter
Use strip_e
x
pr() in sp
l
it_conditions() instead rep
r
od
u
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
ter
Add
s
ome
more operations to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &
m
erged in
s
tead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
p
enter
m
ake ge
t
_value() retur
n
a value for
b
itwi
s
e or ex
p
ressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try again
r
emoving s
t
ate
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
t
e
r
Revert "Remove a stat
e
f
r
om it's ->
p
ool
s
when
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nte
r
Elimin
a
t
e
a
warn
i
ng
.
Pro
b
ably the wrong
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
C
omments
.
Re
n
a
m
e slist
_
stack to named
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Ha ha
.
I still s
u
c
k
a
t
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
C
lean
u
ps
.
Comments
.
Remove deb
u
gg
i
ng cod
e
f
r
o
m filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
l
ean up
.
Also
preserve the -
>
pools in on
e
path o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remo
v
e
__overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nter
There was
de
b
ugging
o
utp
u
t that accidenta
l
ly got com
m
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove a st
a
te from it's ->pools
when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Don't delete
t
h
e
->
p
ools
o
n merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try und
e
rstand the imp
l
ications fro
m
c
ompound conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Crea
t
e
a st
a
te
&
merged
.
Whe
n
we
m
erge st
u
ff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
Ok
.
This
t
ime
s
matc
h
_implied _real
l
y_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Car
p
enter
I
gnore cscope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Small cleanups
.
(White
s
pa
c
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Whitespace ch
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpent
e
r
Add so
m
e more locking
f
unctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix impl
i
ed
p
o
ols so that at least it doe
s
somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
It seemed like tracker_list w
o
uld be
u
seful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Add
a README
d
e
s
cribing
smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
Add scri
p
t to
find NULL
d
eref
e
rences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
enter
F
i
x
usage me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check fo
r
malloc()
a
s
well as k
m
a
l
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
F
ix segf
a
ult wh
e
n handling implic
i
tl
y
declared functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Wa
r
n whe
n
we do
n
't acquire loc
k
s when
calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an C
a
r
p
enter
Try (and fail) to find me
m
o
r
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print
a message when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d check to loo
k
for doub
l
e frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpen
t
er
Add
checking for l
o
c
k
_
ker
n
el()/
u
nlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpen
t
e
r
Make check_
l
o
c
king check both s
p
i
n
l
o
ck
s
and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new funct
i
o
n
sli
s
t_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next