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
Doh. We haven't been using smatch_extra for a while.
2008-10-14
Dan Carpenter
D
o
h
.
We
h
ave
n
't been using
s
match_
e
xtra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpent
e
r
Ge
t
ri
d
of path_history
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Make
goto_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
rpente
r
Spee
d
up merg
e
_
slist now that t
h
e slists are or
d
e
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Inser
t
stuff
o
nto lists in
a
s
orted orde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
D
e
lete an unused function merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fi
x
: if (*foo) {
(*f
o
o
)
->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carpenter
kma
l
l
o
c() a
n
d
f
riends don't al
w
a
y
s return
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carp
e
n
t
er
The chec
k
s fro
m
h
e
re got
m
erged
i
nto
chec
k
_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpe
n
ter
M
o
ve the stu
f
f
f
rom check_derefed_params
.
c
int
o
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an
C
a
r
p
e
nter
Fix bu
g
in or_slist_stack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook
a
t t
h
e
end
o
f a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nte
r
Fo
r
got
a
nother strip_expr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
ndle assignmeents inside condition
s
bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
ent
e
r
Only print something
for
a->foo and not
a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Igno
r
e array declaratio
n
s
.
T
hose c
a
n't b
e
NULL ob
v
iousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slis
t
stati
c
.
It's only used
i
n smatch
_
states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
Us
e
m
e
rg
e
_slist() instead of tr
y
ing to handle it yourse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
__proc
e
ss_
c
ontinues() is supposed to be basica
l
ly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
New sma
t
ch_ignor
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
(foo) = 1 is the same
a
s fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_casts()
.
It'
s
now called
s
trip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
t
er
Ign
o
re casts
.
foo((int *)&bar) is the
same
a
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
C
reated show_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
I
gn
o
re
stuff
l
ike foo
.
bar
.
W
e o
n
ly
c
are
a
bout foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
W
hat happens b
e
fore
i
s
t
hat pa
r
amet
e
rs
w
o
u
ld get assig
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a
c
rashing b
u
g in the int => s
t
r
uct convers
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
nter
I can't believe I wa
s
doing stacks wrong this
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
Changed smat
c
h state from being an int
to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpe
n
t
er
I want to reuse t
h
e
name
smatch_
s
ta
t
e
.
The c
u
rrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the n
u
ll path
t
hi
n
g
.
So long
as
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
lean up
.
C
o
mplicated is just
a boole
a
n
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
A
rrays are complicated
so th
e
y shouldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
If we c
a
ll s
e
t_state from i
n
side a condition t
h
en i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
If the pointer
is
initialized to non-null th
e
n set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
i
gnore
t
he sma
t
ch bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Car
p
enter
W
hen we merge
2 s
l
ists
we ne
e
d to
d
eal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpenter
Ad
d
null
i
f
y the pa
t
h
whe
n
y
ou ha
v
e f
o
r(;
;
);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Merge br
a
n
c
h
'ls' into
ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Merge branch 'unnullify'
into l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Lots
of do
wh
i
le(0) loops don'
t
call break
s
o i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove unneede
d
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpent
e
r
Fix or_slist_stack()
.
Before it just saved one st
a
ck
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpe
n
ter
crap
c
rap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clea
n
ups and add
s
ome __unn
u
llify_path stuf
f
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Sma
l
l cl
e
a
n
up
.
got
o
_
s
tack should only be
used in s
m
atch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpent
e
r
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
e
nte
r
Fix bug sav
i
n
g the fals
e
_
o
nly stack
.
Before code lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
This is the start of the smatch_
e
xtra stuf
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pe
n
ter
F
ix overwrit
e
_sl
i
s
t
(
) so it takes a point
e
r to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
M
ake sm
a
tch_extr
a
depend on sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n C
a
rpenter
Mov
e
is
_
zero() to smatch_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix
a
big bu
g
.
g
et_state_slist(
)
w
as alwa
y
s getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Merge
.
.
/
.
.
/smat
c
h/d
e
ve
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpenter
Merge branch
'
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpent
e
r
Save the pre c
o
ndi
t
i
o
ns inside
the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpen
t
er
The main chan
g
e here was
to completely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Break things
o
ut into functi
o
ns a bit
.
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Ha
n
d
l
e
while and fo
r
l
oo
p
s slightl
y
b
e
t
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carpenter
I removed nullify_
p
ath()
e
a
rl
i
er
b
ut
that w
a
s
a mi
s
take
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
I do
n
't
t
hink the s
p
ecia
l
_
k
e
r
n
el_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Add a func
t
ion to do a strcmp() w
i
t
h a symbol
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
R
emove
ev
e
rything to do
w
ith path_id's
.
I
could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
Replace the varia
b
le __negate with the functi
o
n __
n
egate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
S
m
all
clean up
.
M
o
ve the pa
s
sing the w
h
ole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Cr
a
p
.
I meant to
m
e
rge this earlier w
h
e
n
I di
v
i
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
c
om
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
Carp
e
nt
e
r
Mo
v
ed
a
ll th
e
logic for handling
conditions int
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Oops
.
I guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
D
o
n't pas
s
t
h
e contents of
sizeof() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Impro
v
e how t
h
e de
b
ug info for
merging sta
t
es gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Ca
r
penter
The
m
ai
n
t
hing
i
s to
h
andle zero
co
m
p
a
risons b
e
tte
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Remove
u
nneeded code
.
This stuff is ha
n
d
led in sm
a
tch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
r
penter
We need to be abl
e
t
o break
d
own (f
o
o != 0) fo
r
BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
Identify for(
;
;) t
y
p
e
loops a
s
fore
v
e
r loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Add
s
uppo
r
t for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nt
e
r
W
h
at I'v
e
seen is
stuff li
k
e th
i
s
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything
t
hat we don't handle is obvi
o
u
sly com
p
licated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
ent
e
r
Merge branch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Ad
d
a
comment to get_vari
a
b
l
e
_
from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Ad
d
a comment to
g
et_vari
a
ble_from_expr
_
simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path() here is
a bug
.
It
o
ver-wr
i
tes al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
__prin
t
_cur_
s
li
s
t
() is a u
s
efu
l
function
f
o
r
d
ebugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
If you hav
e
something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
U
p
da
t
e the l
i
ne
n
u
mbers
f
or eac
h
st
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arp
e
nter
Change the
merge
rul
e
s for
c
ustom m
e
rg
e
script
s
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpen
t
e
r
Move
S
M_DEBUG to
a
he
a
der so everyone can
use
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add
a
custom merge function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update the lin
e
numb
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
D
a
n Ca
r
penter
Change the debug output
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
Add a --debug opt
i
on
.
It has to
b
e
the
f
ir
s
t option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpente
r
M
a
ke su
r
e
the variab
l
e name i
s
NULL terminated oth
e
rw
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carpente
r
Small clean ups
.
No c
h
ang
e
in beha
v
ior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpente
r
Thi
s
i
s an
o
ff by
one e
r
r
o
r rea
l
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The sparse_initial
i
ze() function no
w
ta
k
es a fileli
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Remov
e
an
off by o
n
e
error detecting
t
h
e
end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
penter
Patch it with the stu
f
f from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This is a
n
u
nmodif
i
ed ta
r
ball
.
commit
|
commitdiff
|
tree