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 some functions to handle tracker lists.
2008-09-19
Dan
Carpen
t
er
Missed a cras
h
i
n
g bu
g
in the
int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can't believe I was doing
stack
s
wrong
thi
s
whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Cha
n
ged s
m
atch state from being an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I
w
ant to
reuse the
name
smatch_state
.
The curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the
null path thi
n
g
.
So
long as there is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
rpenter
Cle
a
n u
p
.
C
ompl
i
cat
e
d i
s
just a
b
oolean
.
S
e
t
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arr
a
ys are complicate
d
so they shoul
d
n't be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pente
r
If we c
a
ll s
e
t_state fro
m
inside
a condition then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carp
e
nter
If the pointer i
s
initia
l
ized to
n
o
n-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore the smatch
b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
Whe
n
we
merge
2
slists we need to deal
wi
t
h the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean up
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
A
d
d nullify t
h
e p
a
t
h
when you have
f
o
r
(;
;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpen
t
er
Merge
b
ranch '
l
s
'
in
t
o ult
r
a
t
mp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Me
r
ge branch
'unnu
l
lify' in
t
o ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
p
e
nter
Lots of
do wh
i
le(0) loops
d
on't call break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Re
m
ove u
n
needed
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
penter
Fi
x
or_slist_
s
tack()
.
Before it
ju
s
t saved
o
ne st
a
ck
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpen
t
er
crap crap crap
.
d
o
not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpen
t
er
C
l
ean ups
a
n
d add some __unnullify_path stuff
.
Hopefull
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Smal
l
c
l
eanup
.
got
o
_stack should only be used i
n
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
Fix
bug saving
the fa
l
se_only stac
k
.
Befor
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
This is the s
t
art of th
e
smatch_ext
r
a stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x over
w
ri
t
e_slist() so it tak
e
s a
pointer
to a
p
o
i
n
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
Make
s
m
at
c
h_extra
d
epend on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpent
e
r
Mo
v
e is_zero()
t
o smatch_help
e
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
F
ix a big
b
u
g
.
g
e
t_stat
e
_slist() was always gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
M
erge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Merge branc
h
'dev
e
l
'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Ca
r
penter
Save the p
r
e con
d
it
i
on
s
inside the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main change
h
ere was t
o
completely r
e
w
r
ite h
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
Break things
o
u
t into functions a bit
.
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
ter
H
andle while and for loops
s
light
l
y better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remo
v
ed nullif
y
_
p
ath() e
a
r
l
ier but that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
I don't think t
h
e special_kernel_macros
(
) functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpent
e
r
A
d
d
a
function to do a strcm
p
() with a symbol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpe
n
ter
Remove
everythi
n
g t
o
do with path_id's
.
I
c
ouldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Repl
a
ce th
e
v
a
riable __negate w
i
t
h
the
func
t
ion __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
mall cl
e
a
n up
.
Move the passing the
whol
e
condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpent
e
r
Crap
.
I m
e
a
n
t to
m
erge
t
hi
s
earlier when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpente
r
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
n
t
er
Move
d
al
l
the
l
ogic for
h
andling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
O
o
ps
.
I guess
I
deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't
pass the co
n
tents of s
i
z
e
of() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
r
p
en
t
e
r
Improve
h
ow the
d
eb
u
g info fo
r
m
e
r
gin
g
s
tates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
p
e
nter
The main
t
hing is
to handle
zero c
o
m
p
arisons bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Re
m
ov
e
unneeded
c
ode
.
This stu
f
f is h
a
nd
l
ed i
n
smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
We n
e
ed
to be
a
b
le to break down (f
o
o != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpenter
Identify for(;;)
t
ype
l
o
ops as fore
v
er loop
s
.
T
h
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add supp
o
rt for
B
U
G_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
What I've seen is st
u
f
f
like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything
t
h
at we don'
t
handle is ob
v
iously compl
i
cated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
M
erge branc
h
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a com
m
en
t
to get_vari
a
bl
e
_from_expr_
s
i
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
arpenter
A
d
d a
c
omment to
get_
v
a
r
iable
_
from
_
expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The
nul
l
ify_path() here is a bug
.
It o
v
er-
w
rites all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_sl
i
st() is a
u
seful funct
i
on
for
d
e
bugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If
you ha
v
e something
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Up
d
ate the
l
i
n
e numbers
f
or each stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
arpenter
Change the merge rules for c
u
stom mer
g
e scripts s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Move
S
M_DE
B
UG
to a h
e
ader so everyone can us
e
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Add a custom merge fu
n
c
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan
C
arpenter
Update the li
n
e n
u
mbe
r
a
t
the ve
r
y start
of the functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
an Carpe
n
t
er
Change t
h
e d
e
bug
o
utp
u
t a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n
Car
p
enter
A
d
d a --debug option
.
It has to be the fi
r
s
t
opti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
Carpenter
Make su
r
e the
varia
b
le name is NULL
termin
a
t
e
d other
w
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carpenter
Sma
l
l clea
n
ups
.
N
o change in behav
i
or
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This
i
s an off by on
e
error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
The spa
r
se
_
initialize() function no
w
takes
a f
i
lelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n
Ca
r
penter
Remove
a
n
o
f
f by
one e
r
ror detec
t
ing th
e
end of
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an
Carpenter
Patch it with the
stuff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpent
e
r
This i
s
an unmodifie
d
tar ball
.
commit
|
commitdiff
|
tree