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
Fix the Unclear locking thing. Again.
2009-02-23
Dan C
a
rpenter
Fi
x
t
h
e Unclear locki
n
g thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on
d
ouble lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Prin
t
fewer
U
ncle
a
r
locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpe
n
ter
i
f ((1)
)
{
.
.
.
is
a
known_con
d
i
tion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carp
e
nter
Add support for t
h
o
se
funny g
c
c
(
{
.
.
.
})
bl
o
ck stateme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Handle d
e
claration
s
i
nside switch s
t
atement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpent
e
r
Clean
u
p is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
ter
Add known_condition_f
a
ls
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpen
t
er
Fi
x
ha
n
dling o
f
continue ins
i
d
e
do
w
hile statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
set let p
e
ople s
e
t
s
tate
s
fo
r
unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpe
n
ter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Handle the iterators corr
e
ct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
Ad
d
support for "if (a?b:c) {
.
.
.
"
t
ernar
y
c
o
n
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Ad
d
some support f
o
r _spin_tryl
o
ck()
a
nd frie
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
if (a || b) {
a->foo; should print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
penter
Thi
s
prints out error messages all t
h
e time that
a
re
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an
C
arpenter
Assignment always sets &isf
r
eed to so
m
ething else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Don't p
r
int cross_fu
n
c er
r
o
r
s if the
c
alled functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove ca
l
l to alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the merge_hook() instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
O
ops
.
M
eant t
o
commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
Add
t
he merge
_
ho
o
k
() b
a
ck
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Clear the returns lists at the end of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
M
o
ve t
h
e
i
mplic
a
t
i
o
n
s check
i
ng to afte
r
t
h
e scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewri
t
e comp
l
etely with new
g
oa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
Add some fun
c
tio
n
s
t
o h
a
n
dle tr
a
cker
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Don't
s
egfault a
l
l the ti
m
e when ch
e
cking for
e
v
e
r loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Test to see if we are catching cro
s
s function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->possible states and rem
o
ve the me
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
"
w
hile ((1)) {" is
a fore
v
er loop
.
Call strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
fixes
t
o t
h
e -> possible
s
e
tting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Merge branch 'm
a
ster' into nu
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Add validat
i
on s
c
ript for check_n
u
ll
_
d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpenter
Clea
n
up
.
new->possible is always nu
l
l he
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arp
e
nter
Oop
s
.
-
>pos
s
ibles w
a
sn't getting set correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in s
p
lit_con
d
it
i
ons() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
A
dd so
m
e more operations to
get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merge
d
instead of &u
n
d
e
fi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
make g
e
t_value(
)
r
eturn a value for b
i
twise or expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpe
n
ter
Try again removing st
a
tes f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
e
nter
Revert "Re
m
ove
a sta
t
e
from it's ->pools
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Elimina
t
e
a wa
r
ning
.
P
robably the w
r
o
n
g way to d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Clean u
p
s
.
Comments
.
Rename slist_stac
k
t
o
named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Ha ha
.
I still suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cleanup
s
.
Comments
.
Rem
o
ve debug
g
in
g
code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean
up
.
A
lso p
r
eserve
th
e
->pools i
n
o
ne path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up get_state
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
p
enter
Remove __overwrite_c
u
r_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
There was
d
e
bugging output that accidental
l
y g
o
t committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Rem
o
v
e a st
a
te from it's
-
>pools
w
hen
s
et_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
D
on't delete the
->pools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Try un
d
ersta
n
d the implicatio
n
s from c
o
mpo
u
nd conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
reate a s
t
ate
&
merged
.
Wh
e
n
we
m
erge
s
tuf
f
it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time
s
m
a
t
c
h_
i
mp
l
ied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ignore
csc
o
pe files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpen
t
e
r
Whitespace chang
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add s
o
me mor
e
l
o
cking functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
arpenter
Fix i
m
plied p
o
ols s
o
that at least
i
t does someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
It s
e
em
e
d
like
t
rack
e
r_list w
o
uld be
u
sef
u
l in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
A
d
d a README desc
r
i
bing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add scrip
t
to fin
d
NULL de
r
eference
s
between fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpent
e
r
Fix
u
sage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check for ma
l
loc()
as well as kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
F
i
x
segfault when handling implicitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Warn w
h
en
w
e do
n
't acqui
r
e locks
when
call
i
ng certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpent
e
r
Try
(
and
fail
)
to fin
d
m
emory le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
A
l
most print a message when y
o
u come
t
o un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
che
c
k to look for
d
o
uble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpente
r
A
d
d
checking for lock_kernel
(
)/u
n
lock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check
_
loc
k
ing check
both spinlocks an
d
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add a new f
u
nction slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++ then
t
h
e v
a
lue
of 'i' is
u
n
defi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpen
t
er
Add a n
e
w check_loc
k
ing script that checks spin
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Save the possible states inst
e
ad of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nt
e
r
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
rp
e
nter
Merge
b
ranch 'maste
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
W
e
could
s
a
ve some memor
y
by not
a
llocating n
e
w m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpe
n
ter
Add a com
m
ent s
h
owing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpente
r
This
is left over
fr
o
m October as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carp
e
nter
A
d
d
g
e
t_possible_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
ter
Stu
f
f left
over from Oct
o
ber
.
Implie
d
p
ools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpe
n
ter
We could sav
e
some
memory by not a
l
l
ocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
er
F
i
x memory leak
.
Ad
d
more comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merg
e
h
o
o
k
.
H
and
l
e
t
he
situa
t
i
o
ns like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
strcmp() doesn't accep
t
NULL argu
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
re
n
ame two f
u
nctions: ge
t
_vari
a
ble_from_expr_si
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
e
t_variable_f
r
o
m
_expr() uses a st
a
t
i
c buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carp
e
nter
Create a check_tem
p
late
.
c example script
that loo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
enter
M
ake
ge
t
_
a
ll_states() n
o
t segfau
l
t every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Fix ge
t
_
value() to return
n
e
gative value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpe
n
ter
We onl
y
ever pa
s
s one par
a
m
et
e
r into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
arpenter
Fix get_all_st
a
tes() to matc
h
the fu
n
ction def
i
nition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Remove add_
s
tate() and state_defined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Clean up
.
Fix leak
.
M
y problem is that
I
don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initia
l
co
m
mit o
f
the "implied
s
tate pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
n
ter
Do
h
.
We haven't
b
e
e
n using smatch_extra for a whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpente
r
Get
r
id of p
a
th_h
i
story
.
It
'
s nev
e
r going to b
e
u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpen
t
er
Make goto_s
t
ack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpenter
Speed up merge_slist now that th
e
sl
i
s
ts
a
r
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next