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
D
an Carpen
t
er
"while
((1)) {
"
is
a
forever l
o
op
.
Call strip_e
x
pr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
fixes to
the
-> po
s
s
i
ble s
e
tt
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
Merge branc
h
'master' in
t
o n
u
ll_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validat
i
on script
f
o
r check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possibl
e
is
always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
t
e
r
Oo
p
s
.
->possibles wasn't
g
ett
i
n
g
s
et correc
t
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
Use strip_expr(
)
in spli
t
_
c
onditions() i
n
s
t
ead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Ca
r
penter
Ad
d
som
e
more operati
o
ns to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
R
e
turn &merged instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
make g
e
t_
v
alue() r
e
turn a val
u
e
for bitwise or expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pe
n
ter
Try again removing st
a
tes from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
v
e
rt "Remove
a
state
fro
m
it's ->pools wh
e
n set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
E
liminate a
w
arnin
g
.
P
r
o
bably the wro
n
g way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Cle
a
n
ups
.
Comm
e
nt
s
.
Rename sli
s
t_
s
t
a
ck to named_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
H
a ha
.
I st
i
l
l
suck at pointe
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clea
n
ups
.
Comments
.
Remove debugging c
o
de fro
m
fil
t
er(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpen
t
e
r
Clean up
.
A
ls
o
pr
e
serve
the
-
>po
o
ls i
n
one
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cl
e
an up get_s
t
ate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remove __o
v
erwrite_
c
ur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Ther
e
was debu
g
ging out
p
u
t th
a
t accidentally
got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
mo
v
e
a
state
f
rom it's -
>
p
o
o
ls when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Don't delete the ->p
o
ols
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Try
underst
a
n
d the implicat
i
o
ns
from co
m
po
u
nd conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cr
e
ate a state &merged
.
Wh
e
n
we mer
g
e stuff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ok
.
This time smatch_implied _r
e
ally_
d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ig
n
o
r
e c
s
cope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
nter
Small cleanups
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arp
e
nter
Whi
t
e
s
pac
e
chang
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more
locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
Fix im
p
l
i
ed pools so
t
hat at l
e
ast it does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It s
e
e
m
ed like tracker_list w
o
u
l
d be u
s
ef
u
l in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Ca
r
penter
Add a READ
M
E describ
i
ng smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nter
Add script t
o
fin
d
N
ULL
d
ereference
s
between functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fi
x
usage mes
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check f
o
r m
a
lloc() as
w
ell as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fi
x
segfault
w
hen handling implicitly
d
e
c
lared
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
War
n
when
w
e don
'
t
acquir
e
l
o
cks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
pent
e
r
Try
(
and fail)
to f
i
n
d memory
l
eaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Almost
print a message when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Ad
d
check
t
o look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
arpe
n
ter
Add checki
n
g for lock_kerne
l
(
)
/unlock
_
ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
M
ake check_locking
check both spinlocks and
s
emaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n C
a
rp
e
nter
Add a new functi
o
n slist_h
a
s_st
a
te
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
If there is an
i++
t
hen
t
he value o
f
'i' is u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpent
e
r
A
dd a new check
_
l
ocking script that c
h
e
c
ks spinl
o
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Sav
e
the
p
ossible states
i
nstead o
f
just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Car
p
ent
e
r
Ignor
e
emacs gar
b
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
e
nter
Mer
g
e b
r
anch 'mast
e
r' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likel
y
() and un
l
ikely() ha
n
dl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
ar
p
ent
e
r
Add singl
e
quote
s
around the variable
f
o
r con
s
i
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpente
r
We could
save some memory by not
a
l
locati
n
g new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
enter
A
dd a comment showing where the tests ar
e
su
p
pose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
This is
left ov
e
r from October as part
of t
h
e implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add ge
t
_possible_sta
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Stuff left over from O
c
t
o
b
er
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory by
not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
er
Fix memory
l
eak
.
Add more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Add a merge hook
.
H
a
n
dle the situati
o
ns li
k
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
strcmp() doesn't accept NUL
L
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
penter
rename two func
t
ions:
get_variabl
e
_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpen
t
er
ge
t
_variable_f
r
om_expr()
u
ses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Cre
a
t
e
a che
c
k_templat
e
.
c e
x
a
m
ple script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make
g
et_all_s
t
a
t
es() not
s
e
gfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value()
t
o return negative va
l
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
We only eve
r
pass one parameter in
t
o get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_all_s
t
ates()
t
o ma
t
ch the
f
unction definitio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
ove add
_
s
ta
t
e() and st
a
t
e
_defined() definit
i
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Clean up
.
Fix leak
.
My problem i
s
that I
d
on't underst
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
ter
Initial commit of
th
e
"implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
nter
Doh
.
We
h
aven't
been us
i
ng smatc
h
_extra for a wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpent
e
r
Get rid
o
f path_history
.
It's ne
v
er g
o
ing to be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Ca
r
penter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Ca
r
p
enter
Speed up merge_s
l
ist now that the s
l
ists
are o
r
dered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
I
nse
r
t stuff o
n
to
lists in
a
sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
ar
p
enter
Delete an unused fu
n
ction merge_
s
t
ate_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpenter
f
i
x: if (*fo
o
) { (*
f
oo)->bar
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and friends don'
t
alway
s
r
eturn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpen
t
er
T
h
e checks from
h
ere got merged
into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the
s
tuf
f
from
check_derefe
d
_
params
.
c
i
nto che
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or_
s
lis
t
_stack()
.
if (a &&
b
)
w
asn't bei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
r
penter
Add a hook at the end of
a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpent
e
r
Forgot anot
h
er strip_expr() c
a
l
l
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
r
p
e
n
ter
Handle as
s
i
g
nmeen
t
s
inside condition
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print s
o
me
t
h
i
ng
f
or a->foo
a
nd not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
er
Ig
n
ore array
d
eclarat
i
ons
.
Thos
e
can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
Make cur_slist static
.
It's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Carpenter
W
hite
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Ca
r
penter
Use merge_
s
list() instead of trying to hand
l
e i
t
yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
__process_co
n
tinues() i
s
supposed
t
o
be
b
asically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New sma
t
c
h
_
i
gn
o
re
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpe
n
ter
(foo) = 1 is t
h
e same
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
e
neralize
s
tip_casts()
.
It'
s
now
c
alled strip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
n
ter
Igno
r
e c
a
st
s
.
f
o
o(
(
i
n
t
*
)
&
b
ar
)
is the same as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Ig
n
o
re stuff
like foo
.
bar
.
We
o
nly care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
What happ
e
ns before is that par
a
meters would get
assi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
Mis
s
ed a crashing bug in the int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpe
n
ter
I can't believe
I
w
a
s
d
oing stacks
w
ro
n
g
t
h
is who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Changed
smatch
state from bei
n
g a
n
int to
being point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
penter
I want
t
o reuse the
n
a
me s
m
a
t
ch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next