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
check_memory: Fix segfault
2009-03-04
Dan Carpenter
c
heck_m
e
mory: Fix se
g
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
kc
h
ecker:
helper sc
r
ipt
to
in
v
o
k
e
sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_memory: ne
w
c
o
d
e
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpenter
Fix bug in
compound conditions and
a
dd validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
arp
e
n
ter
check_locking: h
a
ndl
e
functions w
i
t
h
n
o return
s
t
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nte
r
Fix so security_fi
x
up_ops
(
) doe
s
n't t
r
i
gg
e
r the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fix 'or'
i
n
g
s
t
ate
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
r
p
e
nter
Fix
NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Ca
r
penter
For s
o
me reason
smatch c
a
n't
f
ind these h
e
ader
f
iles
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n C
a
rpen
t
er
Fix s
t
ring me
m
ory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Remove unneeded
allocat
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Remove outdated com
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't __f
r
ee
_
sm_state()
u
ntil end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
ree_
s
list() aft
e
r calling
get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
d
o
n't reallocate
t
he
-
>possible
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Get rid of
u
nu
s
ed
l
ine hist
o
ry co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix some memory lea
k
s in __implie
d
_stat
e
s_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Ca
r
penter
Add free_trackers_
a
nd_
l
ist() and
free_
t
racker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
A
d
d new fr
e
e_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
rename del_
s
lis
t
_stack() to free_stack_
a
nd_
s
li
s
ts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
rename del_slist() -> free_slist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pent
e
r
Free al
l
the s
m
_
s
tates at the
e
nd of each
f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpent
e
r
Add -
>
p
ossible to __
p
rint_s
l
ist() outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpente
r
Save all the
p
ools a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Add and fix
smatch implied te
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpen
t
e
r
Preserve the ->pools and ->po
s
sible for i
m
plied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Fix hand
l
ing mutua
l
ly exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Car
p
ent
e
r
Get rid o
f
red
u
ndant harmonize_s
t
at
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
A
d
d function __s
e
t
_true
_
false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only save an impli
e
d lis
t
if a state
h
as been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
Only im
p
lied stat
e
s tha
t
aren't already
true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
e
r
Ta
k
e
a parame
t
er instead of assuming the output
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
Don't check that
t
h
er
e
are
b
oth true an
d
f
a
lse states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
Thi
s
c
h
eck_order() seem
s
s
uperfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Car
p
ente
r
New
fun
c
tion
h
arm
o
nize_stat
e
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpen
t
er
ca
l
l __s
p
lit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
remove un
n
eede
d
c
alls to __us
e
_cond_true_
s
tates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
D
on't
s
e
t
t
h
e implie
d
state to &me
r
ged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
Make cmp_tracker()
accessible to ou
t
side files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
A
ll the states are i
m
plie
d
not ju
s
t unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpe
n
ter
Improve lock che
c
k
o
utput
.
A
dd more va
l
idation
samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpe
n
t
e
r
Add support for down_interruptible()
an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear l
o
cki
n
g thing
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on double
l
ock/unlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Ca
r
penter
P
rint fewer Unclear lockin
g
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1
)
) {
.
.
.
is a know
n
_
c
ond
i
tion_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Add
support for those
f
unny g
c
c ({
.
.
.
}) b
l
ock statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpente
r
Handle declarations inside switch statement bloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
p
e
n
t
er
Cleanup is_zer
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Add kn
o
wn_conditio
n
_
fa
l
se()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
i
x h
a
ndlin
g
of continu
e
inside do whil
e
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpente
r
Do
n
'
t set
l
e
t
peop
l
e set st
a
tes for unreach
a
ble
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Car
p
enter
Han
d
le
the
i
ter
a
tors c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
Ad
d
supp
o
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
Dan Carpen
t
er
Add some supp
o
r
t for _spin_try
l
o
c
k() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
i
f
(a
|| b) { a->
f
oo; sh
o
uld p
r
int a
n
err
o
r
.
Als
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Thi
s
prin
t
s o
u
t
error messa
g
es
a
ll the
t
im
e
that ar
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
ar
p
enter
Assignm
e
nt
a
lways set
s
&isfreed to somethi
n
g
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't p
r
int cross_func errors if the
c
alled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
R
e
move call
to
a
lloc_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Call
the merge_hook(
)
i
n
stead of setting the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Oops
.
Meant to commit thi
s
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Ad
d
the merge_hook
(
) ba
c
k
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
Clea
r
t
he retu
r
ns lists at the end of each
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arp
e
n
ter
Move
t
h
e
implicati
o
ns
c
he
c
king to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Rewri
t
e complet
e
l
y
with new
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
nter
Add
some functi
o
ns to handle
tr
a
cker li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Don'
t
segfaul
t
a
ll the time
w
h
en checking forever
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpenter
Test to see if we ar
e
catching cross
fu
n
ction d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
s
e th
e
->possible
s
tates and r
e
move the m
e
r
ge_h
o
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"while ((1))
{
" is a forever loop
.
Call stri
p
_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
fix
e
s
t
o
t
he
-> poss
i
b
l
e setti
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge
b
ranch 'maste
r
' i
n
to n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation s
c
r
ipt for
c
heck_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
pent
e
r
Clean up
.
new
-
>possi
b
le is
always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Oops
.
->po
s
sibles wasn't getting set cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rp
e
nter
Use st
r
i
p_exp
r
() in split_conditions() ins
t
e
ad reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpe
n
t
e
r
A
dd some
more op
e
rat
i
o
n
s to get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merge
d
instead o
f
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() ret
u
rn
a
value for
bitwis
e
or
e
xpressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
T
r
y again re
m
oving
st
a
te
s
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Revert
"Remove a state
f
rom it'
s
->pools when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
E
li
m
in
a
te a warning
.
Pr
o
ba
b
ly the wr
o
ng way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
C
omme
n
ts
.
R
ename slist_stack to named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
er
Ha ha
.
I sti
l
l suck a
t
poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cleanups
.
Comm
e
n
ts
.
R
e
m
ove debugging code from
filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean u
p
.
A
l
so preserve the ->pools in o
n
e
p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean up
get_state_s
l
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Re
m
ove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was de
b
u
g
g
ing output
that acci
d
entally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emove a state from i
t
's ->pools when set_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don't
de
l
e
te the ->pool
s
o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try unders
t
and the impli
c
ations from compound condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pente
r
Create
a
sta
t
e &merg
e
d
.
When
we merge
s
t
u
ff
i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smat
c
h_im
p
lied _really_ d
o
es someth
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
e
n
ter
Ig
n
ore cscop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Ca
r
pen
t
er
Small cleanups
.
(Wh
i
te space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
W
hitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nt
e
r
Add
some more
locking
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next