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
Add known_condition_false()
2009-02-22
Dan
Carpe
n
t
e
r
Add kn
o
wn_condit
i
on_fal
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Fix handling o
f
co
n
tinue
i
ns
i
de do while
s
tatements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don'
t
set let people s
e
t sta
t
es for
u
nre
a
chable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small
c
le
a
nup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle t
h
e
iterators co
r
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
dd suppor
t
for "if (a
?
b
:c) {
.
.
.
"
t
ern
a
ry conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
A
dd some
s
upport
fo
r
_
s
pin_trylock() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
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
Dan
Carpenter
This prints out error me
s
sage
s
all the time
that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
s
s
i
gnme
n
t always sets
&isfree
d
to something else
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Don't print cross_func
e
rrors if
the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
R
emove call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Call the merge_hook()
i
n
stead of
s
e
t
t
ing
t
he state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Oo
p
s
.
M
eant to commit this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
A
dd
the merge
_
hook()
b
ack in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Clear th
e
re
t
urns lists at the end
of ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
M
ove the implicati
o
ns ch
e
c
k
ing to af
t
e
r
t
h
e scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Rew
r
ite completely
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
A
dd some functi
o
ns to handle t
r
acker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Don't
s
egfault al
l
the time when check
i
ng f
o
rever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Test
t
o
s
ee
i
f we are
c
atching cross f
u
nction derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Use t
h
e ->p
o
ssi
b
le stat
e
s and remov
e
the m
e
rge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((
1
)) {" is a
forever loo
p
.
Call str
i
p
_
expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes
to 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
Me
r
ge br
a
nch 'ma
s
ter' i
n
to null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add v
a
l
i
d
a
t
ion script
for che
c
k_null
_
d
er
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an
C
arpenter
Clean up
.
n
e
w->poss
i
ble is always
null h
e
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Oops
.
-
>
possib
l
e
s wasn
'
t
gettin
g
set
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
U
se strip_expr() in split_conditions() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
A
d
d some
m
ore oper
a
tions to g
e
t_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Return &
m
e
rg
e
d instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
make get_value() r
e
turn
a
va
l
ue for bitw
i
se or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Try again
r
emoving s
t
ates fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rpenter
Revert "Remove a
s
tate fro
m
it's ->pools w
h
en
set
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Elim
i
nate a warning
.
Probably the
wron
g
w
ay to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cl
e
an ups
.
Comm
e
nts
.
R
e
name slist_stack
to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I still suck at
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
ter
Clean
u
ps
.
Comm
e
nts
.
R
emove debugg
i
ng code f
r
om fi
l
te
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
.
Also pr
e
serve the ->pool
s
in one
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpen
t
er
Cl
e
an up
g
et
_
st
a
te_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
m
ove __overwrite_cur_s
l
i
s
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging output that
a
cc
i
de
n
tal
l
y go
t
c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove
a state
f
rom it'
s
->pools w
h
en
s
et_st
a
t
e
()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
Do
n
'
t delet
e
the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Tr
y
understand the implica
t
ions from
com
p
o
und co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
te
r
Create a state
&
merged
.
When we
merge st
u
ff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
r
penter
Ok
.
This
time smatch_im
p
l
i
e
d _really_ does
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
ar
p
enter
Ig
n
ore
cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
pe
n
te
r
S
mall clea
n
u
ps
.
(
White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whi
t
es
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carp
e
nter
Add some
m
ore
l
ockin
g
functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
F
ix implied pools so that at
least
it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
It
seemed like tracker_list woul
d
be u
s
eful in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Add a README descri
b
ing smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpen
t
er
Add
s
cript to find NULL de
r
eferences between
f
unct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix usage mess
a
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc
(
) as well
a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix
segfault wh
e
n
ha
n
d
ling implicitly declar
e
d fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpent
e
r
Warn when
we don't acquire
l
ocks wh
e
n
c
a
lling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
T
r
y (and fail) to find memory
l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
a
rpen
t
er
Almost print a me
s
s
a
ge w
h
e
n you come t
o
unreachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpent
e
r
Ad
d
check t
o
look f
o
r double fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add c
h
ecking
fo
r
l
ock
_
kernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpent
e
r
Make check_locking check both
spinlocks and
s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
en
t
er
Add a new
fun
c
tion slist
_
has_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Car
p
enter
If there
i
s an i++
t
hen the value o
f
'
i' i
s
undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd
a n
e
w check_locking script that c
h
ecks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the
p
ossibl
e
states ins
t
e
a
d o
f
just m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore emacs gar
b
a
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Merg
e
br
a
nch 'master' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpe
n
ter
Fix
l
i
kely() an
d
u
n
l
ikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Add si
n
gle quot
e
s
around the variable for consist
e
ncy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpen
t
e
r
We could save s
o
me
memory by
n
ot allocating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add a c
o
m
m
ent
s
howi
n
g
w
here the
t
ests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Thi
s
is lef
t
o
ver f
r
om October as par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get_possible
_
states(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpent
e
r
Stuf
f
left ov
e
r from Oc
t
ober
.
Impl
i
e
d
pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
rpe
n
ter
We c
o
uld save some memory by not al
l
oca
t
ing ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fix memo
r
y leak
.
Add m
o
re
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Add
a merge ho
o
k
.
Handle the
s
ituat
i
o
ns like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
strcmp() doesn't accep
t
NULL arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
re
n
ame two
functions: get_
v
ariab
l
e_from_expr
_
simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n C
a
r
penter
get_variable
_
from_expr() uses a st
a
tic buffer a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Create a c
h
eck_template
.
c example
s
cri
p
t that l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Car
p
enter
Make
get_all_s
t
at
e
s() not
s
egfau
l
t every
t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pente
r
Fix get_value()
t
o return n
e
g
a
ti
v
e value
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only ever
p
as
s
one
parameter
i
nto get_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix
g
et_all_
s
tates(
)
t
o
mat
c
h the functio
n
de
f
initi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Car
p
e
nter
R
e
m
ov
e
ad
d
_sta
t
e
(
)
and stat
e
_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
lean u
p
.
F
i
x leak
.
My pro
b
lem is that
I don't und
e
rstan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
pen
t
er
Initial commit of
t
he "imp
l
ied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
D
o
h
.
W
e
haven't
been using s
m
atch_extra for a w
h
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Ca
r
p
e
nte
r
Get rid of path_history
.
It's nev
e
r goin
g
to b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpente
r
Make goto_sta
c
k sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
e
nter
Spe
e
d
up m
e
rge_sl
i
s
t
now t
h
at the
s
lists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
Insert stuff o
n
to lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
e
lete an u
n
used f
u
n
cti
o
n
merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpenter
fix:
if (*foo) {
(
*
f
oo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and fri
e
nds don't always return a non-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an
C
a
rp
e
nter
The checks from here got merged
into ch
e
ck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next