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
clean up. use true/false_comparison_range_lr()
2009-05-26
Da
n
Carpenter
clean up
.
u
s
e
t
rue/false_comparison_r
a
nge_l
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
Carp
e
nter
code churn:
r
enam
e
->pre
_
l
e
ft
=
> ->left, ->pre_r
i
ght
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpenter
Put a
cap
o
n implicat
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpe
n
ter
I
m
prov
e
de
b
ugging
.
Don
'
t overwrite sm->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carp
e
nter
Micro optimi
z
ation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
C
a
rpenter
clean up in merge
_
slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
check
for
out_of_memo
r
y() l
e
ss often
a
nd only
after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
penter
Bett
e
r debugging for check_
m
emo
r
y
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpenter
Add switch testing tes
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Doh
.
Too m
a
ny implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpente
r
Re
m
o
ve clone_slist_an
d
_states
(
) and merge_slist_clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpen
t
er
Remove switch cloning comple
x
i
t
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
two is a
l
ways n
o
n-null these days
.
don
'
t check
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
re
m
o
v
e unused merg
e
_pools() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
don't print "list" variable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpen
t
er
Make my_pool
s
=> my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
introduce clo
n
e
_
pool_hav
e
rs()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
n
ter
clone_state() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpe
n
ter
R
e
work implicat
i
on
s
to use
-
>pre_left and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpen
t
er
I
ntrod
u
ce ->pre
_
lef
t
and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n
C
arpente
r
Make th
e
R
AM limit mor
e
a
c
cur
a
t
e
and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
D
an C
a
r
p
enter
On
l
y
clone the states if it is a switch state
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpent
e
r
Don
'
t clone t
h
e
false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
rpenter
Don'
t
clone
a
ll t
h
e sta
t
es for
e
very
c
a
s
e sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
t
he
validation te
s
t
h
a
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
nter
Preven
t
some endless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
C
arpenter
Put
t
ing parens around something doesn't make
i
t
u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Carpenter
Fix memor
y
lea
k
.
free_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Carpenter
M
ake stru
c
t s
m
_state
mor
e
compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
s
ma
t
c
h_slist
.
c no longer needs any functio
n
s from smatch_
e
xtra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete all the
an
d
in
g
compound conditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
c
hec
k
debug i
s
useful fo
r
d
e
buggi
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
pote
n
tial
b
ug fix f
o
r gotos
with impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make validat
i
on test hard
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
ente
r
Rework
s
match implie
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Ca
r
penter
get_value(): handle a
c
ouple more bi
t
o
pe
r
ators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpenter
Set
things in smat
c
h extra instead of smat
c
h impl
i
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle switch statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Revert
"Don't t
h
e implications for t
h
e st
a
t
e
de
t
ermining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
a
n Carpente
r
Rev
e
rt "Here
is a bug
i
n handling
compound c
o
n
d
itions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
p
e
nte
r
handle if((f
o
o = down_tryl
o
ck()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpente
r
add_is_merg
e
d_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
pen
t
er
Derefer
e
n
cin
g
a vari
a
ble doe
s
n'
t
make it unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Da
n
Carpenter
R
e
d
o
c
h
ecking f
o
r ou
t
of range args to
E
R
R
_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Here is a bug in handling
compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
e
r
Ha
n
dle straight forwa
r
d
comparisons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
C
arpente
r
S
t
or
e
the implications for retu
r
n_implies_state()
a
ssignmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
er
A
d
d: return
_
implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
R
e
name smatch_extra_helper
.
c to sm
a
tch_ra
n
ges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
E
limina
t
e
se
t
_
c
ond_states() functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rp
e
nter
Small clean up
.
Allocating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Ver
i
fy that the value p
a
s
s
ed to ERR_PTR(
)
isn't t
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix compiler int<->ptr
c
onversion wa
r
nings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Mer
g
e adja
c
ent
range
s
.
1-
2
,3-4
becomes 1
-
4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pent
e
r
Save so
m
e
a
llocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Car
p
e
n
ter
Fix str
n
cat(
)
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Imp
r
ov
e
handli
n
g of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
H
a
ndl
e
once t
h
rough loops
d
i
fferently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging ra
n
ges
.
Complet
e
l
y
broken
b
efore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpen
t
er
Typo:
<
=
instead
o
f
>
=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
R
ev
e
rse all the
rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
a
rpe
n
ter
Don
'
t the implicati
o
ns
f
or the state
de
t
e
r
mining t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
ma
t
ch_c
o
m
parison to handle less
than, grea
t
er than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change locking outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't allocate
s
o many extr
a
_
u
ndefined stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
ter
create
a
l
l
oc_extra_st
a
te_empt
y
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
remove tr
u
e
_
comp
a
ris
o
n() and
d
o_
c
omp
a
rison
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
mo
v
e
(t
r
u
e
|fal
s
e)_c
o
mpariso
n
_ran
g
e() to sm
a
tch_extra
_
helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
c
l
ear
->my_lists for &ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpen
t
er
Print
m
ore
-
-debug-implied
i
nformation
when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Removed hard c
o
ded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix range com
p
ari
s
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
remove unus
e
d funct
i
on: range_l
i
st_interse
c
tion()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Ca
r
p
e
nter
Handle UND
E
FI
N
ED rang
e
and disp
l
ay the na
m
e co
r
re
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
n
t
er
Fix state names for rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Implied ra
n
g
es
.
P
a
rt #3
.
Ra
n
ge Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n C
a
rpe
n
ter
Upda
t
e data files for
2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
sm
a
tch_extra
.
save other comparisons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpe
n
t
e
r
handle:
i
f
(
(
fo
o
= try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
r
p
enter
r
e
name: expr_to_
v
a
l
() -> get_i
m
p
lied_value
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix
handling
of if (IS_ER
R
(foo =
b
ar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carp
e
nt
e
r
handle if c
o
ndit
i
onal functions
are
a
ssi
g
ne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
Add new restricte
d
k
n
own_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
renam
e
k
nown_conditi
o
n_t
r
ue() to
impl
i
ed_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
Ad
d
ERR
_
PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
_
_module_put_and
_
e
xit()
d
oesn't
retur
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Separate th
e
list of freed argumen
t
s
fr
o
m decr
e
mented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
Write a script to
print funct
i
ons t
h
at
return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Don't free bin_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oop
s
.
Commi
t
the
s
e essen
t
i
a
l
f
il
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Hand
l
e
known condi
t
ions when they are a sim
p
le value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arp
e
nter
A
d
d CASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
ente
r
Fix m
e
mory
l
eaks f
o
und
b
y valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
alloc_str
i
ng() -> alloc
_
sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put s
o
me validation scripts i
n
t
h
e c
l
oset
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Implied ranges
.
Part #2
.
Fil
t
er
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
enter
Silen
c
e the
mutually exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
a
rpenter
Free all data_
i
nfo a
t
the end of
a func
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpenter
Add --no-dat
a
option
a
n
d
war
n
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
e
nter
range
f
ix
.
an
d
ing sli
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next