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
(foo) = 1 is the same as foo = 1.
2008-09-21
D
a
n Carpen
t
er
(foo)
= 1
i
s the same as foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Ge
n
e
r
alize stip_casts()
.
It's now ca
l
led strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpe
n
ter
Ignore casts
.
foo((int *)&ba
r
)
is t
h
e same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Car
p
enter
C
r
ea
t
ed show
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carp
e
nter
Ig
n
ore stuff like f
o
o
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
What ha
p
pe
n
s bef
o
re is that paramet
e
rs w
o
uld get
a
s
sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Mis
s
ed a
c
rashing bug i
n
the int => struc
t
c
onve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
I
can't believe I was d
o
ing s
t
a
c
ks w
r
ong
t
hi
s
whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpente
r
Changed smatch sta
t
e from
being an i
n
t to b
e
ing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
I want to
r
eus
e
the name smatc
h
_state
.
The cur
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
R
e
do
the null path
t
hi
n
g
.
S
o
long as there is
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Clean up
.
Complicated is just a boole
a
n
.
Set i
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Arrays are complicated so they shouldn't be retu
r
ned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpente
r
If we call
s
et
_
s
tat
e
from
i
nside
a
condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
If the pointer is initialized
t
o non-null the
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
ignore t
h
e s
m
atch bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpen
t
er
Wh
e
n we merge
2
s
l
i
sts we
n
eed
t
o
d
e
a
l
w
i
th
t
he
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carp
e
nte
r
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
C
a
r
p
e
nter
Add nu
l
lif
y
the pa
t
h when you h
a
v
e for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Mer
g
e branc
h
'ls' into ult
r
at
m
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Me
r
g
e
branch '
u
nnulli
f
y' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while(0)
loo
p
s don'
t
call
br
e
a
k
s
o
i
t d
o
esn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove u
n
ne
e
ded che
c
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
C
arpenter
Fix or_slist
_
stac
k
()
.
Befo
r
e it just s
a
ved one
s
ta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
arp
e
nter
c
rap c
r
ap cr
a
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpenter
Clean
ups and add some __unnulli
f
y_path stuff
.
H
o
p
efully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Sm
a
l
l
cl
e
anup
.
goto_stac
k
should on
l
y be
u
sed
in sm
a
tch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
p
e
n
ter
F
i
x bug sa
v
i
n
g th
e
fa
l
se_only sta
c
k
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Th
i
s is the st
a
rt
o
f
the smatc
h
_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Carpente
r
Fix overw
r
ite_sl
i
st() s
o
it
t
akes
a poin
t
e
r
to
a
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
M
ake smatc
h
_
extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
M
ov
e
is_zer
o
() to
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
Fix a big bug
.
get_state_slist() was
always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Merge
.
.
/
.
.
/
s
match/
d
evel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
arpenter
M
erge
b
r
anch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Save the pre conditions in
s
id
e
the conditions so th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
nter
The
main change
here
w
as to
c
ompl
e
tely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
p
e
n
t
e
r
Bre
a
k thi
n
g
s
out
into
f
unctions a
b
it
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
enter
Handle while and for loops slig
h
t
ly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpe
n
ter
I removed null
i
fy_path() ea
r
l
i
er 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
t
h
ink
the special_
k
ernel_mac
r
os() f
u
nc
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
d
d
a function to do
a strcmp() with a symb
o
l name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove everythi
n
g to
do wit
h
p
a
th_id's
.
I co
u
ldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Car
p
e
n
ter
Re
p
l
ace t
h
e va
r
iable __neg
a
te with the func
t
ion __negat
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Small clean up
.
Move the pas
s
i
ng the
w
h
o
le condi
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
Crap
.
I
m
eant to
m
erge this earlier
w
hen I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Add
a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all th
e
logi
c
for h
a
ndling cond
i
ti
o
ns into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
Oops
.
I guess I deleted the w
r
ong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpente
r
Don't pass the contents of s
i
zeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
n
t
e
r
Improve
how
t
he debug info for merg
i
ng states
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main t
h
i
ng is to handle zero
c
omparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpen
t
er
Remove u
n
needed cod
e
.
This stuff is ha
n
dled
i
n
smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Car
p
en
t
er
W
e
need to be able to break do
w
n (foo
!=
0
) for BU
G
_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identi
f
y fo
r
(;;) ty
p
e loops as
f
ore
v
er loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add
s
upport for BU
G
_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I've seen is stuff li
k
e this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Anythin
g
that we d
o
n't handle
is obviously co
m
plicated
.
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
Da
n
Carpent
e
r
Add
a comment to get_
v
ariable_fr
o
m_expr_s
i
mpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add a comme
n
t to ge
t
_variable_f
r
om_expr_s
i
mp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path() here is a bug
.
I
t
over-w
r
it
e
s all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
__print_cur
_
slist() is a usefu
l
f
u
nc
t
i
on
f
or debu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
e
r
I
f
you
h
ave s
o
mething like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Update the
line numbers for each state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
e
n
ter
Cha
n
ge t
h
e
m
e
rge ru
l
es fo
r
c
u
stom
m
erge scrip
t
s so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
Carpenter
M
o
ve SM_DEBUG to a hea
d
e
r
so
e
veryone
can u
s
e
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
A
dd a custom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpent
e
r
Upda
t
e the line numb
e
r at the very start of the functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan
Ca
r
penter
C
h
ange the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debug option
.
It ha
s
to
b
e
t
h
e firs
t
optio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
M
a
ke
s
ure
t
he varia
b
le name
is NULL
terminat
e
d otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
r
p
ente
r
Sma
l
l cl
e
an u
p
s
.
No chang
e
i
n
b
e
havior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
T
his is an off b
y
one error reall
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
T
h
e
sparse_in
i
tial
i
ze() function now takes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
pen
t
er
Remove an
o
ff by
o
ne error
d
etectin
g
the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
Pat
c
h it with
t
he stuff fr
o
m the
w
eb
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This is an unmo
d
i
f
ied tar ball
.
commit
|
commitdiff
|
tree