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
rename two functions: get_variable_from_expr_simple() is the now just
2008-10-17
Dan Carpenter
ren
a
me two functions: get
_
v
ariab
l
e_from_expr
_
simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_varia
b
l
e
_from
_
expr() uses a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carp
e
nter
Cre
a
te a check_template
.
c examp
l
e script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Make
g
et_a
l
l
_
sta
t
e
s
()
no
t
segfaul
t
e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fi
x
get_value()
t
o return ne
g
ati
v
e valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We only e
v
er p
a
ss one pa
r
ame
t
er into g
e
t
_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpent
e
r
Fix get
_
all_states
(
) to match
t
h
e f
u
nction
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
ove add
_
state() and st
a
t
e
_defined() defin
i
tions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
M
y prob
l
em i
s
that I don't u
n
de
r
stand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Initial commit of the "
i
m
p
lied
s
tate pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Doh
.
We haven't been using sma
t
ch_e
x
tra
for a w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Get rid of path_
h
istory
.
I
t's never
g
o
i
n
g to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Make
g
ot
o
_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed
u
p merge_sl
i
st now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuf
f
onto list
s
in a so
r
ted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Delete an unused
fu
n
ct
i
o
n
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
rpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
() and
f
r
ie
n
ds don't always return a
n
on-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpente
r
T
h
e c
h
ecks from here got merged
i
nto
ch
e
ck_null_
d
ere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move t
h
e stuf
f
from check_
d
erefed_params
.
c in
t
o
check
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carp
e
nter
Fix bug in
o
r_slist_
s
t
ack()
.
if (a && b)
w
a
sn't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
A
d
d a
h
ook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Forgot anot
h
er st
r
ip_e
x
pr() c
a
ll
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
e
n
ter
H
andle ass
i
g
n
meen
t
s inside conditio
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpente
r
Only print
s
omethi
n
g for a
-
>foo
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore arr
a
y decl
a
rations
.
Those
c
an
'
t be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
enter
Make cur_slist st
a
t
i
c
.
It's onl
y
used in
s
mat
c
h_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
a
rpenter
White sp
a
ce chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use
m
e
rge_slis
t
() instead of trying
to
h
and
l
e it your
s
elf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__proces
s
_c
o
nti
n
ues() is
supposed to be b
a
s
i
cally the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
enter
New smatch_ig
n
ore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
(
f
o
o) = 1 is the
s
ame as
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arp
e
nter
General
i
ze stip_
c
asts()
.
It's now
c
alled s
t
rip_ex
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore c
a
sts
.
foo
(
(int *)&bar) is the
same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpente
r
Created show_s
t
ate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
I
gnore stuff like foo
.
bar
.
We only care a
b
out foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Car
p
e
n
ter
What happens before is that parameters
would g
e
t a
s
s
igned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pente
r
M
iss
e
d
a crashing bug in th
e
int =>
s
t
r
u
c
t convers
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
I c
a
n't believe I was doing stacks wrong
t
his whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Changed smatch state from bein
g
an int to bei
n
g po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
w
ant to
r
eu
s
e the
n
a
me s
m
atch_state
.
Th
e
cur
r
en
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo
the null
p
ath thing
.
So long
a
s
there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean u
p
.
Complicated is
j
ust
a
boolean
.
Set
it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merge
b
ranch 'de
v
el'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pe
n
t
er
Save
the pre condi
t
ions i
n
side the
c
onditions
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The mai
n
c
h
a
n
g
e here was to completely rewri
t
e
h
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Ca
r
pente
r
Break things out into
functions a bi
t
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpente
r
Handle while an
d
for loop
s
s
l
ig
h
tly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
Car
p
enter
I r
e
mov
e
d n
u
l
l
if
y
_pat
h
() earlier bu
t
tha
t
wa
s
a
m
istake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
I
d
on't think the
s
p
ecial_ker
n
el_ma
c
ros()
f
un
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
p
e
nter
Add
a
function to do
a
strcmp() with a sym
b
ol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
e
move eve
r
ything to do with path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
R
e
place the variable __negate wi
t
h
t
he function __neg
a
te()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clean up
.
M
ove t
h
e pa
s
sing the
w
h
o
le
c
o
ndition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpente
r
Crap
.
I
m
eant
t
o
m
e
rge
t
hi
s
e
arlie
r
w
h
e
n
I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
arpent
e
r
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
M
o
ved all the log
i
c for
handling conditio
n
s into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
enter
Oops
.
I guess I d
e
leted
t
h
e wrong
list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't
p
ass the c
o
ntents of
s
ize
o
f() t
o
the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Imp
r
ove how the
debug inf
o
for merging st
a
t
e
s
ge
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arp
e
nter
The main thing
is to
ha
n
d
le zero comparis
o
ns bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove unneed
e
d
c
ode
.
Th
i
s stuff i
s
h
a
ndled in smatch_
f
lo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
We need
t
o be able
t
o
br
e
ak do
w
n
(foo != 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
I
dentify fo
r
(;;) type loops as fore
v
er l
o
ops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
A
dd suppor
t
for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
penter
What I've see
n
is stu
f
f lik
e
this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Anything t
h
at we don't handle is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Me
r
ge branch
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
A
d
d a
c
o
mme
n
t
t
o get
_
variable_fro
m
_ex
p
r_
s
imple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
e
r
Add a comment to g
e
t
_
variable_
f
rom_expr_
s
imple
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
T
he nu
l
lif
y
_path(
)
here is
a bug
.
It over-writ
e
s a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_slis
t
(
) is
a
useful
f
u
nction for
d
ebugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
nte
r
If you have
some
t
hing
like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
U
p
date the line n
u
mbers fo
r
e
a
ch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Change
the merge ru
l
es for cust
o
m me
r
ge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Mo
v
e
SM_DEBUG to a h
e
a
d
er so everyo
n
e can
u
s
e
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
A
dd a
c
ustom merge functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Up
d
a
t
e
the line
num
b
er at
t
h
e v
e
ry start of the
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Da
n
Carpenter
Change the
d
ebug
o
utput a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
an Car
p
enter
Add a --debug
o
ption
.
I
t
has to be the first
option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Make
sure
the
varia
b
le name is NULL terminated othe
r
w
ise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean
u
p
s
.
No change in beh
a
vior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Da
n
C
arpenter
This i
s
an off by one error
real
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
enter
The
s
p
a
rse_initialize() fu
n
ct
i
on now
takes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree