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
Move the implications checking to after the scripts have set their states.
2008-09-20
D
a
n
C
arpenter
Ig
n
ore stuff lik
e
foo
.
bar
.
We
only care
a
b
o
ut foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
penter
What happens before is that parameters would get
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
Missed a crashing bug in th
e
i
n
t
=
> st
r
uct conversio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I can't
be
l
ieve I was doing stacks wro
n
g
t
his whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Chan
g
ed s
m
a
t
c
h st
a
te from being a
n
in
t
to b
e
ing point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an
C
arpenter
I want t
o
reuse the name smat
c
h_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ente
r
Redo the null path thing
.
So
long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpenter
Clean up
.
Complica
t
ed
is just a
b
oo
l
ean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are complicated so they shouldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
If we c
a
ll set_stat
e
from in
s
i
d
e
a
condition then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If the poin
t
e
r
is initialized
t
o non-n
u
ll then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
ent
e
r
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
penter
When we mer
g
e 2 slists we need to d
e
al 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 Carpen
t
er
Add nullif
y
the p
a
th when you have for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
rpe
n
ter
Merge branch 'ls' into ul
t
ratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Merge branch 'unnullify' in
t
o
ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpe
n
ter
Lots
o
f
do while(0) loops d
o
n't
c
a
l
l
break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
e
nter
Re
m
ove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_slist_stack()
.
Befor
e
it j
u
st sav
e
d one sta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpe
n
ter
crap crap cra
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
arpenter
Clean ups
a
nd add som
e
__unnullify
_
pa
t
h
s
tuf
f
.
Hop
e
fu
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
a
rpent
e
r
Small cleanup
.
g
oto_stack should only be used in
s
match_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
bug savi
n
g the f
a
l
se_only
s
tack
.
Befor
e
code
l
ik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpen
t
er
T
h
is is the sta
r
t of the smatch_extra
s
tuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix ove
r
write_
s
l
i
s
t() so
it
t
akes a poi
n
ter to a point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Make smatch_e
x
tra dep
e
n
d
o
n s
m
atc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Carp
e
n
ter
Mo
v
e is_zer
o
() 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
b
u
g
.
get_s
t
ate_slist() was
alw
a
ys getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
M
er
g
e
.
.
/
.
.
/smat
c
h/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Merge branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
r
penter
Save th
e
pre conditio
n
s inside
the
c
ondi
t
ions so
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The mai
n
chan
g
e here
was to c
o
m
p
l
e
t
e
l
y rewri
t
e
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Br
e
ak things
ou
t
into
fu
n
ctions a bit
.
C
lean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
Handle while an
d
fo
r
loops
slightl
y
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carpenter
I removed
n
ullify_path() earlier b
u
t that was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpente
r
I don't think the special_kernel_macros() funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a
f
unct
i
on
to do a
strcmp() with a sym
b
ol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove everythin
g
t
o do with pa
t
h_id's
.
I
couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace t
h
e va
r
ia
b
le _
_
negate with t
h
e function
_
_negat
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
p
e
nter
S
mall cle
a
n up
.
Mov
e
the passing the whole conditio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I
meant to merge t
h
is earlie
r
when I di
v
i
d
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Add a
c
omment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Mo
v
e
d a
l
l the logic for
h
andling
c
o
ndi
t
ions
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I delete
d
the wro
n
g list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Don't pass
t
he contents
of sizeof() to the c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
ter
I
mprove how the
d
e
b
ug i
n
fo
f
or mer
g
ing s
t
ates gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main thing is to handle zero comparisons bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
Remove unneeded code
.
Th
i
s stuff
i
s
handled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
We
n
eed to
be ab
l
e to break down
(foo != 0
)
for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
rpenter
Identify f
o
r(;;
)
type
l
o
ops as f
o
rever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Add sup
p
ort
for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I've seen is stuff like th
i
s:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Anything th
a
t we don't
handle is obviously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpe
n
ter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
A
d
d a co
m
ment to
g
et_variable_from
_
ex
p
r_simp
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment
t
o ge
t
_var
i
ab
l
e_
f
ro
m
_expr_simple
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
The nullif
y
_path() here
is a
b
ug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__pr
i
nt_cur_slist(
)
is a useful
funct
i
o
n
for debug
g
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpen
t
er
If yo
u
have some
t
h
i
ng like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the
line
numbers fo
r
each s
t
atement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
C
arpenter
C
h
ange the mer
g
e rules for custom merge
sc
r
ipts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Mov
e
SM
_
DEBUG to a head
e
r
so e
v
eryone
c
a
n
u
se it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custo
m
merge functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
pente
r
Up
d
ate the
l
i
ne
n
um
b
er at the ver
y
start
o
f
the f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Car
p
en
t
e
r
Change the debug o
u
tput a
b
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan C
a
rpenter
Add a --debug opti
o
n
.
It has to
b
e t
h
e
first
o
p
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Ma
k
e
s
ure the variable name is NULL terminated ot
h
erwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpente
r
Small clean ups
.
No change in
behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Car
p
e
n
ter
T
his is
an off by
one
e
r
r
o
r re
a
lly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
a
n Carpenter
The
sparse_i
n
itialize
(
) function now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rp
e
nter
Remove an off by
one
e
rror de
t
ecting the en
d
of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arpenter
Patch it with the
stuff from t
h
e w
e
b
commit
|
commitdiff
|
tree
2008-08-05
D
an Carpenter
Thi
s
is an unmodified tar b
a
l
l
.
commit
|
commitdiff
|
tree