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
Ignore casts. foo((int *)&bar) is the same as foo(&bar) to this script.
2008-09-20
Dan Carpente
r
Ignore casts
.
foo((int *)&bar)
is the
s
ame a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Ignore stuff like foo
.
bar
.
We onl
y
car
e
ab
o
ut
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What happens before is that parameter
s
would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
Misse
d
a crashing
bug
i
n
t
he int =
>
s
tr
u
ct convers
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
I can't be
l
ie
v
e I was
doing stacks wro
n
g this
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
C
hanged smatch stat
e
from be
i
n
g an i
n
t t
o
b
e
ing poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
I w
a
nt to r
e
use the name s
m
atch_stat
e
.
The
c
urrent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo t
h
e null path thin
g
.
So long as t
h
ere is
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Com
p
l
i
c
ated is just a
b
oole
a
n
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
ar
p
enter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
e
nter
Save the
pre conditions inside
the conditions so tha
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Th
e
m
a
in c
h
ange here was to completely rewrit
e
ho
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
ente
r
Break things out into functions a bit
.
C
le
a
n
u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpen
t
er
Handle whil
e
and for loops
s
lightl
y
b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
r
p
enter
I removed nu
l
l
i
f
y
_p
a
th()
earl
i
er but that
w
as a mist
a
ke
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
n
ter
I d
o
n't thin
k
t
h
e special_
k
ernel_macros(
)
func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a f
u
n
c
tion to
d
o a strcmp() w
i
th a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Re
m
ove everything
to do
w
it
h
path_i
d
's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Repla
c
e
t
he variab
l
e __negate with the
f
uncti
o
n __n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Small clean
u
p
.
M
o
ve the
p
assing
t
he who
l
e cond
i
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Crap
.
I meant t
o
merge this
ea
r
lier wh
e
n
I
d
i
v
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Ca
r
penter
Add a commen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all
the logic for handl
i
n
g
c
o
nditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I gu
e
ss
I delet
e
d the w
r
ong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Car
p
e
n
t
e
r
Don'
t
pass
t
he cont
e
nts
of si
z
eof() to the clie
n
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Im
p
rove how
t
h
e
debug
i
nfo
for merging states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main thing is
t
o handle
z
ero compa
r
ison
s
be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
p
e
nter
R
emo
v
e
unnee
d
ed 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
arpenter
We
need
t
o
be
a
b
le to
b
reak down
(
foo != 0) for
BUG_
O
N
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
I
dentify f
o
r(;;) t
y
pe loops as forever loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpenter
Add support for B
U
G_
O
N
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Wha
t
I've
se
e
n is stuff
l
ike
t
his:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
er
An
y
thing that we
don't
handle is ob
v
iously
c
omplicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Add a comment to
get_variable_from_
e
xp
r
_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment to
g
et_v
a
riable_fr
o
m_expr
_
simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
T
h
e nullif
y
_
path()
h
e
re is a bug
.
It o
v
e
r-writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
_
_
print_cur_slist()
i
s a useful f
u
n
ct
i
o
n for debu
g
ging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
If you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
C
a
r
p
en
t
er
Updat
e
the
line nu
m
bers for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpe
n
ter
Ch
a
nge the merge rules for custom
merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Move
S
M_DEBUG to a header so
e
veryone can use i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carp
e
n
t
er
Add a custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpen
t
er
Update the line number at the
very start of t
h
e fun
c
ti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the debug
output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n Carpenter
Add
a --debug option
.
I
t ha
s
to b
e
the first op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
arpent
e
r
Make sure the
varia
b
le
n
ame is NULL t
e
rminated
o
therw
i
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpen
t
er
Sm
a
ll clean u
p
s
.
No change in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carp
e
nte
r
Th
i
s
i
s
an off by on
e
error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-05
D
an Carpenter
The
s
p
arse_initialize() funct
i
on now ta
k
es a fil
e
list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree