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 some more operations to get_value().
2009-02-14
Da
n
Carpe
n
te
r
A
dd so
m
e m
o
re
operations
t
o get_val
u
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Return &mer
g
ed inste
a
d of &undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carp
e
nter
m
ake
g
et_value
(
)
r
e
t
u
rn a
value fo
r
bit
w
is
e
o
r expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpen
t
er
Try
again removing states fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Reve
r
t "Remove
a state
from it's -
>
pools wh
e
n set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Eliminate a wa
r
nin
g
.
P
ro
b
ably th
e
wrong
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clea
n
ups
.
Comments
.
Ren
a
m
e
s
list_stack
to named_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Ha
ha
.
I still suck
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
C
leanups
.
Comments
.
Remov
e
d
e
b
ugging co
d
e fro
m
filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
Cl
e
an up
.
Also preserve the -
>
pools
in one pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Cle
a
n up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpe
n
ter
Remove _
_
overwrite_cu
r
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
te
r
There was deb
u
gg
i
ng
o
utput that accidentally
got com
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Remove a state
fr
o
m it's ->pools when
se
t
_state
(
)
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don
'
t delete
t
he ->pools
on mergin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
Try understand the
i
mplications from compound con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Create a state &merge
d
.
When we me
r
ge stuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
arpenter
Ok
.
Thi
s
time s
m
a
t
ch_
i
mplied _re
a
lly
_
d
o
es
s
omet
h
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
te
r
Small
c
leanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
White
s
pace ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
A
dd
s
o
m
e more
l
o
c
k
i
n
g
fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Fix impl
i
ed pools so that a
t
l
ea
s
t it does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
I
t
seemed like tracker_list would be us
e
ful in
a l
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd script
t
o
find NULL
d
e
referenc
e
s between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix u
s
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck
f
or 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 s
e
gfault
when
h
a
n
d
l
ing implici
t
ly declared f
u
nct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
W
arn when we don't ac
q
u
i
r
e
l
ocks
w
hen call
i
ng ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to fin
d
m
emory le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
p
rint a message when
y
ou co
m
e t
o
unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
A
d
d che
c
k to loo
k
for double fr
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
t
er
Add checkin
g
for l
o
c
k
_kernel()/
u
nlo
c
k_k
e
rnel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
Make c
h
eck_
l
oc
k
ing chec
k
bot
h
spinlocks and semaphore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd a new function
slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If ther
e
is an i++ then the
val
u
e of 'i'
i
s u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd a
new chec
k
_locking script that checks spi
n
loc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
t
he pos
s
ible states in
s
tead of
just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
I
g
nore emacs garbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arpent
e
r
Merge branch
'
master' into po
o
l
s
5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
W
e could save some memor
y
by not all
o
cating
n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpent
e
r
A
d
d a comment showing
where
t
h
e te
s
ts are suppo
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
This is left over from
O
c
tober as
part o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_poss
i
ble_sta
t
e
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpe
n
ter
Stuff left over from
O
c
tober
.
Im
p
li
e
d poo
l
s wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
ent
e
r
We could save some memory by n
o
t allocat
i
ng new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fix m
e
m
ory leak
.
A
dd more
c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
A
d
d a m
e
rg
e
hook
.
Handle the situations lik
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arp
e
n
ter
strcm
p
() d
o
esn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
re
n
ame
t
wo functions: get_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_
v
ariable_from_expr() uses a st
a
tic buffer
a
nd yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
penter
Create
a
check_templat
e
.
c example
s
cript that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
ake get_all_states() not
s
egfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carpent
e
r
Fix get_valu
e
()
t
o return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only ever pass
one parame
t
er into get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_all
_
s
tates() to match the func
t
io
n
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remove add_state() and state_defi
n
ed() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Clean
up
.
Fix
l
eak
.
My pr
o
b
lem is
th
a
t I do
n
't u
n
derstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
o
f the
"
impl
i
ed
s
tate pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been using sma
t
c
h
_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Ge
t
rid of
p
a
th_h
i
story
.
It
'
s never
g
o
ing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Make go
t
o_sta
c
k sta
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_sli
s
t now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
e
nter
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
C
ar
p
e
n
ter
D
elete an unused fu
n
ction merge_state_st
a
ck
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f (*foo) {
(*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Ca
r
p
enter
kmallo
c
() and friends
don
'
t
always
return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The checks fr
o
m
he
r
e got
merged i
n
to check_null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the stuff from
c
heck_dere
f
e
d
_param
s
.
c into
c
heck
_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpente
r
Fix bu
g
i
n or_slist_stack()
.
if (
a
&& b) wasn't
b
e
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a ho
o
k at
the end of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
F
orgot a
n
oth
e
r strip_expr()
cal
l
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n C
a
rpenter
Handle assignmeents inside cond
i
tions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Ca
r
pente
r
O
nly print s
o
methi
n
g for a->f
o
o
a
n
d no
t
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
ente
r
Ig
n
ore ar
r
ay declarations
.
Those can't be N
U
L
L
obviou
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpe
n
ter
Make cur_slist static
.
It's on
l
y us
e
d
i
n sma
t
ch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
ter
W
hite space
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
p
en
t
er
Use
mer
g
e_sli
s
t(
)
instead of
t
rying to
h
andle
it y
o
urself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
__p
r
ocess_continue
s
() is su
p
pose
d
to be b
a
sically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
foo) = 1 is
t
he same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Ca
r
pe
n
t
e
r
G
eneralize stip_casts()
.
It's now calle
d
strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore cast
s
.
foo((int *)&bar)
i
s
the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpente
r
C
r
eated show
_
s
t
at
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pe
n
ter
Ignore
stuff like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
What happens befo
r
e is that parame
t
ers would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
Missed a crashin
g
bug in the
int => struct conv
e
rs
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
I
can'
t
believe I was doing stacks wrong this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pen
t
er
Ch
a
nged
s
m
atc
h
state from be
i
ng
a
n
int to being poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
rpente
r
I want t
o
r
e
u
s
e the name sm
a
tch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpente
r
Redo th
e
null
p
a
th t
h
ing
.
So long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Clean
u
p
.
Complica
t
ed
i
s
j
us
t
a
b
oo
l
e
an
.
Set it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
e
nter
Save
t
he pre co
n
ditions inside the condition
s
so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpe
n
ter
Th
e
main
change here was to completely rewr
i
te how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an
C
arpenter
Break t
h
in
g
s out into funct
i
ons a b
i
t
.
Cl
e
an ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
C
arpe
n
te
r
Handle while
a
nd for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
r
p
enter
I remove
d
nullif
y
_path(
)
earlier but th
a
t
w
as a
mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think
t
he speci
a
l_kernel_macro
s
() fu
n
ctio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next