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
Handle declarations inside switch statement blocks.
2009-02-22
Dan Carpenter
Handl
e
declara
t
ions insi
d
e switch statem
e
nt
b
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Cleanup is_
z
e
r
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
pe
n
t
er
Fix handling of continue inside do while statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
nte
r
Don't set l
e
t
p
eople
set state
s
fo
r
unreachable
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
r
penter
Small
cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
H
a
ndle the ite
r
ators correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
Ad
d
s
uppor
t
for
"
if (a?b:c)
{
.
.
.
"
t
erna
r
y
c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
o
me support for _spin_try
l
ock()
an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
a
rpenter
if (
a
|| b) { a
-
>
f
oo; should print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
Car
p
enter
Thi
s
prin
t
s out error messages all
t
he time that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
Assignment always set
s
&
i
s
freed
to someth
i
ng else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Don
'
t print cross_func errors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
pen
t
er
Remove call to alloc
_
s
t
a
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Call
t
he merg
e
_h
o
o
k() inste
a
d
o
f
setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant
t
o
c
ommit t
h
is
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add the merge_ho
o
k() back
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns
li
s
ts at t
h
e end
o
f
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
penter
Move the im
p
lications c
h
ecki
n
g
to after th
e
scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpente
r
R
ewrite completely w
i
t
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add some functions t
o
ha
n
d
le tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't segfaul
t
all the time when chec
k
ing forever loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpent
e
r
Test to
see if we are
catching c
r
oss function
d
erefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
se the
->
p
ossible states a
n
d remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"whi
l
e ((1)) {" is a fore
v
er loo
p
.
C
a
ll strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ent
e
r
fixes
t
o the ->
p
os
s
ibl
e
s
etting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Merge br
a
nch 'ma
s
t
e
r' into
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Ad
d
va
l
id
a
tion script
f
or
check_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Clean
up
.
new->poss
i
ble is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arp
e
nter
O
o
p
s
.
-
>
po
s
sibles wa
s
n't
g
e
tting
s
e
t
correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Use strip_expr() i
n
sp
l
it_condi
t
ions() instead r
e
produ
c
in
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Car
p
enter
Add so
m
e
mo
r
e o
p
er
a
tions to get_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
penter
Return
&
me
r
ged ins
t
e
a
d of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make
get_valu
e
() re
t
urn a value for bitwi
s
e or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Try a
g
ain removing stat
e
s
f
ro
m
pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Reve
r
t "Remove a state f
r
om
i
t
'
s
->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Elimin
a
te a wa
r
n
i
n
g
.
Probably
t
he w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
pent
e
r
Clean up
s
.
Comments
.
Rename
s
list_s
t
a
c
k to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
Ha ha
.
I
s
til
l
suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Clea
n
ups
.
Com
m
ents
.
Remove
d
ebugging
c
ode
from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
te
r
Clean up
.
Also prese
r
ve
t
he ->
p
ools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lea
n
up get_s
t
ate_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove __overwrite_cur
_
sli
s
t(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
There
was debugging output t
h
at acc
i
d
e
ntally got
c
omm
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Remo
v
e a sta
t
e
fr
o
m it's ->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Don't d
e
le
t
e th
e
-
>
p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try understa
n
d the
i
mpl
i
cati
o
ns from c
o
mpound cond
i
ti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Create a state &me
r
ged
.
When we merge
s
t
uff
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ok
.
This time s
m
atc
h
_impl
i
ed
_
r
eally
_
does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
I
g
no
r
e cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpent
e
r
Small cleanups
.
(
W
hi
t
e space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nt
e
r
Whitespace
chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more lo
c
ki
n
g funct
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix im
p
lied pools so
t
hat
a
t le
a
s
t it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seeme
d
like
tracker_list wou
l
d
be usef
u
l in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
A
dd sc
r
ipt t
o
find NULL
dere
f
eren
c
es
b
et
w
e
en
fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
e
nter
Fix
u
sage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check
for mallo
c
() as well as k
m
alloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fix segfault when
h
a
ndling
implicitly decl
a
re
d
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn wh
e
n we don't acquire locks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpe
n
t
e
r
Try (a
n
d
fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
l
m
ost print a mess
a
ge whe
n
y
o
u come to unreach
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd check to lo
o
k for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpen
t
er
A
d
d
c
hecking fo
r
lock_
k
e
r
nel()/
u
nlock_kern
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpente
r
Make check_locking che
c
k both
s
pinlocks and
semap
h
or
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pente
r
Add
a
new
funct
i
on 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 va
l
u
e of 'i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a new ch
e
ck
_
locking s
c
ript that ch
e
cks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpent
e
r
Sa
v
e th
e
possi
b
le states instead of j
u
st merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
I
g
nore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge b
r
a
n
ch 'master
'
i
n
t
o
pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
enter
We
c
o
u
ld
save
some memory
by not allocating new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n C
a
r
p
en
t
er
Add a comme
n
t
showing where th
e
t
e
sts are sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is
l
eft over from Oc
t
ober as part of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpen
t
e
r
Add g
e
t_p
o
ss
i
ble_state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
arpenter
Stuff
l
ef
t
ove
r
f
r
om October
.
I
m
plied
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We could save some me
m
ory by not
allocating
new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
nter
Fix me
m
ory leak
.
Ad
d
more commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
enter
Add a merge
hook
.
Handle the
sit
u
atio
n
s l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp() doesn't accept NULL arg
u
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
ren
a
me t
w
o func
t
ion
s
: ge
t
_variable
_
from_ex
p
r_
s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
le_
f
rom_expr() uses a static buffer
and
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpente
r
Crea
t
e a
check_t
e
mplat
e
.
c exa
m
ple script that lo
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpe
n
ter
M
ak
e
get_all
_
st
a
tes(
)
not segfau
l
t ever
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_value
(
)
to r
e
turn negative
val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only
ever pass one p
a
rameter into
g
et_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpen
t
er
Fix get_all_
s
tates() to
m
atch the
f
unc
t
ion definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
R
emove add_state() and state
_
defined
(
)
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Clean up
.
Fix leak
.
My proble
m
is that
I
don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of th
e
"implied
s
tate po
o
ls"
s
t
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Do
h
.
W
e
haven't been using smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_
h
i
s
t
o
r
y
.
It
'
s
n
e
ver g
o
i
n
g to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
rpenter
M
a
ke goto_sta
c
k
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed up merg
e
_
s
list
n
ow
t
hat
t
he slists are orde
r
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carp
e
nter
Insert
s
t
uff onto lists in a
s
orted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Delete an un
u
sed fun
c
tion merge
_
state
_
stack(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
if
(
*foo)
{
(
*
foo
)
->
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Ca
r
penter
kma
l
lo
c
() and
f
r
i
end
s
don
'
t al
w
ays return
a non
-
n
ull
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Ca
r
p
en
t
e
r
The checks fr
o
m here got merge
d
i
n
to
check_null_der
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next