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
All the states are implied not just unique ones.
2009-02-24
D
an Carpen
t
er
All the states are imp
l
ied no
t
just unique o
n
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Improve lock check output
.
Ad
d
m
o
re
val
i
d
a
t
i
on samp
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpe
n
ter
Add suppor
t
for down
_
interr
u
ptible(
)
and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Fix the Unclear lo
c
king thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n on double loc
k
/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
i
n
t
f
ewer
U
nclear lo
c
k
ing messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if
((1)) {
.
.
.
is a known_condition
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nt
e
r
Add support for those funn
y
g
cc ({
.
.
.
}) blo
c
k statemen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
nter
Handle declarations
insid
e
sw
i
tch stat
e
m
e
nt blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Cleanup is_
z
e
r
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Add known_condition_
f
alse()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fi
x
h
a
n
d
ling of continue inside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Don't set let pe
o
ple
set states for unreachable co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Small clean
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Ha
n
dle the it
e
rators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add su
p
p
o
rt
for
"
if (a?
b
:c) {
.
.
.
" terna
r
y conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpen
t
er
A
dd some support
for _s
p
in_tr
y
l
o
ck() and fri
e
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rp
e
nter
if (a || b) { a->foo; sho
u
ld print
a
n
e
rror
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This print
s
out
e
rr
o
r messages all the tim
e
that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
A
ssignment alw
a
ys se
t
s
&
isfreed to something
else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don'
t
print cross_func errors
i
f the c
a
lled function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Remove call to al
l
o
c_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Call the merge_h
o
ok() instead of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
Oops
.
Mea
n
t to commit th
i
s
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_ho
o
k() ba
c
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
penter
C
lear the retur
n
s list
s
at the end
o
f each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ove the implications checking to a
f
t
er
the scri
p
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewri
t
e
comp
l
etel
y
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add some fu
n
c
tions to handle
t
r
a
c
k
er list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
rpenter
Do
n
't segfault all the time when checking forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Test to s
e
e
i
f we are ca
t
ching cross fu
n
ction derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Use the ->possible states and remov
e
the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"
w
hil
e
((1))
{
" is a forever loop
.
C
all stri
p
_exp
r
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -> possib
l
e s
e
tting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
erge branch '
m
aster' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add val
i
dation script for
c
heck
_
null_
d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpente
r
Clean
up
.
new->
p
oss
i
b
le
i
s
a
lways
n
ull
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an
C
arpe
n
ter
Oops
.
-
>
possibles wa
s
n't
getting set co
r
r
ectl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Car
p
enter
Use strip_expr(
)
in split_co
n
diti
o
ns() instea
d
rep
r
o
d
u
c
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add som
e
more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Return &merged i
n
s
t
ead of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
ake get_value(
)
return a
value for
bitwise or
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
T
r
y again remov
i
ng
states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Revert "Remove a
s
t
a
te from it's ->pools whe
n
se
t
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Eliminate a warning
.
Pr
o
bab
l
y the wr
o
ng w
a
y
to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clea
n
u
ps
.
Co
m
ments
.
Rena
m
e
s
list_st
a
ck to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha h
a
.
I
s
t
ill suck at pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
p
e
nter
Cl
e
a
n
ups
.
Comme
n
ts
.
Rem
o
v
e
de
b
ugging code
from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cl
e
an
u
p
.
Also preserve the ->pools in one pat
h
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove __overwrite
_
cur_sli
s
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
Th
e
r
e
was debuggin
g
ou
t
p
u
t that accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
e
r
Remo
v
e
a state from it
'
s ->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
r
p
e
nter
Don't del
e
te the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try
understan
d
the implications fr
o
m compound
con
d
it
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cre
a
te a state &m
e
rged
.
When we merg
e
s
t
uff
i
t
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
pe
n
t
er
Ok
.
This
time
s
match_impl
i
ed _reall
y
_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
enter
I
g
no
r
e cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
S
mall cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
A
dd some more lock
i
ng functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix impli
e
d p
o
ols so t
h
at at least it does someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpent
e
r
I
t
seeme
d
l
ike
tracker_list would be useful in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d a READ
M
E
describing s
m
atch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add script to find NU
L
L dereferenc
e
s
b
etween functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
u
sage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
ter
Check for
m
all
o
c
(
) as we
l
l
as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fi
x
segfault wh
e
n handling
im
p
li
c
itly
d
ec
l
are
d
f
un
c
tion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Wa
r
n when
we don't
acquire locks when
call
i
ng certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Try (and fail) t
o
fi
n
d
m
emory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
l
mos
t
print a m
e
ssage when
y
ou c
o
me to u
n
reachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add
c
heck to
l
ook for d
o
uble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add checking for lock
_
kernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
t
e
r
Make check_l
o
c
king check b
o
th spin
l
o
c
k
s
a
n
d
sema
p
hores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
f
unction s
l
is
t
_
has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
If the
r
e is an i++
t
hen the value of 'i' is un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
te
r
Add a new
c
heck_
l
ocking s
c
ript
t
ha
t
checks s
p
inlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Sav
e
the possible sta
t
es in
s
tead of
just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpe
n
ter
Igno
r
e emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merg
e
branch 'mast
e
r' i
n
to pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpen
t
er
Fix l
i
kely()
and unlike
l
y() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
Add
single quotes ar
o
u
nd the
v
ariable for con
s
is
t
e
n
cy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Car
p
enter
W
e
could save some memory by not allo
c
ating new
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
enter
Add a comment showi
n
g where the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
This is left over f
r
om October
as pa
r
t
of th
e
imp
l
ie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
t
er
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpen
t
e
r
Stuf
f
left over from
O
ctober
.
Implied p
o
ol
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
r
penter
We could save s
o
me memory by not al
l
ocating new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add
a
merge hook
.
Hand
l
e th
e
sit
u
ations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strc
m
p() do
e
sn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename two f
u
ncti
o
n
s
: get_variable_from_
e
x
pr_simp
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Ca
r
penter
ge
t
_variable
_
from
_
e
xp
r
() uses
a
s
tati
c
buffer and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Create a ch
e
ck_template
.
c examp
l
e
script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpen
t
er
Make get_
a
ll
_
sta
t
es()
not
segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
pe
n
t
e
r
F
i
x g
e
t_v
a
l
u
e() to ret
u
rn negative
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
W
e only e
v
er
p
ass one parameter into get_val
u
e(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix g
e
t_al
l
_
s
tates(
)
to match
t
h
e
f
unc
t
ion definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
o
v
e
add
_
state
(
) a
n
d state_de
f
ined
(
) de
f
in
i
tions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Cle
a
n up
.
Fix leak
.
M
y
p
r
o
blem is that I don't unders
t
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next