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
For some reason smatch can't find these header files on my other system.
2009-03-03
D
a
n
Carpenter
For some reason
s
match can
'
t fin
d
these
header
fil
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
a
r
pente
r
Fix string memory le
a
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
ter
Remove unneeded allocatio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Remov
e
o
utda
t
ed
c
o
m
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
D
o
n
'
t __free_sm_s
t
a
t
e() un
t
il end of
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
f
r
ee_sli
s
t() after calling
g
e
t_all_state
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
don't rea
l
loca
t
e the ->possib
l
e s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get
rid of un
u
sed line history code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pent
e
r
Fix some memory leaks in __i
m
pl
i
ed_
s
ta
t
es_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
dd free_t
r
a
c
kers_and_list() and free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ad
d
ne
w
free
_
stac
k
() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
rename d
e
l_slist_stack() to
free_stack_and
_
slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
rename del_slist
(
)
-> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Fr
e
e all the s
m
_st
a
te
s
at the en
d
of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Ad
d
->possib
l
e
to
_
_pri
n
t_sli
s
t()
out
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
r
p
enter
Save all the pools a state go
e
s through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpenter
A
dd and fix smatch impli
e
d tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Ca
r
pen
t
er
P
r
e
s
erve the ->pools and ->
p
oss
i
b
l
e for
i
mpli
e
d states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpent
e
r
Fix h
a
nd
l
ing mutu
a
lly e
x
clusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid
of
r
e
dundant
h
armonize_state
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add function __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only save an implied list if a sta
t
e has been
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
er
Only im
p
lied stat
e
s that ar
e
n't already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
a
rpenter
Take a parameter instead of ass
u
m
i
ng
the outp
u
t is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
ente
r
Do
n
't check that there
a
re both true and f
a
l
se states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
This check_order() seems supe
r
fluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
New
function h
a
rm
o
nize
_
stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
r
e
mov
e
unneed
e
d
cal
l
s to __use_cond_tr
u
e_states(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the impl
i
ed
s
tate to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Car
p
enter
M
a
ke
c
mp_tracker() acces
s
ible to outside fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Al
l
t
h
e
states are implied
n
ot just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpe
n
ter
Impro
v
e lock che
c
k
output
.
Add more validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
penter
Add s
u
pport
fo
r
dow
n
_interrupt
i
ble() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unc
l
ear loc
k
ing thing
.
A
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Wa
r
n
on double lock/unlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear lockin
g
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nte
r
if (
(
1)
)
{
.
.
.
is a
k
nown_condit
i
on_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
A
d
d s
u
pport fo
r
t
h
ose funny gcc ({
.
.
.
}) bloc
k
s
t
a
t
ement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
arpent
e
r
Handle decla
r
ati
o
ns i
n
side swi
t
ch stat
e
ment
b
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Cl
e
anup is
_
ze
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpente
r
Add
k
nown_condition_
f
alse()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handl
i
ng
o
f c
o
ntinue insid
e
do w
h
ile
s
t
a
t
e
me
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Don't set let
p
eople se
t
st
a
t
es
f
or unreachabl
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Small
cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the it
e
rators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support f
o
r "if
(
a?b:c)
{
.
.
.
"
ternary co
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
p
e
nter
Add some support for _spi
n
_
trylock() an
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
ent
e
r
if (a ||
b
) { a->foo;
should print an e
r
ror
.
A
l
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
T
h
is pr
i
nts out error messages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
A
s
sign
m
ent a
l
ways sets &
i
sfreed
to somet
h
in
g
e
lse like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
p
e
nter
Don't pri
n
t
c
r
os
s
_
f
unc errors if th
e
called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
e
move call t
o
alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Call the merge_hook() instead of sett
i
ng
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant
t
o commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Ad
d
t
he merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Clear the returns lists
a
t t
h
e end of ea
c
h
f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Move th
e
implica
t
ions checking
to after the script
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Re
w
rite completely wi
t
h new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add so
m
e fun
c
t
i
o
ns to handle tracker
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't segfa
u
lt all the
ti
m
e when che
c
k
ing fo
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to s
e
e if w
e
a
r
e catching cross functio
n
dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpen
t
er
Use the ->possible states and remove
the
merge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
"while
(
(1)) {" is a
forever loo
p
.
C
all
s
t
r
ip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
fi
x
es to the
-> possible
settin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Merge bran
c
h 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
A
dd validation script for c
h
eck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
Carpe
n
ter
Clean up
.
new
-
>possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
-
>poss
i
bles wasn't gett
i
ng set cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Use strip_expr(
)
in sp
l
it_conditions() ins
t
ead repr
o
ducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Add
so
m
e
more operations to get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
ter
R
eturn &merged instead of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
ter
make get_valu
e
() return a value for bitwise or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpenter
T
r
y again
removin
g
states from po
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Revert "Remove a state f
r
om it's ->pools wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
E
limin
a
t
e a warning
.
Probably
the wr
o
ng way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
R
ename sli
s
t_stac
k
to named_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
s
till
s
u
ck at p
o
inte
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cleanups
.
Comm
e
nts
.
R
emo
v
e debugging code from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
er
Clean up
.
Also p
r
e
s
erve th
e
-
>pools
in one p
a
t
h
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
l
e
a
n up get_state_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Re
m
ov
e
__overwrite_cur_slis
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
T
here was debugging output that accidentally
g
o
t
c
ommitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state
from
i
t's ->
p
o
o
ls when set_
s
t
a
te() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
elete the ->pools on
m
erging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
r
y understa
n
d
the impli
c
ations from compound c
o
ndit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Create a state &merged
.
When we merge st
u
ff it i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This t
i
me
smatc
h
_
i
mp
l
ied _r
e
a
l
ly
_
does somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clea
n
u
p
s
.
(White
s
pace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Whit
e
space
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some
more l
o
c
k
i
ng fu
n
ction
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix impl
i
ed
p
ool
s
so that at least it do
e
s so
m
eth
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
It
seeme
d
like tracke
r
_l
i
st would be u
s
eful
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Add a
R
EAD
M
E describing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
enter
Ad
d
script
t
o
find NULL dere
f
e
rences betwe
e
n functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix
u
s
a
g
e mes
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
e
nter
Check for malloc() as we
l
l as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
enter
Fix segfault when h
a
n
dling implic
i
tly declared fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Warn
when we
d
o
n't acquire locks wh
e
n calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next