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().
2009-02-18
Dan Carp
e
nter
"whil
e
((1)
)
{" is a f
o
r
e
ver loo
p
.
Cal
l
strip_exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fi
x
es to the -> possible se
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
ar
p
enter
Me
r
ge
b
ra
n
c
h
'
m
aster' into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Ad
d
validation
s
cript
f
o
r check_n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpent
e
r
Clean up
.
new->po
s
si
b
le
i
s alwa
y
s n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
nter
Oops
.
->possibles was
n
't ge
t
ting
s
et
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Car
p
enter
Use strip_e
x
pr() in sp
l
it_c
o
nditions() instead
r
eproducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Add
s
o
m
e m
o
re
o
per
a
tions
t
o get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
arpenter
Return &merged instead o
f
&
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpen
t
e
r
make get_v
a
l
u
e
(
) return a val
u
e f
o
r bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an
Carpenter
Try again removing st
a
tes from po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Revert "Remove a state from it
'
s ->po
o
ls wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
Eliminate a warning
.
Probably
t
he wrong way to d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
a
n ups
.
Com
m
ent
s
.
Rename slist
_
stack to n
a
med
_
sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
stil
l
s
u
ck
at poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
leanu
p
s
.
Comments
.
Remove
de
b
ugging code
f
rom fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
n
t
er
Clean up
.
Also
pres
e
r
v
e the ->pool
s
in one p
a
t
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
ge
t
_
s
tate_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
nter
Remov
e
_
_over
w
r
ite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
penter
There was debu
g
ging output that a
c
cidenta
l
ly got
c
ommitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remo
v
e a state fro
m
it's ->po
o
ls when
s
et_
s
tat
e
() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't del
e
te the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Try und
e
r
s
tan
d
the implica
t
io
n
s from co
m
p
o
und conditio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Create a state &
m
er
g
ed
.
When
we mer
g
e stuff
i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
Ok
.
This
t
i
me smat
c
h_implied _really_ does someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Ignor
e
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whites
p
ace c
h
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
enter
Ad
d
some more locking fu
n
c
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
Fix i
m
plied pools so
that at lea
s
t it
d
o
e
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
pe
n
ter
It
s
eeme
d
like tr
a
c
k
er_list would b
e
usefu
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add scr
i
pt to find
N
U
L
L d
e
references b
e
twe
e
n functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpente
r
Ch
e
c
k
for malloc
(
) as w
e
ll as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix segfault
when
h
andling
implicit
l
y d
e
clare
d
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
when we don't acquire lock
s
w
hen
c
alling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to fin
d
m
e
mory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
enter
Al
m
ost
print
a
message when
y
ou co
m
e t
o
unreacha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd
check to look for d
o
uble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Car
p
enter
A
dd chec
k
in
g
for loc
k
_ke
r
nel()/unlock_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make
c
heck_locking check both spinlocks
and sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add
a
n
e
w function slist
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f there
i
s an i++ then t
h
e value
o
f 'i'
i
s
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
t
e
r
A
d
d a new check_locking scrip
t
tha
t
checks spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
nter
Save
t
he p
o
ssible states inst
e
ad of just
mergi
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
I
g
nore
e
macs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Merge b
r
anch 'm
a
ster' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
r
p
enter
We could sa
v
e some memory
b
y n
o
t allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
r
pente
r
Add a co
m
ment showing where the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This i
s
l
eft over from October
a
s part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
g
et_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
S
tuf
f
left over f
r
o
m
Oc
t
ober
.
Imp
l
ied pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpe
n
ter
We could save some
m
emor
y
by n
o
t
a
llocat
i
ng new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carpente
r
Fix memo
r
y
lea
k
.
Add mo
r
e com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpenter
Add
a merge hook
.
Ha
n
d
le the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
st
r
cm
p
() doe
s
n
'
t
accept
N
U
LL
argument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carp
e
nter
rename tw
o
functions: get_variable_fr
o
m_expr_s
i
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_variable
_
fr
o
m_expr() us
e
s
a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
Create a ch
e
ck_
t
emp
l
a
te
.
c ex
a
mple script
that lo
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
M
ake ge
t
_al
l
_sta
t
es() not segfault ev
e
ry
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpent
e
r
Fix
get_val
u
e()
t
o
retur
n
negative valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only e
v
er pas
s
one
p
arameter int
o
get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpent
e
r
Fix get_al
l
_
s
t
a
t
e
s
(
)
to ma
t
ch
the func
t
i
on definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
R
em
o
ve add_sta
t
e(
)
a
n
d
stat
e
_defined() d
e
finitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
lean up
.
F
i
x leak
.
My problem is tha
t
I d
o
n't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpente
r
Initi
a
l
c
omm
i
t of the "implied sta
t
e po
o
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been u
s
ing
s
match_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pente
r
Get rid of path_histor
y
.
It's never going to
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
p
e
nter
Make goto_s
t
ack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up
mer
g
e_slist now th
a
t the slists
a
re
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert st
u
ff o
n
to lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Delet
e
an
unu
s
ed function
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
fix: if (*fo
o
) { (*foo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
nter
km
a
ll
o
c(
)
an
d
friends don't always return
a
n
on-n
u
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The chec
k
s from
h
ere g
o
t merged into check_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move
the s
t
uff from check
_
dere
f
ed_params
.
c into ch
e
ck_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
Fix bug in or_slist_s
t
ack()
.
if (
a
&& b) wasn't
bei
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Carpenter
Add
a
h
o
o
k at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
t
er
Fo
r
got
a
noth
e
r st
r
i
p
_expr() c
a
ll
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carp
e
nter
Handl
e
assi
g
nmeents
i
nside
c
onditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Only print s
o
mething for a-
>
f
o
o and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
C
arpen
t
er
Ignore
a
rray declaration
s
.
Those can't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpenter
M
a
ke cur_sl
i
st static
.
It's only used in s
m
atch
_
st
a
te
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
White space cha
n
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
s
e merge_slist() instead of trying to ha
n
dle it you
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
__process_continue
s
() i
s
supposed
to
b
e
basically
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an
Ca
r
penter
N
e
w
s
match_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(fo
o
)
= 1
i
s
t
he same as
f
oo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
a
rpenter
Generalize s
t
i
p_casts()
.
It's now called str
i
p_
e
xpr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Car
p
e
n
ter
Ignore casts
.
foo((int
*
)&bar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
Create
d
sho
w
_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like
f
oo
.
bar
.
We only
car
e
ab
o
ut foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What
happens before is that para
m
ete
r
s wo
u
ld g
e
t assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
enter
Miss
e
d a crashing bug in the int => struc
t
conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
c
an
'
t believ
e
I wa
s
doing
s
tacks wrong this who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Chang
e
d smatch st
a
te from b
e
ing
an int to be
i
ng poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I w
a
nt to
reuse t
h
e n
a
me smatch_state
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Redo the
null pa
t
h thing
.
So long as
there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
Clean up
.
C
o
mplicated is just a boolean
.
S
et
i
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next