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 C
a
rpenter
Doh
.
We haven't be
e
n
u
sing
smatc
h
_extra for a wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
enter
G
et rid o
f
path_history
.
It's
n
ever going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpe
n
ter
Make goto_stack st
a
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
e
r
Speed up mer
g
e
_
slist now that
t
he slists are orde
r
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
rpenter
Insert stuff on
t
o lis
t
s in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Delete an
unused functi
o
n merge_s
t
a
t
e
_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
f
ix: if (*foo) { (*foo)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rpenter
kmallo
c
()
and
f
r
i
e
nds don't always return a n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
er
Th
e
ch
e
cks from
here got mer
g
ed into ch
e
ck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
Carpenter
Mo
v
e
t
he stuff from check_derefed_params
.
c i
n
to
c
heck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or_slist_stack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
e
nter
Add a hook
at th
e
en
d
of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another strip_ex
p
r() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpen
t
er
Hand
l
e assignmeen
t
s
inside
conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpenter
Only print
som
e
thing for a->
f
o
o
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Igno
r
e ar
r
a
y
declarations
.
Those
can't be NULL o
b
v
i
ously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Car
p
enter
Mak
e
c
u
r_slist static
.
I
t's only used in
smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
W
h
i
te space cha
n
g
e
s
.
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 handl
e
it yo
u
rself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pente
r
__proces
s
_continues(
)
is suppos
e
d to
b
e
basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New s
m
atch_ig
n
ore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is th
e
sam
e
a
s
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
ar
p
enter
Generaliz
e
stip_casts()
.
It's n
o
w
c
a
l
led strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Ignore ca
s
t
s
.
foo((int
*)&
b
ar) is
the sam
e
as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Create
d
sh
o
w_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Ignore
stuff
l
ike
f
oo
.
bar
.
We
o
nly care
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens be
f
o
r
e is that par
a
meters wo
u
ld get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n C
a
rpenter
Missed a cr
a
shin
g
bug in the int => struc
t
conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
I can't belie
v
e I was doing sta
c
ks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Change
d
smatch state fr
o
m b
e
ing an int to being
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
t
o reus
e
the na
m
e sma
t
ch_state
.
The cur
r
en
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
penter
Redo the
null p
a
th
t
h
ing
.
So l
o
ng as t
h
ere is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Complicated is jus
t
a
boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre
co
n
diti
o
ns ins
i
d
e
the
c
onditions s
o
t
h
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The m
a
i
n
ch
a
nge here was to
c
o
mpletely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
p
e
nter
Break
things out into
f
u
nctions a bit
.
C
l
ean u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Hand
l
e whi
l
e and for
loops slight
l
y better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carp
e
nter
I
r
e
moved n
u
llif
y
_
p
ath() earlier b
u
t that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I do
n
't th
i
n
k
the
sp
e
c
ial_kernel_m
a
cro
s
() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
function t
o
do a s
t
rcmp() w
i
th a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rem
o
ve eve
r
ything to do wi
t
h
p
ath_id's
.
I c
o
uldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
R
e
p
lace
t
he variable
_
_
ne
g
ate
w
i
t
h the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clean up
.
Mov
e
the passing t
h
e whole conditio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
C
r
ap
.
I meant to me
r
ge this earlier whe
n
I div
i
d
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved
a
ll the lo
g
ic for handling
c
onditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oop
s
.
I guess I deleted the wrong
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
a
rpenter
Don't
p
ass t
h
e contents o
f
si
z
eof()
t
o
the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
Improve how the debug info for merging st
a
tes gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpente
r
T
he main thing is to handle zero compar
i
s
o
ns
b
ett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
R
e
move unneeded code
.
T
h
is st
u
ff is
h
andled in smat
c
h
_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
n
e
e
d to be
a
ble
t
o
brea
k
dow
n
(foo != 0)
f
or B
U
G_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carp
e
nte
r
Identify f
o
r(;;) type loop
s
a
s forever loops
.
This
.
.
.
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
D
a
n
C
a
rpenter
What I've seen is stuff like this
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
Any
t
hing that we don't handle
is obviously
c
omplicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add a
c
omment to get_variable_from_
e
xpr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
ente
r
Add
a
c
o
m
ment to ge
t
_variable_fro
m
_expr_sim
p
le(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nulli
f
y_path
(
) here is a bu
g
.
It over-writes
all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
penter
_
_
p
rint_cur_slist() is
a useful
f
u
nction
for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
a
rpe
n
ter
If you have something
like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Update the
lin
e
numbers for eac
h
sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
C
h
ange the
mer
g
e
rules for
c
ustom me
r
ge scr
i
pt
s
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Move SM_DEBU
G
to a header s
o
everyo
n
e can u
s
e it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
e
r
A
dd
a
c
ustom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update the line number at the very start of
th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change
th
e
debug output
a
bi
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Car
p
enter
Add
a
--debu
g
option
.
I
t has to be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Car
p
enter
Make sure the var
i
able name is NULL
terminated o
t
h
erwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Car
p
en
t
er
Sma
l
l cl
e
a
n
ups
.
N
o
c
h
a
n
g
e in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
an Carpe
n
ter
T
h
i
s
is an off b
y
o
ne error r
e
ally
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_initialize() funct
i
on now takes a
f
ileli
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree