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
Initial commit of the "implied state pools" stuff. It doesn't do
2008-10-14
Dan C
a
rpenter
Initial comm
i
t of the "imp
l
ied state
p
ools"
s
tuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Doh
.
We haven't been u
s
in
g
smatch_extra for
a
w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
et rid o
f
pa
t
h_history
.
It's ne
v
er go
i
ng to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Make goto_st
a
ck
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Speed
u
p me
r
ge_slist now tha
t
the s
l
ist
s
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
In
s
ert s
t
uff ont
o
lists in a so
r
t
ed
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpente
r
De
l
et
e
a
n
u
nused functio
n
m
erge_st
a
te_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*
f
oo) { (*
f
oo)->bar
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
C
arpente
r
kmal
l
oc()
a
nd
f
r
iends don'
t
al
w
ays
r
eturn
a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
an
C
a
r
p
enter
Th
e
che
c
ks fr
o
m here got merg
e
d in
t
o check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
p
enter
Move
the
stuff
f
r
om chec
k
_de
r
efed_params
.
c
into check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in
o
r_slist_stack()
.
if (a && b) wasn'
t
be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpe
n
ter
Add a hook at
the end of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
F
o
rgot another strip_ex
p
r() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Ca
r
pente
r
Handle assignmeents
in
s
ide cond
i
tio
n
s b
e
tte
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
O
nl
y
print something for a->foo and not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
an C
a
rpe
n
ter
Ign
o
re array declarations
.
Those ca
n
't be NUL
L
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make cur_slist static
.
It's only us
e
d i
n
smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
White spa
c
e cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
pen
t
er
Use
merge_s
l
ist() instea
d
of trying to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues() i
s
supposed to
b
e
b
a
sicall
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
New sm
a
tch_ig
n
ore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
(
f
oo) = 1 is the same as foo =
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpente
r
Generalize stip_c
a
st
s
()
.
I
t's now c
a
lled
s
trip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ig
n
ore
casts
.
foo((int *)&bar
)
is the s
a
me as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
C
r
eated sho
w
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpente
r
Ignore
s
tuff like foo
.
bar
.
W
e
on
l
y care
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before
is
t
hat
p
arameters would
g
e
t
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
r
p
e
nter
M
i
sse
d
a
crashing bug in the
i
nt => struct conver
s
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can't believe
I
was doing stac
k
s wrong
t
h
i
s
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpe
n
ter
Cha
n
ged smatch state from b
e
ing an int to bein
g
p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpenter
I want to reus
e
t
he
name smatch_s
t
ate
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpente
r
Red
o
t
he null path thing
.
S
o
long as th
e
re i
s
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Clean up
.
C
o
mp
l
ic
a
ted is just a boolean
.
Set
i
t t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the p
r
e c
o
ndi
t
io
n
s inside the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
The main cha
n
ge h
e
r
e
was
to com
p
l
etely rewrite
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Ca
r
pen
t
er
B
r
eak things out
i
nto functions a bit
.
C
l
ea
n
u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
andle wh
i
l
e
and for loop
s
s
l
ightl
y
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan
Carpenter
I removed nullify_path() earlier
b
ut that was a
mis
t
a
ke
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
d
on't t
h
ink th
e
special_kernel_macr
o
s
(
) fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Add a function
t
o do a
s
t
rcmp()
wi
t
h a symbol
n
a
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpe
n
t
e
r
Remov
e
everything to do wi
t
h
path_id's
.
I
couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the
variable __neg
a
te with the funct
i
on __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Small clean
u
p
.
Move the passing the who
l
e condi
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
ar
p
e
n
t
er
Crap
.
I meant to merge th
i
s earlier
w
hen
I
divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
ter
A
dd a c
o
mment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
M
oved all t
h
e
logic fo
r
h
andling conditi
o
ns into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpen
t
er
Oo
p
s
.
I guess I de
l
eted th
e
wron
g
list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nter
D
o
n
't pa
s
s
t
he contents
o
f sizeof() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
Improve how the debug
i
nfo
for
m
e
r
ging sta
t
es
g
e
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpen
t
er
The main thing is to h
a
nd
l
e
zero
compari
s
o
n
s
bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
R
emove unneeded code
.
This stu
f
f is h
a
n
d
l
ed in
s
m
a
tch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We ne
e
d t
o
be able
t
o break down (foo
!
=
0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
rpenter
I
d
entify for(;;
)
type loops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
pen
t
er
Add support for B
U
G_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
What I'
v
e seen is stuff like th
i
s:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Anyt
h
i
n
g that we do
n
'
t
handle is
obviou
s
ly complicate
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
M
e
r
ge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
d
d a comment to get_variable_from_
e
xpr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
penter
Add a
comm
e
nt to get_
v
a
r
iable_fr
o
m_expr_simp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nu
l
l
ify_p
a
th() here is a b
u
g
.
I
t
ov
e
r
-
writ
e
s
all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_slist() is
a
u
s
e
ful
function
fo
r
debugg
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
f
you have so
m
et
h
ing
l
ike
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
U
pdate the line numbers
for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
C
hange the merge rules for custom merge
s
c
ripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
M
ove SM_
D
E
B
U
G
to a header so e
v
eryon
e
can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Add a custom
me
r
g
e fu
n
cti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpent
e
r
U
p
date the line nu
m
ber at the very start of
the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpente
r
Cha
n
ge the debug
outpu
t
a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Da
n
Ca
r
pe
n
ter
Add
a
--
d
ebug optio
n
.
It ha
s
t
o be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Ma
k
e s
u
r
e the v
a
riab
l
e n
a
m
e is N
U
LL term
i
nated ot
h
erwi
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
S
m
all clean ups
.
No
c
hange in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Da
n
Carp
e
nt
e
r
Th
i
s i
s
an of
f
by one error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpe
n
ter
The sparse_
i
n
i
tialize() functi
o
n
no
w
takes a
f
il
e
list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree