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 an option --no-implied to turn of implications.
2009-03-08
D
a
n Car
p
enter
A
d
d
an opti
o
n
-
-
no-implied to turn of implic
a
ti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan
C
ar
p
ent
e
r
impli
e
d po
o
ls: cleanup how
i
mplied poo
l
s are c
r
eated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
Carpen
t
e
r
check_memory:
se
p
a
r
ate out a mall
o
ced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
an Ca
r
penter
A
l
l a
l
on
g
I was adding the pools
t
o
the
wrong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Clean up
.
M
ove a couple if
d
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a
s
a
n
ity check
that ->possi
b
le ha
s
a
->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
Clean up
.
F
reeing the
s
m_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Oring the
slists se
e
ms like merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
t
er
Add a --debug-implied o
p
tio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Car
p
e
n
ter
c
h
eck_me
m
ory: Fix segfau
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Carpenter
kchecker: helper sc
r
i
p
t
to
invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Car
p
enter
check_mem
o
ry:
new code
.
not used y
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
Fix bu
g
in c
o
m
p
ound conditions an
d
a
d
d
v
alidati
o
n test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpente
r
check_loc
k
ing
:
h
a
ndle f
u
nctions with
no return statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fi
x
so securit
y
_
f
ixup_ops() doesn't trig
g
er t
h
e OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fi
x
'or'i
n
g state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
For
s
o
me
reaso
n
smatch can't find these header
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
a
rpenter
Fix string memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unneeded
a
llo
c
a
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Remove outdated
co
m
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Don't __free_sm_state() until end of functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
pent
e
r
free_
s
li
s
t
(
) after call
i
n
g
get_all_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
don
'
t reallocate
the -
>
possible stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Get rid
of
u
nused line his
t
ory code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
arpenter
Fi
x
some memory leaks
in __
i
mplied_states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add fre
e
_tra
c
ke
r
s_and_list() and free_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Ca
r
pe
n
ter
Add new free_s
t
a
ck()
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_sl
i
st_stac
k
(
) to free_stack_and_slists(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
r
enam
e
d
e
l_sl
i
st() -> free
_
slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
F
r
e
e
a
ll
t
he sm
_
s
tates at t
h
e end
o
f eac
h
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
n
t
e
r
Add -
>
possible to __print_sl
i
s
t
()
outp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
S
a
ve
all the pool
s
a st
a
te g
o
es through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
p
enter
Add a
n
d fix
s
mat
c
h i
m
plied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Preser
v
e the ->pools
a
nd ->possible
f
or
i
m
p
lie
d
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Fix handling mutually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
r
p
enter
Get
rid of redundant harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
ente
r
Add fu
n
ction _
_
set_true_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an
C
a
r
p
enter
O
nly
s
a
v
e
an im
p
lied list if
a
state
h
as been
m
odifi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Car
p
enter
Only impli
e
d states that are
n
't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carp
e
nter
T
a
ke a parameter
instead
o
f assuming the
out
p
ut is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Car
p
ent
e
r
Don'
t
check th
a
t
t
h
ere
a
r
e
b
o
th t
r
ue and false stat
e
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
This chec
k
_order() see
m
s superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
N
ew funct
i
on h
a
rmonize
_
s
tates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
call __spl
i
t_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
rem
o
ve u
n
neede
d
call
s
to __use_con
d
_tr
u
e_s
t
ates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the im
p
lied state to
&
m
e
r
g
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Make cmp_tra
c
ker() acc
e
ssible to
outside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
All the
s
tates are im
p
lied not just uni
q
ue ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Impro
v
e lock chec
k
outpu
t
.
Add mor
e
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
A
d
d sup
p
ort f
o
r
down_interr
u
ptible() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Ca
r
p
e
nter
Fix the Unclea
r
locking thin
g
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
War
n
on doub
l
e
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
ent
e
r
Pri
n
t fewer Un
c
le
a
r
locking
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
i
f ((1)) {
.
.
.
is a kno
w
n_condition_
t
rue
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Add suppo
r
t for th
o
s
e
f
un
n
y
gcc ({
.
.
.
}
)
bl
o
c
k
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Han
d
le declara
t
ions i
n
si
d
e switch sta
t
em
e
nt bl
o
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpe
n
ter
Cle
a
n
u
p is_zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpen
t
er
A
d
d known_condition
_
false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Fi
x
han
d
ling of conti
n
u
e inside do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pe
n
ter
D
o
n't
s
et let peo
p
le set states for
u
nreac
h
able co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
S
mall cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle t
h
e iterato
r
s correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add su
p
port for "if (a?b:c) {
.
.
.
" ternary co
n
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
A
d
d some
s
upport for _spin_tryl
o
ck() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
a
rpenter
if
(
a || b) { a->foo; s
h
ould print
a
n error
.
Als
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
Th
i
s pri
n
ts out er
r
o
r messages all the ti
m
e
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
n
t
er
Assign
m
ent always sets
&
isfr
e
ed t
o
something
else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
Don't print cross_func errors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
R
emove
c
all to alloc_s
t
at
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
C
a
ll
the merge_hook(
)
inste
a
d
of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
o
p
s
.
Me
a
nt to com
m
i
t
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
t
er
Add
the merge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Clear the returns lists a
t
t
h
e
en
d
o
f
ea
c
h
f
unc
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Move the im
p
lic
a
tions checking to after th
e
s
cri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
te
r
Rew
r
ite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
penter
Add some functions to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Don't seg
f
ault all the
t
i
m
e whe
n
checking for
e
ver loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Test to
s
ee
if w
e
a
r
e
catching cross f
u
nc
t
ion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
U
s
e
the
-
>possible s
t
at
e
s and remove the
merge
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while (
(
1
)
) {
"
is a fore
v
er loop
.
C
all stri
p
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
fixes to the ->
p
ossible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n
Carpenter
Merge br
a
nch 'm
a
ster'
i
nt
o
n
u
ll
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rp
e
nter
Add validatio
n
script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
Carp
e
n
t
er
Clean up
.
new->possible is a
l
wa
y
s null he
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oop
s
.
->possibles was
n
't ge
t
t
ing
set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Us
e
strip_expr() in split_c
o
nditions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
A
d
d so
m
e
m
ore operations to g
e
t_valu
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Ca
r
penter
Re
t
u
rn &merged i
n
stea
d
of
&
u
ndefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make ge
t
_value() return
a
val
u
e for bitwise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pente
r
Try again removing stat
e
s f
r
om pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Re
v
ert "R
e
move a state from it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warn
i
ng
.
Probab
l
y the wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean u
p
s
.
Comments
.
Rename
slis
t
_
s
tack to nam
e
d_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha h
a
.
I still
s
uck at
p
ointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
Cleanups
.
Comm
e
n
t
s
.
R
e
m
o
ve
debugging code fr
o
m
filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
C
l
ean up
.
Also preserv
e
the
-
>pools in
o
ne path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
n up
g
e
t
_
s
tate_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Re
m
o
ve __o
v
e
r
wri
t
e_c
u
r_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
There
was debugging output t
h
a
t
ac
c
identally go
t
com
m
i
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next