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
This check_order() seems superfluous.
2009-02-25
Dan Carpenter
This check_order()
s
eem
s
superf
l
u
ous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
New
function harmoniz
e
_
s
t
a
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneeded calls to __use_cond_tru
e
_st
a
t
es();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Don't
s
e
t the implied st
a
t
e to
&merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
M
ake
c
mp_track
e
r() accessible t
o
outsid
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the s
t
ate
s
are impl
i
e
d not just uni
q
ue ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Improv
e
lock
c
h
eck output
.
Add more validat
i
on sa
m
pl
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Car
p
enter
Add support for
down_int
e
rruptible
(
) an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Fi
x
the Unclear locking thing
.
A
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpente
r
Warn on d
o
u
b
le loc
k
/
unloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
r
penter
Print fewer Unclear locking me
s
sages
.
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
D
an
C
arpenter
Add
support for
t
hose
f
u
nny gcc
(
{
.
.
.
}) block
s
tat
e
ment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Han
d
le
d
eclarations inside switch statemen
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Cleanup i
s
_zero(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
A
d
d known_condition_fa
l
se()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n C
a
r
p
e
nter
Fix handling of c
o
nti
n
ue in
s
id
e
do
w
h
ile
sta
t
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nter
Don
'
t se
t
let people
set s
t
at
e
s
for unrea
c
hable co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Car
p
enter
Handle the
iterators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Ad
d
s
uppo
r
t for "if
(a?b:c) {
.
.
.
" terna
r
y c
o
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Add some support for _spin_trylock() and fri
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpent
e
r
if (a || b) { a->foo; should p
r
in
t
an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
This prints out
e
rror messag
e
s all the
t
ime that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
te
r
Assig
n
ment alw
a
ys sets &isfre
e
d to
something else
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print cross_fu
n
c errors if t
h
e ca
l
le
d
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
e
move call to alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpent
e
r
C
a
ll the merge
_
h
oo
k
() instead of setting the stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Oops
.
Meant
to commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Add the merg
e
_hook()
back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
Clear the
r
eturns lists
a
t the end of each f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
ente
r
Move the implicati
o
n
s
checki
n
g
to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewr
i
te completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
e
n
ter
Add some fu
n
ctions to
handle tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Don't segfault
a
ll the time when
checking
f
o
r
ever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Test to see if we ar
e
cat
c
hing cross
f
u
nction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpenter
Use the ->possibl
e
states and
r
e
m
ove
th
e
m
e
rge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1))
{" is a
f
orever lo
o
p
.
Call
strip_exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
fixes to
the -> p
o
s
s
ible
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Merg
e
bra
n
ch
'mast
e
r' into
null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Add validation script
fo
r
che
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
C
l
ean
u
p
.
new->possi
b
le is
a
l
ways n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpe
n
t
e
r
Oo
p
s
.
->possibles wasn't gett
i
ng
s
et correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Use
strip_expr() in split_condit
i
ons(
)
instead re
p
roducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
A
d
d
some
mor
e
oper
a
tions to g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
R
e
t
u
rn
&
m
erg
e
d
i
n
stead
o
f
&u
n
de
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
make get_value(
)
r
eturn a va
l
ue for
b
i
twise
o
r
expr
e
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Try again removing states from po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
R
e
vert "Remove a state fro
m
it'
s
->p
o
ol
s
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpe
n
ter
E
l
iminate a warnin
g
.
Pr
o
b
a
bly
t
he wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpente
r
Cle
a
n
u
p
s
.
Co
m
ments
.
Re
n
ame sli
s
t
_
st
a
ck t
o
n
a
med
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha h
a
.
I still suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
nu
p
s
.
Comments
.
Remove debug
g
i
n
g
cod
e
from filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cl
e
an up
.
Also pre
s
erve
t
he ->poo
l
s i
n
one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean
u
p get_state_
s
lis
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
_
_
ov
e
r
w
rite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
There was debugging outpu
t
that accident
a
lly got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Re
m
ove a s
t
ate from it's ->poo
l
s when se
t
_sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
D
o
n't delete the ->pools o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
Try
u
nd
e
rstand
the impli
c
ations from c
o
mpound co
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a s
t
ate &merged
.
When we merge stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This
t
ime smatch_implied _rea
l
l
y_ does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignore cscop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
Small
clean
u
ps
.
(White space
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whit
e
spac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking fun
c
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
Fix implied pools so
th
a
t at
least it does somet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed lik
e
tracker_list would be use
f
ul in a
l
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a R
E
ADM
E
describing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
s
cript
t
o find NULL dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fi
x
usage me
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Check fo
r
m
alloc(
)
as well
a
s kma
l
lo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fi
x
segfault when handlin
g
impl
i
citly declare
d
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
pente
r
Warn w
h
en we
d
on't
a
cquire locks when calling
c
er
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an
C
a
r
penter
Try (and fail)
t
o
f
in
d
memo
r
y leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a mes
s
a
ge w
h
e
n yo
u
com
e
t
o un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add c
h
eck to
l
ook for do
u
b
l
e frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rpenter
Add checking
f
or lock_kerne
l
()/unlo
c
k_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
Make check_
l
ocking
c
hec
k
b
oth
s
pinlo
c
ks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Add a new function slist_has
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
t
here
i
s
an
i++ the
n
the v
a
lue of 'i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nte
r
Add
a
new check_locking scrip
t
that c
h
ecks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save the
p
ossible states instea
d
of
j
ust mergin
g
t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Igno
r
e e
m
acs gar
b
ag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Merge branch 'master' i
n
to pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
er
Ad
d
a
commen
t
showing where the tests are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Th
i
s
i
s left
over
from Oct
o
ber as pa
r
t of the i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpent
e
r
Add
get
_
possibl
e
_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff l
e
ft over from October
.
I
m
plie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We
c
o
uld save
some
memor
y
by not all
o
cat
i
ng new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
i
x memory
leak
.
Add more
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpent
e
r
A
d
d a merge hoo
k
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
str
c
mp() doe
s
n
't acc
e
pt NULL
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
rename two functions: get_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
get_varia
b
le_from
_
expr() uses a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cr
e
ate
a ch
e
ck_template
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Make get_all_
s
tates() not se
g
f
ault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x ge
t
_va
l
u
e() to ret
u
r
n
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
We o
n
ly ev
e
r
pass
o
ne
pa
r
ameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next