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
smatch_implied: only print the nr_children message once.
2009-05-31
Dan Carpenter
smatch_implied: only print the nr
_
ch
i
l
dren
m
essage
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
D
an C
a
rpenter
smatc
h
_
e
xtra:
f
i
x
(foo != 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
ar
p
enter
Fi
x
overlappi
n
g
r
ange
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n
C
arpenter
ch
e
ck_
m
em
o
ry
.
c: fix
r
eversed if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Car
p
e
nter
Fix anot
h
er
bug caused by
f
unny tmp_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
a
n Ca
r
penter
Merge
b
ranch 'n
e
w_implicat
i
ons'
into de
v
el2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Carpenter
Fix crashing b
u
g caused by the
switch changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Car
p
ente
r
debuggin
g
: print t
h
e line numb
e
rs
i
n
merge_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arp
e
nt
e
r
Make
s
witch
statements work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carp
e
nter
clean up
.
use true/false_compariso
n
_range
_
l
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
penter
c
ode churn: rena
m
e ->pre
_
lef
t
=> ->left, ->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
C
a
rpenter
Put a c
a
p on impli
c
ati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpent
e
r
Improve deb
u
gging
.
Don'
t
overwrite
sm->line
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Carpenter
Micro optimizati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an Carpenter
cle
a
n up in merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an C
a
rpent
e
r
ch
e
ck f
o
r
o
ut_of_
m
em
o
ry() less often
a
nd on
l
y
afte
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
Carpen
t
er
Bet
t
er debugg
i
ng
f
or check_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpente
r
Add switc
h
te
s
ting test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
an Ca
r
penter
Doh
.
Too many
impli
e
d state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpen
t
er
Rem
o
ve
clo
n
e_slist_and_st
a
tes
(
) and merge
_
slis
t
_c
l
one()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
R
e
m
o
ve s
w
it
c
h cloning complexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
t
wo is
a
lways no
n
-n
u
ll these days
.
don'
t
check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unused mer
g
e_
p
o
ols()
f
un
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
C
arpenter
d
on't prin
t
"
l
ist" variab
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Make
my_pools => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Car
p
enter
introduc
e
clo
n
e_pool_have
r
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
rpenter
cl
o
ne_state() d
o
esn
'
t copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
R
e
w
ork
i
mplications to use ->pre_left
a
nd ->pre
_
right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
r
pen
t
er
two is alw
a
ys
n
on-
n
ull t
h
ese
d
ays
.
d
on't chec
k
it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
r
p
enter
I
ntr
o
duce ->pre_left and -
>
p
re_ri
g
h
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
D
an Carpenter
Ma
k
e the RA
M
l
imit
m
ore accurate an
d
flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan C
a
r
p
enter
Onl
y
c
l
one the
s
t
ates if it is a sw
i
tch sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
an C
a
rpe
n
ter
Don't clone the
f
alse states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Ca
r
pente
r
Don't clone a
l
l the states
f
o
r
e
very
cas
e
sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
C
a
rpente
r
M
ake t
h
e
v
alidatio
n
test har
d
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Prevent some en
d
less loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
a
rpenter
Putting p
a
rens a
r
o
und
some
t
hing doesn't make it
u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Fix memory
l
eak
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpente
r
M
a
ke struct sm
_
s
t
a
te
more comp
a
ct
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
a
rpenter
s
m
a
t
ch_slis
t
.
c no long
e
r
n
eeds any functi
o
ns f
r
om smatch_
e
xtra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpen
t
e
r
De
l
ete all the
a
nding compound conditi
o
ns code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check d
e
bug is useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
potential bug
fix for
g
o
t
os
w
ith
i
mplication
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
M
a
ke validation test ha
r
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
p
e
n
ter
Rework smat
c
h impli
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
a
n C
a
rpenter
get_value
(
): handl
e
a
couple more b
i
t operato
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Carpen
t
er
Se
t
things in smatch extra instead of
s
m
a
tch
implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpent
e
r
Handle sw
i
tch st
a
t
eme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpent
e
r
Rev
e
rt
"
Don't the i
m
plica
t
ions for the
s
tate determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Car
p
enter
Revert "Here is a b
u
g in handling
compound conditio
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpe
n
t
er
handle if((fo
o
= down_trylock()) <
0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_merged_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
Dereferencing a variable do
e
sn't
m
a
k
e it undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking for
out
of range args t
o
ERR_PTR(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Here is a bu
g
in h
a
ndling co
m
pou
n
d conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Handle s
t
rai
g
ht for
w
ard compari
s
ons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
ente
r
S
t
ore the
i
mplicati
o
ns for return_implies_state(
)
as
s
ig
n
m
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
Add
:
r
e
turn_i
m
p
l
ies
_
st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpe
n
ter
R
e
name smatch_
e
xt
r
a_helper
.
c t
o
smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Eliminate set_cond_states() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
penter
Small
c
lean up
.
Allocating
filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
r
p
enter
V
eri
f
y
t
h
at t
h
e valu
e
p
assed to
ERR_PTR()
isn't t
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
F
i
x
c
om
p
iler int<->ptr c
o
n
vers
i
on warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpente
r
Merge adjacent ranges
.
1-2,
3
-4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
e
nter
Save some
a
l
locations
.
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
Carpenter
Improve handling of fo
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpe
n
ter
Handle once through loo
p
s
differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpente
r
Fix merging range
s
.
Co
m
pletely br
o
ken
b
efore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpenter
Typo: <
=
i
n
s
tead
o
f >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carp
e
nter
R
everse all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
r
penter
Don'
t
the implications for the sta
t
e deter
m
ining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
matc
h
_
c
om
p
arison to
h
andle less t
h
an, greater tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Change locking o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Don't alloc
a
te
s
o many extra
_
un
d
efined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
create a
l
loc_e
x
tra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
enter
remove
t
rue_compari
s
on()
an
d
do_compar
i
son()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpen
t
er
move (
t
rue|false)_comparison_r
a
nge() to smat
c
h_extra_h
e
lper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Car
p
e
nter
clear ->my_lists for &ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an C
a
rpenter
Print m
o
re --debu
g
-imp
l
ied information when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Removed hard coded opti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Fix
r
ange
comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Ca
r
pent
e
r
remove unus
e
d funct
i
on:
r
a
n
ge_list
_
intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDEFINED range and d
i
splay the name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix state names for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpent
e
r
Imp
l
ied rang
e
s
.
Part #
3
.
R
a
n
g
e L
i
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpen
t
er
Update
d
at
a
files for 2
.
6
.
3
0
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpenter
s
matc
h
_ext
r
a
.
sav
e
other compa
r
i
s
ons besides jus
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
h
and
l
e:
i
f ((foo = try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpen
t
er
rename:
e
xpr_to_v
a
l() -> get_
i
mplied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
Fix handling of if (IS_ERR(
f
o
o =
b
a
r
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Car
p
en
t
er
hand
l
e if conditional functions a
r
e assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
A
d
d n
e
w rest
r
icted known_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpen
t
er
renam
e
k
no
w
n_condi
t
ion_true() to implied_conditio
n
_
t
ru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
ar
p
ente
r
A
dd ERR_PTR
(
) check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
__m
o
d
u
le_put_and_ex
i
t() do
e
sn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Car
p
enter
S
eparate the list of free
d
a
r
gume
n
t
s
from de
c
remen
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Writ
e
a scr
i
pt
t
o
p
r
i
n
t function
s
tha
t
re
t
urn NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Don't
free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
Oops
.
C
ommit these e
s
sential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next