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
Remove call to alloc_state()
2008-09-21
Dan
Carpenter
N
e
w
sm
a
tch_ign
o
re
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpente
r
(foo) = 1
i
s the sa
m
e
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
G
e
n
eral
i
ze stip_cast
s
()
.
It'
s
n
o
w called strip_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
foo((int *)&bar
)
i
s the
s
a
me as
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
r
eated show
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
stuff
like foo
.
bar
.
We only care
a
b
o
ut foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What happens before is t
h
at pa
r
ameters would get ass
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpent
e
r
Missed
a
cr
a
shi
n
g bug in the int
=> struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpe
n
ter
I ca
n
't believe I w
a
s doin
g
st
a
cks wr
o
n
g
th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
C
h
ang
e
d smatch st
a
te fro
m
b
e
ing an int to
being pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
I want to
r
euse the na
m
e sm
a
tch_
s
tate
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null path thing
.
So long
as th
e
r
e is
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpenter
Clean up
.
Compl
i
cated is
j
ust a
boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
A
r
rays are
complicated so they shouldn'
t
be
r
eturn
e
d by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpente
r
If we
c
all set_state
f
rom inside a condi
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer
is initialized to no
n
-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an
Carpent
e
r
ignore t
h
e
smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Ca
r
penter
When we
m
erge 2 slists we need to
d
eal with
t
h
e
c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpent
e
r
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
A
d
d nullify the path when you h
a
ve for(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpent
e
r
Mer
g
e branch
'
ls' int
o
u
l
tratm
p
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpe
n
ter
Merg
e
b
ranch
'
unnu
l
lify'
i
nto ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of d
o
while(0) loops don
'
t ca
l
l
b
reak so it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
n
ter
Remove unnee
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
a
r
penter
Fix or
_
slist_stack()
.
Bef
o
re it ju
s
t
saved
o
ne sta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
d
o not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clean
ups and ad
d
some
_
_
u
nnullify
_
p
a
th stuff
.
H
o
pefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
S
mall
clean
u
p
.
goto_stack should only be used in sm
a
tch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
r
penter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x bug saving the false_only
s
tack
.
Before
c
ode lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is
t
he start of
t
he smatch
_
e
x
tra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nt
e
r
Fix
o
verwrit
e
_
s
list() so it takes a pointer to a poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
ent
e
r
Make smatch
_
extra depend o
n
smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
an Carpenter
Move is_zero()
t
o sma
t
ch_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Fix a
b
ig bug
.
get_s
t
a
t
e
_
slist() was always
gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/smatch/
d
evel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Merge bran
c
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Sa
v
e the pr
e
conditions inside th
e
c
onditions s
o
tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
The
m
a
i
n change h
e
r
e wa
s
to completely
r
ewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things out
i
nto function
s
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Ha
n
dle wh
i
le
and for loo
p
s
s
ligh
t
ly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpen
t
er
I
removed nullify_path() earlie
r
but that
w
as a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don
'
t
think the special_kernel_macros()
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add
a
f
unction t
o
do a strcm
p
() with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Remove everything to do with path_id's
.
I cou
l
dn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Replac
e
the variable __negate w
i
th the fu
n
ctio
n
__ne
g
ate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Small clea
n
up
.
Move the pa
s
s
i
ng the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Cra
p
.
I meant to
m
erge t
h
is
earlier
w
hen
I
d
iv
i
d
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
A
dd a
comm
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Moved all the logic for
h
a
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
d
e
leted
the wr
o
ng li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Do
n
'
t
pass the
cont
e
n
t
s of sizeof
(
) to t
h
e
c
lient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Improve ho
w
th
e
deb
u
g info f
o
r merging s
t
ates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
The main thing is to handle ze
r
o comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
R
emove
unneeded code
.
This stuff is hand
l
ed in sma
t
ch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need
t
o be able to break down (foo != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carp
e
n
ter
Identify for(;;) type loop
s
as
f
oreve
r
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpen
t
er
A
dd support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
W
h
a
t
I
'v
e
seen is stuff like thi
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
rpenter
A
n
ything that we don
'
t h
a
ndle is obv
i
ously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
a
r
p
e
nter
Merge
br
a
nch
'
d
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a com
m
e
nt
to get_
v
ariable_f
r
om_e
x
pr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
A
dd a commen
t
to get_va
r
iable_from_expr_sim
p
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
p
enter
The nullify_path() here i
s
a bug
.
I
t
ove
r
-writ
e
s a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
_
_print_cur
_
sli
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
C
arpe
n
te
r
If
you have
so
m
ething like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Upda
t
e the lin
e
num
b
e
rs for each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Change the merge rules for cust
o
m mer
g
e scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Move SM_DEBUG to
a
h
e
a
der so
e
veryone can
u
se it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a
c
ustom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpen
t
er
Updat
e
the
l
ine
number at
t
he very start o
f
the
fu
n
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan C
a
rpe
n
ter
C
h
ange the de
b
ug
out
p
ut a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Ca
r
penter
A
d
d a --
d
ebug option
.
It h
a
s to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an
Carp
e
nter
Make sure the va
r
ia
b
le name is NULL ter
m
inated othe
r
wise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
r
p
en
t
er
Sm
a
ll clean ups
.
No change in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Da
n
Carpenter
Th
i
s
is
a
n o
f
f b
y
one error
r
ea
l
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpe
n
ter
The sparse_initia
l
ize()
fu
n
c
t
ion now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Re
m
ove an off by one e
r
ror
d
etecting the
e
nd of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Patch it w
i
th the
stuff from the
web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpe
n
ter
This
i
s
an unmodifi
e
d tar
b
a
l
l
.
commit
|
commitdiff
|
tree