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
Make get_all_states() not segfault every time.
2008-10-15
Dan Carp
e
nt
e
r
Mak
e
get_all_states() not segfault eve
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix g
e
t_value() to ret
u
rn n
e
gative
v
alue
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpenter
We only ever pass one parameter into ge
t
_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_all
_
s
tates
(
) to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Remo
v
e add_state() and s
t
a
t
e
_defined() defi
n
ition
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix
leak
.
My
probl
e
m is that I don't un
d
erstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
I
nitial commit o
f
th
e
"
i
mplied state
p
ools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been
using s
m
atch_e
x
tra
for
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ge
t
r
i
d of path_hi
s
tory
.
I
t's never going to be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Make goto_st
a
c
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
r
penter
Speed
u
p merge_slis
t
now that
th
e
slist
s
are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
In
s
ert
stuff on
t
o lists in a sorted
o
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
D
elete an unused functi
o
n merge_s
t
ate_stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
penter
fix:
if (*foo) { (*fo
o
)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc()
and fri
e
nds
d
on't alw
a
ys return a
n
on
-
null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks f
r
om h
e
re got merged into check_nu
l
l_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff
f
rom che
c
k_derefed
_
p
a
r
ams
.
c
i
n
to check_nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
a
rpenter
Fix bug in or_slist_stack()
.
if (a && b)
w
a
sn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an
Carpenter
Add
a hoo
k
at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
another str
i
p
_
exp
r
() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle as
s
i
gnmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
en
t
e
r
Only p
r
int something for a->foo
a
nd not a
.
f
oo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n
Carp
e
nter
I
gnore
a
rray decl
a
rati
o
ns
.
T
h
ose can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
a
ke cu
r
_sl
i
s
t
s
t
at
i
c
.
I
t
's
only used
in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White
space change
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Use
merge_slis
t
(
)
ins
t
ead of tryin
g
to handle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
__process_con
t
inu
e
s(
)
i
s
s
u
pposed to be bas
i
cally t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
New smatch_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
(foo)
= 1 is the s
a
me
as f
o
o = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Genera
l
ize stip_casts()
.
It's n
o
w ca
l
led strip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
ore ca
s
ts
.
foo((
i
nt *)&bar) is the
s
a
m
e as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
a
r
penter
Created sho
w
_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore st
u
ff like f
o
o
.
bar
.
We only
c
are ab
o
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpente
r
What happens
before is that pa
r
am
e
ters wou
l
d get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpent
e
r
Missed a
c
rashing bug in
t
he i
n
t => struct conve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I can't
be
l
ieve
I was doing stack
s
w
rong
th
i
s
w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
arpenter
Changed smatch
s
t
a
t
e from being
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 n
a
m
e
s
match_state
.
The
curr
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpenter
Re
d
o the null path thing
.
So long as there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
p
e
nter
Clean u
p
.
Complicated is just a boolean
.
Se
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Arrays are compl
i
cated so t
h
ey shoul
d
n't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
pent
e
r
I
f
we
call
s
et_state from inside a cond
i
tion then
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carp
e
nter
If the pointer is initialized to non-null then se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ignore the s
m
atch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
W
hen we merge 2
s
li
s
ts
w
e
need to deal w
i
th
the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Carpe
n
ter
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nu
l
lify the path
w
hen you hav
e
for
(
;
;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
pent
e
r
Merge bra
n
ch 'ls'
i
nto
ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpente
r
Merge branch 'unnullify'
i
nto ls
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rp
e
n
ter
Lots of do
w
hile(0) loops don't
c
all
b
reak so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpent
e
r
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
ente
r
Fi
x
or_sli
s
t_stack()
.
Bef
o
r
e it ju
s
t saved
o
ne s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap cr
a
p
crap
.
do
n
ot use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
Clean ups and
add some __unnullify_path stuff
.
H
o
pefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Car
p
enter
Small cl
e
anup
.
goto_
s
tack shoul
d
only be u
s
e
d
in sma
t
ch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fix bu
g
s
aving
t
he false_only stack
.
Be
f
ore code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
Th
i
s
i
s
the start of the
smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fi
x
overwrite_s
l
ist
(
)
s
o it
tak
e
s a
poin
t
er
to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carp
e
n
t
e
r
Make smatch_ex
t
ra dep
e
nd on
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
an Carpente
r
Move is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
Fix a bi
g
bu
g
.
get_state_slist() wa
s
a
l
ways get
t
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an
C
a
rp
e
nter
Merge
.
.
/
.
.
/sm
a
tch/d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Me
r
ge branch 'de
v
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pen
t
e
r
Save the
p
re c
o
n
d
i
ti
o
n
s in
s
id
e
the
c
onditions so th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
The main change h
e
re was to completely rewr
i
te
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Ca
r
pen
t
er
Break
t
h
i
ngs out i
n
t
o
functions a
b
it
.
Clea
n
u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
Handle
w
hile and for loops
slightly be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpent
e
r
I removed nullify_pat
h
() e
a
rlier bu
t
that
was a mista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
I don't think the sp
e
cial_kernel_ma
c
r
o
s
(
) function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
Add a funct
i
on to do a strcmp() with
a
symb
o
l n
a
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Remove ever
y
thing to do with path_i
d
's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Replace the variable __negate with the function _
_
negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
S
mall clean up
.
Move the passin
g
the whole
co
n
d
i
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
C
r
ap
.
I mean
t
to
merge this earlie
r
when
I
divid
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a comm
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Moved al
l
the logic
for ha
n
dlin
g
c
o
nditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I deleted the wron
g
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
D
o
n't pa
s
s the contents o
f
sizeof()
t
o
t
he client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
t
e
r
Improve ho
w
t
h
e
d
e
bu
g
info
f
or m
e
rging states
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
The ma
i
n thing is to
ha
n
dle zero compar
i
sons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
Re
m
ove unneeded code
.
T
h
is stuff is h
a
ndled in
s
match_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpent
e
r
We 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
Dan Carpenter
I
dentify for(;;) type
l
oops as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Add support
f
or
BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpente
r
Wha
t
I'
v
e se
e
n is s
t
u
f
f like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Anyt
h
i
n
g that we don'
t
handle is obviously co
m
plicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
ter
Merge
b
r
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpente
r
Add a c
o
m
m
ent to get_
v
ariabl
e
_
f
rom_ex
p
r_simple(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
omment t
o
get_variable_from_ex
p
r_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
Th
e
nu
l
lify_path() here is a bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpe
n
ter
__pri
n
t_cur
_
slist
(
) i
s
a
u
s
e
ful function for d
e
bugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
If you ha
v
e somet
h
ing like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n C
a
rpenter
Update the line numbers for each statemen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
a
r
penter
Change the me
r
ge rules for
custo
m
m
erge scripts
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n C
a
r
pent
e
r
Mov
e
SM_DEBU
G
to
a
header s
o
everyon
e
can u
s
e it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a
custom merg
e
func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
penter
Update
the line number at the very sta
r
t
of the
fu
n
cti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Cha
n
g
e
the debug o
u
tput a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
A
d
d a --de
b
u
g
option
.
It
has to be the first o
p
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next