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
We could save some memory by not allocating new memory for every foo = 0
2008-10-19
Dan Carpente
r
W
e
could s
a
v
e
some memor
y
b
y n
o
t alloc
a
ting
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
ter
F
ix
memo
r
y leak
.
Add
mo
r
e comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a me
r
ge hoo
k
.
Hand
l
e the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
strcmp() doesn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename tw
o
functio
n
s: get_va
r
iable_from_expr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get
_
v
a
r
i
a
b
l
e_
f
r
om_expr() uses
a
s
t
ati
c
buf
f
er and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Car
p
e
nter
Crea
t
e a check_templat
e
.
c exampl
e
scri
p
t t
h
a
t
l
o
o
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
M
a
k
e get_al
l
_states() not seg
f
aul
t
eve
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
pe
n
t
e
r
Fix get_
v
alue()
t
o
ret
u
rn negati
v
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pa
s
s one pa
r
a
m
eter into
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all
_
states() to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remo
v
e add_state() and state
_
d
e
fined
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Clean
u
p
.
Fix leak
.
M
y
proble
m
is
t
hat I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initial comm
i
t of
t
he "implied state pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't
b
e
en us
i
ng sma
t
ch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpent
e
r
G
e
t rid of path_history
.
It's never going to
b
e use
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stac
k
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up m
e
rge_slist now that the slis
t
s are orde
r
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
C
arpente
r
Insert stuff on
t
o
l
ists i
n
a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete a
n
unused fun
c
t
ion merge_state_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpe
n
ter
fix:
if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
arpenter
kmall
o
c() an
d
friends don't always return
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
pent
e
r
Th
e
checks f
r
om here got
m
erged into chec
k
_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move the stuff from check_derefed_params
.
c in
t
o check
_
n
ull
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpenter
F
i
x bug in or_
s
l
i
s
t
_s
t
ack
(
)
.
if (a && b
)
w
a
s
n
'
t being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpenter
A
d
d
a
hook at the end
o
f a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpente
r
Forgot ano
t
her s
t
rip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
e
n
t
e
r
Handle assignmeent
s
inside conditions bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpen
t
er
O
n
ly print some
t
hing f
o
r
a->foo
a
nd n
o
t
a
.
fo
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpent
e
r
Ignore arra
y
declarations
.
Those can't be NUL
L
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpent
e
r
Make
cur_
s
lis
t
stat
i
c
.
I
t
's only used in
s
match_stat
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpent
e
r
Use merg
e
_sl
i
st()
i
n
stea
d
of tryin
g
to handle it
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
roces
s
_con
t
inues() is s
u
p
posed
t
o be basi
c
a
l
ly
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpen
t
e
r
New smatch_igno
r
e
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the same
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
Generalize stip_casts
(
)
.
I
t
's n
o
w called st
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignor
e
c
a
sts
.
foo((
i
nt *)&bar) is
the
s
am
e
as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
Created
s
how_st
a
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ig
n
ore
stuff lik
e
f
o
o
.
ba
r
.
We on
l
y care
a
bout foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
ent
e
r
Wh
a
t
happens
bef
o
re is that parameter
s
would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
issed a cra
s
hing bug
i
n the int => struct
conv
e
r
s
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
I can't
b
elieve
I
was doing
s
t
a
cks wrong
t
h
is whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
p
ente
r
Changed smatch stat
e
from bein
g
an
int to
b
e
i
ng pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carp
e
nter
I want to reuse
t
h
e
n
ame smatch_state
.
The curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
t
er
Redo the null path thing
.
S
o
long as
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clea
n
up
.
Complicated is just a
b
oolean
.
S
e
t i
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
ar
p
enter
A
rrays
are c
o
mplicated s
o
they
sh
o
uldn't
b
e ret
u
r
ned
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
I
f
we call set_state from inside a c
o
ndition
then
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the
p
ointer is
i
n
itia
l
iz
e
d to non-nul
l
the
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore t
h
e
smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
When we merge 2 slist
s
we need to deal with the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Car
p
enter
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an
C
arpenter
A
d
d nullify
t
he path whe
n
you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'ls
'
into ul
t
ratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge bra
n
c
h
'
unnullify'
int
o
ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do w
h
i
le
(
0)
l
oops don'
t
cal
l
break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Re
m
o
v
e unnee
d
ed
c
heck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpenter
F
i
x or_slist_sta
c
k
()
.
Before it just saved one s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
enter
crap crap cra
p
.
do n
o
t use
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpen
t
er
C
l
e
an ups
and add
s
o
me __unn
u
llify_path stuff
.
Ho
p
e
full
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nte
r
Small cleanup
.
go
t
o_st
a
c
k should
onl
y
be used in
s
match_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nte
r
Fi
x
bug saving
the f
a
lse_only stack
.
Before co
d
e like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
ar
p
enter
This
is t
h
e start o
f
the smatch_
e
xtra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
a
r
pen
t
er
Fi
x
overwrite_slist
(
) s
o
i
t
tak
e
s a pointer to a p
o
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
Make sma
t
ch_
e
xtra depend on smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move is_zero() to sma
t
c
h
_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpent
e
r
F
ix a
b
ig bug
.
g
e
t_state_sl
i
s
t() was a
l
ways getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
te
r
Merge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch
'de
v
el'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
S
a
ve
t
he pre
c
ondit
i
ons
insi
d
e the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Ca
r
penter
T
h
e
mai
n
change here was to complet
e
l
y
r
e
write how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpen
t
er
Break
t
hings out
into f
u
n
ctions a
b
it
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
enter
Handle whi
l
e
and for loops
sligh
t
ly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
r
emo
v
ed
n
u
l
l
i
f
y_path() earlier but
t
hat was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
I d
o
n
't think the s
p
ecial_
k
e
r
n
el
_
m
a
c
r
os() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a fu
n
ction to do a strcmp()
w
i
t
h
a
s
y
mbol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Remove everyt
h
i
n
g to
d
o
with
pat
h
_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rep
l
ace the variable __negate w
i
th the function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
ent
e
r
S
mall clea
n
u
p
.
Move the passing the who
l
e conditio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Car
p
enter
Crap
.
I meant
t
o
merge thi
s
e
a
rlier when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
Add a c
o
m
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
M
o
v
e
d al
l
t
he logic for
h
andling conditi
o
ns into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
Oops
.
I guess
I
deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Don't pass the co
n
tents of
sizeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
a
r
pent
e
r
Imp
r
ove how t
h
e debug info for me
r
ging s
t
at
e
s ge
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n C
a
rpenter
The main
thing
is t
o
handle zer
o
compa
r
isons
b
ett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Re
m
ove unneede
d
code
.
This stuff
is handled in s
m
atch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpenter
W
e nee
d
to be
a
bl
e
to br
e
ak down (foo != 0) f
o
r BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
I
dentify for(;;
)
type loops as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Add suppor
t
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 li
k
e this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
Anythi
n
g that we
d
on't handle is
obvi
o
usly complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
enter
Add a comme
n
t to get_variab
l
e_from_expr_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Ad
d
a comment to get_variab
l
e_from_expr_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path()
h
ere is a bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpe
n
ter
_
_
print_
c
ur_slist() is a useful f
u
nctio
n
for
de
b
uggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
If you h
a
ve
s
omething like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next