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
Generalize stip_casts(). It's now called strip_expr() and it removes
2008-09-21
D
an Carpe
n
t
e
r
Generalize stip
_
casts()
.
It's n
o
w
calle
d
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
Ignore casts
.
foo((in
t
*)&b
a
r) is the
s
ame as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Car
p
enter
Ig
n
ore stu
f
f like f
o
o
.
bar
.
We only care
a
b
o
ut f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
What happe
n
s be
f
o
r
e i
s
that parameters wou
l
d ge
t
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
arpenter
Missed
a
crashing bu
g
in the int =
>
str
u
ct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nt
e
r
I
c
an't beli
e
ve I
w
as doing
stacks wrong
this who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
C
h
anged smat
c
h st
a
te from bein
g
an int
t
o bei
n
g pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carp
e
nte
r
I wan
t
to
reus
e
the name
s
match_state
.
T
h
e
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
R
e
do the null path th
i
ng
.
So long as
the
r
e i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean
up
.
Complicated is
j
u
s
t a boolean
.
Set
i
t t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Ar
r
ays are com
p
l
icated
so
they sho
u
ldn'
t
be retur
n
ed
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an
Carp
e
nter
If we call
set_state from in
s
i
d
e a
condition then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I
f the pointer is in
i
ti
a
li
z
ed to
n
on-nu
l
l then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an
Ca
r
pe
n
ter
ignore
the s
m
atch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
Wh
e
n we mer
g
e 2 slists
w
e need to deal with th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Car
p
enter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Add
n
u
l
l
i
fy the path when y
o
u h
a
ve for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
Me
r
ge branch 'ls' into u
l
t
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merg
e
branch 'un
n
ullify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpente
r
L
o
ts o
f
do
while(0
)
l
o
ops
d
o
n't ca
l
l break so
it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove
u
n
n
e
e
ded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpent
e
r
Fix or_slist
_
stack()
.
B
e
fore it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Ca
r
pen
t
e
r
crap c
r
ap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpe
n
ter
C
l
ean u
p
s and add som
e
_
_
u
nnu
l
l
i
fy_path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
Small
c
leanup
.
g
o
t
o
_stack should only be u
s
ed
i
n
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
C
l
ea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
Fix
bug sa
v
in
g
the false_only stack
.
B
e
fore c
o
d
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pen
t
e
r
This is the start of
the smatch_ex
t
ra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nter
Fix overwrite_s
l
i
st() s
o
it takes
a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Mak
e
s
m
atch_ex
t
ra de
p
end
o
n smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Mo
v
e
is_zero() to s
m
atch_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpen
t
er
Fix
a
big bug
.
get_s
t
a
t
e_slist(
)
was always g
e
tt
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pente
r
M
erg
e
.
.
/
.
.
/smatch/de
v
el
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Car
p
enter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ente
r
Sa
v
e t
h
e pre condit
i
ons
i
n
s
ide t
h
e
con
d
iti
o
n
s
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The mai
n
change he
r
e wa
s
to comple
t
ely
r
e
writ
e
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things out into function
s
a bit
.
Clea
n
up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
and
l
e while and f
o
r loops slightly
b
ett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
an Carpe
n
t
er
I removed n
u
llify
_
p
a
th()
e
arlier but
t
hat was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
I don'
t
think the special_kerne
l
_ma
c
ros()
f
u
n
ction
.
.
.
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 sy
m
bol
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
n
t
e
r
Remove everythin
g
t
o
do with path_
i
d'
s
.
I cou
l
dn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Replace
the variable __negate with th
e
funct
i
on
_
_n
e
gate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Small clean up
.
Move
t
h
e
p
assing the w
h
ole c
o
ndi
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
te
r
Crap
.
I meant to mer
g
e
t
hi
s
earlier when
I
divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add a comme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
penter
Moved
all the logi
c
f
or handling c
o
n
ditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Oops
.
I gu
e
ss I de
l
et
e
d the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Don't pass
t
he
contents of size
o
f(
)
to th
e
c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
a
rpenter
I
m
pro
v
e how the d
e
bug in
f
o f
o
r
merg
i
ng st
a
tes gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The m
a
in thing is to h
a
ndle z
e
ro com
p
arisons
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Remo
v
e unne
e
ded
c
ode
.
This
s
tuff is handle
d
in sm
a
tch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpente
r
We n
e
ed to be able to brea
k
down
(fo
o
!= 0) for BUG
_
O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identif
y
for(;;) type loops as forever loops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
a
r
penter
Add su
p
port
for BUG_ON
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpent
e
r
What I
'
ve seen is stuff like t
h
i
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpenter
Anythin
g
that we d
o
n't handle is
o
bvi
o
u
sly complica
t
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
A
d
d a comment to get_variabl
e
_fro
m
_
e
xpr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carp
e
nter
Add a comment to get_vari
a
ble
_
from_ex
p
r_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
T
h
e
nullify
_
pa
t
h() here is a b
u
g
.
It
o
ver-writes a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
__print_cu
r
_sl
i
st() is a
u
sef
u
l function for debuggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
enter
I
f
you
h
ave something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Update the line numbers for each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpent
e
r
Ch
a
nge the merg
e
rules fo
r
cust
o
m merge
s
crip
t
s so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Move S
M
_DEBUG
to a he
a
d
er so everyone
c
an use
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a
cus
t
om
merge
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carp
e
nter
U
pdate t
h
e lin
e
num
b
er at the very s
t
art of
t
h
e function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpe
n
t
er
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
C
a
rpenter
Ad
d
a --deb
u
g
option
.
It has t
o
be the firs
t
option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make sure the v
a
riable
n
ame is NULL terminated
o
t
herwis
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
Carpenter
Smal
l
clea
n
ups
.
No cha
n
g
e
in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
T
h
is is an off
b
y one error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arpen
t
er
The sparse_initial
i
ze()
f
unction now t
a
kes a
f
ilelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
R
emove an
off by
one er
r
or detec
t
in
g
the end o
f
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
P
atch it with
t
he s
t
uff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
enter
This is an unmodified tar b
a
l
l
.
commit
|
commitdiff
|
tree