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
Don't __free_sm_state() until end of function.
2009-02-02
Dan Carpenter
Mak
e
ch
e
ck_lo
c
ki
n
g c
h
eck both
s
pinlock
s
a
n
d semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd a new function sli
s
t_has_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there i
s
a
n
i
++ t
h
en the value of 'i' is und
e
f
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
e
r
Add a new check_l
o
cki
n
g script that che
c
k
s spin
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Save the po
s
s
i
bl
e
states inste
a
d of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore e
m
acs
g
arbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpente
r
Merge b
r
anch 'mas
t
er'
into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
arpen
t
e
r
We coul
d
sav
e
some memory by
not
allocating new
m
emor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
r
penter
Add a comment sho
w
ing
where t
h
e tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is
l
eft
over from Oct
o
ber as
p
art
of th
e
impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
Add get_p
o
s
s
ible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stuff left over from October
.
Implied p
o
ols w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpent
e
r
We
c
o
u
ld save some memo
r
y by
not
a
llocating n
e
w m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Car
p
enter
F
ix memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpent
e
r
Add a mer
g
e
hook
.
Handle the situa
t
i
ons like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() does
n
't accept NULL
a
r
guments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
rename
t
wo
f
unc
t
ion
s
:
ge
t
_varia
b
le_from_expr_si
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
et
_
variab
l
e_from_expr(
)
us
e
s a
static buffer
and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
Create a
c
heck_templat
e
.
c
e
xampl
e
scr
i
p
t that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make get_all_stat
e
s() not segf
a
ul
t
every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_value
(
) to ret
u
rn neg
a
tive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
We only ev
e
r pas
s
one
p
a
rameter
i
nto get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
i
x get
_
all_states(
)
to match the f
u
nction d
e
fin
i
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move ad
d
_state() and state_defi
n
ed()
d
e
finitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Car
p
ente
r
Clean up
.
Fix leak
.
M
y
pro
b
lem is that I don't underst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpente
r
In
i
t
i
a
l commi
t
of
t
he "
i
mplie
d
state p
o
ols"
st
u
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Doh
.
We haven't
b
e
en using smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
ter
Get rid of
path_history
.
I
t's never
g
oi
n
g
t
o
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
e
r
M
ake goto_stack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spee
d
up me
r
ge_slist now
t
hat the s
l
i
sts are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stu
f
f on
t
o lists
i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carp
e
nter
Del
e
t
e
an u
n
u
s
ed func
t
ion merg
e
_
s
tate
_
s
t
ack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpent
e
r
fix: if
(
*foo) { (*foo)
-
>bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
kmalloc
(
) and fr
i
ends don't a
l
way
s
return a
non-nu
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The ch
e
c
k
s
fr
o
m here got merged
in
t
o ch
e
ck_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move the stuff from ch
e
ck_d
e
refe
d
_
p
arams
.
c
into
c
h
ec
k
_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
i
x
bug
i
n
o
r
_
sl
i
st_stack()
.
i
f (a &
&
b) wasn
'
t bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpent
e
r
Add a hoo
k
at
the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Fo
r
got
a
nother strip_expr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nte
r
Handle assignmeents inside conditi
o
ns b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
e
r
Onl
y
p
r
in
t
something for a->foo a
n
d
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
a
r
penter
Ignore arra
y
declarations
.
Tho
s
e
can't be
NULL
obvio
u
sly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
It's onl
y
use
d
in smat
c
h_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpent
e
r
Wh
i
te
s
p
a
ce chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Use merge_slist() inst
e
ad of trying to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues()
i
s suppo
s
ed to
b
e
b
asically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Ne
w
smatch_ignore
.
c fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
o
o)
= 1 is the
same as
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_casts()
.
It'
s
now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
I
g
nore c
a
sts
.
foo((int *)&b
a
r)
i
s the sa
m
e as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Cr
e
ated show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carp
e
n
ter
Ignore stuff like foo
.
bar
.
We
only care about
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t happens before is that p
a
ra
m
eters woul
d
get a
s
signed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
i
ssed a crashing bug i
n
the
i
n
t => struc
t
c
on
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Car
p
ente
r
I can't bel
i
eve I was do
i
ng stacks
w
r
o
ng this w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
e
r
Changed sma
t
ch
state from b
e
ing an i
n
t to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
want to reuse the name
s
match_state
.
The
c
ur
r
e
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Redo
t
he n
u
ll path thing
.
So long
as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Ca
r
penter
C
l
ea
n
up
.
Complic
a
ted is jus
t
a boolea
n
.
Set
i
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pente
r
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Save the pre conditions inside the c
o
nditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main c
h
a
nge here was to completel
y
rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Bre
a
k things out
i
nto functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpent
e
r
H
a
n
dle wh
i
le and for l
o
ops slig
h
t
ly be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Ca
r
p
enter
I
rem
o
ved nullify_path() earl
i
er but
that was
a
mis
t
ake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't think the speci
a
l_
k
ernel_
m
a
c
ros() func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Add a
function to do a strcmp() with a sy
m
b
ol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpente
r
Remove ev
e
rything to do wit
h
path_id
'
s
.
I cou
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
penter
Replace the variable __negate with the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small cl
e
an up
.
Move the
p
assing the whol
e
c
ondi
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
C
rap
.
I meant to merge this earlier wh
e
n
I divid
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
A
d
d a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpenter
Moved all the logic
for hand
l
ing
c
onditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Oops
.
I guess I de
l
e
ted the wrong lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass the cont
e
nts of size
o
f
(
) to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
I
mprove how the d
e
bu
g
i
nfo for
m
erging
s
t
a
t
es gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
The
main thing i
s
to handle zero
c
omparisons b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpente
r
R
emove unneede
d
co
d
e
.
Thi
s
stuf
f
is handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
We n
e
e
d t
o
be
a
ble to break dow
n
(
fo
o
!= 0
)
for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Id
e
nt
i
fy for(;;
)
type
loop
s
as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
pe
n
t
er
Add su
p
port fo
r
BUG_
O
N()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rp
e
nter
What I've seen is stuff
li
k
e this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Anything th
a
t w
e
don't handle is ob
v
ious
l
y c
o
mplic
a
ted
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge b
r
anc
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a co
m
m
ent to
g
e
t
_
variable_fr
o
m_ex
p
r_si
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment to get_variable_fr
o
m_expr_simpl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
The n
u
llif
y
_path() here is a
bu
g
.
I
t o
v
er-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
__prin
t
_
c
ur_slist(
)
is a useful function
for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you ha
v
e something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpent
e
r
U
pd
a
te t
h
e lin
e
n
u
mbers for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
C
h
an
g
e
t
he merge r
u
les for custom m
e
r
g
e scri
p
ts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Move
SM
_
D
EBUG
t
o a header so everyon
e
can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
A
d
d
a
custo
m
m
e
rge fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
U
pdate the line
n
umber at the
v
ery start
o
f
th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carp
e
nter
Change the de
b
ug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Car
p
ente
r
A
d
d
a --d
e
b
ug option
.
It has to be t
h
e
fi
r
st option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make sure
t
he variable name is NULL termi
n
at
e
d otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Smal
l
clean ups
.
N
o
change
i
n
b
eh
a
v
i
or
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n Carpenter
This
i
s
an off by one
error
r
eally
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
e
nter
Th
e
s
p
a
rs
e
_init
i
alize
(
) function now takes a fileli
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree