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
I can't believe I was doing stacks wrong this whole time. Fixed.
2008-09-19
Dan Carpenter
I c
a
n't believe I was doi
n
g stacks wrong this whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
e
r
C
h
anged sm
a
t
c
h sta
t
e from bei
n
g an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to
reuse
the name smatch_st
a
te
.
The
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpent
e
r
R
edo the null
path thing
.
So lon
g
as
there i
s
on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpe
n
ter
Cl
e
an up
.
Complic
a
te
d
i
s
ju
s
t a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Arrays are com
p
licated so
they shoul
d
n't
be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
If we cal
l
s
et_
s
t
ate fr
o
m in
s
ide a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpent
e
r
If
t
he po
i
nter is in
i
tial
i
ze
d
to n
o
n-null t
h
en se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ignore the sm
a
tch
binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpen
t
er
Wh
e
n
we m
e
rge
2
slists
we
need to deal with
t
he
cas
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Cl
e
an
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Add nulli
f
y
t
he pa
t
h when
you have
for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpen
t
er
Merge bra
n
ch 'ls' into u
l
tratm
p
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Me
r
g
e
branch 'u
n
nullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
L
o
t
s of do w
h
ile(0) l
o
ops don't ca
l
l
break so i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
r
p
enter
Remove unneede
d
che
c
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
a
rpenter
F
i
x
or_slist_stack()
.
Before it just saved one sta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpen
t
er
crap cra
p
cra
p
.
d
o
n
ot use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpenter
Cl
e
an up
s
and
a
dd s
o
me __unnullify_pat
h
st
u
ff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Sma
l
l
c
leanup
.
g
o
to_stac
k
should on
l
y
b
e
u
s
ed in smatch_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
C
lean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpenter
Fix bug savi
n
g the false_only st
a
c
k
.
Before code l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
C
arp
e
nt
e
r
T
h
is is
t
he start of the smatch
_
extr
a
stuf
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rp
e
n
t
e
r
Fix overwrite_
s
list() s
o
it takes
a
poi
n
te
r
to
a
pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Make
s
m
atc
h
_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carp
e
nter
Move is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
F
i
x a big bug
.
g
e
t_state_slist()
w
a
s always
g
e
tting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpen
t
er
Merge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Sa
v
e the pre condi
t
ions ins
i
de the
conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The main c
h
a
n
ge here was to comp
l
etely
r
ewri
t
e
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpen
t
er
Break things out into
function
s
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
H
a
ndle wh
i
le and for l
o
o
p
s slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carpenter
I
r
emove
d
n
ul
l
if
y
_p
a
th
(
) earlier
but that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
n
ter
I don't th
i
nk
t
he
s
p
ec
i
a
l_k
e
r
n
el_macro
s
() f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
er
Add a fun
c
t
ion
to do a strcmp() with a symb
o
l nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpent
e
r
R
e
m
o
ve everything to do with
p
ath_id's
.
I couldn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
pen
t
e
r
R
e
place the
v
ariabl
e
__ne
g
ate
w
ith
t
he
fu
n
ction __nega
t
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Smal
l
clean up
.
Move the pa
s
sin
g
the whole con
d
ition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Cra
p
.
I
meant to me
r
g
e
t
his
e
arl
i
e
r
when I divid
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
d
d
a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Moved all the
logic
for
ha
n
dling
c
onditio
n
s into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Oo
p
s
.
I
guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
en
t
er
D
o
n't pass the contents of sizeo
f
(
)
to the
c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpenter
Improve
h
ow the d
e
bug info for merging s
t
ates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main
t
hing i
s
t
o handle zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove unneeded c
o
de
.
Thi
s
stuff i
s
handled in smatch_
f
l
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We n
e
ed to b
e
ab
l
e t
o
br
e
ak down
(
f
oo
!=
0
)
f
or
BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rp
e
nter
Identify for(;;
)
type
loops as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpent
e
r
Add support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
W
hat I've
s
een is stuff like t
h
i
s:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Any
t
hing
t
hat we
d
o
n
't h
a
n
d
le
is o
b
viously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge bra
n
ch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add
a c
o
m
ment to ge
t
_variable_
f
rom_expr_
s
imple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpen
t
e
r
A
d
d
a com
m
ent
to get_va
r
iable_from_expr_si
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
T
h
e nullify_path(
)
here i
s
a bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__pr
i
nt_cur_slist() is
a
u
s
eful
function for debu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n C
a
rpenter
I
f
you have
something
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
U
p
date the lin
e
numbers for ea
c
h s
t
atement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
arp
e
nte
r
Chan
g
e the merge
rules for cust
o
m merge sc
r
ipts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Move SM_DEBUG t
o
a h
e
a
der so eve
r
yon
e
can
use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
A
dd
a
custom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Updat
e
the line number at
the very start of the
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n
C
a
rpenter
Cha
n
ge
the debug ou
t
p
u
t a b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Carpent
e
r
Add
a --debug option
.
It has to be the fi
r
st option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make
sure the
v
ariable name is NULL terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an
C
arpen
t
er
Sma
l
l c
l
e
an u
p
s
.
No cha
n
ge
in
behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpent
e
r
This
is an off by
one error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sp
a
rse_in
i
tialize() functio
n
now
t
akes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
a
r
penter
Re
m
ove an off
by one error dete
c
tin
g
t
h
e
end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Pa
t
c
h
it with the stuff
f
rom
t
h
e
web
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpent
e
r
T
hi
s
is
a
n unmodi
f
ied tar ball
.
commit
|
commitdiff
|
tree