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
Add free_trackers_and_list() and free_tracker_list() functions.
2009-01-28
Dan Carpenter
I
gn
o
re emacs gar
b
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Merge
b
ranch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carp
e
n
ter
Fix likely() and unlikely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpenter
A
d
d
single q
u
otes around
the va
r
iable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carpenter
We co
u
ld save
s
ome mem
o
ry b
y
no
t
al
l
oc
a
ting new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment
s
howing where th
e
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This
i
s left ove
r
f
r
om
O
c
tober as p
a
rt
of the
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add get_poss
i
b
l
e_st
a
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
t
er
Stu
f
f
left o
v
er from
O
ctober
.
I
m
p
lied
pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpente
r
W
e could save some memor
y
by not allocating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fi
x
memo
r
y lea
k
.
Add more c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpe
n
t
e
r
Add
a
merg
e
hook
.
Handle th
e
sit
u
ati
o
ns like
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp() doesn't accept NULL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
re
n
am
e
two function
s
: get_variable_from_
e
xpr_s
i
mple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpent
e
r
get_variable
_
from
_
exp
r
() uses a stati
c
buf
f
e
r
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
C
reate a check_templ
a
te
.
c
exam
p
le
s
cript that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Make get_all_states() n
o
t
s
e
gfaul
t
every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
i
x get_value(
)
to
retur
n
negative va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
ar
p
enter
We only
e
ve
r
pass
on
e
param
e
ter into get_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix g
e
t_all_states(
)
to
m
atch
t
h
e
function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Ca
r
p
e
n
t
er
Remo
v
e
a
dd_state() and state_defined() definiti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
ix leak
.
My p
r
oblem is that I
d
o
n't under
s
t
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
I
n
i
t
ial commit of t
h
e "implied state pool
s
"
s
tuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
D
oh
.
We
have
n
't
b
een u
s
i
n
g
s
match_extra for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get
r
i
d
of path_h
i
story
.
It's never going
t
o be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Mak
e
goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
r
p
enter
Spee
d
up merge_slist now that the slists a
r
e ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
ar
p
enter
Inse
r
t stuff onto list
s
i
n
a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpe
n
t
e
r
Delete an unused
f
uncti
o
n me
r
ge
_
sta
t
e_
s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
penter
f
ix: if (*foo) {
(*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
kmallo
c
() and fr
i
ends don't a
l
ways return
a no
n
-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks from her
e
g
ot me
r
ged into check_null_
d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
M
o
ve
the stuff from
c
h
eck_derefed
_
params
.
c in
t
o che
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
en
t
er
Fix bug
i
n or_slist_sta
c
k()
.
if (a && b) w
a
sn
'
t being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook a
t
t
h
e end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot anothe
r
strip_expr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Ha
n
dle
a
ssig
n
meents inside condit
i
ons
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only prin
t
something
for
a
->foo and
not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignor
e
array
d
e
clarations
.
Those can't be
N
ULL o
b
viously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpente
r
Make
cur_slist
st
a
tic
.
I
t
'
s only
us
e
d
in smatch_
s
ta
t
es
.
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
Dan
Carpenter
U
se merge_slist() in
s
tead of trying to ha
n
dle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
nt
e
r
_
_process_continues() is supp
o
sed to
b
e b
a
si
c
a
l
ly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
ew smat
c
h
_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Ca
r
penter
(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 C
a
r
penter
Ge
n
e
r
ali
z
e
s
t
ip_casts()
.
It's now
called strip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
nore casts
.
foo((
i
nt *)&
b
a
r) is the s
a
me as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n C
a
rpenter
Cr
e
ated show_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
enter
Ig
n
ore s
t
uff
l
ik
e
foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What
h
appen
s
before is that pa
r
a
m
eters would get
a
ssigne
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
Missed a crash
i
ng bug
in the int => struct conve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpent
e
r
I
ca
n
't belie
v
e
I
was doing stac
k
s wrong t
h
is w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
hanged
s
ma
t
ch state from
b
e
ing
a
n int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Ca
r
pen
t
er
I want to reus
e
the name
smatch_state
.
The cur
r
en
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Redo
the nu
l
l
path thing
.
So long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Clean up
.
C
o
mplicated is just a boole
a
n
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Array
s
are complica
t
e
d
so they shouldn't be r
e
turned
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
we call set_
s
tate from inside a
c
ondition t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer
i
s
initi
a
li
z
ed to non-null
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
e
n
ter
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
When we merge 2 sl
i
sts we
n
eed
t
o deal with
t
he case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan C
a
rpenter
C
l
ean up
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
A
d
d
nullify th
e
p
a
th when y
o
u
h
ave fo
r
(;;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Mer
g
e b
r
anch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n C
a
r
pen
t
er
M
e
r
g
e bran
c
h 'unnullify' in
t
o
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while(0
)
l
oops
don
'
t cal
l
bre
a
k s
o
it does
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove
u
nneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
Fix or_slist
_
stack()
.
Befor
e
it
j
ust
saved on
e
s
tack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carp
e
nte
r
c
rap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpe
n
ter
Clean
ups and add some __unnullif
y
_path s
t
uf
f
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small c
l
eanup
.
g
o
to_
s
t
ack s
h
o
u
ld onl
y
be
u
sed
in s
m
atch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
C
a
rpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
b
ug saving the false_o
n
ly st
a
c
k
.
B
efo
r
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
ter
This is the start of the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
ente
r
Fix
o
verwrite_slist(
)
so i
t
ta
k
e
s
a
p
ointer to
a
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
M
a
ke sm
a
tch_extra
d
epend o
n
smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
M
ove is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Fix a bi
g
bug
.
g
et_stat
e
_slist() was al
w
ays
g
ett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Merge
.
.
/
.
.
/smatch/
d
e
ve
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pe
n
ter
Save
t
he pre co
n
ditions i
n
side the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
T
he mai
n
c
hange here was to
completely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k
things
out
into
functio
n
s
a
bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
H
andle w
h
ile a
n
d for loops slightly
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
removed n
u
llify_pat
h
() earlier but
t
hat
was a
m
ista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
I don't
think th
e
specia
l
_
k
ernel_macros()
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
A
dd
a fun
c
tion 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
Re
m
ove everything t
o
do wi
t
h pa
t
h_i
d
's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Replace the v
a
r
i
a
ble __nega
t
e with the function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Small clean
u
p
.
Move the passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Cra
p
.
I meant
t
o merge this earlier when I
d
ivided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add a comm
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
penter
M
oved all the log
i
c fo
r
handli
n
g condit
i
o
ns in
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpent
e
r
Oo
p
s
.
I g
u
ess I
deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carp
e
n
ter
Don't p
a
ss
t
he contents of sizeof() to t
h
e
cl
i
ent
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Improve how the d
e
bug in
f
o for
m
ergi
n
g states g
e
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pente
r
The main
th
i
ng is
to handle zero
c
om
p
arisons be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove u
n
n
e
e
d
ed code
.
Thi
s
s
tuff
i
s ha
n
dl
e
d in sm
a
tch_f
l
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
ter
We
n
eed to
be
able to break down
(
foo
!=
0
)
for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Ide
n
tify
f
o
r
(
;;) type loops a
s
forever loops
.
Thi
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next