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
Car
p
enter
Ma
k
e get_all_states
(
) not segfault ev
e
ry t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
e
nter
F
i
x get_value() to re
t
urn negative val
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpe
n
ter
We on
l
y
e
v
er
p
ass on
e
parameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix get_all_states(
)
t
o mat
c
h the f
u
ncti
o
n definiti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pe
n
t
er
Remove add
_
state()
and state_defined() def
i
nitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Clea
n
up
.
Fix leak
.
My problem is that I don't understan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
n
ter
Initial
co
m
mit of the
"
i
mplie
d
sta
t
e pools"
s
tuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
Carpenter
D
o
h
.
We
haven't bee
n
usin
g
smatch
_
extra f
o
r
a
w
h
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpenter
Get rid of path_history
.
It's ne
v
er going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_sta
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carp
e
nter
Speed u
p
merg
e
_slis
t
n
o
w
that the s
l
ists ar
e
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arp
e
nter
Insert st
u
ff
onto lists
i
n a sor
t
ed o
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Del
e
te an unused
funct
i
on m
e
r
ge_st
a
te_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(*f
o
o
)
{ (*foo)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and friends don't always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
pente
r
The chec
k
s
f
rom here got merg
e
d
i
nto c
h
eck_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpen
t
er
Move the stuff from
check_
d
erefed_p
a
rams
.
c into
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
arp
e
nter
Fix bug in or_slist
_
sta
c
k(
)
.
if
(a
&
& b) wasn't b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a hook at
the end of a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anot
h
er strip
_
exp
r
() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Ca
r
penter
Handle assignmeents
i
nside c
o
nditions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpent
e
r
Only print someth
i
ng for a->foo
a
n
d not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
e
r
Igno
r
e arr
a
y declarations
.
T
h
ose can't be NULL
o
b
viously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n C
a
rpenter
Make cur_slist st
a
tic
.
It's only used in smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
W
h
i
te
space chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Use me
r
ge
_
slist() instead of trying to handle it your
s
elf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
_
_p
r
ocess_continues() is supp
o
sed to be basicall
y
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Car
p
enter
Ne
w
s
match_ig
n
ore
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
(foo) = 1 is the same as fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
G
eneral
i
ze
stip_casts()
.
It's
n
ow ca
l
l
ed strip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ign
o
r
e cast
s
.
foo
(
(
int *)&
b
ar) is th
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Created s
h
ow
_
stat
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ignore stuff like foo
.
bar
.
We only care abou
t
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Wh
a
t happe
n
s bef
o
r
e
is that para
m
eters would get assig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
arpenter
Missed a
c
rashing bug i
n
t
h
e int =>
struct co
n
versio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an
Car
p
ent
e
r
I can't be
l
ieve I was
doing stacks wr
o
ng this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch state from being an i
n
t t
o
bein
g
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to reu
s
e the
name smatch_state
.
The curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Red
o
t
he n
u
ll
path thing
.
So lo
n
g a
s
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpe
n
ter
Clean up
.
Complicat
e
d is
just a
b
oolean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Arrays are complicated
s
o they s
h
o
uldn't be retur
n
ed
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
If we call set
_
s
tate fr
o
m
inside a cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
e
n
ter
If the pointer is initialized to no
n
-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rpent
e
r
ignore the smatch
b
ina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
When we merge 2 slists w
e
need to dea
l
with the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
Carpenter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpenter
Ad
d
nullify the p
a
t
h when
you h
a
ve fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
M
erge branch '
l
s' into
u
ltratm
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Me
r
ge bra
n
ch 'unnu
l
lify
'
i
n
to ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Lots of d
o
while(0) lo
o
ps d
o
n't call
break
s
o it do
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Rem
o
ve
unneeded ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
arpente
r
F
i
x or_slist_stac
k
()
.
Before it just s
a
ved one
s
tac
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
ra
p
crap
crap
.
do not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
C
lean ups and add
s
ome
__unnullify_path stuff
.
H
o
peful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an
C
arpenter
S
m
a
ll cle
a
nup
.
g
o
t
o_stack should
only
be
u
sed in smat
c
h_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
ent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rp
e
nter
Fix
bug saving th
e
false
_
only s
t
a
ck
.
Befor
e
code
like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pen
t
er
T
h
i
s
is the st
a
rt of the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
F
ix
o
verwrite_slist()
so
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
Dan Carpe
n
t
e
r
Make sma
t
ch_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
C
arpenter
Move is_zero() t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
F
i
x a
b
ig bug
.
get_state_slist(
)
wa
s
alway
s
ge
t
ti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an
C
a
rpenter
Merge
.
.
/
.
.
/smatch
/
deve
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
S
ave
the pre co
n
diti
o
ns inside
t
h
e conditi
o
ns
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Th
e
main cha
n
ge here
was
t
o
completely rewr
i
te
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break thin
g
s out in
t
o function
s
a
bit
.
Clean
u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carp
e
n
ter
Handl
e
wh
i
l
e
and
for loops
s
l
ightly
b
et
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carpenter
I re
m
oved nullif
y
_path()
e
arlier but that
was a m
i
stake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
do
n
'
t think t
h
e
s
p
e
c
ial_kernel
_
m
a
cro
s
() func
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a func
t
io
n
to do a
s
trcmp
(
) with a s
y
mbo
l
n
ame
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Remove e
v
erything to
d
o with p
a
th
_
id's
.
I cou
l
d
n't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace
the variab
l
e __negate with the func
t
ion __nega
t
e(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Sma
l
l clean up
.
Move
t
h
e passing the who
l
e con
d
ition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Crap
.
I m
e
a
nt t
o
merge this earlier whe
n
I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpe
n
t
e
r
A
dd a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
n
t
e
r
M
oved all
t
he logic
for handling cond
i
t
i
ons into
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oop
s
.
I g
u
ess
I
d
e
let
e
d the
w
ro
n
g lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pen
t
er
Do
n
'
t pas
s
the
contents
o
f sizeof() to the cl
i
ent
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how th
e
debug info fo
r
merging
states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
T
h
e
m
a
in thing is to handle ze
r
o
c
ompari
s
o
ns better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an C
a
rpenter
R
emove unneeded code
.
This stuff is han
d
led
i
n
s
match_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpen
t
er
W
e
need to be a
b
le to b
r
eak
down
(foo
!
=
0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
pent
e
r
Identif
y
for(
;
;) t
y
pe loops as forever
l
oops
.
Th
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
penter
Add support for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rp
e
nter
What I
'
ve s
e
en
is st
u
ff l
i
ke this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Anything that
we don
'
t h
a
ndle is
ob
v
i
o
u
s
ly com
p
licated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Add
a
c
omm
e
nt
t
o get_variable_from_expr_sim
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pente
r
A
d
d a commen
t
to get_variable_from_ex
p
r_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_
p
ath() here i
s
a bug
.
It ov
e
r-writes al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
p
en
t
er
__print_cur_s
l
ist
(
) is a
u
seful
function for
d
ebugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
If y
o
u
have something
l
ike
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
C
ar
p
ente
r
Update the line
n
umbers for each statem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Change t
h
e merge
r
u
les f
o
r custom merge sc
r
ipts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Move SM_DEBUG to a h
e
ader so everyone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpe
n
t
e
r
A
d
d a custom
merge funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Da
n
Car
p
enter
U
p
d
a
te the line number at the ver
y
start of the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
C
hange the debu
g
o
u
t
put a bi
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
D
an Carp
e
nter
Add a --debug
o
ption
.
It
has
t
o
be the
f
irs
t
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next