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
D
an Carpente
r
r
ename two functions:
get_variable_f
r
om_
e
xpr_simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
get_var
i
able_
f
rom
_
expr() uses a st
a
t
ic buffer and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
C
reate a c
h
eck_temp
l
ate
.
c
ex
a
mple script
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
e
n
t
er
Make get_all_st
a
t
e
s(
)
not
s
egfau
l
t eve
r
y ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
e
n
ter
Fix get_value() to
return negative v
a
lue
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
We only
ever pass one parameter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix g
e
t_all
_
stat
e
s()
t
o
matc
h
th
e
f
u
ncti
o
n
defin
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
R
e
move add_state() and state_defined
(
) def
i
n
i
tions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Clean up
.
Fix leak
.
My problem
i
s that I
d
o
n
't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Initial co
m
mit of the "impl
i
ed st
a
t
e
pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
D
o
h
.
We haven't
be
e
n
u
sing sm
a
tch_e
x
tra
for a whil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
ter
Get
rid o
f
path_his
t
ory
.
It's n
e
ve
r
going to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Make goto_st
a
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
up m
e
rge_sl
i
st no
w
t
hat the s
l
ists are orde
r
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
I
n
ser
t
stuff onto
l
i
s
ts i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n C
a
rpenter
Delete a
n
unused function merge_state_s
t
ack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
fix: if (*foo)
{ (*
f
o
o)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
C
a
rpenter
kma
l
loc() and fr
i
ends
d
on't always return a non-nul
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
h
e
check
s
fr
o
m
h
ere got
m
er
g
ed into chec
k
_
null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpen
t
er
Move the stuff from c
h
e
ck_derefed_params
.
c int
o
check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
F
i
x
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
enter
Add a hook at t
h
e end of a fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
t
e
r
Forgot another strip
_
expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Handle
as
s
i
g
nmeents
i
ns
i
de conditions b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
ent
e
r
Only print so
m
ething for
a->foo
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpent
e
r
I
gnore array declarations
.
Those ca
n
't
be NU
L
L obvio
u
s
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
penter
Make cur_slist static
.
It'
s
only used in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
ite space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist() instea
d
of trying to han
d
le it y
o
u
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
__proce
s
s
_continues() is s
u
pposed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rp
e
nter
New
s
matc
h
_ignore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Ca
r
pen
t
er
(foo)
=
1
i
s
the same as
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Generalize stip_c
a
sts()
.
It
'
s
now call
e
d strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
f
oo((in
t
*
)
&bar
)
is th
e
same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Cr
e
ated show_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
ore stuff like
foo
.
b
ar
.
We only care abou
t
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
enter
What happens before is tha
t
parame
t
ers would get assign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpen
t
er
Missed a
crashing
bug in the int
=
> struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
r
p
enter
I can't believ
e
I was doing stacks wrong
t
h
i
s
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
Changed smat
c
h stat
e
from being
an int t
o
being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to reuse the name sm
a
tch_state
.
The cur
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpe
n
t
er
R
e
d
o
t
h
e nu
l
l path thing
.
So long
as
th
e
re is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Cl
e
a
n
up
.
C
o
mpli
c
ated is j
u
st a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Sa
v
e the pre c
o
ndit
i
on
s
inside the c
o
nditions
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
T
he mai
n
change
here was to compl
e
tel
y
rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Break thi
n
gs o
u
t
i
nto functions a b
i
t
.
Clea
n
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an
C
arpente
r
Ha
n
dle while and
f
or loops sligh
t
ly be
t
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Car
p
enter
I removed nullify_path()
earlier but
that
was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
I don'
t
thin
k
th
e
special_kernel_macros() fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Add a function to do a strcm
p
() with a s
y
mbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rp
e
n
ter
Remove
ev
e
ryth
i
ng
t
o
do
w
ith path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Repl
a
ce the va
r
iable __negate w
i
th
t
he functi
o
n __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Small
c
lea
n
up
.
M
o
ve
the pa
s
si
n
g the w
h
o
le con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
ar
p
enter
Cra
p
.
I m
e
ant to merge thi
s
earl
i
er
w
h
e
n I divide
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Ad
d
a comm
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
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 Carpenter
Oops
.
I guess
I
deleted the wro
n
g list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
en
t
er
Don't pa
s
s the
c
ontents of sizeof(
)
to
t
he client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
I
m
prove
h
o
w
t
he de
b
u
g info for mergi
n
g states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
The main
thing is to handle z
e
r
o
comparison
s
be
t
t
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpen
t
er
Re
m
ove unneeded c
o
de
.
T
h
i
s stuff is
h
andle
d
in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need to be able to
b
reak dow
n
(foo != 0) f
o
r BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Ident
i
f
y
f
o
r(;;) type loops as fo
r
ever
loops
.
Th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Add suppo
r
t f
o
r
BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I
'
ve se
e
n is stuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything
t
hat we don't handle is obviously comp
l
icated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge b
r
a
n
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
omme
n
t t
o
get_v
a
riable_from_
e
xpr_
s
imple(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Add a co
m
ment to get_va
r
iable_from_e
x
pr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Car
p
enter
The nullify_path()
h
e
re 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_slist() is a us
e
ful function for
debugg
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the l
i
ne numbers for each st
a
teme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Ch
a
nge the me
r
ge rules for custom
m
erg
e
scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Move SM_DEB
U
G to a header s
o
everyo
n
e can
u
se it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Ca
r
p
enter
Add a cust
o
m merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update
the line num
b
e
r
at the very
s
tar
t
of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpent
e
r
Ch
a
nge the debug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Ca
r
penter
Add
a
--
d
ebug opti
o
n
.
It h
a
s
to b
e
the first opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
Make su
r
e the variab
l
e
n
ame is NU
L
L te
r
mina
t
ed other
w
ise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rp
e
nter
Smal
l
clean u
p
s
.
No change in
beh
a
vio
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan C
a
rp
e
n
ter
This i
s
an off
by
one
e
rror
really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_initia
l
ize() function n
o
w
takes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree