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
Delete an unused function merge_state_stack()
2008-10-11
Dan Carp
e
nter
D
e
lete an
u
n
use
d
f
u
nction mer
g
e_state_stack
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmallo
c
() 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
penter
The che
c
ks from here
got
merged into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
enter
Move
th
e
stuff fro
m
ch
e
ck_derefed_params
.
c into
check_null_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or_slis
t
_
s
tack()
.
if (a && b) wasn
'
t
being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
pent
e
r
Add a hook
a
t the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anothe
r
stri
p
_ex
p
r() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
ndle assign
m
e
e
nts insid
e
c
o
nd
i
tions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rpenter
Only print
s
omething
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
Ign
o
re array declarations
.
Th
o
s
e
ca
n
't be
NULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpen
t
er
Mak
e
cur_slist static
.
It's
o
nly used in smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
s
e
m
e
rge_slist() ins
t
ead
of
t
rying to handle it yoursel
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arp
e
nter
__pro
c
ess_continues()
is supposed to be basical
l
y the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
New
s
match_ignore
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(
f
oo)
= 1
i
s the
same as fo
o
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_ca
s
ts()
.
It'
s
now called s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
fo
o
((int *)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Created sh
o
w_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Ign
o
re stuff like
foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before is
t
hat parameters wo
u
ld get as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Missed a cra
s
h
ing
bu
g
in the int =>
s
truct con
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
I c
a
n't believe I was doing stacks wrong this
whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpent
e
r
Cha
n
ged smatc
h
state from being an int
t
o being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
I want
t
o reu
s
e the na
m
e smatc
h
_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpent
e
r
R
e
do the null
path thi
n
g
.
So long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpen
t
er
C
l
ean up
.
Complicated is ju
s
t a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Arrays
a
re complic
a
t
e
d s
o
they
s
houldn't be
r
eturned b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Car
p
enter
If we ca
l
l
set_state from inside a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
If th
e
poin
t
er is initialize
d
to non
-
n
u
ll then
s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
C
arpen
t
er
ignore
t
he
s
match bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we merge
2 slists we need t
o
deal with
t
he case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Car
p
enter
Cle
a
n
u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nullify the
p
ath when you have f
o
r(
;
;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpenter
Merge branch 'ls'
i
n
to ult
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
Dan
Car
p
enter
M
erge bra
n
ch 'unnul
l
i
f
y'
i
nto ls
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Lots of
do while(0)
loops do
n
't call break so it d
o
esn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove unneeded
c
h
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
p
e
n
t
e
r
Fix or_slist_
s
tac
k
(
)
.
Before it just sa
v
ed one
st
a
ck
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
rap crap cr
a
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Clean ups
and add some __unnullify_path stuff
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
S
m
all c
l
e
a
nup
.
goto_stack should only be used
in
smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpenter
Clean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
Fix bu
g
saving the fals
e
_
only st
a
ck
.
Befor
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is
the
start of the sma
t
ch_extra stu
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
Fix overwrite_slist() so it takes a pointer to
a po
i
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Make smatch_e
x
tra
depend
o
n smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Carpent
e
r
Move is_zer
o
()
to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a big bug
.
get_state_slist()
w
as always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpe
n
ter
Merge
.
.
/
.
.
/smatch/d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
ar
p
ent
e
r
Mer
g
e branch
'
dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
Sa
v
e the pr
e
co
n
ditions insi
d
e th
e
conditions
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpenter
The m
a
i
n
change here was to comple
t
ely rewrite
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
reak thing
s
out int
o
functions a bi
t
.
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpe
n
ter
Handle while
a
nd for loops slightly bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carp
e
n
ter
I re
m
oved null
i
fy_path
(
)
e
a
rlier
but th
a
t was
a
mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
I don't think
t
he special_kernel_
m
acro
s
(
)
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Add a function to do a str
c
mp
(
) with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove everything
t
o do with path_id's
.
I cou
l
dn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Car
p
enter
Repl
a
ce the variable __negate with the
f
unction __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
C
arpenter
Sma
l
l clean up
.
Move
the passing
t
he whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carp
e
nt
e
r
C
r
a
p
.
I meant to merge this
e
arlier
w
he
n
I divide
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Car
p
enter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Move
d
all
th
e
l
o
gic for hand
l
ing con
d
itions
i
n
t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Oops
.
I guess I del
e
ted the wro
n
g list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpen
t
er
Don't pass t
h
e conte
n
ts of
s
izeof()
t
o the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
a
rpenter
I
m
prove
how the debug info for
m
erging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpen
t
er
T
h
e m
a
i
n thing is to handle zer
o
c
o
mpa
r
i
s
on
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
Remove unneeded code
.
This stuff is handled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We ne
e
d t
o
be able to b
r
eak down (f
o
o != 0)
fo
r
BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Identify for(;;)
ty
p
e loops as for
e
ver loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add support for
B
U
G
_
ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
penter
What I've seen
i
s stuff
l
ike this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Anything th
a
t
we
d
on't
h
a
ndle is obviou
s
ly complica
t
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
Add a comment to get_variable_from_expr_
s
imple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
pent
e
r
Add a comme
n
t to get_varia
b
l
e
_
from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path() here
is a
b
ug
.
It ov
e
r-writes a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
__
p
r
int_cur_sl
i
st() is a useful
f
u
n
ction
f
or de
b
ugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpente
r
If you
hav
e
s
o
m
e
t
hing lik
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
arpente
r
U
p
date the line numbers for ea
c
h statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Chang
e
the m
e
rge rules
f
or custom merge
s
cripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Move
S
M_DEB
U
G to a header so everyo
n
e can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
A
d
d a
custom m
e
rge fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
D
an Carpenter
Update the
l
ine number at the v
e
ry start of the fun
c
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Da
n
Carpenter
Change
t
he
d
e
b
ug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
arpe
n
ter
Add a --deb
u
g
opt
i
o
n
.
It ha
s
to be the first
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpenter
Make sure th
e
vari
a
b
l
e name i
s
N
U
LL termina
t
ed otherwis
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small cle
a
n ups
.
No change in
b
eha
v
io
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is an off by
one err
o
r r
e
ally
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carp
e
nter
T
h
e sparse_initiali
z
e()
f
unct
i
on
n
ow ta
k
e
s a
filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
Re
m
ove an off by o
n
e
error detec
t
ing
th
e
end of th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arp
e
n
t
er
Patc
h
it with t
h
e stuff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This i
s
an unmo
d
i
f
ied tar ball
.
commit
|
commitdiff
|
tree