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
D
a
n
Carpente
r
If we c
a
ll set_state from i
n
side
a
c
onditio
n
then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
t
h
e pointe
r
is
i
nitialized to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpen
t
er
ignore th
e
s
m
atch
b
i
n
ary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpenter
When
w
e merg
e
2
slists we
n
eed to
d
e
a
l with th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Carpenter
C
le
a
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Car
p
enter
Add nu
l
lify the path when
you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge
b
ranch 'ls' into ultrat
m
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Mer
g
e
b
ranch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpe
n
ter
Lo
t
s of do while(0) loops do
n
't call
break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rp
e
nter
Remov
e
unneede
d
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_slist
_
stack()
.
Before it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
rap cra
p
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
Clean ups a
n
d add some __unnullify_path s
t
uff
.
Hop
e
f
ul
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nter
S
m
all cleanup
.
g
oto_stack should only be used i
n
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpenter
Clean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an C
a
r
penter
Fix
bug saving the false_only s
t
ack
.
Before
c
o
d
e like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpente
r
This is the start o
f
the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
ix overw
r
ite_sli
s
t(
)
s
o
it takes
a pointer to a poin
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
e
n
ter
M
ake s
m
atch_extra depend
on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
an Ca
r
penter
Move is_zero() to smatch_helpe
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Fix a big bug
.
ge
t
_s
t
ate_slist() w
a
s alway
s
g
etting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Me
r
ge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
Merge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the
p
re conditions inside the condit
i
ons so th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
t
e
r
T
h
e main c
h
ange here
wa
s
to completely rewrite
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
B
r
eak t
h
ing
s
o
u
t into functio
n
s a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
n
t
e
r
Han
d
le wh
i
le and
for loops slightly
b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpe
n
ter
I removed nullify_p
a
t
h
() earlier but that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
I
d
on't
t
h
ink the s
p
ecial
_
kernel_macros() fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Add a fu
n
ction to do a strcm
p
() with a sy
m
bol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Rem
o
v
e e
v
erythin
g
to do wi
t
h path_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
Replace the
v
ariable _
_
neg
a
te with the func
t
ion __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
m
a
l
l clean
up
.
Move the pass
i
n
g
the
w
hole c
o
n
d
ition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
C
rap
.
I
meant to merge t
h
is earl
i
er when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a commen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the logic for handlin
g
co
n
d
i
tions into
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
t
e
r
Oops
.
I
guess
I
deleted
th
e
wr
o
ng
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don
'
t pass
t
he
c
o
n
tents of
sizeof() to t
h
e client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Ca
r
penter
Improve how the deb
u
g i
n
fo for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
The main t
h
ing is to handle
z
e
r
o comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpe
n
ter
Remo
v
e
unneeded code
.
This st
u
f
f
is handled in s
m
a
t
ch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
We
n
eed to be
a
ble to break 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
rpenter
Ident
i
fy
for
(
;;) type l
o
ops a
s
forever lo
o
ps
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Car
p
enter
Add support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
W
h
at I've s
e
en
is stuf
f
li
k
e
this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
An
y
thing that we don't h
a
ndle is
o
bvi
o
usly
c
omplicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpenter
M
e
r
g
e branch '
d
evel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Add
a
comment
t
o
g
et
_
var
i
able_
f
ro
m
_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comm
e
nt to get_variable_fro
m
_e
x
p
r_
s
impl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
The nullif
y
_path() here is a bug
.
I
t
over-wri
t
es a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
__print_cur_s
l
is
t
(
) i
s
a
u
s
e
ful
function for debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you have somethi
n
g like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
U
p
date
t
he l
i
ne n
u
mbers
for each
statem
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change the merge rules for c
u
st
o
m
merge
s
cript
s
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Move SM_DEBUG to a hea
d
er s
o
everyone
can use
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
a
rpenter
Add
a custom merge functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Updat
e
t
h
e line n
u
mber
a
t the very start of
th
e
functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Ch
a
n
g
e
t
he debug output
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpe
n
ter
A
d
d
a
-
-debug option
.
It has to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Da
n
Carpe
n
ter
Make su
r
e the varia
b
le nam
e
is NULL termina
t
ed ot
h
erwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpen
t
er
Small clean ups
.
No change
i
n
behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan
C
ar
p
enter
This is an off
by one er
r
or really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpenter
The sparse_initialize() fu
n
ction now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an Carpe
n
ter
Remove an off by one error
d
etecting th
e
e
nd of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carp
e
nt
e
r
Pat
c
h it with t
h
e
stuff from
the web
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
r
pen
t
er
This
i
s an unmodified tar
b
all
.
commit
|
commitdiff
|
tree