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
New function harmonize_states()
2008-10-15
Dan
C
arpen
t
er
Fix get_value() to return
negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We
o
n
l
y ever p
a
ss one p
a
r
a
meter
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
get_all_state
s
()
to
m
atch
t
he
function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove ad
d
_state()
a
nd
state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Clean up
.
F
i
x le
a
k
.
M
y problem is that
I don't und
e
rstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
n
itial co
m
mit of the "impl
i
ed state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been
using smatch_extra for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arp
e
nter
Get r
i
d
of path
_
h
i
s
tory
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Make g
o
to_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpen
t
e
r
Speed up merge_slist now
that
t
he
slists are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpente
r
Inse
r
t st
u
ff
ont
o
lists i
n
a
s
o
r
ted
o
r
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delet
e
an unused function merge_state_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
f
ix: if (*f
o
o)
{
(*foo)->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
km
a
l
lo
c
(
)
a
n
d
friends don
'
t
alw
a
ys r
e
t
urn
a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
t
e
r
The checks from he
r
e got merged into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Move
the stuff
f
rom check_derefed_para
m
s
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Car
p
enter
Fix bug in or_slis
t
_st
a
ck()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpenter
Add a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Fo
r
g
o
t another
s
trip_expr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
andle
a
ssign
m
een
t
s
inside condi
t
ions be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpenter
Only
print
s
o
mething
for a->
f
o
o and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carp
e
nt
e
r
Ignore ar
r
ay d
e
c
larations
.
Those
c
an't be NUL
L
obviousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpent
e
r
Make cur_
s
list
s
tatic
.
It's
o
nly us
e
d in smatch
_
sta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Whi
t
e space
ch
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
U
se me
r
ge_
s
l
ist()
i
n
stead of trying
to
h
andle it yoursel
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
_
_
pr
o
c
ess_contin
u
e
s
() is supposed to b
e
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
N
e
w smatch_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
(foo) =
1
is
t
he same a
s
foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpe
n
te
r
G
ener
a
lize sti
p
_casts(
)
.
It
'
s n
o
w
cal
l
ed strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
I
g
nore
cast
s
.
foo((int
*)&bar) is the same
a
s
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Created s
h
ow_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
I
g
n
o
re stuff like foo
.
bar
.
We onl
y
care a
b
out foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pen
t
er
Wha
t
hap
p
ens
b
e
f
ore i
s
that par
a
me
t
ers w
o
uld get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpe
n
ter
Missed a
c
rashing bu
g
in
t
he int
=
> stru
c
t c
o
nv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
e
r
I can't believe
I
wa
s
d
oing
s
tacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
r
p
enter
Cha
n
g
e
d smat
c
h
state from
being an int to
b
eing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
penter
I want to reuse th
e
name smatch_state
.
The
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Redo the null pa
t
h thing
.
S
o l
o
ng as the
r
e is on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpe
n
t
er
Clean up
.
Com
p
licated is just a boo
l
e
an
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are com
p
licated so they should
n
'
t
be returned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If
we
call set_s
t
ate from inside
a cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If the point
e
r
is initialized to n
o
n-null th
e
n se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpe
n
ter
ignore the
smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rpenter
When we merge 2 slists we need to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpen
t
er
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Add nullify the path whe
n
you
h
a
v
e for(
;
;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpen
t
er
Merge
branch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
M
e
rge bra
n
ch
'
u
n
null
i
fy' into
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots
o
f do while(0) loops
d
on't ca
l
l break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
R
e
move
unnee
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpenter
Fix o
r
_s
l
ist_stack()
.
Before it j
u
st saved one
s
ta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carp
e
nter
c
r
ap crap crap
.
do n
o
t use
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Cl
e
a
n ups and add some __unnullify_pa
t
h stuff
.
H
opefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Ca
r
penter
Sma
l
l cle
a
nup
.
goto_s
t
a
ck sh
o
uld
o
nly be us
e
d
in sma
t
ch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
Fix b
u
g saving the fa
l
se_only s
t
ack
.
Before code
l
ik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This
is the star
t
of
t
h
e smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fix
overwrite_
s
l
i
st
(
)
so i
t
t
akes
a
point
e
r to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
M
a
ke
s
match_extra dep
e
nd on sma
t
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Ca
r
p
e
nter
Move is
_
zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Fix a big bug
.
ge
t
_state_
s
l
ist() was always gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
e
r
Merge
.
.
/
.
.
/smatc
h
/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
Merge b
r
a
n
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpen
t
er
Save the pre conditions inside the
conditi
o
ns so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nt
e
r
The m
a
in chang
e
here w
a
s to
c
om
p
l
e
tely
rewrite
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Break things out into functio
n
s a b
i
t
.
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Hand
l
e
while and for loo
p
s
slightly bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carp
e
nte
r
I removed nul
l
ify_path() earlier but that was
a
mista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpe
n
t
e
r
I don't
t
hink the
s
pecial_kern
e
l_macros() fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpe
n
t
e
r
Add a f
u
nction to do
a
s
t
rcmp()
with a sym
b
ol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove everyth
i
ng to
do with path_id's
.
I
c
ou
l
dn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpente
r
Repl
a
ce the var
i
able __neg
a
te with the fu
n
ction _
_
negate(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small cle
a
n
u
p
.
Move the p
a
ssin
g
the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpent
e
r
Crap
.
I meant to me
r
ge
this earlier when I divid
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
pent
e
r
Moved all
the logic for hand
l
ing c
o
nditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
arpenter
Oo
p
s
.
I guess I
dele
t
ed
t
he wrong
l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Don't
pass the contents of sizeof() to
t
h
e
c
li
e
nt
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Improve how the debug info
for m
e
rging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
Th
e
main thi
n
g
is to handle
z
e
ro comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove
u
n
n
e
e
ded code
.
T
h
is stu
f
f
i
s h
a
ndled i
n
smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
W
e need
t
o be a
b
le to break d
o
wn (fo
o
!= 0) fo
r
BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Ide
n
tif
y
for(;;
)
type loops as forever loop
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
dd s
u
pport for B
U
G_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpente
r
Wh
a
t
I've
s
een is stuff
l
ike t
h
is:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Anything
that we don't handle is obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpente
r
A
d
d
a
comment to
g
et_
v
ariable_from_expr_si
m
ple
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Add a
c
om
m
ent to get
_
va
r
iab
l
e_fr
o
m_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
The nullif
y
_path() here is
a
b
ug
.
It over-write
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
__print_cu
r
_slist() is a u
s
eful function
f
or debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
f
you have some
t
hing like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the
line numbers fo
r
each
sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
ar
p
e
nter
Change the merge rules fo
r
custom merg
e
s
c
ripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
C
arp
e
nter
Move
S
M_DEBU
G
to a header so ev
e
ryone
can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
arpenter
Add a
custom merge functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Upda
t
e
the line num
b
e
r
at the very start of the funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change
the debug output a
b
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Da
n
Car
p
enter
Add a --debug opti
o
n
.
It has to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
ar
p
enter
Make
s
ure the
vari
a
ble name is NULL terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next