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
If we call set_state from inside a condition then it should set both
2008-09-17
Dan Carpenter
If we call
s
et_state from inside a condit
i
on then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
t
he
p
oi
n
ter is
initializ
e
d
t
o n
o
n-nu
l
l then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an
C
arpenter
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we merge 2 slis
t
s we need to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Add nullify the path when y
o
u h
a
ve for(;;
)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Ca
r
penter
Merge branch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Merge
branch
'
u
nnullify' int
o
ls
commit
|
commitdiff
|
tree
2008-09-13
D
an Car
p
e
nter
L
ots
o
f do w
h
ile(0) loops
don't ca
l
l brea
k
so
it
doe
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
R
e
move unn
e
eded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an Carpe
n
ter
Fix or_
s
l
i
s
t
_sta
c
k()
.
Befor
e
it just sa
v
e
d
one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
do
not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean u
p
s and a
d
d some __unnullify_path stuff
.
H
o
p
ef
u
l
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
S
mall cleanu
p
.
got
o
_s
t
ack should only b
e
used in smatc
h
_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pente
r
F
i
x bug sa
v
ing the fa
l
s
e_o
n
ly s
t
ack
.
Before c
o
de like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
This is th
e
start
o
f the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Car
p
enter
Fi
x
overwrite_sli
s
t() so it ta
k
e
s
a po
i
nt
e
r
to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Make smatch_extra
depe
n
d
on
s
m
atc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Da
n
Carpenter
Move
i
s_zero() to smatch_helpe
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carp
e
nter
F
i
x a big bug
.
ge
t
_st
a
t
e_slist() wa
s
always
g
etting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n C
a
rpenter
Merg
e
branch
'
d
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpe
n
ter
Save t
h
e p
r
e conditions i
n
side the conditi
o
ns so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
a
rpenter
The main change her
e
was
t
o completely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Ca
r
pe
n
te
r
Brea
k
th
i
ng
s
out into fu
n
ct
i
ons a bit
.
Clean up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
p
e
nter
Handle
w
hi
l
e
and for lo
o
ps s
l
ightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
an Ca
r
pente
r
I rem
o
ved n
u
llify_path() ear
l
ier
b
ut that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
I don't think the specia
l
_kernel_macros() func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add a func
t
ion to do
a strcmp() w
i
th a
sym
b
ol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
ter
Remove everyt
h
ing to
d
o
w
i
t
h path_
i
d's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
epla
c
e the
variable __negate with the
f
u
n
ction __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpent
e
r
Small c
l
ean
u
p
.
Move
t
he passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Crap
.
I meant to mer
g
e
this earlier when I di
v
i
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpen
t
er
A
d
d
a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
M
o
ved al
l
t
h
e
lo
g
ic for handling cond
i
tion
s
i
n
t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Oo
p
s
.
I
g
uess I deleted the
w
rong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
D
o
n'
t
pass the c
o
n
tents of
s
izeof() to th
e
cli
e
nt
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improv
e
how the
d
e
b
ug info for merging states
g
ets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Ca
r
penter
T
he
m
a
i
n t
h
ing is to handle zero
c
ompar
i
sons
be
t
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove
unneede
d
code
.
This stuff is han
d
led
i
n smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need
t
o be able to brea
k
down (foo != 0) for BUG_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Identify for(;;)
t
ype loops as fore
v
er loops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support for BUG
_
ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpent
e
r
What I'
v
e
s
een is s
t
uff li
k
e this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an
Carpenter
Any
t
hin
g
t
hat w
e
do
n
't handle
is ob
v
ious
l
y
compl
i
cated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Me
r
g
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Ca
r
penter
Add
a
comment to get_variable_fr
o
m_expr_sim
p
le
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
n
ter
Add a c
o
mment to get_variable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Ca
r
pen
t
er
T
he
nullify_p
a
t
h
(
) here i
s
a bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
__pri
n
t_cur_slist()
is a us
e
ful function for d
e
bugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you
h
ave something lik
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update
t
he line
numbers for e
a
ch
s
t
a
temen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
ent
e
r
C
ha
n
ge the merge rules for
c
u
s
tom
m
erge scripts s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
Ca
r
p
e
nter
M
o
ve
S
M_DEBUG to a
h
eader so everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom merge functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan
Carpe
n
t
er
Update the line
num
b
er
a
t the
v
er
y
s
t
art
of the fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n
C
a
rpenter
C
h
ange th
e
debug ou
t
put a bi
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debug o
p
t
ion
.
I
t has to be the first o
p
ti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make
sur
e
the variable name is
N
ULL termin
a
ted ot
h
erwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpe
n
ter
S
mall clean ups
.
No chan
g
e in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This i
s
an
off
b
y one error rea
l
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n Carpente
r
The spa
r
se_initia
l
ize() fu
n
ction now takes
a
fileli
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Remove
a
n
o
f
f
b
y on
e
er
r
or det
e
cting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
pente
r
Patc
h
i
t
with the
stuff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carp
e
n
t
er
This is an un
m
od
i
fied tar ball
.
commit
|
commitdiff
|
tree