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
"while ((1)) {" is a forever loop. Call strip_expr().
2008-09-17
D
a
n Carpent
e
r
Redo the
n
u
ll path thin
g
.
So lo
n
g as the
r
e is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Co
m
pl
i
c
a
t
e
d
is just a boolean
.
Set
it t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Arrays are comp
l
icated
s
o t
h
ey shouldn't
b
e returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carp
e
nter
If
we ca
l
l set_state from inside a
cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If the pointer is ini
t
ia
l
i
z
ed to
n
on-nul
l
t
h
en set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
ignor
e
the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpen
t
e
r
Whe
n
we merge 2 slists we need to dea
l
wi
t
h the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Cle
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Add nullify the path when yo
u
h
ave fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
M
erge branch
'
ls' in
t
o ult
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carp
e
nter
Merge br
a
nch 'u
n
nullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Ca
r
penter
Lots
of do
while(0) l
o
ops don
'
t ca
l
l br
e
a
k
so it d
o
esn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Remove unneeded che
c
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
C
arpenter
Fix or_slist_s
t
ack
(
)
.
Before
i
t just sa
v
ed
o
ne s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
crap crap cr
a
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clean ups and add some __unnullify_p
a
th stuf
f
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
arpente
r
S
m
all cleanup
.
goto
_
s
tack should on
l
y
be
u
s
e
d in smatc
h
_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
b
u
g
saving the f
a
ls
e
_only st
a
c
k
.
Before
code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan C
a
rpenter
This i
s
the start of the
smat
c
h_
e
xtra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fi
x
overwrit
e
_sli
s
t()
s
o
it ta
k
es a
p
ointer
to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
M
a
ke smatch_extra dep
e
nd on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Ca
r
penter
M
o
ve
i
s
_ze
r
o() to smatch_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ent
e
r
Fix
a big bug
.
get
_
state_slist() was always gettin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Ca
r
penter
Merge
.
.
/
.
.
/smatch/
d
evel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
n
ter
Me
r
ge branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Save the pre c
o
n
d
iti
o
ns inside the condit
i
ons so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The ma
i
n
c
hange here w
a
s to co
m
pletely re
w
rite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
Break things
o
u
t
into func
t
ions a bit
.
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
C
a
rpen
t
er
Handle
w
h
ile and for loops
slightl
y
b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carpenter
I r
e
moved nullify_path() e
a
rli
e
r
but
t
h
at wa
s
a
m
is
t
a
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpente
r
I don't think the sp
e
c
i
al_kernel_ma
c
ro
s
() fu
n
ct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Add a functi
o
n to do a strcmp() wit
h
a
symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Remove 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
D
a
n Car
p
enter
Repla
c
e the variable __negate with
t
he function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Small clean up
.
Move
t
h
e
passing t
h
e whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Crap
.
I mea
n
t t
o
me
r
g
e
this e
a
r
l
ie
r
when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Add a
c
omment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Mov
e
d
all th
e
logic for hand
l
ing conditions in
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Oops
.
I guess I d
e
leted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpente
r
Don't
pass th
e
contents of siz
e
of() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
C
arpenter
Improve
h
ow the debug info for merging states
gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n C
a
rp
e
nter
The
m
ain
thing is
t
o handle zero com
p
a
r
isons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove unn
e
eded code
.
T
h
is
s
tuf
f
is
h
andle
d
in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
r
p
ente
r
W
e
need to be able to
b
rea
k
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
rpen
t
er
Id
e
ntify for(;;)
typ
e
l
oo
p
s as
f
orever loop
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add suppo
r
t for B
U
G_
O
N()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
p
enter
W
hat I've see
n
is st
u
ff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Any
t
hing th
a
t we don't
handle is
ob
v
i
ously compli
c
ated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n C
a
r
p
enter
Me
r
ge branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
arpenter
Add
a
co
m
ment t
o
get_v
a
ri
a
ble_from_expr_sim
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpe
n
ter
Add a
c
omme
n
t to ge
t
_variable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify
_
path() her
e
is a bug
.
It
o
ve
r
-
w
r
i
tes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__print_cur_slist()
is a useful function for de
b
u
gg
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
If
y
ou have something like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n C
a
r
p
e
nter
U
pda
t
e the line numbe
r
s for each st
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
C
h
ange the merge rules f
o
r cus
t
om
m
erge script
s
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Mo
v
e SM_DEBUG to a heade
r
so ever
y
one can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Add a cus
t
o
m merge fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update t
h
e
l
ine number
at the
ver
y
start of the functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
D
a
n Carpenter
C
hange the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpente
r
Ad
d
a
-
-debu
g
optio
n
.
It h
a
s to be t
h
e fir
s
t o
p
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
M
a
ke s
u
re the variabl
e
nam
e
is
NULL terminated otherwis
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small
c
lean
u
ps
.
No change
i
n
behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carp
e
nter
T
h
i
s is
a
n off by one error
r
eally
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The spa
r
se
_
initialize() fun
c
t
i
on now
t
akes a fi
l
elist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
a
rpenter
Rem
o
ve
a
n off by one erro
r
detecting
the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
Patch it with the s
t
uff from the w
e
b
commit
|
commitdiff
|
tree
2008-08-05
Dan
Carp
e
nter
This i
s
an
u
nmodified
t
ar ba
l
l
.
commit
|
commitdiff
|
tree