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
Almost print a message when you come to unreachable code.
2009-02-03
D
an
C
arpen
t
er
Almost print a messa
g
e w
h
en you come to unreach
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
e
nter
Add check to
look for d
o
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Ca
r
p
enter
A
dd
checking for
l
ock_k
e
r
nel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check
_
l
o
cking check both spinlocks and sem
a
phore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add a new
function sl
i
s
t
_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
pe
n
ter
If there is 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 C
a
rpenter
Add a new check_lo
c
king script th
a
t checks
spin
l
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
p
enter
Save the possib
l
e
stat
e
s instead of ju
s
t merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpe
n
ter
Ig
n
ore em
a
cs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Merge
br
a
nch 'm
a
ster' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
W
e
could save som
e
m
e
mory by not allocating new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
d
d
a comment showing where t
h
e tests are
s
u
p
posed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpen
t
er
This is left
o
ver from Octob
e
r
as p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
g
et_possible_s
t
at
e
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Stuff left over
from Octo
b
er
.
Implied p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We
c
ould save some memory by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Da
n
C
a
rpenter
F
i
x me
m
ory le
a
k
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
rpen
t
er
Add
a merge
h
ook
.
Handle the si
t
ua
t
ions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
strcmp()
doesn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
renam
e
two functio
n
s:
g
et_variable_from
_
ex
p
r_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variabl
e
_from
_
e
xp
r
() use
s
a static buff
e
r
and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a chec
k
_tem
p
late
.
c example script
t
hat lo
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
n
t
e
r
Make
get_all_states() no
t
segfa
u
lt every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpen
t
e
r
Fix get_val
u
e() to return nega
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pass o
n
e parameter into get_
v
al
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pen
t
er
F
ix get_all
_
s
t
at
e
s(
)
t
o
match
t
h
e fu
n
ction d
e
f
i
nition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
e
nter
Rem
o
ve add_state() and state_
d
ef
i
ned()
de
f
in
i
t
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
penter
C
lea
n
up
.
Fi
x
leak
.
My p
r
o
b
lem is
t
hat I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
e
r
Initi
a
l
commit o
f
the
"impl
i
ed
s
t
ate poo
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
r
pe
n
ter
Doh
.
We haven't been using s
m
atch_extra
for a w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pe
n
te
r
Get rid of path_history
.
I
t
's never
g
oing to be
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make goto_stack st
a
ti
c
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Ca
r
p
e
nter
Speed up me
r
ge
_
sl
i
st
n
ow that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Insert stuff onto lists in a s
o
rte
d
ord
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
De
l
ete an unus
e
d fu
n
ction merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f
(*
f
oo)
{
(*
f
oo)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
km
a
lloc() a
n
d friends don't al
w
ays retur
n
a
n
on-n
u
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
The checks from h
e
re got merged into check
_
null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpe
n
ter
Mo
v
e t
h
e stuff f
r
om check_derefed_params
.
c into
c
heck_nu
l
l_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
r
penter
Fix bug in o
r
_
s
list_s
t
ack()
.
if (a && b)
w
asn'
t
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a h
o
ok at th
e
end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Forgot
a
n
o
ther str
i
p_expr() c
a
ll
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpent
e
r
Handle
assignmeents i
n
s
i
de con
d
itions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only pri
n
t so
m
ething for a-
>
foo and
not a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpent
e
r
Ig
n
ore array d
e
claratio
n
s
.
Those can't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Mak
e
cur_slist
s
tatic
.
I
t's only us
e
d in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
p
ent
e
r
White space cha
n
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n C
a
rpenter
Use merge
_
slist() instea
d
o
f
trying to handle it
y
ourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
pent
e
r
__process
_
continues
(
)
is supposed
to be bas
i
cally th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
ew
s
mat
c
h
_
ignore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpen
t
er
(
f
o
o)
= 1 is
the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpenter
Generalize stip_c
a
sts()
.
It's now cal
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ig
n
ore ca
s
ts
.
f
o
o((int *)&bar) is the same a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
r
e
ated show_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
I
g
nore stuff
l
ike
f
oo
.
b
a
r
.
W
e only
car
e
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
W
hat happ
e
ns
before is that parameters wou
l
d get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Misse
d
a crash
i
ng bug in
t
h
e int =
>
st
r
uct conver
s
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n C
a
rpenter
I ca
n
'
t
believe I
was doing st
a
cks wrong
t
his whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Car
p
enter
Ch
a
nged sm
a
tch state f
r
om be
i
n
g an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpen
t
er
I
w
a
n
t to reuse
t
he name s
m
atch_st
a
te
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
Redo the null path thing
.
So long a
s
there
i
s one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Ca
r
penter
C
lean up
.
Complic
a
ted i
s
jus
t
a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge
branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
D
an Car
p
e
n
ter
Save
the pre conditions i
n
side
t
he conditions s
o
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
er
The m
a
i
n
change here was to completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things out into funct
i
ons a b
i
t
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Car
p
e
nter
Handle w
h
i
le and for l
o
ops s
l
ightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed n
u
llify_
p
at
h
(
)
earlier but
that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I d
o
n
'
t think the speci
a
l_kernel_mac
r
os() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Add a func
t
io
n
to do a strcmp
(
) with a s
y
mbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Remove everyt
h
in
g
to d
o
with path_i
d
's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Re
p
la
c
e the
variable __negate with
the fun
c
tion __negate
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
mal
l
clean
up
.
Move the pass
i
ng the whole conditi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Cr
a
p
.
I meant to merge this earlier when
I
divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
comm
e
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
en
t
e
r
Moved
all the logic for
h
a
n
d
l
ing cond
i
tions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Oops
.
I
guess I deleted
the wr
o
n
g
lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Don't pass
t
h
e
c
o
n
tents o
f
siz
e
of(
)
t
o th
e
client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpen
t
e
r
Imp
r
ove how the deb
u
g in
f
o for merging states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The ma
i
n thing is to handl
e
z
ero
c
omparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
R
emo
v
e u
n
needed cod
e
.
This
stuff is han
d
led in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Ca
r
penter
We
need to be able to bre
a
k
d
ow
n
(foo != 0) for
B
UG
_
ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
dentif
y
f
o
r(;;) type loops a
s
f
o
rever
loops
.
Thi
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Add support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
enter
What I'v
e
seen is
stuff li
k
e this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anyt
h
ing
that
w
e don'
t
h
andl
e
is obviously complica
t
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
omment to get_varia
b
l
e_from_exp
r
_simp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add
a
c
o
mm
e
nt
t
o get_var
i
able_f
r
om
_
e
xpr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
T
he nullify_path
(
) he
r
e
is a bug
.
It over-writ
e
s all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
__p
r
i
n
t_cur_sli
s
t() is a
useful
funct
i
on for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If
you h
a
ve something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
arpenter
Up
d
ate t
h
e line numb
e
rs for each
s
tatement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Ch
a
nge the merge rules
for
custom merge scripts
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Move S
M
_DEBUG to a
h
eader so everyone
c
a
n use
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carp
e
n
t
e
r
Add a custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
D
an Carpe
n
ter
Updat
e
the
l
ine number at the
v
ery st
a
rt of the
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
arpenter
C
han
g
e the deb
u
g outpu
t
a
bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpen
t
er
Add a --debug option
.
It h
a
s
to be the firs
t
option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
an Carp
e
nter
Make sure t
h
e
variable
n
ame i
s
NULL
t
erminated otherw
i
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next