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
Remove call to alloc_state()
2009-02-18
Dan Car
p
enter
R
e
move call
to alloc_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
t
h
e
m
erge
_
hook
(
)
ins
t
ead
o
f sett
i
ng the
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
r
penter
Oops
.
Meant to co
m
mit this
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
A
dd the merg
e
_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
lear the
r
eturns lists at the end of each f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Move the implicat
i
ons
che
c
k
ing to af
t
er the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewrite completely w
i
th new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Ad
d
some func
t
i
o
ns to handl
e
trac
k
er lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Ca
r
penter
D
on't s
e
gf
a
ult a
l
l the time when
checking f
o
rever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Te
s
t to se
e
if w
e
a
re catc
h
ing cross
funct
i
on derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->po
s
sible stat
e
s an
d
remove the me
r
ge_ho
o
k
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
pent
e
r
"whil
e
((1))
{" is a forever l
o
op
.
C
all stri
p
_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
fixes to the -> po
s
s
i
b
le setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge bra
n
c
h
'
m
aster' in
t
o
null_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Ad
d
validat
i
on
s
cript for check
_
null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpent
e
r
Clean up
.
new->possible
is a
l
wa
y
s null her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pente
r
Oo
p
s
.
->possi
b
les
w
as
n
't getting set
cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Use
str
i
p
_
exp
r
(
)
in split_con
d
itions() instead reprod
u
cin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add s
o
me mor
e
o
p
erations to
ge
t
_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Return &me
r
ged instead
of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
a
ke get_
v
a
lue() retur
n
a va
l
ue
for b
i
twise
or e
x
pressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpent
e
r
Try again
r
emoving
s
t
a
tes from
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
e
nte
r
Revert "Remove a st
a
te f
r
om it's ->po
o
ls when
set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably the
wrong way
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Clean ups
.
Co
m
ments
.
Renam
e
slist_stack to
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Ha ha
.
I
s
till suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Re
m
ove d
e
buggi
n
g
code from
f
i
lter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
l
e
an up
.
Also preserve the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cl
e
an u
p
get_sta
t
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove __overw
r
ite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
There was
debugging outp
u
t
t
hat accidentally
g
ot
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
R
emove a state from
i
t's ->pools whe
n
set
_
state(
)
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Don't dele
t
e the
-
>po
o
ls on mer
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
T
r
y
un
d
erstand t
h
e implica
t
ions from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a s
t
at
e
&merge
d
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
nter
Ok
.
This
time smatch_implied _really_ does someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore csc
o
pe f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(W
h
i
t
e
s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
ites
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
enter
A
d
d
some more locking funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpent
e
r
Fix
implied pools so
t
hat at l
e
a
s
t
it do
e
s something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
It seemed like tracker_list wo
u
ld be useful
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
p
ent
e
r
Add a
R
EADME describing
s
mat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add scr
i
pt to find N
U
LL
der
e
ferences
b
etw
e
en functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpente
r
Fix usage me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
e
r
Check for mal
l
oc() as well as k
m
alloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix segfault
w
hen ha
n
dling
i
mplicitly declare
d
f
u
n
ct
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
C
arpenter
W
arn
w
hen we
d
o
n
'
t
a
cquire loc
k
s when cal
l
ing certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Try (and fail) to f
i
nd memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost p
r
int a
m
e
ss
a
ge when you c
o
m
e
t
o u
n
reachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
rpenter
Add check to l
o
ok
f
or double f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an
Ca
r
penter
Add checking for lock_kernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Make check_locking check both s
p
inlo
c
ks
a
nd s
e
m
a
phores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a
n
ew functi
o
n
s
list_has_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
If there
i
s an i++ then the valu
e
of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_lock
i
ng
s
c
r
ipt that
check
s
spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Save the possible states instead
of jus
t
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore
e
macs
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Car
p
enter
Fix likely(
)
and u
n
likel
y
()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add
singl
e
quotes around the variable
f
or consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
We coul
d
save some mem
o
r
y by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a comment sh
o
wing where th
e
te
s
t
s are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpe
n
ter
This
i
s left over from Octob
e
r as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an C
a
rp
e
nter
Add
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff le
f
t
over f
r
om O
c
tober
.
Im
p
lied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
rpenter
We co
u
ld save some m
e
mor
y
b
y
no
t
allocating
new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rp
e
nter
Fix memory leak
.
Ad
d
more
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Add a merge hook
.
Handle th
e
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
p
enter
s
t
rcmp
(
) d
o
esn't a
c
cept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpente
r
re
n
ame two fun
c
tio
n
s: get_
v
a
ria
b
l
e
_fro
m
_
e
x
pr_s
i
mple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
get_variable_from_expr(
)
uses a stati
c
buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
r
eate a check_template
.
c ex
a
m
p
le script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Make get_all_stat
e
s() not
s
egfa
u
lt every ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Fix get_value() to
return n
e
g
ative
va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carpenter
We onl
y
e
v
e
r pass
o
ne parameter into ge
t
_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get_all_st
a
tes() t
o
mat
c
h the
func
t
i
o
n
defin
i
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remove a
d
d_state(
)
and
s
t
a
te_defined()
d
efiniti
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Clean up
.
Fix leak
.
My problem is that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Initi
a
l
c
om
m
i
t of th
e
"imp
l
ied
s
ta
t
e po
o
ls"
s
tuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Doh
.
We haven't been using
s
match_
e
x
tra for a
wh
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Get rid of
p
ath_history
.
It's neve
r
going to be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
M
ake g
o
to_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carp
e
nter
Spee
d
up merge
_
slist now that
t
he slists are
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
Ins
e
rt stuff onto lists in a sorted orde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpen
t
er
Delete a
n
u
n
used
f
unction merg
e
_state_s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Ca
r
penter
fix: if (*foo) { (*foo)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Car
p
enter
kma
l
loc() and friends don't alw
a
ys retur
n
a non-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Ca
r
penter
The checks from h
e
r
e got merged into check_
n
ull_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Move the
stu
f
f f
r
om che
c
k_derefed_params
.
c into
c
hec
k
_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Fix b
u
g
i
n
or
_
slist_
s
tack(
)
.
if
(a
&
&
b) wasn't
b
e
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpenter
A
d
d
a hook at t
h
e end of a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another
s
trip_expr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rp
e
n
t
er
Handle
a
s
s
i
gnme
e
nt
s
inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pe
n
ter
O
n
l
y
p
ri
n
t somet
h
i
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 C
a
r
pente
r
Ignore array declarations
.
T
hose can't be N
U
LL o
b
viously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpen
t
er
Make
c
ur_slist st
a
t
ic
.
It's only used in smatch
_
states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
ite
space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
m
erge_slist() in
s
t
e
ad of trying to handle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__p
r
o
c
ess_co
n
tinues()
i
s
supposed
t
o be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next