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
if (a || b) { a->foo; should print an error. Also better --debug output.
2009-02-20
Dan Carpente
r
if (a || b) { a->foo; shoul
d
print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpen
t
e
r
This pri
n
ts out error
messages
a
ll the time tha
t
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nt
e
r
As
s
ignment alway
s
sets &
i
sfreed to something els
e
lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print
c
ross_fun
c
e
r
ror
s
if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Remove
call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Call the merg
e
_
h
o
o
k() instead of setting
t
he sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
O
ops
.
Meant to commit t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add
t
he m
e
rge_hook
(
) back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
C
lear t
h
e retu
r
ns lists at the
e
nd
of each funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
o
ve t
h
e impli
c
a
ti
o
ns checkin
g
to a
f
ter the script
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Rewrite co
m
p
l
ete
l
y with n
e
w
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add som
e
f
u
nctions
t
o
handle t
r
ac
k
er lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Don'
t
segfaul
t
all
th
e
ti
m
e when
c
hecking
forever loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
e
st to see if we are
catch
i
ng cross f
u
nction derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use the ->
p
ossibl
e
states and
remove
th
e
m
erge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpente
r
"while ((1))
{
" is a forev
e
r loop
.
Call
strip_expr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the
->
p
ossib
l
e
s
e
tting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpen
t
er
Merg
e
branc
h
'
mast
e
r' into null_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add validation scrip
t
for
c
heck_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpent
e
r
Clean up
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Oops
.
-
>
possibles wasn't g
e
t
t
ing set corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpent
e
r
U
s
e strip_
e
xpr() in split_co
n
di
t
i
ons() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Add some more operati
o
ns
t
o get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Return &merg
e
d instead
of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpent
e
r
make get_value() return a
v
a
l
u
e for bitwise o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
Try
a
gai
n
r
emo
v
ing
states from
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Ca
r
p
en
t
er
Re
v
ert "Remove a sta
t
e
f
r
o
m it'
s
->pool
s
w
hen s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Elimin
a
te a warni
n
g
.
Probably the
w
rong
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Clean ups
.
Com
m
ents
.
Re
n
ame sl
i
st_stack to
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha
ha
.
I s
t
ill suck at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cleanups
.
Com
m
en
t
s
.
Remove debugging
c
ode
f
rom filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cle
a
n up
.
Also preserve the
-
>
pools in on
e
pat
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean
up ge
t
_
s
tate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove __overwr
i
te_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
T
h
ere wa
s
d
ebug
g
i
n
g o
u
t
put that accidental
l
y
g
ot co
m
m
itted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a st
a
te
from it's -
>
pool
s
w
hen s
e
t_s
t
a
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
en
t
er
Don't
d
elete the ->pool
s
on m
e
rging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try und
e
r
s
tand the
i
mpl
i
cations from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Cre
a
te
a
state &merged
.
When we merg
e
stuff i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_
i
m
p
lie
d
_really_ does so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
rpenter
Ign
o
re cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carp
e
n
t
e
r
Small
c
leanups
.
(Wh
i
te space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Whi
t
es
p
ac
e
cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking
f
u
nctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
F
ix implied p
o
ols so
that
at least it
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It
s
eemed like tracker_list
w
ould
b
e usef
u
l in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Ad
d
a REA
D
M
E
describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Add script to find NULL der
e
feren
c
es betwe
e
n functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix
u
sa
g
e m
e
s
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpen
t
er
C
h
eck for
m
alloc() as
well a
s
k
m
a
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix
s
egfault when han
d
ling implicitly
d
eclared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arp
e
nter
W
a
rn when
we don't acquire locks when ca
l
ling
c
ertain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
T
ry
(and fail) to
f
ind mem
o
ry
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Almost print a mess
a
ge w
h
en you come to
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
en
t
er
A
d
d check to look for doub
l
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
a
r
p
ent
e
r
Ad
d
checking for lock_ker
n
el()/unlock
_
kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpent
e
r
Make check_lo
c
king check bo
t
h spin
l
ock
s
and semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Ad
d
a new fu
n
ction s
l
ist_h
a
s
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Car
p
e
n
t
e
r
If
t
here i
s
a
n
i
+
+ then the v
a
lue of 'i' is
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Ca
r
penter
Add a new
c
h
e
ck_locking script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible s
t
ates inst
e
ad of
j
ust
m
erging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Igno
r
e emacs garba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
erge branch 'mas
t
er' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nter
Fix likely
(
) an
d
unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carpenter
Add single quotes around
th
e
varia
b
le
for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an C
a
rpenter
We could s
a
ve
s
o
me memory b
y
not allocating
n
e
w
m
e
m
o
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
A
dd a comme
n
t s
h
owing where
t
he tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
T
h
is is left over from October as
p
art
o
f t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get_possible_sta
t
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpe
n
ter
Stu
f
f left over from
O
cto
b
er
.
I
mpl
i
ed pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save
s
ome memory by not allocating new
memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rpent
e
r
Fix
m
emory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
A
d
d a me
r
ge hook
.
Handle the
s
ituat
i
o
n
s
li
k
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpen
t
e
r
strcmp() doesn't ac
c
ept
N
ULL arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
rename two
functions: get
_
v
a
r
iable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
e
t
_
variable_from_expr()
u
ses a s
t
atic bu
f
fer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a check_template
.
c
e
xample script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
Make
ge
t
_all_states() not segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpent
e
r
Fix get_value() to r
e
turn negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpente
r
We only eve
r
pass one pa
r
ameter i
n
to get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_all_sta
t
es() t
o
m
atch th
e
fun
c
tion definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Remove add_s
t
a
te() and st
a
t
e_defined
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpe
n
ter
Clean up
.
Fix
l
e
a
k
.
M
y problem
i
s tha
t
I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
te
r
I
n
itial commit of t
h
e "imp
l
ied state
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carp
e
nt
e
r
Doh
.
W
e haven't bee
n
using s
m
a
t
ch_
e
xt
r
a f
o
r a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of
p
a
th
_
history
.
It'
s
never going to
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
ake goto_stack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Ca
r
penter
Speed up merge_sl
i
st now
that the sli
s
ts are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Ca
r
p
enter
Insert
s
t
uff onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpent
e
r
De
l
ete an unused functio
n
merge_
s
tate_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpen
t
er
fix: if (*foo) { (*foo)
-
>bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an
C
arpenter
kmalloc
(
) and friends don't
a
l
ways return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpe
n
ter
T
h
e
c
hecks from here got merged in
t
o check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the
stuff from check_
d
erefed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Fix bu
g
in or
_
slist_stack()
.
if (a && b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
pen
t
er
Add
a hook at th
e
end of a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Fo
r
g
o
t
a
n
oth
e
r strip_expr
(
) call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Ha
n
d
l
e
assignmeen
t
s inside condit
i
ons
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpen
t
er
Onl
y
p
r
i
n
t somethi
n
g for a->foo and not
a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore array decla
r
ations
.
Th
o
se can't
b
e NULL obv
i
ous
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next