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 a hack to handle the kernel's redefined if.
2009-03-09
Dan Carpenter
Add a hack
t
o handle the
k
er
n
e
l'
s
redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle more comparisons than ju
s
t (foo == 0) an
d
(
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpe
n
te
r
check
_
locking: a merge wit
h
NU
L
L
i
s
a
m
er
g
e with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Car
p
en
t
er
R
e
move unneeded
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Ca
r
penter
Add line number ba
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Us
e
the most rec
e
nt im
p
lications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
r
p
ente
r
A
d
d option --as
s
u
m
e
-loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an
o
ption --
n
o
-
impl
i
ed to tur
n
of implica
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan C
a
rp
e
n
t
er
implied pools: c
l
eanup
ho
w
imp
l
ied pools are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
che
c
k
_
m
e
mory:
separate
o
ut a mal
l
oced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
an
C
arp
e
nter
All along I was adding the pools to
t
he wrong
place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Clea
n
up
.
M
ove a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
A
d
d a san
i
ty check tha
t
->possible
h
as a
-
>my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
pent
e
r
Clean up
.
Freeing the
s
m
_st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Oring the
slists see
m
s like merge_s
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpente
r
Add a --de
b
ug-implied opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k_mem
o
ry: Fix se
g
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Car
p
e
n
ter
kchec
k
er: helper script
t
o i
n
v
o
k
e smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
c
he
c
k_memory: new code
.
not used y
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug in compo
u
nd cond
i
tions and
a
dd validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
chec
k
_locking: handle fu
n
c
tion
s
with
n
o
r
e
turn statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
Fix so s
e
cur
i
ty_fixup_ops() doesn't tr
i
gge
r
the
OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nter
F
i
x
'or'ing sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix NULL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For
s
ome reason smatch can't find thes
e
header
f
iles
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
Fix string memory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Remove unn
e
eded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
pente
r
Remove outdated
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't
_
_free_sm_st
a
te() unti
l
e
n
d of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
fre
e
_
slist
(
) after calli
n
g get_all_sta
t
e
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
d
on'
t
reallocate
th
e
->possible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Get rid of
unused
line history code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
ter
Fix some memory leaks
i
n _
_
implied_states_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ad
d
f
r
ee_tra
c
ker
s
_and_list()
a
n
d fr
e
e
_tracker_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Add new
fr
e
e
_
stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_slist
_
stac
k
() to free_s
t
ack_a
n
d_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
rename del_sl
i
s
t()
-> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Fre
e
all the sm_s
t
ates
a
t the
end of
e
ach function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add ->possibl
e
to __
p
ri
n
t_
s
list
(
) outp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Ca
r
penter
Save
a
ll
the
pools a state goes
t
hrough
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
r
pen
t
er
Add
a
nd f
i
x
sm
a
tch imp
l
ied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preserve the
->pools an
d
->possible for implied
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
t
er
Fix hand
l
ing
m
u
t
ually exclu
s
ive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carp
e
nt
e
r
G
et r
i
d of redundant h
a
rmonize_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Ad
d
functi
o
n __set_
t
rue
_
false_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an
C
arpenter
Only save an implie
d
li
s
t if a
state has been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpe
n
ter
Only i
m
plied states tha
t
aren't already
t
r
ue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Ca
r
penter
Take a p
a
rameter instead of assuming the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
D
o
n't check that ther
e
are both true
and f
a
lse states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpe
n
ter
T
hi
s
check_order() se
e
ms superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
N
e
w function h
a
rmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpente
r
call
_
_
s
plit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
remove unneeded calls to
_
_
u
se_cond_
t
rue_s
t
at
e
s();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
Don't set the implied stat
e
t
o
&merg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_tr
a
cker() accessible to outsi
d
e files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the states are
i
mpli
e
d
not
just
u
n
i
que ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpe
n
ter
I
mprove l
o
ck c
h
ec
k
ou
t
p
ut
.
A
d
d more v
a
lidation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
p
e
n
t
er
Add s
u
pport for down_interruptib
l
e
(
) and f
r
iends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Ca
r
pen
t
er
F
ix the U
n
clear locking thing
.
Agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on dou
b
le lock/unl
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Print fewer
Unclear locki
n
g messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
i
f
((1))
{
.
.
.
is a known_co
n
diti
o
n
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Add support for tho
s
e funny
g
cc
({
.
.
.
}) block
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arp
e
nter
Handle
d
eclarations
i
nsi
d
e switch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Cleanup
i
s
_
zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add
k
no
w
n_cond
i
ti
o
n_fals
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n C
a
r
p
enter
Fix
h
andling of
c
o
n
tinue insi
d
e do while statemen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
e
r
Don'
t
set l
e
t peo
p
le set stat
e
s for unr
e
acha
b
le code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
S
mall cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nter
Handle the
iterator
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpent
e
r
A
dd suppo
r
t for "if
(
a
?b:c) {
.
.
.
" ternary conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
arp
e
nter
A
d
d
some support for _spin_t
r
ylo
c
k(
)
and fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
penter
if (a ||
b
)
{ a->foo; should print
a
n err
o
r
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints o
u
t error messages
all the
t
i
m
e
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignme
n
t always sets &
i
sf
r
eed
t
o something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don'
t
print cross_func
errors
i
f the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpen
t
er
Remove
c
a
ll to alloc_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Call
t
he merge_hook() ins
t
ead of setting the
state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpen
t
er
Oop
s
.
Meant to commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpen
t
er
Add t
h
e mer
g
e_hook
(
) ba
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Clear the r
e
t
urn
s
lists at
t
he end
o
f each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Move the implications ch
e
cking to
a
ft
e
r the scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
enter
Rewrite
c
ompletely
w
i
th new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d some function
s
to hand
l
e tracke
r
li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Ca
r
p
e
nter
Don't segfaul
t
all
the
t
ime when
c
hecking
f
orever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Test t
o
see if we
a
re catc
h
ing cross fun
c
t
i
o
n
deref
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Use the ->possible states
a
nd r
e
move
t
h
e
merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
"while ((1)) {" is
a
forever loo
p
.
Call strip
_
exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
fixes to the -> p
o
ssible
sett
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
Merge
b
ra
n
c
h
'master'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
dd
v
alidation script for che
c
k_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpenter
Clea
n
u
p
.
n
e
w-
>
p
o
s
s
ib
l
e i
s
always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
nter
O
o
p
s
.
->
p
ossibles
wasn
'
t
g
e
ttin
g
set corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Ca
r
p
e
n
te
r
Use str
i
p_e
x
pr()
i
n
split_
c
o
n
ditions()
i
nstead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some mo
r
e
operatio
n
s
to get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
a
r
p
en
t
er
Retur
n
&merged
i
nstead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value(
)
r
eturn a value f
o
r
b
itwise o
r
e
x
p
ress
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpen
t
er
Try again
removing states from poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rev
e
r
t
"
Remo
v
e a state
from it's
-
>pools when
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
El
i
minate a warning
.
Probably the wrong w
a
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next