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
Move the stuff from check_derefed_params.c into check_null_deref.
2008-10-04
Da
n
Carpenter
M
o
ve the stu
f
f fr
o
m c
h
eck_deref
e
d_params
.
c into chec
k
_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
Fi
x
bug in
or_slist
_
st
a
ck()
.
if (a && b) w
a
sn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
penter
A
dd a hook at
the e
n
d
of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpe
n
ter
Forgot ano
t
he
r
st
r
ip_expr()
c
al
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Handle ass
i
gnmeents insid
e
conditions bet
t
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Only print somet
h
ing for
a
->foo and not a
.
f
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpent
e
r
Ig
n
ore
a
rray declarations
.
Th
o
se can't
be
N
U
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpe
n
ter
M
ake cur_slis
t
st
a
tic
.
It'
s
o
n
ly us
e
d in smatch_stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
hite space chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Car
p
enter
Use merge_sli
s
t() instead of trying to han
d
l
e it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nte
r
__proc
e
ss_cont
i
nues() is sup
p
o
se
d
to be basically
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpen
t
er
New smatch
_
ig
n
or
e
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo)
=
1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
G
eneralize stip_casts()
.
It's now called strip_
e
xp
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
nor
e
casts
.
foo
(
(in
t
*)&bar) is the sam
e
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like
f
oo
.
ba
r
.
We only care a
b
out foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpente
r
What ha
p
pen
s
b
e
fore is t
h
at parameters
would get
a
ssi
g
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Mi
s
sed a crashi
n
g bug in
t
h
e int =>
s
truct
conver
s
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I was do
i
ng s
t
acks
w
ro
n
g this w
h
ol
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpente
r
Chang
e
d smatc
h
state f
r
om being an int to b
e
ing
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
I want to reuse the
n
ame smat
c
h_
s
tate
.
The
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the
n
ull path thing
.
So l
o
ng
as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
ean up
.
Comp
l
icated is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ente
r
Merge
b
ran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Car
p
enter
Save the pr
e
conditions inside the condi
t
ions s
o
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The main
change her
e
w
as to completel
y
rewrit
e
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpenter
Break things out into f
u
n
c
t
ions
a
b
i
t
.
C
lean
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpen
t
er
Handl
e
while and for loops sligh
t
ly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nullify_path
(
) earlier bu
t
that w
a
s
a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I d
o
n't
think the s
p
ecial
_
k
e
rnel_macros
(
) fu
n
ct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add
a function to do a s
t
r
c
mp() with a symbol n
a
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Re
m
ove ev
e
rythi
n
g t
o
do with pat
h
_id's
.
I
c
ouldn
'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
penter
Rep
l
ace the variable
_
_n
e
gate with the functi
o
n
__n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
penter
S
mall cl
e
an up
.
Move the passing the wh
o
le condit
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
en
t
e
r
Crap
.
I m
e
an
t
to merge th
i
s e
a
rlier w
h
en I div
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
r
penter
Add
a
commen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
arpe
n
ter
Mov
e
d all the logic for handling conditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I
gue
s
s I deleted
t
he
w
rong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Don't p
a
ss the contents of
s
iz
e
of() to the cli
e
nt
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Im
p
rove how the debug
i
nfo for merging state
s
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
The main thing is to hand
l
e
z
e
r
o comparisons be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
penter
Remove unneeded
c
o
de
.
T
his stuff
i
s
ha
n
dled in smatch_fl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
need
to be able to b
r
eak down (
f
oo != 0
)
for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Car
p
e
n
ter
Identify f
o
r(;;)
t
y
pe loop
s
as fore
v
er l
o
ops
.
Th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carp
e
n
ter
Add support
f
or
BUG_ON
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Wh
a
t I've see
n
is stu
f
f like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Anyth
i
ng th
a
t we don't
h
andle is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Merge bran
c
h
'de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a
c
o
mment to get_variable_from_expr_s
i
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
A
d
d a comment t
o
g
et_var
i
abl
e
_from_exp
r
_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_p
a
th() here is a bug
.
It
o
ver-writ
e
s
a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
__print_cur_slist() is a us
e
ful functi
o
n for debu
g
ging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
If you
have something
like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Updat
e
the li
n
e n
u
mb
e
rs
f
o
r
each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Change the
m
erge
rules for custo
m
m
e
r
ge s
c
rip
t
s so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move
S
M
_
DEBU
G
to a header so everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Ad
d
a
custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Car
p
ent
e
r
U
pd
a
te the line
n
um
b
e
r at
t
he very
s
tar
t
of the functio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpe
n
ter
Change the debug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
an Carpenter
Add a --debug option
.
It has to be th
e
first o
p
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
Carpenter
Make sure the variable n
a
me is N
U
LL t
e
rminated otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Sma
l
l clean
ups
.
No change in
b
ehavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
Thi
s
i
s an off by one error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
The spa
r
se_i
n
i
tialize() fun
c
tion now
takes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree