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 goto_stack static.
2008-10-13
Dan Carpenter
Make g
o
to_sta
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
S
pee
d
up merge_slist now that the slists a
r
e o
r
dered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
Insert stuff on
t
o list
s
in a so
r
ted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete an unused fu
n
ction me
r
ge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an
Carp
e
n
t
e
r
fix: if (*
f
oo) { (*foo)->b
a
r;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
k
m
alloc() and frie
n
ds do
n
't always
r
etur
n
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks from he
r
e got merged into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff from ch
e
ck_dere
f
e
d_params
.
c i
n
t
o
c
h
eck_nu
l
l
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Fix bug in or_sli
s
t_st
a
c
k
(
)
.
if
(
a
&&
b
) wasn'
t
be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add a hook at t
h
e
e
n
d of a
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Fo
r
go
t
another s
t
rip_ex
p
r(
)
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
H
an
d
le assi
g
nmeents insi
d
e conditions bet
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Only
p
rin
t
something
f
or a->foo and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
nore
array dec
l
arations
.
Those can't be NUL
L
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
ake cur_sli
s
t stati
c
.
It's only used in smatch_sta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
penter
Use me
r
ge_slist() inste
a
d of trying to
h
a
n
dle it
y
o
u
rse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
penter
_
_process_con
t
inue
s
() is suppose
d
t
o
b
e
b
a
sicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatc
h
_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
(foo) = 1 i
s
the same as f
o
o = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
Generalize st
i
p_
c
asts
(
)
.
It's now
calle
d
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
e
nter
Ignore casts
.
foo((int *)&bar) is t
h
e
s
ame as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpe
n
ter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
I
gno
r
e stuff like foo
.
bar
.
We only car
e
about fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happ
e
ns
befor
e
is t
h
at paramete
r
s
w
ou
l
d ge
t
a
s
sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpe
n
ter
Miss
e
d
a
crashi
n
g
bug in the int => struct conv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
c
an
'
t
b
eliev
e
I was
do
i
ng stacks wrong this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
h
anged smatch state from be
i
ng a
n
i
nt to
b
eing poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
I wan
t
to reuse the
n
ame s
m
atch_sta
t
e
.
T
he cu
r
ren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo t
h
e
n
ull path thing
.
So long as there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
e
r
Cl
e
an
u
p
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Arrays are com
p
licat
e
d so they
s
h
ouldn't b
e
returne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I
f
we call set_state fro
m
i
nside a cond
i
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I
f
the point
e
r is initialized to
n
on-null
t
h
e
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
igno
r
e the sma
t
ch b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
pen
t
er
When we merge 2 slists w
e
need to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Add nulli
f
y the
p
a
t
h
when y
o
u have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merg
e
branch
'
ls'
i
nto ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Merge
branc
h
'
u
nnu
l
lify' into l
s
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Lots of d
o
while(0) loops do
n
't
c
a
ll
b
reak so
i
t
d
o
esn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
ar
p
enter
Fix or_sl
i
s
t_stack()
.
Be
f
ore
i
t
j
ust s
a
ved
o
n
e stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
cra
p
crap crap
.
do
n
o
t
use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups and a
d
d so
m
e __unnullify
_
path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small cl
e
anup
.
goto_
s
ta
c
k s
h
ou
l
d only be u
s
ed i
n
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpenter
Fix bug savi
n
g the false_only stack
.
Bef
o
re cod
e
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
ter
This is the
s
tart of
t
h
e smatc
h
_e
x
tra stuf
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
Fix over
w
rite_slist() so
it t
a
k
e
s a pointe
r
to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n C
a
rp
e
nte
r
Make smatch_
e
xtra
depend on
smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carp
e
nter
Move
is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpen
t
er
F
ix a
big bug
.
get_state_slist() was alwa
y
s
g
etting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpent
e
r
Merge
.
.
/
.
.
/sma
t
ch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Merge branch '
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Save the pr
e
condit
i
o
n
s i
n
side t
h
e conditions
s
o tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carp
e
nter
The
mai
n
change here was to completel
y
rew
r
ite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k t
h
ings out in
t
o fun
c
tions a bit
.
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Handle while and for
l
oops sligh
t
ly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carpenter
I removed nullify_path(
)
earlier
b
ut that
w
as a m
i
stake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
I don
'
t t
h
ink the spec
i
al_kernel_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
Add a func
t
ion to do a strcmp()
w
it
h
a
symbo
l
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Remove ever
y
thing to do with pat
h
_id's
.
I c
o
ul
d
n't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
penter
Replace the v
a
ri
a
b
l
e
__negate with th
e
function __n
e
gate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Sma
l
l clean up
.
Move th
e
passing the
who
l
e co
n
dition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I meant to me
r
g
e
this earlier when I divided
.
.
.
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
D
an C
a
r
p
enter
Move
d
al
l
the l
o
gic for han
d
ling
c
ondi
t
i
ons into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Oops
.
I gues
s
I deleted the
w
rong lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass the con
t
ent
s
of sizeof() to the
c
lient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how th
e
deb
u
g info
f
o
r
m
ergi
n
g stat
e
s
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Carpenter
The m
a
i
n
t
h
ing is t
o
handle ze
r
o comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpenter
R
emove unn
e
eded code
.
This stuff is handled i
n
sm
a
tch_fl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Ca
r
penter
We ne
e
d to
b
e
able to break down (foo != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Id
e
ntify
f
or(;;) ty
p
e loops as
for
e
ver loops
.
T
h
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
A
d
d
support
for BUG_
O
N()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
pe
n
te
r
Wha
t
I've see
n
is
s
tuff
like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pen
t
er
Anything that
w
e don't handle is obvi
o
us
l
y
complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
p
enter
Me
r
ge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
enter
Add a commen
t
to ge
t
_variable_from_exp
r
_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
n
t
er
Add a comment to get_variable_
f
rom_ex
p
r_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpe
n
ter
T
he nullify_path() here
is a bug
.
I
t ove
r
-write
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
__print
_
cur_slist() is a use
f
ul fun
c
tion for debuggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
penter
I
f y
o
u
have som
e
t
h
i
ng like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpen
t
er
Update the line number
s
for
e
a
ch statemen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carp
e
nter
Ch
a
nge the merge rules
f
or
c
ustom m
e
rge scri
p
t
s so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Move SM_DEBUG to a header so eve
r
yone can
use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a
c
u
stom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update
t
h
e
li
n
e number at th
e
very
start of the fu
n
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the d
e
bug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpente
r
Add
a --debug option
.
It
ha
s
to
b
e the firs
t
option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpe
n
t
e
r
Make sure
the
v
ariab
l
e na
m
e is
N
ULL
te
r
minated ot
h
erw
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean ups
.
No chang
e
in behav
i
or
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
D
an
Carpenter
This is an of
f
by one error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an
Carpen
t
e
r
The spars
e
_initialize() function now takes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
Remove an of
f
by one
e
r
ror de
t
e
cting the
e
nd of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n Carpent
e
r
Patch it with
t
he stuff from the
w
eb
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
en
t
e
r
This
is
an
unmod
i
fied
t
ar ball
.
commit
|
commitdiff
|
tree