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 in merge_slist()
2009-05-24
Dan Carpenter
clean up in m
e
rge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
ch
e
ck for out_o
f
_me
m
ory() l
e
ss oft
e
n
and only af
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
Better
d
ebugging for c
h
eck_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
Add sw
i
tch
t
esti
n
g
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too man
y
implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
Remo
v
e clone_slist_and_
s
tates() a
n
d merge_slist_clone(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
Remove
s
witch cloning comp
l
ex
i
ty
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
r
p
enter
two i
s
a
lways non-
n
ull these days
.
don't c
h
eck it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
rem
o
v
e u
n
u
s
ed merg
e
_pools
(
) f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nte
r
d
o
n'
t
print "list"
v
a
r
iable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
M
a
ke
m
y_pools => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce
c
l
one_pool_
h
avers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpen
t
er
clone_state() d
o
esn't co
p
y my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpen
t
er
R
e
work i
m
plica
t
ion
s
to
u
se ->pre_left and ->pr
e
_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Ca
r
penter
In
t
ro
d
uce ->pr
e
_left and
-
>pre_r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
pent
e
r
Make the RAM
l
imit more accurate and fl
e
xible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
O
n
ly clo
n
e the states if
i
t
is a
switch
s
ta
t
em
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
C
a
rpenter
Don't clone
t
he
false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
an
C
a
r
pe
n
t
e
r
Don't clone al
l
t
h
e states for
e
very case st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
t
h
e
validation test ha
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Car
p
e
nter
Preve
n
t some
e
n
d
l
ess loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putting pare
n
s
around something do
e
sn't m
a
ke it undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpe
n
ter
Fix memory leak
.
fre
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpe
n
ter
Mak
e
s
t
r
uct sm_
s
tate more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smatch_sl
i
st
.
c no lo
n
ger nee
d
s any functions from sm
a
tch
_
extr
a
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
t
er
Dele
t
e all
the andin
g
co
m
pound
c
onditions co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
check debug is use
f
u
l
for de
b
ugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
potential b
u
g
f
ix for gotos with
i
m
plicat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
M
a
k
e validation test harde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rewor
k
smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpen
t
er
get_value(): ha
n
d
l
e a
coupl
e
mo
r
e
bit
o
p
e
rators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
S
et things in smat
c
h extr
a
inst
e
ad of sma
t
ch
i
mplied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle switch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Ca
r
p
e
nt
e
r
R
e
vert "Don't the
implicatio
n
s for th
e
sta
t
e determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpente
r
Revert "Here is a bug in handling
com
p
o
u
nd conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
handle i
f
((f
o
o = down_trylock
(
)) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpe
n
ter
ad
d
_is_
m
erged_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
Dereferencing a variable doe
s
n't make i
t
unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpe
n
ter
Redo che
c
king for
o
u
t of r
a
nge
a
r
gs to
E
R
R
_
PTR
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n C
a
r
p
enter
Here
is a b
u
g in handlin
g
compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
Handle straig
h
t
f
or
w
ard c
o
mparisons to ze
r
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Sto
r
e the imp
l
ications for return_implies_
s
tate() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carp
e
nter
Add: return_implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
p
enter
Rename smatch_
e
xtra_helper
.
c to smatch_ra
n
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
El
i
minate se
t
_cond_s
t
ates() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an C
a
rpent
e
r
Small clean
u
p
.
Allocating fi
l
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
V
e
rify that
the va
l
ue passe
d
t
o ERR_PTR() isn't to
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nter
Fix compiler int<->ptr co
n
ve
r
sion w
a
rnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Mer
g
e adjac
e
nt ran
g
e
s
.
1-2,
3
-4 becom
e
s
1
-
4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Ca
r
penter
Save some allocation
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpent
e
r
Fix
s
trncat(
)
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Ca
r
pent
e
r
Im
p
rove handling of
for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
H
and
l
e once through l
o
ops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpent
e
r
Fi
x
merg
i
ng
r
anges
.
Compl
e
tely b
r
oken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpe
n
ter
T
y
po
:
<= instead
of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reve
r
se
a
l
l
th
e
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Don't the i
m
plicati
o
ns f
o
r the state determin
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
matc
h
_
c
omparison to handle less than, great
e
r tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change locking
o
u
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't
a
llocate so many
extra_undefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
c
r
e
a
t
e
a
lloc_extra_state_empt
y
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
r
e
move true
_
comparison()
a
nd d
o
_c
o
mparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
mov
e
(true|f
a
l
se)_
c
o
mparison_range()
t
o
s
m
a
t
ch_e
x
tra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->my_lists fo
r
&
i
gnor
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print mo
r
e
--debug-impl
i
ed
i
n
f
ormation when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
R
emov
e
d hard coded o
p
ti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
ar
p
en
t
er
Fix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Car
p
enter
re
m
ove
u
nused
f
unc
t
ion: range_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Ca
r
penter
Han
d
le UNDEFINED ra
n
ge an
d
display the name
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fi
x
sta
t
e name
s
for range
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Impli
e
d ranges
.
Part
#
3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Updat
e
da
t
a f
i
les for 2
.
6
.
3
0-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an C
a
r
p
enter
smatch_ex
t
ra
.
save o
t
her compa
r
i
sons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
h
andle: if ((foo =
t
r
y
_l
o
ck())
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carp
e
nter
rena
m
e: ex
p
r_to_v
a
l() -> get_impl
i
ed_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
F
ix ha
n
d
l
i
ng of i
f
(IS_ERR
(
foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nter
handle if
c
ondition
a
l functions ar
e
a
s
signed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pente
r
Add new r
e
s
tricted known_
c
on
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpe
n
t
e
r
r
e
n
ame known_condition_true() to imp
l
ied_con
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Add ER
R
_PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__
m
o
d
ule_put
_
and_exi
t
() d
o
es
n
'
t
r
e
turn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
S
e
para
t
e the
list of freed arg
u
ments from decrem
e
nted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpe
n
ter
Write a scr
i
pt to pri
n
t fu
n
ctions that
r
e
t
urn
N
ULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Don't free
b
i
n_
d
ir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Oops
.
Commit t
h
es
e
essential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Handle
k
n
own con
d
itions when they are
a
simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Fix memo
r
y
le
a
ks fou
n
d
by
valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nter
all
o
c_string() -> alloc_sname(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some valid
a
tion
s
c
rip
t
s in
t
h
e
clo
s
et
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Implie
d
r
a
nges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arp
e
n
t
er
S
i
lence
t
h
e mutually
exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
Fre
e
all data_info
a
t the end of a f
u
n
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carpenter
Add --no-d
a
ta opti
o
n an
d
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
ra
n
ge fix
.
a
nding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpe
n
ter
cleanups from
clone_slist() change
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied ran
g
es
.
Part
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
arpen
t
er
Add
t
he alloca
t
ion f
u
n
c
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an C
a
rp
e
nter
fr
e
e_s
c
q
i
s
d
efined 2 times
q
u
ite di
f
ferently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
F
ix implicati
o
n
s (f
a
l
lout
f
rom clone_sli
s
t()
c
hanges
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next