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
Clean up. Complicated is just a boolean. Set it to 1 instead of
2008-09-17
D
a
n Carpenter
Clean up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ente
r
Ar
r
ay
s
are complicated so they shouldn't be re
t
urned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpen
t
er
If we ca
l
l s
e
t_state from inside a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
If the pointer is in
i
t
i
alized to non-nu
l
l then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Carpenter
ign
o
r
e the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpente
r
When
w
e merg
e
2 slists we need to
d
e
al with t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Carpen
t
er
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add
nullify the path when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'ls' into u
l
tra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Mer
g
e
branch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Lots
of do while(0) lo
o
ps don'
t
call break
s
o it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove unneeded c
h
eck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
F
i
x 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
cra
p
cr
a
p crap
.
do not
use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
C
lean ups and add s
o
me __unnullify_path stuff
.
Hop
e
ful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Small cl
e
a
n
up
.
goto_stack should onl
y
b
e
u
s
e
d
in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Ca
r
p
enter
Clean up
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
Fix bug
sa
v
i
n
g the
false_only stac
k
.
Bef
o
re
c
ode
l
ik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
T
h
is is the start of
t
he smatch_extra stu
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpente
r
Fix overw
r
ite_slist() so it takes
a
p
oi
n
ter t
o
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
M
a
ke smatch_extra depend on
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpente
r
Move is_
z
e
r
o() t
o
smatch
_
h
e
l
per
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a big bug
.
get_state_slist() was
a
lways getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/s
m
atch
/
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
Save the pre condit
i
ons inside the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
The main change he
r
e
wa
s
to comp
l
etely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpenter
Break thing
s
o
u
t into functi
o
n
s a bit
.
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
H
a
ndl
e
while a
n
d for l
o
o
ps slightly
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Ca
r
pe
n
ter
I removed nullify_path() earli
e
r
but
that was
a
mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
enter
I
don
'
t think the special
_
kernel_macros() func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
ter
Add a f
u
nction t
o
do a
s
trcmp() w
i
th
a
symbol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
nter
Re
m
ove e
v
erything to do with
path_i
d
'
s
.
I cou
l
dn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the v
a
riable __nega
t
e with t
h
e
function
_
_negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
enter
Small
clean up
.
Move the
pass
i
ng the whole
cond
i
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I
meant t
o
merge this earlie
r
when
I
di
v
ided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
penter
Moved
al
l
the l
o
gic for handling condi
t
ions
i
nto a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
o
p
s
.
I gues
s
I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpen
t
e
r
Don't
pa
s
s the c
o
nt
e
nts of sizeof() t
o
the clien
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
Improve how the de
b
ug info for
merging state
s
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carp
e
nter
The main
thin
g
is to
h
andle zer
o
comparisons be
t
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpente
r
Remove unneeded code
.
This stuff is han
d
led
i
n smatch
_
fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
W
e
need to be able to break
down (
f
oo != 0)
for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
p
e
n
t
e
r
Identify for(
;
;) type
l
oops as fo
r
ever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Ad
d
support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
W
h
a
t
I've seen is s
t
uff li
k
e
this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything tha
t
we don't hand
l
e is obviou
s
l
y
complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge br
a
nch
'de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nte
r
Add a comment to get_va
r
ia
b
l
e
_from_expr_
s
imple
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
n
ter
A
d
d a c
o
m
ment to ge
t
_varia
b
le_from_expr_si
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nulli
f
y_path() h
e
re is a bug
.
It
o
ver-writes al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_
c
ur_slist() is a useful function for debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
If you have something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
U
pdat
e
the
line numbers
fo
r
each
s
ta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
C
h
a
ng
e
the
merge
r
ules for custom
merge
s
c
r
ipts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Move
S
M_DEBUG to a header so everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
n
t
e
r
Add a cus
t
om merge
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carp
e
n
t
er
Up
d
ate the line
number at the
v
e
ry sta
r
t of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpen
t
er
Change
t
h
e
debug output
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
arpenter
Add a --
d
ebug option
.
It
h
as
t
o be the f
i
rst
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
M
ake sur
e
the vari
a
bl
e
name is NULL
terminated o
t
herwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Sm
a
ll clean up
s
.
No
c
ha
n
ge in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpen
t
e
r
T
h
is is an off by one error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
T
he s
p
arse_in
i
tialize() function now takes a
filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Da
n
Carpenter
Rem
o
ve an
off
b
y
o
ne
error detecting th
e
e
nd of
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
P
a
tc
h
it with the stuff f
r
om th
e
web
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
enter
This is an unm
o
difie
d
tar ball
.
commit
|
commitdiff
|
tree