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
if (a || b) { a->foo; should print an error. Also better --debug output.
2008-09-23
D
an
C
a
rp
e
nt
e
r
Make
cu
r
_
slis
t
static
.
I
t
's onl
y
used in s
m
a
tch_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
D
an Carpenter
Us
e
m
e
rge_sli
s
t
(
) instead of
trying to handle i
t
yourse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pen
t
er
__process_conti
n
u
e
s()
i
s s
u
pp
o
sed to b
e
bas
i
c
a
lly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpen
t
e
r
New smat
c
h_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpen
t
er
(foo) =
1 is the sa
m
e as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize st
i
p_ca
s
ts()
.
I
t'
s
now called s
t
rip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
ent
e
r
Ig
n
ore casts
.
foo((int
*
)
&
bar) is the sa
m
e
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Car
p
enter
C
reate
d
s
h
o
w
_
s
ta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff
like fo
o
.
b
a
r
.
W
e
onl
y
care a
b
out
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
en
t
er
W
hat happen
s
b
efore is
t
hat pa
r
a
meters wo
u
ld
get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
Miss
e
d a cra
s
hing
b
ug in
t
he int => s
t
ruct conv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I can't
believe I was doin
g
stacks w
r
o
ng
t
his whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
r
pen
t
er
Chan
g
ed smatch sta
t
e from be
i
ng an int
t
o being point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I
want to
reuse the name smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
t
e
r
Redo the
n
ull path thing
.
So
long as there i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Complicated is just a
b
ool
e
an
.
Set i
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are complicated so they should
n
'
t be returne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
we call se
t
_state from inside a
conditi
o
n then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
pen
t
er
If the p
o
inter is in
i
tialized to non-null
t
hen set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
Carpenter
ignore the smatch
binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
arpenter
When
w
e merge 2 sl
i
st
s
we need to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Car
p
e
n
ter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Car
p
enter
Ad
d
nullify the path whe
n
y
o
u
ha
v
e for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge bra
n
ch 'l
s
' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branc
h
'un
n
ullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Lots of do while(0) loops don't
c
all break so it doe
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n C
a
rpenter
Remove
unneeded
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
pen
t
er
Fix or_slist_stack(
)
.
Before it
just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
do not us
e
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
C
l
ean ups and add some __unnu
l
li
f
y_path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpent
e
r
Sm
a
ll clean
u
p
.
go
t
o_sta
c
k should onl
y
be us
e
d in
s
mat
c
h_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
t
er
Fix
b
ug sa
v
ing
t
he false_
o
nly s
t
a
ck
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the
s
tart of th
e
smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Car
p
enter
Fix ove
r
write_slist(
)
so i
t
tak
e
s a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
Make
s
m
atch_extra de
p
end
o
n
smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
C
arpe
n
ter
Move
is_zero() to sma
t
ch_hel
p
e
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a
b
i
g
bug
.
get_s
t
ate_slist() was alway
s
getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Me
r
ge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save
t
he
p
re
c
ond
i
tions
i
nside the conditions
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Th
e
main change here w
a
s to completely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
enter
Break things out into
f
un
c
ti
o
ns a bi
t
.
Cl
e
an
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Handle
w
h
i
le and for loops
slight
l
y better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I r
e
move
d
nullify_path()
e
arlier but
that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
a
r
pent
e
r
I don't think the sp
e
cial_kernel_macros
(
) function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a function to do
a strcmp
(
) with a symbol n
a
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove
ev
e
r
y
t
h
i
n
g
t
o
do with path_id's
.
I c
o
uldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Replace t
h
e
v
ar
i
able __nega
t
e w
i
t
h the function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Sm
a
ll clean up
.
Move
t
h
e
passing the
w
hole co
n
dition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
p
enter
Cr
a
p
.
I meant t
o
m
erge this ear
l
i
er
w
h
e
n I di
v
i
ded
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Ad
d
a c
o
mment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Moved all the logic for handling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I
deleted the
w
ron
g
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Don't pass the content
s
of sizeof()
t
o
th
e
clien
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how the
deb
u
g
info 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
t
o
h
andle z
e
ro comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
e
n
ter
Re
m
ove unneed
e
d code
.
This st
u
ff is
handled in smat
c
h_
f
l
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
ter
We need to be able to b
r
eak down (fo
o
!= 0)
for BU
G
_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpent
e
r
Identi
f
y for(
;
;) typ
e
loops a
s
forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
a
r
p
enter
A
d
d support
for BUG_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I've se
e
n is
stuff like th
i
s:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Anythi
n
g
t
h
at we d
o
n't handle is obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Me
r
g
e branc
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
A
d
d
a comm
e
n
t
t
o
get_v
a
ri
a
ble_from_e
x
pr_sim
p
l
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpe
n
ter
Add a comme
n
t to get_v
a
riable
_
from_
e
xpr_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
nter
The nullify_path
(
) here is a bug
.
It
o
ver-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
__print_cur_sl
i
st()
i
s a us
e
fu
l
functio
n
for deb
u
g
g
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
ent
e
r
I
f you have something li
k
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
U
p
date the
l
ine nu
m
bers for each
s
tatement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Chan
g
e the merge rules for
cus
t
om merge script
s
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DEBUG to a header
s
o everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Add a custom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update
t
he line n
u
mber at th
e
v
ery
s
tart of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Ca
r
penter
Change the
debu
g
out
p
u
t
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpen
t
e
r
Add a --debug option
.
It has to
b
e the first
option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpe
n
ter
Ma
k
e s
u
r
e th
e
variable name i
s
NULL ter
m
inated ot
h
erwis
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Da
n
C
a
r
p
ent
e
r
Small c
l
ean ups
.
No c
h
a
nge
i
n behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan
C
arpenter
This i
s
an off b
y
one error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
ar
p
enter
The sp
a
rse_initialize() function n
o
w takes
a fil
e
l
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
p
e
nter
Remove an off
b
y one err
o
r detecting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Da
n
Carpe
n
ter
Patch
i
t with the st
u
ff f
r
om the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This is an unm
o
dified tar
b
all
.
commit
|
commitdiff
|
tree