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
Make cur_slist static. It's only used in smatch_states.c.
2008-09-23
Dan Ca
r
p
ente
r
Mak
e
cu
r
_
slist static
.
It's only use
d
i
n sma
t
ch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
m
erge_slist() i
n
stead of trying to ha
n
dl
e
it yoursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_continues() is supposed to be basicall
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
New s
m
atch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nt
e
r
(f
o
o) =
1 i
s
the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an
C
arpenter
Generalize stip_cas
t
s()
.
It's now cal
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore casts
.
foo((int *)&bar) is the sam
e
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpe
n
ter
Created sh
o
w_
s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
p
ente
r
Ignore stuff like f
o
o
.
bar
.
We only care
a
bo
u
t foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
What happe
n
s bef
o
re is that parameters would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Car
p
enter
Missed
a cras
h
i
n
g bug in th
e
int =
>
struct
c
onversio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I c
a
n't belie
v
e I
w
as doing sta
c
k
s wrong this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Changed smatch state
f
rom being an int
t
o
bei
n
g pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I want
to reuse th
e
name smatch_state
.
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
D
a
n Carpenter
Cl
e
an up
.
C
omplicated
i
s
just a bool
e
an
.
S
et it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nte
r
Merge br
a
nch
'
devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pe
n
ter
Save the
pre conditions ins
i
de
t
he co
n
ditions s
o
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
The
m
ain
c
hange here wa
s
to completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpente
r
Break things out
into functions
a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
a
ndle w
h
ile and
f
or loops slightly bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remove
d
n
ul
l
i
fy_
p
a
t
h() earli
e
r but that was a mista
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I do
n
't think the s
p
ecial_kernel_macros() funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpent
e
r
Add
a func
t
ion t
o
do a
s
t
rcmp()
with a symb
o
l name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Remove everything to do wit
h
pat
h
_id's
.
I couldn
'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arp
e
nter
Rep
l
ace the variable
_
_negate with the
function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Car
p
enter
Sma
l
l clean up
.
Move the passing
the
w
h
ole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Crap
.
I
meant
t
o
merge this earlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved al
l
the logic for handling co
n
ditions int
o
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
penter
Oops
.
I gu
e
ss I deleted the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Don
'
t pass the conten
t
s of s
i
z
e
o
f
() to the cl
i
ent
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Improve how the debug info for merging states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
T
he m
a
i
n thin
g
is t
o
handle zero comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpen
t
er
Re
m
ove un
n
eede
d
code
.
T
his stuff is handled in smatch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
rpenter
We need to
b
e able to bre
a
k d
o
wn (fo
o
!= 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpenter
Identify
for(;;) type loops as forever
loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
A
d
d support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
r
p
ente
r
What I'v
e
s
e
en is stuff like this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
Anyth
i
ng that we don't handle is obviously
complic
a
ted
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
A
dd
a
comment
t
o get_variab
l
e_from_ex
p
r
_
simpl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
d
d a
c
o
m
ment to
get
_
v
ariable_fr
o
m_ex
p
r
_
s
imple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nulli
f
y
_path() her
e
is a bug
.
It o
v
er-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__p
r
int_cur_slist() i
s
a
u
s
e
f
ul functio
n
for d
e
bugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
I
f
y
o
u h
a
ve so
m
ethi
n
g like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nter
Upd
a
te
t
he line n
u
mbers for
each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
p
ent
e
r
Change the mer
g
e rules for custo
m
merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Move
S
M_DEBUG to
a
header so e
v
eryo
n
e
can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Add a custom merge func
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
D
an Carp
e
nter
Update th
e
line number at t
h
e very
s
t
art of the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n
Carpenter
Ch
a
nge the de
b
u
g output
a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Car
p
enter
A
dd a --debug opt
i
o
n
.
It ha
s
to be the fir
s
t option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpenter
Make sure
t
he va
r
iable nam
e
i
s
NULL terminated
o
therwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Sma
l
l c
l
ea
n
ups
.
N
o
c
h
a
nge
i
n behavio
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Car
p
enter
This is an off by
o
ne erro
r
really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Ca
r
p
e
n
t
e
r
The spa
r
se_initializ
e
() f
u
nct
i
on now takes a filelis
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree