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
Get rid of unused line history code.
2009-03-02
Dan
Carpen
t
er
Get rid of unused
l
ine
hi
s
tory code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
a
rpente
r
F
ix
s
o
m
e memory leaks in _
_
imp
l
ied_states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
dd free_trackers
_
and_list() and free
_
tracker_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Add n
e
w free_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
rename de
l
_slist_stack() to free_s
t
ack_and
_
sl
i
sts
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
rename del_slist() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carp
e
nt
e
r
Free all th
e
sm_states at the en
d
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpente
r
Add -
>
possibl
e
to __print_slist() o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
Ca
r
pent
e
r
S
a
ve a
l
l
th
e
pools a s
t
ate
g
o
e
s
t
h
rough
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
A
d
d and fi
x
s
m
atch imp
l
i
ed tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n C
a
r
p
enter
Preserve the ->pools and ->poss
i
ble for
implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix
handling mutually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpe
n
ter
Get
r
i
d
of red
u
ndant har
m
onize_states(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
rpenter
A
dd functio
n
_
_
s
et_t
r
ue_f
a
lse_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
e
r
O
nly save
a
n implied
list if a sta
t
e
has been
modifi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpe
n
t
e
r
O
nly implied
states that
a
ren't alre
a
d
y
t
r
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
er
Take a parameter instead of
assuming the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
C
a
rpe
n
ter
D
on'
t
check that
t
here are
b
oth tr
u
e
and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
This
c
heck_order() seems superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New
f
unction harm
o
nize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call
_
_spl
i
t_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneeded
c
alls to
__use_cond_true
_
states()
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
C
arp
e
n
ter
Don'
t
set th
e
implied state to &merg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpente
r
Ma
k
e cmp_tracker
(
) accessible to outsi
d
e
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All
the st
a
tes are implied n
o
t just
unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Ca
r
penter
Improve lock che
c
k o
u
t
put
.
Add more validation sam
p
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
f
or down_
i
nterruptib
l
e() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
e
r
Fix
t
he Unclear lockin
g
t
hing
.
Ag
a
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n
on double
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Prin
t
fewer Uncle
a
r l
o
ckin
g
message
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
if (
(
1)) {
.
.
.
is a
k
nown_cond
i
ti
o
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
A
dd
s
upport fo
r
t
h
ose fu
n
ny
gcc ({
.
.
.
}) block
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Hand
l
e declarations
i
n
side
s
witc
h
statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Cleanup is_zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Ad
d
known_conditio
n
_false
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
e
r
F
ix handling of continue insi
d
e do while
s
tatem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
er
Don't set let peo
p
l
e
s
e
t s
t
a
tes f
o
r unre
a
c
hable co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
S
m
a
ll c
l
eanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
e
n
ter
Handl
e
the iterator
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
A
d
d supp
o
rt for "if (a
?
b:c
)
{
.
.
.
" ternary conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
C
arp
e
nter
A
d
d som
e
supp
o
rt for _spin_trylock(
)
and f
r
i
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a ||
b) { a->foo;
s
hou
l
d print
a
n
error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
pent
e
r
This
p
rints ou
t
error messages all the time
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nte
r
Assignment alw
a
y
s se
t
s &isfreed to something else
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Don't pri
n
t
cross_func errors if the called
fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
t
er
Rem
o
ve call
t
o
alloc_
s
tat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Call
the
merge_h
o
o
k
(
)
instead of settin
g
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
O
o
ps
.
Mean
t
t
o
commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
A
d
d the
m
erge_hook()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Clear t
h
e
r
eturns li
s
ts at the
e
n
d of ea
c
h function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
t
e
r
Move the
i
mplic
a
t
ions chec
k
i
n
g
to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpenter
Rewrit
e
completely
with new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Add some
f
unctions to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don'
t
segfaul
t
all the
time when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Test to see if we are
c
atching c
r
oss
f
unctio
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Use the
->poss
i
b
l
e states and remove the
me
r
ge_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1)
)
{" is
a forev
e
r loop
.
C
all strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
fixe
s
to the -
>
p
o
s
s
ible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n C
a
r
pent
e
r
M
erge branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Add vali
d
at
i
on scri
p
t for check
_
null
_
dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible is always
nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possi
b
les wasn't getting set
corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Use strip_expr() in split_
c
onditions()
i
ns
t
ead re
p
roducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Add
some
more operati
o
ns to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Car
p
e
nter
Re
t
urn &merge
d
instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
te
r
m
a
ke get_val
u
e() return a val
u
e for bitw
i
se o
r
expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpente
r
Try again r
e
mov
i
ng
s
ta
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove
a state fro
m
it's ->po
o
ls when se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpenter
Elimi
n
a
t
e a warning
.
P
robably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
Re
n
ame slist_sta
c
k to named_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Ha ha
.
I still suck at point
e
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
e
r
Cleanu
p
s
.
Comments
.
Rem
o
v
e
debugging code f
r
om filter
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
Cle
a
n up
.
Also
p
reserve th
e
->pools
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
C
l
ean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
R
e
move
__ove
r
write_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging output that
a
ccidentally got
c
ommitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
penter
Rem
o
ve a state fro
m
it's ->
p
ools when set_state
(
) is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't d
e
let
e
the ->
p
ools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pent
e
r
T
ry
understand
the imp
l
ications from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a state
&
merg
e
d
.
When we merge
s
tuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ok
.
T
h
i
s
t
ime sma
t
ch_implie
d
_really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pen
t
er
Igno
r
e
csco
p
e fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpen
t
er
Small cleanups
.
(Whi
t
e
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Whi
t
es
p
ac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Add some more locking
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Fi
x
implied poo
l
s
so that at leas
t
it does som
e
t
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It s
e
e
m
ed like tracker_list would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
A
dd a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Add scri
p
t
t
o find NULL
derefer
e
nces betwee
n
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix usage messag
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
C
he
c
k for malloc()
a
s well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
t
er
Fix segf
a
ult
w
hen handling
i
m
p
l
i
c
i
tly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpenter
Warn when we d
o
n't acqu
i
re
locks whe
n
calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
T
r
y (
a
nd fail) to f
i
nd memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a mes
s
age when you come to un
r
eac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
e
r
Add check to
l
ook for
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d checking f
o
r
l
ock_kernel()/unlock_ker
n
e
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
n
ter
Make
c
h
eck
_
l
o
cking
c
heck bo
t
h
s
pi
n
lock
s
and se
m
aph
o
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new funct
i
on slist_
h
as_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
I
f
there i
s
an i++
t
he
n
th
e
v
a
lue of 'i' is
undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next