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
Improve get_implied_value().
2009-08-02
Dan Carpenter
Impro
v
e
g
et_im
p
li
e
d
_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpe
n
ter
cor
r
e
ct
format
.
w
a
rning
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Add some str
i
p_expr()
calls
t
o
t
h
e functio
n
h
ooks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
pe
n
ter
I
m
pr
o
ve buf
f
e
r
overflow
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpent
e
r
introduce
smatch_cont
a
i
n
ers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
D
a
n
Carpenter
int
r
oduce set_st
a
te_expr(
)
and frien
d
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
add
c
heck_deref_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added check_initializer_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
an Carpe
n
ter
new hook:
a
dd_mo
d
ification_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move some declaratio
n
s out of sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carpent
e
r
Update sm
a
tc
h
_da
t
a
f
o
r
2
.
6
.
31-pre3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpen
t
er
I
m
prove the
d
ispla
y
ed
v
ariable nam
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
fix b
u
ffer
overf
l
ow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carp
e
nter
Add check_bala
n
ced
.
c
and smat
c
h_
d
a
t
a/kernel
.
balanced
_
f
u
ncs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carp
e
nter
P
T
R_ERR(ERR_PTR(-42)) is
n
o
n
z
er
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n
Carpen
t
er
c
h
e
ck_
m
emory
.
c: use the add_
s
cope_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n
C
arpenter
Add sco
p
e
d
_state() and add_s
c
o
pe_
h
o
o
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpent
e
r
smatch_i
m
plied
:
only print the nr_chi
l
dren message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
D
an Car
p
enter
sma
t
ch_extra: fix (foo !=
4
2
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
Carp
e
nter
Fix
ove
r
l
a
pping range
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan
C
arpent
e
r
check_memory
.
c: fix r
e
versed if
s
tat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan
C
a
r
penter
Fix ano
t
her
bug caused by f
u
nn
y
tmp_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Merge bra
n
ch 'new_impli
c
ations'
int
o
dev
e
l2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpen
t
er
Fix
crashing bug ca
u
sed
b
y the switch chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carp
e
nter
debugging: print the l
i
ne n
u
mbers i
n
merge_sm
_
s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
a
r
p
e
nter
Make switch statements work aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpen
t
er
c
l
ean up
.
use true/false_com
p
arison_ra
n
g
e_
l
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code
chur
n
:
r
enam
e
->pre_l
e
f
t => ->l
e
ft
,
-
>
pre_ri
g
ht
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Put a cap
on implication
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Carpente
r
Imp
r
ove debugging
.
Don't
o
verwrit
e
sm->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
an Carpe
n
t
e
r
Mi
c
ro
optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan C
a
rpenter
clean up in me
r
ge_sl
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an
Carpenter
ch
e
ck for
o
u
t_of_memory() less of
t
en and onl
y
af
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Bet
t
er debugging for ch
e
ck_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switch te
s
t
i
ng test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpente
r
Doh
.
Too many impl
i
ed states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove clone_sli
s
t_and_stat
e
s(
)
and merge_slist_clone
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Car
p
en
t
er
Remo
v
e swit
c
h
c
loni
n
g complexit
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
two is always non-null
t
hese day
s
.
don't ch
e
ck it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
re
m
ove unused merge_pools()
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't print "list" v
a
riable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpen
t
e
r
Make my_pools => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
int
r
oduce clo
n
e_
p
ool_have
r
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
c
lone_
s
tate() doesn't cop
y
my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Re
w
ork implic
a
tions to use
-
>pre_left and ->p
r
e_rig
h
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Ca
r
penter
two is al
w
a
y
s non-null the
s
e days
.
d
o
n
't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Carpenter
Intro
d
u
ce ->pre_
l
eft an
d
->pre_
r
igh
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make the RAM limit mor
e
accurate and flexibl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
O
n
ly clone the sta
t
es if it is a switch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clone the false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
an Carpenter
Don't clone
a
l
l the states for
every case statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
ar
p
ent
e
r
Make the
validation test har
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
P
r
event some endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
P
u
tting parens a
r
o
und somethi
n
g
does
n
'
t make
it
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory leak
.
f
r
ee_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Make struc
t
sm_
s
tate
more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
s
ma
t
ch_slist
.
c no
l
o
nger need
s
any
f
uncti
o
ns fro
m
s
match_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
er
Delete a
l
l the
and
i
n
g compound condition
s
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
check
debug
i
s useful f
o
r
d
ebugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
a
r
penter
p
o
t
ential bug
f
i
x
for g
o
tos with
implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
M
a
ke
v
ali
d
ation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
pente
r
Rework smatch impl
i
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
a
n C
a
rpente
r
get_valu
e
(): han
d
l
e
a couple m
o
re bi
t
o
perators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carp
e
nter
Set th
i
ngs in
s
m
a
tch ext
r
a instead of smat
c
h impl
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpe
n
t
er
Handle sw
i
t
c
h statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an C
a
r
p
enter
Revert "Don't the implica
t
i
o
ns for the state
de
t
erm
i
ning
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert "Here is
a bug in handling com
p
ound
co
n
ditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
hand
l
e
if((fo
o
= down_tryl
o
ck()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
add_is_
m
e
rged_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Car
p
e
n
ter
D
e
re
f
erencing a var
i
a
ble do
e
sn't m
a
ke it und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo
c
h
ecking f
o
r out
o
f
range ar
g
s
to
E
R
R_PTR
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Ca
r
pe
n
t
er
Here
is a bug in
hand
l
ing compound c
o
nditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carp
e
nter
Handle stra
i
g
h
t for
w
ard co
m
parisons
t
o zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carp
e
nter
Store th
e
i
mpl
i
cation
s
f
o
r
return_implies_sta
t
e() assignme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
enter
Add: return_
i
mplies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
Rename sm
a
tch_extra_helper
.
c to smatc
h
_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
El
i
minate set_cond
_
st
a
t
e
s() f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Small clean
up
.
Allocating fi
l
te
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify that
the
v
alue passed to ERR_PTR() is
n
't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
r
p
enter
Fix compi
l
er int<
-
>ptr conv
e
rsi
o
n warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
enter
Merge adj
a
cent ranges
.
1-2,3-4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Save some allocati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpen
t
er
Fix strncat() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Da
n
C
a
rpenter
Improve
h
a
n
dling of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Ca
r
penter
H
a
n
d
le once thro
u
gh
l
oops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
Fix
merging ranges
.
Complet
e
ly broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Typo:
<= ins
t
ead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpen
t
er
Rev
e
rse all th
e
rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pe
n
ter
D
o
n
't the implications fo
r
the sta
t
e determin
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
match_
c
omparison to handle less t
h
an, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
Chan
g
e locking output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Don't allo
c
ate s
o
many extra_u
n
defined stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an C
a
rpenter
c
r
eate allo
c
_extra_state_em
p
ty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove tr
u
e_comp
a
rison() an
d
d
o_compa
r
ison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rp
e
nter
move (tru
e
|false)_comparison_range() to smatch_extra
_
helpe
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
n
t
e
r
clear ->my
_
lists
f
o
r
&
igno
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
P
rint more --debug-
i
m
plie
d
info
r
ma
t
ion when
--debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
R
emoved
h
a
r
d code
d
o
p
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Fix
r
ange
compariso
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused f
u
nc
t
i
on: range_li
s
t_int
e
rsecti
o
n(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next