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
Remove some false positives and enable the check.
2009-03-10
Dan
C
arpente
r
Remove
som
e
false positi
v
es and
e
nable t
h
e check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpen
t
er
Demot
e
argument null derefs to cross func
null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n C
a
rpenter
Label
t
he output:
e
r
r
or, warn, o
r
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add
a hack to handle the
k
e
rnel's redef
i
ned if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle m
o
re com
p
arisons than just
(
foo
== 0)
and (f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
chec
k
_l
o
cki
n
g: a merge
w
ith N
U
LL is a merge wi
t
h the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remov
e
unneeded co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add line
number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
p
e
nter
Us
e
the most recent implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpe
n
t
er
Add option --assume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
d
d a
n
o
ption --no-im
p
lied
t
o
tur
n
of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Ca
r
pente
r
i
mplied
pools: clean
u
p
h
o
w implied pool
s
are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
chec
k
_memory:
separate out
a
malloc
e
d
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan C
a
rpenter
A
l
l along
I was adding the pools to the wrong
pla
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Ca
r
penter
C
lean u
p
.
Move a c
o
uple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpenter
Add a sanit
y
check that ->possibl
e
has a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Clean up
.
Freeing the sm_state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpent
e
r
O
ring the
slists seems lik
e
merg
e
_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
A
d
d a --debu
g
-i
m
plied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
c
h
ec
k
_
m
emory: Fix s
e
gfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpenter
kche
c
ker: helper s
c
ript to invo
k
e smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
c
h
eck_memory: new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
Fix bu
g
i
n
c
ompound con
d
itio
n
s and add validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
che
c
k
_locki
n
g: handle functions with no return sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix s
o
sec
u
rity_fixu
p
_ops()
d
oesn't trigger
the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpente
r
Fix 'or'ing
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
a
r
penter
Fix
N
ULL
d
eref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
F
o
r some reason
sma
t
ch can't find the
s
e header files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
e
r
F
i
x
s
tring
memory le
a
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Remo
v
e unneede
d
allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
Remove outd
a
ted commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
en
t
er
D
on't __
f
ree_sm_s
t
a
t
e()
u
ntil end of func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
free_slist() afte
r
c
a
lli
n
g
get_a
l
l_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
don't realloc
a
te the ->
p
ossible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nte
r
Ge
t
rid
o
f unuse
d
lin
e
histor
y
cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Car
p
enter
Fi
x
s
om
e
m
e
mor
y
l
e
a
k
s
in __impli
e
d_sta
t
es_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpen
t
er
Add free_trackers_a
n
d_
l
ist() a
n
d fre
e
_tr
a
cker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d new free_
s
tac
k
() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
ren
a
m
e del_slist_stack() t
o
f
ree
_
st
a
ck
_
and_slists(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
ren
a
me del_slist()
-> free
_
slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
enter
Fr
e
e all
t
he sm_states at th
e
end of ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
an C
a
rpenter
Add ->
p
ossible to __print_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
er
Save
all
th
e
pools
a
state goes throug
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpen
t
er
Add and fi
x
smat
c
h implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preser
v
e the ->
p
ools and
->
p
ossible f
o
r
i
mp
l
ied s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
r
p
e
n
ter
Fix
h
a
ndlin
g
mutually exc
l
usive st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Get rid of redundant harmo
n
ize_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add fu
n
ction __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only save
a
n impli
e
d list i
f
a state
h
as bee
n
mo
d
ified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly implied
s
tate
s
th
a
t aren'
t
a
l
ready true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a parameter inste
a
d of ass
u
ming the ou
t
put is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpen
t
er
Don't
check that there are
both tru
e
a
n
d false
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
C
arpenter
Thi
s
c
heck
_
order() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
Ne
w
function harm
o
nize_sta
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call
__split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
p
enter
remo
v
e u
n
n
e
eded calls to
_
_us
e
_co
n
d_tru
e
_
s
t
ates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
t
er
Don't set the implied state to &m
e
rged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpent
e
r
Make cmp_t
r
a
cker
(
) accessible to
o
u
tside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Car
p
enter
All the states are implied not just uniq
u
e ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lo
c
k check output
.
Add more
v
alida
t
ion sam
p
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpe
n
ter
A
d
d support for down_interruptible() a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an
C
arpenter
Fix
th
e
Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rpenter
Warn
o
n double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear locking m
e
ssage
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
if ((1))
{
.
.
.
is a known_conditi
o
n_true
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Add support fo
r
t
h
ose
f
unny gcc ({
.
.
.
}
)
block stat
e
me
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
e
r
Handle
declarations inside switch statement b
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpent
e
r
Add
k
n
o
wn_condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
er
Fi
x
ha
n
dling of continue
inside do while s
t
a
tem
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don
'
t
s
e
t
let people set states for unrea
c
ha
b
le code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
ter
Sma
l
l
c
le
a
n
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle
t
he it
e
rators corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carp
e
n
ter
Add supp
o
rt
for "if (a?b:c) {
.
.
.
"
t
e
rna
r
y conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nt
e
r
A
d
d some suppo
r
t for _sp
i
n_trylo
c
k() and fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Ca
r
pe
n
ter
if (a || b) { a
-
>f
o
o; should
prin
t
an err
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
Carpent
e
r
This prints out e
r
ror m
e
ssage
s
all the time
t
h
at are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rp
e
nte
r
Assignment alway
s
sets &i
s
freed t
o
so
m
ething else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't print
cross_
f
unc
e
rr
o
rs if t
h
e
called functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Remov
e
call to alloc
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the
m
erge_h
o
ok() instead of setting
t
h
e state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
Oops
.
Meant
to com
m
it thi
s
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d the
m
e
rge_hook
(
) back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpenter
Clear the retu
r
ns lists at
t
he en
d
of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
r
penter
Mov
e
the
implicat
i
ons c
h
ec
k
ing to
a
fte
r
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
completely
w
i
th new goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
A
d
d some fun
c
tions to handle t
r
acker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
D
on't segfault all
t
he time when ch
e
ckin
g
forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
T
est to s
e
e if we
are catching cr
o
ss fun
c
t
ion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Use
the
-
>
pos
s
i
ble state
s
and
r
emove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rp
e
nter
"whil
e
((1)) {" is
a forever l
o
op
.
C
a
ll st
r
ip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to
t
he -> possible se
t
tin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
M
erge branch 'master'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
e
r
Add validation script f
o
r check_null_de
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n Carpe
n
ter
Cl
e
a
n u
p
.
ne
w
-
>possible is alway
s
null he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
-
>
p
oss
i
bles
wasn't g
e
tting set c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpente
r
Use
s
t
r
ip_expr() in sp
l
it_
c
onditi
o
ns()
i
n
stead reprod
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some m
o
re operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rpenter
R
et
u
rn &mer
g
ed in
s
t
e
ad of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
mak
e
get_value() retu
r
n a
v
alu
e
f
o
r
bitwise
or
e
x
p
ressions
.
commit
|
commitdiff
|
tree
next