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
Add function __set_true_false_sm()
2008-10-17
D
a
n Carpenter
Add a merge hook
.
H
a
ndle t
h
e situations li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
str
c
m
p() doesn't accept N
U
L
L a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
rena
m
e
two func
t
ion
s
:
get
_
variab
l
e_f
r
om_exp
r
_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nte
r
get_variable_from_expr(
)
uses a static
bu
f
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_t
e
mplate
.
c e
x
a
m
p
le s
c
rip
t
that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Make get_all_states() not segfa
u
lt
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_value() to re
t
urn
negative value
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
We only ever pas
s
one par
a
met
e
r into get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix get_all_st
a
tes() to match the fu
n
c
tion defini
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Remove add_state
(
)
and sta
t
e_defined()
defi
n
itio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Clea
n
up
.
Fix
leak
.
My p
r
o
blem is that
I don
'
t
understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
n
i
t
ial commit of the "implied state po
o
ls" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Doh
.
We h
a
v
e
n't been using smatch
_
e
x
tra for
a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpent
e
r
Get rid of path_history
.
I
t's nev
e
r
g
o
ing to be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carp
e
nter
M
a
ke goto_stack
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Speed
u
p me
r
ge
_
slist now that
t
he slis
t
s are o
r
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
I
n
s
e
rt stu
f
f
onto
lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Carpente
r
Delete an unuse
d
fun
c
tion merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix
:
if (*f
o
o) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
kmalloc()
a
n
d
friends d
o
n'
t
always return a
n
on-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The
checks from here got mer
g
ed into check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Ca
r
penter
M
ove the stuff from chec
k
_derefed_
p
a
rams
.
c into
c
h
eck_nu
l
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Fix bug in or_s
l
ist_s
t
ac
k
()
.
i
f
(a && b) w
a
sn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Ad
d
a
hook at t
h
e end of a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
another str
i
p_expr
(
) ca
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Handle assignmeents
inside condit
i
ons
b
etter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpent
e
r
Only print something fo
r
a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore array declar
a
tions
.
Those can't be N
U
L
L
obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
c
u
r
_s
l
ist static
.
It
'
s
only
use
d
i
n
s
match_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
D
a
n Carpen
t
er
Use merge_slist()
i
nstead of tr
y
i
ng to hand
l
e
i
t
your
s
elf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pent
e
r
__process_continues() i
s
supposed to
be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
N
e
w smatch_ignore
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an C
a
rpente
r
(foo) = 1 is
t
he s
a
me as
f
oo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpent
e
r
Genera
l
ize stip_casts()
.
It's now
c
alled strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Ignore casts
.
foo((int
*
)
&b
a
r)
i
s the s
a
me
a
s
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
en
t
er
I
g
nore st
u
f
f like foo
.
bar
.
We o
n
ly car
e
abou
t
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What ha
p
p
ens before
is that
p
arameter
s
would get as
s
ign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
M
i
ss
e
d
a
cras
h
ing bu
g
in t
h
e int
=>
struc
t
conversi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can
'
t believe I was doing st
a
cks wr
o
ng t
h
is whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Chan
g
ed
s
match sta
t
e
fr
o
m being an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
I
want
to r
e
use
t
he name smatch
_
s
tate
.
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 a
s
t
h
e
re is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Clean up
.
Co
m
plicated is just
a boolean
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Arrays are co
m
plicate
d
so they shouldn't b
e
ret
u
rned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we
c
all s
e
t_
s
tate
from insi
d
e a
c
ondition
t
hen
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
If
t
he po
i
nter is initi
a
lize
d
t
o no
n
-
n
ull th
e
n
s
et
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
i
g
no
r
e the
s
match binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
ar
p
enter
Wh
e
n we merge 2
s
lists we need t
o
deal with the
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
C
a
rpente
r
Add nullify the pat
h
whe
n
you
h
ave for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'ls'
i
n
to ultratmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carp
e
nter
Mer
g
e
br
a
n
ch '
u
nnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Lots o
f
do while(0) l
o
ops don't cal
l
break so
i
t doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpent
e
r
Re
m
ove un
n
ee
d
ed ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carp
e
nte
r
Fix or
_
s
l
i
s
t_stack()
.
Befo
r
e it just saved
o
ne stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap
crap crap
.
d
o
n
o
t
u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Cl
e
a
n ups and ad
d
some
_
_
u
nnullify_path st
u
ff
.
H
o
peful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Sma
l
l
cle
a
nup
.
got
o
_
s
tack sho
u
ld only
b
e used in smat
c
h_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Ca
r
p
e
n
ter
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Fix bug
sav
i
ng the false_only stack
.
B
efore c
o
de like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the
start
of the smat
c
h_extr
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
F
ix overw
r
ite_slist() so it takes a
pointer
to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
C
a
rpenter
Ma
k
e s
m
atch
_
extra depend on smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
Carpenter
Move is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nter
F
i
x a big
bug
.
get_state_slist
(
) w
a
s always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/smat
c
h/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
ar
p
enter
Merge bra
n
ch 'd
e
vel
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nt
e
r
Save th
e
pre conditions inside the condit
i
on
s
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The mai
n
chan
g
e h
e
re was to completely rewrite
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things
ou
t
into funct
i
ons a
b
it
.
Clean
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
ent
e
r
Handle while
a
nd for loops slightly be
t
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
Carpenter
I removed nullify_path
(
) earlier
but
t
hat was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
I d
o
n't think
t
he specia
l
_kernel_ma
c
r
os() fu
n
ctio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpent
e
r
Add a function to do a
s
trcmp()
w
ith a sy
m
bol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Remov
e
everything
to do with 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
Replac
e
the variable __negate wi
t
h the f
u
nction __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clea
n
up
.
Move th
e
passing
t
he
w
hole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I mean
t
to merge this earl
i
er wh
e
n I
di
v
ided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
C
arpenter
Moved all the logic f
o
r
h
andling
c
ond
i
tio
n
s int
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
ar
p
enter
Oops
.
I
g
u
ess I d
e
le
t
ed the wr
o
ng l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Ca
r
penter
Don't p
a
ss the content
s
o
f
s
i
z
e
of()
to the clien
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Imp
r
ove how the d
e
bu
g
i
n
fo for merging states ge
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
The main thing is to handle
zero comparisons be
t
te
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pent
e
r
Remove unn
e
eded code
.
Th
i
s
s
tuff is handled
i
n smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nt
e
r
We need to be able to bre
a
k down (
f
oo !
=
0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
I
dentify
f
or(;;) typ
e
l
o
ops as fore
v
er
l
oops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Ad
d
supp
o
rt for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I'
v
e see
n
i
s
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
A
nything that we do
n
't
handle is obviou
s
ly
complic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
M
e
rge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
A
dd
a
comment t
o
g
et_vari
a
ble_fro
m
_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add a comment to get_variable_from_e
x
pr_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpe
n
ter
The nullify_path() here is a bug
.
It over-wri
t
es all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__
p
rint_cu
r
_slist() is a useful functio
n
fo
r
debugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
If you ha
v
e something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpe
n
ter
Update the line numbers for each st
a
te
m
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
r
p
enter
C
h
ange the
mer
g
e rules for custom
merge
s
cripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next