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 cur_slist static. It's only used in smatch_states.c.
2008-09-23
D
an Carpenter
Make cur_slist static
.
I
t
's on
l
y used in smatc
h
_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carp
e
nter
White space cha
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
m
e
rge_sli
s
t() instead
of
t
ryi
n
g
to
handle
i
t you
r
s
elf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__proce
s
s
_continues() is su
p
po
s
ed t
o
b
e
ba
s
i
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
r
p
e
nter
New smatch_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo
)
= 1
i
s the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize s
t
ip_casts()
.
It'
s
now called
s
t
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
nter
Ignore c
a
s
ts
.
fo
o
((int *)&bar)
i
s the s
a
me as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Ignore
s
tuff
like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Car
p
enter
What happens befo
r
e is that
p
ara
m
eters would get ass
i
gn
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
Missed a c
r
ashing bu
g
in the int
=>
s
truct convers
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I
can't believe I was
d
o
i
n
g
stacks wron
g
this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
nter
C
h
anged
s
m
atch state from bei
n
g an int to 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
.
T
h
e curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an C
a
rpent
e
r
Redo the null
p
ath thi
n
g
.
So long as there
i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Cl
e
a
n up
.
Complicated is ju
s
t a bo
o
l
ean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays a
r
e comp
l
icated so th
e
y sho
u
ldn
'
t
b
e returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Ca
r
penter
I
f
we call
set_state f
r
om inside
a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the
p
oi
n
te
r
is initialized
to
non-null then s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore t
h
e sma
t
ch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we merge 2
slists we need
to deal
w
i
t
h
the
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an C
a
rpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Add
n
ullify the p
a
th when yo
u
h
a
v
e for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Me
r
ge b
r
anch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merg
e
b
ranch 'unnull
i
fy' in
t
o ls
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Ca
r
pent
e
r
L
o
ts
o
f
do while(0)
lo
o
ps don'
t
call b
r
e
a
k so i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Ca
r
penter
R
e
m
ove un
n
ee
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an
C
a
rp
e
n
t
er
Fix or_slist_s
t
ack()
.
Before it
j
ust
s
aved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
penter
cr
a
p
crap crap
.
do not
u
se
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
p
e
n
t
e
r
Clean ups and add some __unn
u
l
lify_pat
h
s
tu
f
f
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
n
ter
Small cleanup
.
got
o
_stack
s
h
oul
d
only be used in
smatch_st
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpe
n
ter
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
F
i
x
bug savin
g
the fals
e
_only
stack
.
B
e
fore code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
This
i
s
the
start of t
h
e s
m
a
t
ch_
e
xtra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x
overwri
t
e_slist() so it takes a pointer to a p
o
int
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
M
ak
e
s
match_extra
depend on smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n
Carpenter
Move is_ze
r
o() to
s
matc
h
_hel
p
er
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpente
r
Fix a big bug
.
get
_
state_slist() w
a
s al
w
ay
s
getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
Merge
.
.
/
.
.
/
s
match/de
v
el
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
Save
t
h
e
pre conditions insi
d
e the conditions so
t
ha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
t
er
The m
a
in change he
r
e was to
c
ompletely
r
ew
r
ite
ho
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
te
r
Break things out into f
u
nctions
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Car
p
enter
Handle while an
d
fo
r
loo
p
s slightly
b
ette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
arpenter
I removed
nullify_path() earlier but that was
a mistak
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpe
n
ter
I
don't think
t
h
e
sp
e
cial_ker
n
el_ma
c
ros() functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Add a function
t
o do a strcmp() with a
s
ymbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carp
e
nter
Rem
o
ve every
t
hing
to do
w
ith pat
h
_id's
.
I cou
l
dn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
e
place the
var
i
able _
_
negate with
t
he function __
n
egate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
Small clean
u
p
.
M
o
ve the
p
ass
i
ng t
h
e
w
hole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Cr
a
p
.
I meant to merge this earlier when
I
d
ivided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
nter
Add a com
m
en
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Moved all the logic for handlin
g
c
o
n
dit
i
on
s
i
n
to
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
O
o
ps
.
I guess
I
del
e
ted
the
wrong li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpente
r
Don't pass the contents
o
f s
i
zeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how the debug
info
f
or
me
r
gin
g
st
a
tes gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
T
h
e
main thin
g
i
s
t
o
handle zero compar
i
sons
b
ett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
Re
m
ove unneed
e
d code
.
This stuff is handled in smatc
h
_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
C
arpenter
We nee
d
to be able to break dow
n
(fo
o
!= 0) for BUG_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
I
d
e
n
ti
f
y for(;;) type loops as forever loops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Add support for BUG_ON
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
What
I
've s
e
en is stuff lik
e
thi
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an
C
arpen
t
er
An
y
thi
n
g that we don't handle is obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge
b
ranch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpent
e
r
Add
a
comment to ge
t
_varia
b
le_fro
m
_expr_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a c
o
m
m
e
nt
to get_variable_from_
e
xpr_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Carpenter
The nullify_
p
ath() h
e
re i
s
a bug
.
It ov
e
r-writes
a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpen
t
er
__print
_
c
ur_slist() is a useful
f
uncti
o
n
for debu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
If you have someth
i
ng like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Update the line numbers f
o
r each statemen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change the merge rul
e
s for custom
m
erge s
c
ri
p
ts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Move
S
M
_DEB
U
G
to a header so everyone
ca
n
u
s
e it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpe
n
ter
Add a custom merge f
u
nctio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpente
r
Up
d
a
te the lin
e
number at t
h
e v
e
r
y
s
tar
t
of the fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
ent
e
r
Change the
d
eb
u
g ou
t
put a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n
Car
p
enter
Add a --debug optio
n
.
It has
t
o be
t
he
f
irst option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpen
t
er
Make sure the vari
a
ble name is NULL termina
t
ed other
w
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
an
C
arpenter
Small c
l
ean ups
.
No change in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan
C
ar
p
en
t
e
r
Th
i
s is an of
f
by one
error r
e
ally
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carpenter
T
he spa
r
se_ini
t
ialize() fun
c
ti
o
n now takes
a
filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
Remove an o
f
f by on
e
er
r
or detect
i
ng the end of
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
P
a
tch i
t
with the stu
f
f f
r
o
m the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This is an
u
n
mod
i
fied
t
ar ball
.
commit
|
commitdiff
|
tree