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
Ignore casts. foo((int *)&bar) is the same as foo(&bar) to this script.
2008-09-20
Dan Carpenter
Ignore casts
.
f
oo
(
(int *)&bar) is the
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
a
rpenter
Crea
t
ed show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpen
t
er
Ignore
stuf
f
l
i
ke f
o
o
.
bar
.
We only care a
b
out foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
nter
What happens b
e
fo
r
e
i
s that pa
r
amete
r
s
w
ould get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed
a
crashing bu
g
in
th
e
int => stru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carp
e
n
t
er
I c
a
n't believ
e
I was doing
s
tacks wrong this who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpente
r
Changed smatch sta
t
e from
b
eing an int to being p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pent
e
r
I wan
t
to reuse th
e
name
sm
a
tch_state
.
The
curr
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpe
n
te
r
Redo the
null path thing
.
So
l
o
n
g as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpent
e
r
Clean up
.
Com
p
licated i
s
just a bo
o
l
ean
.
Set
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpen
t
e
r
Arrays a
r
e com
p
licated so the
y
should
n
't be returned b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we call
s
et_
s
tat
e
from inside a condition
t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
If the pointer is initia
l
iz
e
d to non-
n
u
l
l then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
ignor
e
th
e
smat
c
h bi
n
ary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we mer
g
e 2 slists we need
t
o d
e
a
l with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Carpenter
C
lean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
A
dd
nullify the path
when yo
u
have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
ente
r
Merge
b
r
anch 'ls' into
u
ltratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Merge branch 'unn
u
llif
y
'
i
nto l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
te
r
Lots of do
wh
i
le(0
)
loops do
n
't call
b
r
eak s
o
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Carpe
n
t
er
F
ix or_
s
list_stack(
)
.
Before it just saved one stac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
Car
p
en
t
er
crap cra
p
c
r
ap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
C
lean ups and add some __un
n
ullify_path stu
f
f
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Small c
l
eanup
.
g
oto_stack should o
n
l
y
be used in
s
m
atch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpenter
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
te
r
Fix bug saving th
e
false_onl
y
stack
.
Bef
o
r
e code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpenter
T
h
is is the st
a
rt of t
h
e sm
a
tch
_
extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overw
r
ite_
s
l
ist() so it takes a pointer to
a
po
i
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
Make smatch_extra depe
n
d on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n
Carpenter
Move is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carp
e
nter
Fix a
big bu
g
.
get_stat
e
_sli
s
t() was al
w
ays getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpen
t
er
Merg
e
.
.
/
.
.
/sm
a
tch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
t
e
r
Save
t
h
e pre condition
s
inside the conditions
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpent
e
r
The main change
h
ere
w
as
to completely rew
r
i
t
e how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpenter
Break thin
g
s out into
func
t
ions
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Ca
r
penter
H
a
ndle while and for loops
slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpent
e
r
I removed nullify_path() earlier
b
u
t
that was a
m
i
stak
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
I d
o
n't think the special
_
kernel_macros()
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Ca
r
penter
Add
a
f
unction t
o
do a
st
r
cmp() wit
h
a symbo
l
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remo
v
e
every
t
hing to do wit
h
p
a
t
h
_
id's
.
I could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
Replac
e
the variable __negate
w
i
t
h
the func
t
io
n
__negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Small clean
u
p
.
Move t
h
e pass
i
n
g the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Crap
.
I
meant to merge this
e
arlier when I d
i
vided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add
a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Moved all the logic fo
r
ha
n
dling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Oops
.
I guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Don't pa
s
s the contents
o
f
sizeof()
to
t
h
e c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve h
o
w the debug info for mergi
n
g states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Car
p
enter
The ma
i
n thi
n
g is t
o
ha
n
dle zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arp
e
nter
Remove unneeded code
.
This stuff is hand
l
ed
i
n sm
a
tch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
We need to be able to break dow
n
(foo != 0) for BU
G
_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
I
d
en
t
ify for(;;) typ
e
loops as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Add
su
p
port for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Wha
t
I
've seen is stuff lik
e
this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Anything
that we don't handle i
s
ob
v
ious
l
y compl
i
cated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add
a
co
m
ment to get_variable
_
from_
e
xpr_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Add
a comment to get_variable_from_ex
p
r
_
si
m
p
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
The nullify_pat
h
() he
r
e
is a bug
.
It ov
e
r-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
pente
r
__print_cur
_
s
l
ist() is a useful function for d
e
buggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
ter
If y
o
u have som
e
t
h
i
ng like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Update
t
h
e line n
u
mbers fo
r
each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Cha
n
ge the merge rules for custom
merge scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_
D
EBUG
t
o a header
s
o everyone
c
an use i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpent
e
r
Add a custom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
D
a
n Carpen
t
er
Update
the lin
e
nu
m
b
er at the very start of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpe
n
ter
Change the de
b
u
g
o
u
tput a
b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpenter
Add a --
d
ebug
o
ption
.
It has to
be
t
he first
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an Carpenter
Make sure the variable
n
ame is NULL
terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpe
n
t
er
Small clean
ups
.
No ch
a
nge in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
D
an Carpenter
Thi
s
is an off b
y
on
e
error r
e
ally
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_initialize() function now
takes a f
i
l
e
l
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
Remove
a
n
off by
one e
r
r
or detecting the end of
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Pa
t
ch it with the st
u
ff
from
t
he web
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carpenter
This i
s
an
u
n
modif
i
ed tar ba
l
l
.
commit
|
commitdiff
|
tree