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
Doh. We haven't been using smatch_extra for a while.
2008-10-14
Dan Carpenter
Doh
.
We haven't been using smatch_extr
a
for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpent
e
r
Ge
t
rid of pat
h
_hi
s
tory
.
I
t
's never going to
b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
en
t
er
Ma
k
e
g
ot
o
_
s
t
ack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed up merge_slist n
o
w t
h
a
t
t
h
e slists are
o
r
dered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Car
p
en
t
er
Insert stuf
f
onto li
s
ts in a s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Del
e
te
a
n
u
n
u
sed funct
i
on
m
e
r
g
e
_
state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix
:
if (
*
f
o
o) { (*foo)->ba
r
; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
kmall
o
c()
and frie
n
ds
don't
always r
e
turn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
C
a
rpenter
The
c
hecks f
r
om here g
o
t mer
g
ed into chec
k
_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the
s
tu
f
f fr
o
m
c
h
e
ck_derefed_params
.
c into check_
n
u
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
te
r
Fix bug in or_slist_stack()
.
if (a && b) wasn't b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
d
d
a
hook a
t
the end
o
f a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Forgot ano
t
h
e
r strip
_
e
xpr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Hand
l
e assignmeents insi
d
e
c
onditions bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
On
l
y print somet
h
ing for a->foo
a
nd not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
er
I
g
nore arra
y
declara
t
io
n
s
.
Those 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
_slist
s
tatic
.
It'
s
o
nly used in smatch_state
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpenter
Use
m
erg
e
_s
l
i
s
t()
ins
t
e
ad of tr
y
ing
t
o
h
andle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
rpenter
__pr
o
c
e
s
s
_continues
(
) is suppos
e
d to be basicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
mat
c
h_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo) = 1 i
s
the sa
m
e as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ge
n
eralize stip_cas
t
s()
.
It's now called strip_
e
xp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore casts
.
foo((int *
)
&bar) is
t
he same as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Creat
e
d show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
I
g
nor
e
s
t
u
ff like foo
.
bar
.
W
e only
ca
r
e about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What h
a
ppens before
is that parameters
w
ould
get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
rpe
n
ter
Mis
s
ed a crashing bug in th
e
int
=> struct co
n
version
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I
w
as doing stack
s
w
r
ong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpente
r
Chan
g
ed smatch s
t
a
te
from being an int to
b
ei
n
g pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I
want to reuse the name smatch_state
.
The curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpen
t
e
r
Redo the null path thing
.
So long
as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Clean
up
.
C
om
p
licated is ju
s
t a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Arrays
a
re
complicate
d
so they shouldn't
b
e retu
r
ned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Ca
r
pe
n
ter
If we call
set_
s
t
ate from inside a
c
o
nditi
o
n then
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Ca
r
pe
n
t
e
r
If the
po
i
nter i
s
ini
t
ialized to
non-null th
e
n set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpe
n
ter
W
hen we merge 2 sli
s
ts we n
e
ed to
deal with
t
he case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Carpen
t
er
C
l
ean
u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
rpenter
A
d
d nu
l
li
f
y the path
w
h
en you
have for(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Mer
g
e b
r
an
c
h 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge b
r
anch
'
unnul
l
if
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Lots o
f
d
o while(
0
) loops don't call brea
k
so it do
e
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
R
emove
u
nneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carp
e
nt
e
r
F
ix or_slis
t
_stack()
.
Before
it ju
s
t
s
aved
on
e
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Carpente
r
crap
cra
p
crap
.
d
o n
o
t use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
a
n
d add some __unnullif
y
_path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Small cleanu
p
.
go
t
o_stack
s
hould only be used in
s
m
atch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rp
e
nter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
Fix bug sa
v
ing the false_only stac
k
.
Befor
e
code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n C
a
rpenter
T
h
is
i
s the start
o
f
the sm
a
tch_extr
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpent
e
r
Fix overwrite_slis
t
() so it takes a pointer to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
M
ake smatch_extra depend on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move
is
_
zero() to
sm
a
tch
_
helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a
b
ig bu
g
.
get_state_
s
list() was alway
s
getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
rpenter
Merge
.
.
/
.
.
/
s
m
a
tch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpent
e
r
Save
t
he pre c
o
ndit
i
ons inside the condit
i
ons so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pente
r
The m
a
in
change here was to comp
l
etely
r
ewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carp
e
nter
Break things out into function
s
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Han
d
le
while and for loops slightly bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed
n
ullif
y
_pa
t
h() earlier but
t
hat was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpe
n
t
er
I don't think the special_ker
n
el_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a
fu
n
ction
t
o
do a strcmp()
w
ith a
sym
b
ol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
Remove ev
e
rything to do with p
a
t
h
_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Replace the
v
ariab
l
e
_
_negate with the fun
c
tion
_
_negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Small clean up
.
Move the passing the whole c
o
ndition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Crap
.
I
mean
t
to merge this earlier when
I
d
i
v
i
ded
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Add a comme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Car
p
ente
r
Moved all the logic for
h
andling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Oops
.
I guess I deleted the wro
n
g li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpen
t
er
Don't pas
s
the conte
n
ts
of sizeof() to the
c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how
t
h
e debug info for merging
s
tates ge
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
The m
a
in
thing is to
h
an
d
le zer
o
co
m
par
i
sons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Remove unneeded code
.
T
h
is s
t
uff i
s
ha
n
dled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
W
e
need
t
o be
able to brea
k
down (foo !
=
0) fo
r
BUG
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pente
r
Ide
n
tify
for(;;) type loops
as
fore
v
er loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
A
d
d
su
p
port
for
B
UG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
W
hat I've
s
een is stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
n
ythi
n
g that
we don't
h
andle is
obvio
u
sly
c
om
p
l
i
c
ated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
co
m
ment to get_variable_from_
e
xpr_simpl
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
co
m
ment to g
e
t
_variable_
f
r
om_expr_simple(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
nter
The n
u
llify_path() here is a bug
.
I
t
ov
e
r
-
writes a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
n
ter
__print_cur_slist() is a
u
seful function f
o
r debu
g
g
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
ar
p
enter
If you have
some
t
hing like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Up
d
ate the
l
ine nu
m
be
r
s for
e
ach sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change
t
he merge rules f
o
r c
u
st
o
m merge scri
p
ts s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move SM_DEBUG t
o
a header so ev
e
ryon
e
ca
n
u
s
e i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a cu
s
tom merg
e
f
u
nct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
D
a
n C
a
rpenter
Update the
l
ine n
u
mber a
t
the ver
y
start of t
h
e func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpente
r
Change the
d
ebug
outp
u
t
a b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debug
option
.
It has to be the
f
irst option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Ma
k
e sure
t
he variable name is NULL terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rpenter
Small clean ups
.
No change in b
e
h
a
vior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is an off by one error reall
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n
Carpent
e
r
Th
e
s
p
ar
s
e_i
n
i
t
ialize()
functio
n
now takes a fil
e
list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpenter
Rem
o
ve an of
f
by one
e
rror
d
etecting the end
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
penter
P
atch it with the stuff fro
m
the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
ent
e
r
This is
a
n
unmodif
i
ed
t
ar ball
.
commit
|
commitdiff
|
tree