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
Improve lock check output. Add more validation samples.
2008-10-13
D
a
n Carpenter
Speed up m
e
r
ge_
s
l
i
st
n
ow th
a
t
t
he slists
a
re
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
en
t
er
In
s
ert stuff onto lists in a
sorte
d
ord
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Delete an unused functio
n
merge_state
_
stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpe
n
ter
fix:
i
f
(*foo)
{ (*foo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpent
e
r
kmalloc
(
) and frien
d
s
don't alw
a
ys re
t
urn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
arpent
e
r
T
he chec
k
s
from here got merged
i
nto
check_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Move th
e
s
tuff f
r
om check_
d
erefed_params
.
c into check
_
nu
l
l_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpent
e
r
F
ix bu
g
in or_slist_
s
tack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
a
r
penter
Add
a
hook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
F
orgot another
s
trip_e
x
pr() c
a
ll
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Handl
e
assi
g
nmeents
inside
condition
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print som
e
t
h
i
ng f
o
r
a->
f
o
o
a
nd
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpent
e
r
Ig
n
or
e
arr
a
y
d
eclarations
.
Those can't be N
U
LL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pente
r
Make 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 Carpenter
White space
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Ca
r
penter
U
s
e merg
e
_slist() instead
of tryin
g
to h
a
ndle
it yours
e
lf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
t
er
__process_continues() is supp
o
sed to be basically th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
New smat
c
h
_
ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Ca
r
p
enter
(foo) = 1 is th
e
s
ame as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
G
e
neraliz
e
sti
p
_
cast
s
()
.
It's
n
ow
c
alled strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore casts
.
foo((int *)&bar) is the sa
m
e
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Igno
r
e
s
tuff like foo
.
bar
.
W
e
only
c
are abou
t
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an C
a
rpenter
Wha
t
happens before is that
p
arameters w
o
uld get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a c
r
ashing bug in the in
t
=> str
u
ct conv
e
r
s
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
ente
r
I can't
b
e
lieve
I was doing stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Changed
s
match state from being an
i
nt
to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ent
e
r
I want to reuse the name smatch_
s
tate
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo th
e
null path thing
.
So long as th
e
r
e is
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Clea
n
up
.
Complicated is just a boolean
.
Set it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge br
a
nch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
S
ave the
p
re con
d
i
tions in
s
i
de th
e
c
o
ndit
i
ons so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
T
h
e main
c
hange her
e
wa
s
to
c
ompletely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things
out int
o
functions a bit
.
C
l
ean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
H
andle
w
hi
l
e and
fo
r
l
o
o
ps slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
a
rpenter
I
remo
v
ed nullify_
p
ath() e
a
rlier
but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I do
n
't think the s
p
ecial_ke
r
n
el_macros() fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a fun
c
t
ion to do
a
st
r
cmp() with a symbol
na
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rem
o
v
e
ev
e
ryt
h
ing t
o
do with path_id's
.
I cou
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Ca
r
pent
e
r
Re
p
l
ace t
h
e
variable
__ne
g
ate with the function __ne
g
ate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
ent
e
r
Small clean up
.
M
ove
t
h
e
p
a
ssing the whole con
d
iti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpen
t
e
r
Crap
.
I mean
t
to merge
t
his earlier when I d
i
v
ided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Add a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
M
oved all the logi
c
f
o
r
handl
i
ng conditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
O
o
ps
.
I guess I deleted t
h
e wrong
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Don'
t
p
as
s
the conten
t
s
o
f siz
e
of() to the
c
lient
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpenter
Im
p
rove how the d
e
bug in
f
o f
o
r merging s
t
ates gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
The main thin
g
i
s
to
h
andle zero comp
a
ri
s
ons
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an C
a
rpenter
R
emove
unneeded
code
.
Th
i
s stuff is handled in
sma
t
ch_fl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
We need to
b
e a
b
le to break down (foo !=
0) for B
U
G
_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
I
dentify fo
r
(;
;
)
type
lo
o
ps as fo
r
ever loops
.
T
his
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Add sup
p
ort for
BUG_
O
N()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Wh
a
t I've seen is stuff l
i
ke
t
his:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything that w
e
don'
t
handle is obvio
u
sly complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Add a
c
o
mment to get_variable_fro
m
_expr_s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Add a
c
omm
e
nt to get_variable_from
_
exp
r
_si
m
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
The nu
l
lify_pat
h
()
h
ere is a bu
g
.
It over
-
writes al
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pe
n
ter
_
_
print_
c
u
r_
s
l
i
s
t()
is a useful function for debuggi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpente
r
If
you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
U
pdate
the line
n
umbers fo
r
each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change the me
r
ge r
u
les for custom merge scri
p
ts
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Move SM_DEBUG to a h
e
ader
s
o e
v
eryone c
a
n
u
s
e it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
A
d
d a cust
o
m
merge
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Da
n
Carpent
e
r
Update
t
h
e line num
b
e
r
at
t
he
very sta
r
t
of the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
enter
Cha
n
ge the
debug out
p
ut a
b
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Carpenter
A
dd a
-
-debug option
.
It
h
as t
o
b
e
t
he first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Ca
r
penter
Make
s
ur
e
the variable na
m
e i
s
NULL termin
a
ted otherwis
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
nter
S
m
a
ll clea
n
up
s
.
No c
h
a
n
ge in behavio
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This
i
s an off by one err
o
r r
e
ally
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Ca
r
penter
The
s
p
a
r
se_i
n
iti
a
lize
(
) funct
i
on n
o
w takes
a fileli
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree