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
I can't believe I was doing stacks wrong this whole time. Fixed.
2008-09-19
Dan Carpent
e
r
I
can't believe I was do
i
ng stacks wrong th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed sma
t
ch state f
r
om being an
int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ent
e
r
I
w
ant to reuse
the
name smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Re
d
o th
e
null
path thing
.
So
l
ong as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
nter
Clean
u
p
.
Complicat
e
d is
j
ust a boolean
.
Set
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Arr
a
y
s
are
complicated so they shouldn't be ret
u
rne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If w
e
call set_state fr
o
m
inside
a co
n
dition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
the pointer is initialized to n
o
n-null then s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
arp
e
nter
When we m
e
rge 2 slists w
e
need to dea
l
with the
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Ca
r
pen
t
er
C
l
e
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpe
n
ter
A
d
d null
i
fy the
p
ath when yo
u
have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Merge bran
c
h 'ls' into
ultrat
m
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'unnullif
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Lots of do whil
e
(
0
) loops don't call br
e
ak so
i
t do
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
R
em
o
v
e
unne
e
d
e
d ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Car
p
ent
e
r
Fix or_slist_stack()
.
B
e
fore it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
C
arpenter
crap c
r
ap c
r
a
p
.
do
n
ot
u
se
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpen
t
er
Clean ups
a
nd add so
m
e __un
n
ullify_path stuff
.
Hopefu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Sma
l
l cle
a
nup
.
got
o
_s
t
ack sho
u
ld o
n
ly b
e
used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpen
t
er
C
l
ea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carp
e
nter
Fi
x
b
u
g saving th
e
false_only st
a
c
k
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
e
nt
e
r
This i
s
the start o
f
the
s
mat
c
h
_
e
x
tra
s
t
uff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Ca
r
penter
Fix ov
e
r
w
rite_slist() so
it takes
a
p
ointer to
a
po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an
C
arpenter
Ma
k
e
smatc
h
_extra de
p
end on
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Ca
r
penter
Move is_z
e
ro() to smatch_h
e
l
per
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpent
e
r
Fix a b
i
g bug
.
get_state_slis
t
(
)
w
as
a
lway
s
gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Me
r
g
e
.
.
/
.
.
/smatch/de
v
el
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Merge branch
'
de
v
el
'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n C
a
rpen
t
er
Save th
e
pre co
n
diti
o
ns inside the conditions so tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pente
r
The
main
ch
a
ng
e
here was to com
p
lete
l
y rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpe
n
ter
Break th
i
ngs out into functions a b
i
t
.
Cle
a
n
up
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
Carpente
r
Handle
w
hile and for loops slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpenter
I re
m
o
v
ed nullif
y
_path() earli
e
r but that
was
a
m
istake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
I d
o
n't think the special_k
e
rnel_macros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
arpe
n
ter
Add a func
t
i
on to do a strc
m
p
(
) 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
e
move everything to do with path_id
'
s
.
I
couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the var
i
able __negate with th
e
func
t
i
on __nega
t
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
S
m
al
l
clean up
.
M
ove the passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Cr
a
p
.
I
m
eant t
o
m
erge this ea
r
lier wh
e
n I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
Moved all the
lo
g
ic
f
or handling conditions
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
o
ps
.
I gu
e
s
s
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
p
ass
the
conten
t
s of si
z
e
of() to the cli
e
nt
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how
the debug inf
o
for mergi
n
g sta
t
es
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpen
t
er
The ma
i
n thing
i
s
to handle zero
compa
r
isons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove u
n
needed
code
.
Th
i
s stuff is handle
d
in smatc
h
_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
e
n
ter
We need
t
o
b
e
able to br
e
ak down
(
foo != 0) for
B
UG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
I
dent
i
fy for(;;
)
type loo
p
s as foreve
r
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Ad
d
s
up
p
ort for BUG_O
N
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
ar
p
enter
W
hat I've seen i
s
st
u
ff li
k
e
this
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
A
nyth
i
ng that we don't
handle is obviously co
m
plicate
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpe
n
ter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
d
d a comment to get_variable_
f
r
o
m_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpente
r
Add a
comment to get_var
i
able_from_expr_simple
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpente
r
The n
u
llify_path() here is a bug
.
It o
v
er-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
__pri
n
t_
c
ur_slist() i
s
a
useful
f
unctio
n
for debu
g
ging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
If
y
o
u have s
o
mething like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Update the line
n
umbers for each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpe
n
ter
Change
t
he merge rul
e
s
f
or
c
ustom mer
g
e
scri
p
ts s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carpenter
Move SM_DEBUG to a header so
e
v
e
ryone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
a
rpenter
Add a cu
s
to
m
merge
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpe
n
t
e
r
U
p
date the line number at the
v
ery
s
tart of
the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
enter
C
hange
the de
b
u
g
output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Ca
r
penter
Add a --
d
e
b
u
g option
.
It has to be the first opt
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpen
t
e
r
M
a
k
e
s
ure the variabl
e
name is NULL terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
Small
c
le
a
n
up
s
.
No change
i
n behavi
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpen
t
er
This is an
o
f
f
by one error rea
l
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n C
a
rpen
t
er
The spars
e
_
i
niti
a
lize() f
u
nction
n
ow take
s
a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carpen
t
e
r
Remo
v
e an of
f
by
one error detect
i
n
g t
h
e end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
P
atch it w
i
th
t
he st
u
ff from
t
h
e web
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
penter
Thi
s
i
s a
n
unmodified
t
a
r ba
l
l
.
commit
|
commitdiff
|
tree