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
This prints out error messages all the time that are always bogus. Disable.
2008-09-21
Dan C
a
rpent
e
r
New sm
a
tch_
i
gnore
.
c f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
(f
o
o) = 1 is
the
s
am
e
as f
o
o = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Generalize stip_casts()
.
I
t
's now called strip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore
cast
s
.
foo((int
*)&b
a
r) is the sa
m
e
as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Creat
e
d show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Ignore
s
tu
f
f like foo
.
bar
.
We only c
a
re about f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
What happens
before is that p
a
r
a
meters would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
rp
e
nter
Missed
a
c
rashing bug
in the
i
nt => st
r
uct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
arpent
e
r
I can
'
t believe I was doing
stacks wrong t
h
is whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Changed smat
c
h s
t
a
te from being an
int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to reuse the na
m
e
s
m
a
t
ch_st
a
te
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null path thing
.
So long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Cl
e
a
n
up
.
Co
m
pl
i
cated is just a boolean
.
Set it t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
S
a
v
e the pre conditi
o
ns inside the co
n
ditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
T
h
e main change here
w
as to completely rewri
t
e how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break th
i
n
g
s out into
f
unctions
a
bit
.
Cl
e
an ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Han
d
le while and for loops slight
l
y bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nul
l
i
f
y_
p
ath(
)
earlier bu
t
that
w
a
s
a m
i
stak
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
d
o
n't
think the special_kernel_ma
c
ros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpe
n
te
r
Add a function to do a
strcmp() with a symb
o
l name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
emove everyt
h
ing to do wi
t
h p
a
th_id's
.
I
c
o
u
l
dn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
Rep
l
ace th
e
va
r
i
able
__negate with the
functi
o
n __neg
a
t
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
nter
Small clean up
.
Move
th
e
passing the whol
e
con
d
ition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Cra
p
.
I
m
e
ant
to merg
e
this
e
arlier
when
I
div
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpen
t
er
Moved all the
logic fo
r
h
andling conditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oo
p
s
.
I guess
I deleted the
w
rong l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
D
o
n
't
pass the conte
n
t
s
of sizeof() t
o
the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Im
p
r
ove
how the debu
g
info for merging sta
t
e
s gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
arpenter
The main thing
is to han
d
l
e
zero
compar
i
s
ons
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove
u
nneeded co
d
e
.
T
h
i
s s
t
uf
f
is handled
i
n smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
We nee
d
t
o
b
e
able to
break d
o
wn (
f
oo != 0)
f
or BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Identify for(;;
)
ty
p
e
l
oops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
pen
t
er
Add su
p
p
o
rt for
B
U
G_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Wha
t
I've see
n
is
s
tuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything that we don't hand
l
e
is
o
b
viously compli
c
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
M
e
rge branch
'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a com
m
e
nt to get_va
r
iabl
e
_
f
rom_expr
_
sim
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
a
comment to get_variable_from_ex
p
r_si
m
ple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
T
h
e nullify_path() here i
s
a bug
.
I
t over-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_
s
list(
)
is a useful functi
o
n for debuggin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
If
y
o
u have s
o
meth
i
ng like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Update th
e
l
ine nu
m
bers for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
a
r
p
enter
Change the merge rules f
o
r
c
ustom
m
erge scripts
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rp
e
nter
Move SM_DEBUG to a header so everyone can us
e
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a
custom merge functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan
C
arpe
n
ter
Upda
t
e the line num
b
e
r
at the v
e
ry
start of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Ca
r
p
e
nter
Chan
g
e the
debug
o
ut
p
ut a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Car
p
enter
Add a --debug
opt
i
on
.
It has
to be
the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n
C
a
rpente
r
Make sur
e
t
h
e v
a
ri
a
ble name i
s
NULL termin
a
ted oth
e
r
w
i
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small clean
ups
.
No change
in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Da
n
Ca
r
penter
This is an o
f
f by one
e
rr
o
r really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
ente
r
T
h
e sparse_initialize() functi
o
n
now tak
e
s a fileli
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree