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
Add line number back.
2009-03-08
Dan
C
arpenter
Add line number
b
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpe
n
ter
U
s
e the most recent i
m
pli
c
ation
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option -
-
assume-loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpenter
Add an opt
i
on --no
-
implied to turn of impli
c
a
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Carp
e
nte
r
imp
l
ie
d
poo
l
s:
cleanup
how impli
e
d
pool
s
are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpe
n
t
er
check_memory: separate o
u
t a malloced
s
t
a
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Carpenter
A
l
l along I was adding
t
he pools t
o
the wro
n
g place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
C
lean up
.
M
o
ve
a
co
u
ple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
A
dd
a
s
a
nit
y
che
c
k that ->
p
o
s
sibl
e
has
a
->
m
y
_poo
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Clean up
.
Freeing the
s
m_s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
ter
Oring
t
h
e slists see
m
s like merge_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Add a --d
e
bug-implied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
rp
e
nter
check_
m
emory: Fix s
e
gfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
ter
kchecker: helper scrip
t
to invoke
sm
a
t
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpente
r
check
_
me
m
o
r
y: new co
d
e
.
not
used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
e
r
Fix bu
g
i
n compound
co
n
ditions
a
nd add validatio
n
test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_lo
c
king: handl
e
funct
i
ons wit
h
no r
e
t
ur
n
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
so
security_fixup
_
ops
(
)
d
o
esn't trigg
e
r the OO
M
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
i
x
'or'in
g
sta
t
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
arpenter
Fix NULL
d
ere
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
F
o
r
some r
e
ason sm
a
t
ch can't find these header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
Fix string
memory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Remove unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Rem
o
ve
outd
a
t
ed comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carp
e
nter
Don't
_
_f
r
ee_
s
m_state() until end
of
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arp
e
nter
free_slist()
a
fter calling get
_
all_st
a
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
don't
r
eallocate t
h
e ->possib
l
e st
a
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
a
rpent
e
r
Get rid of un
u
s
e
d line
h
istory co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix
some m
e
mory leaks in __implied_states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Add free_trac
k
e
r
s
_an
d
_lis
t
() and free_trac
k
e
r
_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Add new free_stack() f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Ca
r
pen
t
er
renam
e
del_slis
t
_stack(
)
to free_stack_and_sl
i
sts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
renam
e
d
e
l_s
l
ist
(
)
-
>
f
ree_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all t
h
e sm_s
t
ates at the e
n
d of e
a
ch functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpen
t
er
Add ->possible to __
p
rint_sl
i
st() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
an Carpent
e
r
Sa
v
e all t
h
e
pools a
s
tate goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
A
d
d an
d
fix smatch imp
l
ied
t
es
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Preserve the ->
p
ools and ->possible f
o
r implie
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
F
i
x handling mutually ex
c
lusiv
e
sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
n
t
e
r
G
e
t rid
o
f red
u
ndant harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Add function __set_true_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arpenter
Onl
y
save an implied list if
a
state has be
e
n modi
f
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Only im
p
lied
s
t
a
t
es that aren't a
l
ready tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Ta
k
e a parame
t
er
i
nstead of
assuming
the
o
u
t
put is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Ca
r
p
e
nter
Don't check
that
there are bot
h
true and
f
a
l
s
e sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Carpent
e
r
T
h
is
c
heck_order() seems supe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New
f
u
nction harmon
i
ze
_
s
tates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
c
a
ll
_
_
s
plit_e
x
pr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
remo
v
e unneede
d
c
a
l
ls to __use_cond_true_
s
tates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Car
p
e
n
ter
Don't set the impl
i
e
d stat
e
to
&merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
r
pent
e
r
Make
cmp_track
e
r() acc
e
ssib
l
e to outside
f
il
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Ca
r
pen
t
er
A
ll the s
t
ates are implied n
o
t ju
s
t uniq
u
e ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpent
e
r
Improve l
o
c
k
c
h
e
ck
o
u
t
p
u
t
.
Add mo
r
e va
l
idat
i
o
n sam
p
le
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Ca
r
penter
Add support for d
o
wn_inter
r
u
ptible()
a
nd friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an
Carpe
n
t
e
r
Fix
t
he Unc
l
e
a
r locking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Warn on doubl
e
lock/
u
nlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer U
n
clear locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((
1
)) {
.
.
.
is
a known_condi
t
ion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
ent
e
r
Ad
d
su
p
port for those funny
g
cc ({
.
.
.
}
) blo
c
k statem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Handl
e
declar
a
tions insid
e
switch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_z
e
ro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
n
ter
A
d
d known
_
conditi
o
n_f
a
lse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Fix handling of c
o
ntin
u
e inside do
whi
l
e statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Do
n
't set let
p
eople set states fo
r
unreac
h
able code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pe
n
ter
S
m
all cl
e
anup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
n
t
e
r
Handle the
iterators corre
c
t
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
penter
A
d
d suppor
t
for "if
(a?b:
c
) {
.
.
.
" t
e
rnary condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
en
t
er
Ad
d
some suppo
r
t for _spin_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if
(
a
|
| b) { a->f
o
o; should print an err
o
r
.
A
lso
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints out error messages all the
tim
e
that
a
re
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
s
s
i
g
n
m
e
n
t always set
s
&
isfreed to somet
h
i
n
g
else lik
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Do
n
't print cross_func err
o
rs if the cal
l
e
d fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rp
e
nte
r
Remove call
t
o al
l
o
c
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpent
e
r
Call the merge
_
h
o
ok() instead of settin
g
the s
t
ate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
O
o
ps
.
M
eant to commit this ea
r
l
i
er
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
Add
the merg
e
_
ho
o
k() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Clear
t
he retu
r
ns lists
a
t the end
o
f each
f
unctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Move the implicati
o
n
s
checking to after
t
he scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
c
o
mpletely with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add some functions t
o
h
andle t
r
acker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Don't segfau
l
t all the time
when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to
s
ee
if we ar
e
catching
c
r
o
s
s funct
i
on derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
U
se
t
h
e
->possibl
e
states and
r
emo
v
e
the merge_
h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
"w
h
il
e
((1)) {" is a
f
o
rever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fi
x
es to the -> possible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
pent
e
r
Merge branch 'master' int
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpe
n
ter
A
d
d v
a
lida
t
i
o
n scr
i
pt
for ch
e
ck_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cle
a
n up
.
n
ew->possi
b
l
e
is al
w
a
ys nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possib
l
e
s wasn't
g
etting
s
et correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpen
t
e
r
U
se strip_expr
(
)
in split_conditions()
i
nstead re
p
r
od
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Add some
m
o
r
e
o
perations
to g
e
t
_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
penter
R
e
t
urn &merged in
s
tead of &u
n
def
i
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
p
e
nte
r
make get_valu
e
() return a value for bitwise
o
r
e
xpressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try ag
a
in re
m
ov
i
ng states from p
o
ols
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rev
e
rt "
R
emove a sta
t
e from it's -
>
p
ools when
s
et
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Eliminate
a
warnin
g
.
Pr
o
bab
l
y the wrong way to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Clean u
p
s
.
Comments
.
Ren
a
me slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Ha ha
.
I still suck at poi
n
te
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ente
r
Cleanup
s
.
Comments
.
R
e
move debugging
co
d
e from fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean
u
p
.
Also preserv
e
the ->pools in
o
ne
p
ath of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next