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
debugging: print the line numbers in merge_sm_state()
2009-05-27
Dan
C
arpenter
de
b
u
g
g
ing: p
r
int
t
h
e
line
n
um
b
ers
i
n
merge_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Ma
k
e switch statements work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
C
arp
e
nter
clean
up
.
use tru
e
/false
_
comparison_range_lr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
pe
n
ter
code chu
r
n
:
rename ->pre_
l
eft => ->left, ->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Da
n
Carp
e
nter
P
u
t a ca
p
on implicatio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan C
a
rpenter
Improve debug
g
ing
.
Don't overw
r
i
te s
m
-
>line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
an Ca
r
penter
Mi
c
ro optimization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an Ca
r
p
enter
clean up
in m
e
rge_
s
list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
chec
k
f
o
r out_of_me
m
o
ry(
)
l
es
s
o
f
ten and
o
n
ly after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
Car
p
enter
Bette
r
d
e
bugging
f
or ch
e
ck
_
memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
Add switch testing tes
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too many i
m
plie
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
R
emove clone_
s
list_and_
s
tates() and me
r
g
e
_
slist_clo
n
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpen
t
e
r
Re
m
o
v
e
sw
i
tch clonin
g
complexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
rpe
n
ter
two is always non-null these day
s
.
don'
t
c
h
ec
k
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Ca
r
pen
t
er
remove
u
nused merge_p
o
ols() func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Car
p
enter
d
o
n't print "list" variable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Ca
r
penter
Make
m
y_p
o
ol
s
=>
my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
i
ntroduce clo
n
e_pool_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpent
e
r
clone
_
state() doesn't copy my_po
o
ls
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Rewo
r
k imp
l
ic
a
t
ions t
o
us
e
->pre_left and -
>
p
re_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
t
e
r
Introduce ->
p
re_lef
t
and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Carpenter
Make
t
he R
A
M li
m
it
more
a
ccurate
a
n
d flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
Only cl
o
ne the states if it is a switch sta
t
e
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpent
e
r
Don't clone
the false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpen
t
er
Don't clo
n
e
all the sta
t
es f
o
r every c
a
se statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Make the validation
t
est harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Ca
r
p
e
nte
r
Preve
n
t some endless l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
P
utting parens around s
o
mething doesn't m
a
ke it undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix memory
l
e
ak
.
free_sl
i
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an
Carpenter
Make
s
truct sm_stat
e
mo
r
e compa
c
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carp
e
nter
s
m
atch_slist
.
c n
o
longer needs
a
ny
functi
o
ns from smatch_ext
r
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
Dele
t
e
a
ll the andi
n
g com
p
o
und condit
i
ons code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
ent
e
r
check
d
ebug is u
s
eful for
debuggin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
e
nte
r
potential bug fix fo
r
gotos wi
t
h
i
m
plications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Ca
r
pe
n
t
e
r
M
ake valid
a
tion test h
a
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
e
r
Rework smatch imp
l
i
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpent
e
r
g
e
t_value(
)
: h
a
n
d
le
a
couple mo
r
e bit
o
perators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set
t
h
i
ngs in
smat
c
h extra instead
o
f smatch imp
l
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carp
e
nte
r
Ha
n
dle switch stat
e
ments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpe
n
ter
Revert "Don
'
t the implica
t
ions for the s
t
ate deter
m
ining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
Re
v
ert
"
Here
i
s a bug in
handling compound condi
t
i
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
ha
n
d
le i
f
((
f
o
o
=
down_
t
ryl
o
ck()) <
0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
ad
d
_is_merged
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dereferencing
a
var
i
able doe
s
n't mak
e
it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpe
n
ter
Redo
c
heckin
g
f
o
r out
of range a
r
gs t
o
ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n Ca
r
penter
Here is a
b
u
g in h
a
ndling compound c
o
nditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carp
e
nter
Ha
n
dl
e
st
r
aigh
t
f
o
r
w
a
r
d comparisons
to ze
r
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpent
e
r
Store the implicati
o
n
s for return_im
p
l
i
es_
s
t
a
te() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
Add: return_implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Rename smatch_extra_helper
.
c to smatch_ran
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpente
r
El
i
m
i
na
t
e set_cond_
s
t
a
tes() func
t
io
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Smal
l
clean u
p
.
Alloc
a
ting filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Verify that
t
he
value
p
assed to ERR_PTR
(
) is
n
't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
ix c
o
mpiler int<->ptr
c
onversion
w
arnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Merg
e
ad
j
acent
r
anges
.
1-2,3-
4
becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
S
a
v
e
some allocation
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fix strncat() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan
C
a
rpe
n
ter
Impr
o
ve handling
of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through loo
p
s differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
pente
r
Fix merging ran
g
es
.
Compl
e
tely broken bef
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Ca
r
penter
Typo: <= instead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an
C
arpente
r
R
everse
a
l
l the range
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don'
t
the implications for the sta
t
e determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
match_c
o
m
p
a
r
is
o
n to handle less than, gre
a
ter
t
han
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Ca
r
pe
n
ter
Change lockin
g
o
utput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Ca
r
p
e
nter
Don't
a
l
locate so many ex
t
ra_undefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Car
p
enter
cre
a
te a
l
loc_extra_st
a
te_empty(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
remove
tru
e
_
c
omparison
(
) and
do_compar
i
son()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpent
e
r
move (true|fal
s
e)_c
o
m
p
ar
i
s
o
n_r
a
nge() to smatch_extra_he
l
p
e
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
clear
-
>
my_lists for &
i
gn
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print
more
--d
e
b
u
g-implied informati
o
n
when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
R
emoved hard coded
optio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
F
i
x ra
n
ge comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Ca
r
penter
remov
e
unus
e
d function: ran
g
e_list
_
intersection
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
Handl
e
UNDEF
I
NED range a
n
d display the na
m
e corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix stat
e
names for
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpe
n
ter
Implie
d
ranges
.
Pa
r
t #3
.
R
ange
Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpent
e
r
U
pd
a
t
e data
f
i
l
es f
o
r 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
s
m
atch_extr
a
.
s
a
ve other
comp
a
r
isons besides jus
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
handle: if
((foo = try_lock()
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
renam
e
: expr_to_val() -
>
g
et
_
implied_value(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
Fi
x
handling of if (IS_ERR(
f
oo = ba
r
()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
handle if c
o
nditional
functions are assi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Add new re
s
tricted known_conditi
o
n_
t
r
ue
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename
k
nown_condition
_
tr
u
e() to implie
d
_con
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
p
e
n
ter
Ad
d
ERR_PTR() c
h
eck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
__mo
d
ule_put_and_exi
t
(
) doesn't re
t
urn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
Separate the list of fre
e
d ar
g
uments
f
rom d
e
cremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
W
r
it
e
a s
c
ript to print
fu
n
c
tions
t
ha
t
return NU
L
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
p
enter
D
o
n't fre
e
bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Oops
.
Comm
i
t t
h
e
se
essential f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Ha
n
dle known conditions wh
e
n
they a
r
e a s
i
mple
value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
ar
p
e
nter
Add CASE_HO
O
K
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Fix memory leaks foun
d
b
y valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carp
e
nter
alloc_
s
t
r
ing() -> alloc_
s
n
a
me()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
ent
e
r
Put some vali
d
atio
n
s
c
ripts in
t
h
e
cl
o
s
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Implied ranges
.
Part #2
.
Fil
t
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence
the mutually
e
x
clusive output aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an Car
p
enter
Free all data_info at the end of a
f
u
ncti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next