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
Call the merge_hook() instead of setting the state to &undefined.
2008-09-21
Dan C
a
rpenter
(fo
o
)
=
1 i
s
the
s
a
m
e
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Genera
l
ize stip
_
c
a
s
ts
(
)
.
I
t
's now called s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpe
n
ter
Ig
n
ore casts
.
foo
(
(int *)&bar) is the s
a
me as
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
C
r
eated show
_
stat
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ignore stuff
l
ike
f
o
o
.
bar
.
We only ca
r
e abou
t
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carp
e
n
ter
What happens before is t
h
at parameters w
o
uld ge
t
as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpen
t
e
r
Mis
s
ed a crashi
n
g bu
g
i
n
the
int
=
>
s
t
ruct
c
onve
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
I
can't bel
i
eve I w
a
s doing stacks wrong th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an
Carpenter
Cha
n
ged smatch state from b
e
ing an i
n
t
t
o
bein
g
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
I want to
r
euse the nam
e
smatc
h
_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Redo the nu
l
l path
t
hing
.
S
o long
a
s there is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Clean up
.
Complica
t
e
d is
j
ust a b
o
olean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pe
n
t
er
Arra
y
s are
c
omplicat
e
d so
they shouldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpenter
If we call set_state fr
o
m inside
a
condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
p
e
n
ter
If
th
e
poi
n
ter is initiali
z
ed
to non-null then
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
p
ent
e
r
ignore the
s
match b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpenter
When we me
r
ge
2
slists we need to dea
l
with the cas
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
C
arp
e
nte
r
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Add null
i
fy
t
he path when you have fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
r
p
e
nter
Merge
b
r
anch 'ls' i
n
to ultrat
m
p
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Carpente
r
Merg
e
branch 'unnullify' into
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
L
ots of do w
h
i
l
e(0
)
loops don't call break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpent
e
r
Remove u
n
needed chec
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpente
r
Fix or_sli
s
t_stack()
.
Before i
t
just save
d
one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap c
r
ap cra
p
.
do no
t
use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clea
n
ups and add some __unnullify_
p
ath stuff
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small cleanup
.
goto
_
stack s
h
ould only be use
d
in smatch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix bug savin
g
the fa
l
se
_
only stack
.
Before c
o
de like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
This i
s
the
star
t
o
f the sm
a
tch_
e
xt
r
a st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fix o
v
e
r
write_sli
s
t() so
i
t take
s
a pointer
t
o a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n
Carpe
n
ter
Make sm
a
tch_extr
a
depend on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carp
e
nter
Move is_z
e
ro()
t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Fix
a big
b
ug
.
get_state_slist() was alw
a
ys getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Ca
r
penter
Merge
.
.
/
.
.
/smatc
h
/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpe
n
t
e
r
Save the pre conditions insi
d
e
the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
The main change
h
ere was to complete
l
y re
w
ri
t
e h
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
Break things out into fu
n
ctions a
b
it
.
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpent
e
r
Handle while and for loo
p
s slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
arpent
e
r
I removed null
i
fy_path() earl
i
er but th
a
t was a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
d
on't think
t
h
e special_kernel_ma
c
ros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a fun
c
tion to d
o
a
strcmp(
)
w
i
t
h a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove ev
e
ry
t
hing t
o
do w
i
th path_id's
.
I couldn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Replac
e
the
var
i
able
_
_
nega
t
e wi
t
h the
f
unct
i
o
n
_
_
negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
S
m
all c
l
ean up
.
M
o
ve the p
a
ss
i
ng the whol
e
cond
i
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Crap
.
I
me
a
nt to me
r
ge th
i
s earlier
w
hen I divi
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add a co
m
m
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
C
arp
e
nter
Moved
a
l
l the lo
g
i
c for handli
n
g co
n
dition
s
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carp
e
nter
Oops
.
I guess
I
del
e
t
ed the wron
g
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don
'
t pass the
contents
o
f
s
izeof
(
) to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
Improve how the
debug in
f
o for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpente
r
The main
t
hing is to ha
n
dle
zero comparison
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
R
emove un
n
eed
e
d code
.
T
h
is stuf
f
is handl
e
d in
smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Car
p
enter
We n
e
ed to
b
e a
b
le
t
o
b
reak down (foo !=
0
) for BUG
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
Identify for
(
;;) type loop
s
as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpente
r
Ad
d
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 s
e
en i
s
stuff like t
h
is
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anythi
n
g that we don't han
d
le is obvi
o
usly co
m
plic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
Mer
g
e
branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Ad
d
a comment to get
_
variable_fr
o
m_e
x
pr_si
m
ple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nter
Ad
d
a comment
t
o get
_
v
ariable_
f
rom_expr_s
i
mple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path()
here
i
s
a bug
.
It o
v
er-wr
i
tes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_slist() i
s
a use
f
ul func
t
ion for debug
g
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
e
nter
If you have something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n C
a
rpenter
Updat
e
the line numbers for
e
ach st
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
C
hange the
m
erge ru
l
es for cus
t
om merge scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Move
S
M_
D
EBU
G
to a heade
r
so everyon
e
can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a custom m
e
rge functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
U
pdat
e
the lin
e
nu
m
ber at
t
he very
s
tart of
the function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carp
e
nt
e
r
Change the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
D
a
n Ca
r
penter
A
dd a --d
e
b
ug o
p
tion
.
It has to be the fi
r
s
t
option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n
C
a
rpe
n
t
er
Make sure the vari
a
b
l
e name is NUL
L
terminated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Car
p
enter
S
m
all clean
u
p
s
.
No c
h
ange in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan
C
ar
p
enter
This is an off by
one erro
r
really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The s
p
a
r
se_initialize() fu
n
ctio
n
now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carpenter
R
e
move an
off by
o
ne er
r
or detecting th
e
e
n
d of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
Patch it
with t
h
e stuff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
This is an unmodified tar
b
all
.
commit
|
commitdiff
|
tree