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
Oops. ->possibles wasn't getting set correctly.
2009-02-14
Da
n
C
ar
p
ent
e
r
Oops
.
-
>p
o
ssibles wasn't get
t
i
ng
set cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Use s
t
rip
_
expr(
)
in
s
p
l
i
t_condit
i
ons() inste
a
d
r
e
p
rod
u
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add s
o
me more operations to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&
me
r
ged instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arp
e
n
t
er
m
a
ke get_value
(
) retur
n
a value for bitwise
o
r e
x
pressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try again
r
emoving states from poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Revert "Remove a state from i
t
's
-
>p
o
o
ls when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
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 Carpenter
C
l
ean ups
.
Comments
.
R
e
name slist_stac
k
to named_s
t
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
s
til
l
suck
a
t
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
o
mmen
t
s
.
Remove deb
u
g
g
in
g
code
f
r
om
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
Clean up
.
Al
s
o preserve t
h
e
->
p
ools in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up get_st
a
te
_
slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move __
o
verw
r
ite_
c
ur_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There
w
a
s deb
u
g
g
ing
output t
h
at ac
c
ide
n
tally g
o
t commit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpen
t
er
Remove a st
a
t
e from it's
-
>pools
w
hen set_state()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Don't
d
elet
e
the -
>
pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try u
n
derstand t
h
e implications from compound con
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
e
r
Create a state &merged
.
When we merg
e
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This ti
m
e
smatch_implie
d
_really_
does s
o
meth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
I
g
n
ore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
nup
s
.
(
Whit
e
space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
W
hite
s
pace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d some more locking f
u
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
F
i
x implied
p
oo
l
s so that
at least
i
t does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It see
m
e
d
like tracker_list woul
d
be useful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a RE
A
DME describing smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpen
t
er
Add scr
i
p
t t
o
f
in
d
NUL
L
dereferences betwe
e
n functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as well as kma
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix segfault when handling impli
c
i
tly
dec
l
ared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpent
e
r
Wa
r
n when
w
e
don't
a
cquire locks when ca
l
ling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Try
(
an
d
fai
l
) t
o
find
m
emory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almost
p
r
i
n
t
a mess
a
ge when you com
e
to unreacha
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
A
d
d
c
heck to look
for double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for
l
o
ck
_
ke
r
nel
(
)/unl
o
ck
_
kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make check_l
o
cking chec
k
both spinlocks and
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
penter
A
dd a n
e
w function slis
t
_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
ent
e
r
I
f
there is an i++
then the value of 'i'
i
s
un
d
e
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpent
e
r
Add a new check
_
l
o
cking script that check
s
s
p
i
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Save the p
o
ssi
b
le states i
n
stead of just mer
g
ing them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
C
a
rpe
n
ter
Merge
b
ranch 'm
a
ster'
into pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Ca
r
p
e
nter
Fix likely() and unlikely()
h
andli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
r
p
enter
Add s
i
ngle quotes aro
u
n
d the varia
b
l
e
for consist
e
nc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpenter
We could save
some
m
emory by not
a
llocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pen
t
e
r
Add a
comment showin
g
where
the
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
h
is is
l
ef
t
over from October as par
t
of the implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpe
n
t
e
r
Add
g
e
t
_
possible_
s
tates
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
S
t
u
ff left
over from October
.
Implied
pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Car
p
enter
We coul
d
sav
e
s
ome memory by not
allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
nter
Fix memory
l
eak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
Add a
merge hook
.
Han
d
le the
s
i
t
uati
o
ns
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
penter
strcmp()
doesn'
t
ac
c
ept NUL
L
a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rp
e
nt
e
r
rename two function
s
: get_variable_from_
e
xpr_simp
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
get_variable
_
fr
o
m
_
ex
p
r() uses
a
static buffer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a ch
e
ck_template
.
c
example
scri
p
t
t
hat l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpent
e
r
M
a
ke get
_
a
ll_states() not se
g
faul
t
every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_value() t
o
return nega
t
ive
va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
We only ev
e
r pass one par
a
meter in
t
o
g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpen
t
er
Fix
g
et_all_states() to match the func
t
ion definiti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Re
m
ove add
_
state() and state_defined(
)
definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpent
e
r
C
l
e
a
n up
.
Fix l
e
a
k
.
My pr
o
blem is that
I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Initia
l
commit
o
f
th
e
"implied
sta
t
e pools
"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
W
e
haven't been usin
g
smat
c
h_extra
f
or a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Get
r
i
d
of p
a
t
h_h
i
story
.
It's never go
i
ng to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpenter
Make goto_stack
s
ta
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
pen
t
er
S
p
e
e
d
up merge_slis
t
now that t
h
e sli
s
ts are ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Insert st
u
f
f
onto
list
s
in a sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
te
r
Delete a
n
unused functi
o
n m
e
rge_
s
ta
t
e_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpenter
fix
:
i
f
(*foo) { (*fo
o
)
-
>bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
k
m
all
o
c(
)
and friends don't always return a non-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
er
The ch
e
c
ks from
h
ere
g
o
t merged in
t
o check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
M
o
ve the stuff from check_derefed_params
.
c in
t
o
ch
e
ck_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Ca
r
penter
Fix
bu
g
i
n
or_slist_st
a
ck()
.
i
f
(a && b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
Add
a
hook
a
t the end of a f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carp
e
nter
Forgot
anoth
e
r stri
p
_ex
p
r() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
H
an
d
l
e
assi
g
nmeents
i
n
s
ide c
o
ndition
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print somet
h
ing f
o
r a->foo
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
a
rpenter
Igno
r
e arr
a
y declaration
s
.
Those can't be NULL ob
v
io
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make cu
r
_slist static
.
I
t
's onl
y
u
s
ed in
smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
White s
p
ace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpe
n
ter
Use merge_sl
i
st() instead of
trying
t
o handle it
yo
u
rself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
ar
p
ente
r
__
p
rocess_c
o
ntinues(
)
is
s
upposed to be basi
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Car
p
e
n
t
er
New smatch_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpent
e
r
(foo)
= 1 is the same as
foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ge
n
e
r
alize s
t
ip_c
a
sts
(
)
.
I
t'
s
now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
I
gnor
e
ca
s
ts
.
foo(
(
i
n
t *)&bar) i
s
t
he s
a
m
e
as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
nter
Created show_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
enter
Ignore stuf
f
li
k
e fo
o
.
b
a
r
.
We
o
nl
y
c
a
r
e about
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What
h
appens be
f
o
r
e
is that
p
a
r
ameters w
o
uld ge
t
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
r
p
e
nter
M
issed a crashi
n
g bug in the
int =>
struct con
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't
b
e
liev
e
I was
d
oing stacks wrong
this
w
ho
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpente
r
C
h
anged smatch state from being an int
to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
I w
a
nt to reuse the name smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carp
e
nte
r
R
edo the
n
ull path thing
.
So lo
n
g
a
s there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Clean up
.
Complic
a
t
e
d i
s
just
a bo
o
le
a
n
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Arrays are
c
omplicated
so t
h
ey shouldn't be retur
n
e
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Ca
r
pen
t
er
If we c
a
l
l se
t
_
state fro
m
inside a
cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
If
the point
e
r is initializ
e
d to non
-
n
u
ll then se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next