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
Dan C
a
r
p
enter
Move th
e
stuf
f
from c
h
eck_derefed_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 or_slist_stack()
.
if (a && b) wasn
'
t being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpe
n
ter
Add
a hook at the end o
f
a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
F
o
rgot anothe
r
s
t
rip_expr(
)
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
ente
r
Handle a
s
s
ignm
e
ents insi
d
e
co
n
ditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Only pr
i
nt some
t
hing f
o
r a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpente
r
Ignore array declarations
.
Those can't b
e
N
ULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist
s
t
atic
.
It
'
s only used in smatch
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpente
r
White
space cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
U
s
e
m
erge_sl
i
st()
in
s
tead of
trying to
handle it yo
u
rs
e
l
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
__
p
roc
e
ss_continues()
i
s
s
upposed to be
basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
N
e
w
s
m
at
c
h_ign
o
re
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
(foo) = 1 is the sam
e
as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Ca
r
penter
Gen
e
ralize stip_casts(
)
.
It's now call
e
d strip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
enter
Ignore casts
.
foo((int *)&bar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
reated show_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Igno
r
e
s
tuf
f
like
foo
.
bar
.
We only ca
r
e ab
o
u
t
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpe
n
ter
What hap
p
ens before is that par
a
me
t
ers would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
a
rpe
n
t
er
M
issed a crashing
b
ug i
n
the int
=
> s
t
ruct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Car
p
enter
I can't bel
i
eve I wa
s
doing stacks
wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carp
e
nter
Changed smatch s
t
ate from
bei
n
g an
i
nt to be
i
n
g
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I want to r
e
use the name
s
match_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pen
t
er
Re
d
o the
n
ull p
a
t
h
thing
.
So long as there is o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean u
p
.
Compli
c
ated i
s
j
u
st a
b
oolea
n
.
S
e
t it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carp
e
nter
Merge
b
r
a
nch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Save t
h
e pre conditions inside the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Ca
r
p
e
n
ter
The ma
i
n change here w
a
s to completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpente
r
Break things out into functions a bit
.
Clea
n
u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle
w
hile and for loops s
l
ightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Ca
r
penter
I r
e
moved
n
ullify_path() earlier but t
h
a
t wa
s
a
mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
don'
t
think the special_kernel
_
macros() func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
te
r
Add a func
t
ion to do a
s
trcmp
(
)
with
a
symbol na
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Car
p
enter
Remov
e
everything to do
w
ith p
a
th_id's
.
I couldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Replace the vari
a
ble
_
_ne
g
ate with the function __
n
ega
t
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small cl
e
an up
.
M
o
v
e
the passin
g
t
he
w
hole co
n
diti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Crap
.
I meant to
m
e
r
ge thi
s
earlier when I
div
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add a
c
omment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Moved
all the logic for handling c
o
n
diti
o
ns into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I
g
uess
I del
e
ted the wrong
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don'
t
pass the contents
o
f s
i
zeof() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Impro
v
e how the
d
ebug info for merging state
s
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Car
p
enter
T
h
e m
a
in th
i
n
g
i
s
to
h
and
l
e zero
c
om
p
a
ris
o
ns better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove u
n
ne
e
ded code
.
This stuff
i
s handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpenter
We need t
o
be
a
ble to
break down
(fo
o
!= 0) for BUG
_
ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Identify fo
r
(;;)
t
ype l
o
o
ps as f
o
reve
r
l
oops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
Add support
for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
What
I've seen is
st
u
ff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
pen
t
er
Anyth
i
ng that we don'
t
ha
n
dle i
s
obv
i
ous
l
y compl
i
cate
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge
br
a
nch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
r
p
e
nter
Add a c
o
mment to get_variable_f
r
o
m
_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Add
a comment
t
o
get_variable_f
r
o
m
_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The n
u
llify_path() h
e
re i
s
a bu
g
.
It
over-wri
t
e
s all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
penter
__print_cur_slist() is a
u
sef
u
l function
f
or debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
f
you
h
ave something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Up
d
ate the l
i
ne number
s
f
or
e
a
c
h
s
ta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
a
rpent
e
r
Change the merge r
u
l
e
s
for custom merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
M
o
ve SM_DEBUG
t
o a
header so everyone
c
an us
e
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan C
a
rpenter
Updat
e
the line
n
umber a
t
the very start
of th
e
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Chan
g
e the debug
ou
t
put
a
bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
arpe
n
ter
Add a --debug
o
ption
.
It has t
o
be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
an C
a
rp
e
nter
Make sure the vari
a
b
l
e name is NULL ter
m
i
nated othe
r
wis
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carpenter
Small clean ups
.
No change in
b
e
h
avior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is an
o
ff
by
one error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
D
an Car
p
enter
The sparse_initialize() function now takes a filelist
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree