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
code churn: rename ->pre_left => ->left, ->pre_right => ->right
2009-05-26
Dan Carpenter
co
d
e churn: renam
e
->pre_left =>
->left
,
->pre_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan
Carpenter
Pu
t
a ca
p
on imp
l
ications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpente
r
Impro
v
e debugging
.
Don'
t
ov
e
r
w
rite sm->l
i
ne
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
a
rpente
r
Micro opti
m
izat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
clean up
in merge
_
sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
check for out_of_memory(
)
les
s
often and only
a
fte
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
enter
Better de
b
ugging for check_memo
r
y
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Ca
r
penter
A
d
d
switch testing
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Do
h
.
Too many implie
d
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
Remove clone_slist_and_states
(
)
a
nd merge_slist_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpe
n
ter
Remove switch
c
lonin
g
complex
i
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
e
nter
two is always non-
n
ull these days
.
don't
c
heck i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unu
s
e
d m
e
rge_pools
(
)
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an C
a
rpente
r
don't print
"
list" var
i
able
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
pen
t
er
Make
my_pools => m
y
_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introdu
c
e
clo
n
e_po
o
l_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpe
n
ter
cl
o
ne_state() doe
s
n
'
t copy my_
p
o
ols
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
R
ework implication
s
to use ->pre_left
a
n
d
-
>
pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpent
e
r
Introduce ->p
r
e_left
a
nd ->p
r
e_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make the RAM limit
m
ore
a
c
curate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan
C
arpenter
O
nly clone the st
a
tes if it is a switch sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't
c
lone the false states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
r
p
enter
Don
'
t clone all the states
f
or every case
s
t
a
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpente
r
Make the valida
t
i
o
n test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
an Ca
r
penter
Prevent
s
o
me endless
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putting parens a
r
oun
d
s
o
m
e
thing
doesn't make it undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
F
ix memory leak
.
fr
e
e_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpenter
Make struct sm_stat
e
more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
s
match_slist
.
c no lon
g
er
n
e
e
d
s
any functions f
r
o
m
smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete all th
e
a
nding
c
ompound con
d
i
tions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
check debug is
u
seful
fo
r
d
ebu
g
ging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
en
t
e
r
potential bug fix
for gotos
w
it
h
imp
l
icatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
M
ake vali
d
ation test
hard
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
Re
w
o
r
k s
m
a
tch imp
l
ie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan
C
a
rpenter
get_valu
e
(): handle a couple more bit operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpenter
Se
t
things in
sma
t
ch e
x
tra instead of smatch im
p
li
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n
C
ar
p
enter
Handle s
w
itch s
t
atements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
R
e
vert "Don't the imp
l
ications f
o
r the state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
an Carpenter
Rev
e
rt "Her
e
is a bug in handling compound conditio
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpen
t
er
han
d
le if((foo = down_
t
rylock()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
an Ca
r
penter
add_is_
m
erged_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
D
e
referencing a variabl
e
d
o
esn't m
a
ke it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan C
a
rpenter
Redo c
h
ecking for
out
o
f ra
n
ge args to ERR_
P
TR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
C
arpe
n
ter
Here i
s
a b
u
g in handling compoun
d
condition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpente
r
Handle straight f
o
r
ward comparisons
to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
C
a
rpente
r
Store the implications for r
e
tu
r
n_i
m
plie
s
_state()
assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpen
t
er
Add
:
return_implies_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carp
e
nter
Rename smatch_extra_helper
.
c to smatch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_co
n
d_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
S
mall clean
u
p
.
Allocating fi
l
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an
Carpenter
Verify
that the value p
a
sse
d
to ERR_PTR()
i
s
n't to
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix com
p
iler int<->ptr convers
i
o
n
w
arnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Merge adjacent rang
e
s
.
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
S
a
ve s
o
me allocatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strn
c
at
(
) bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
C
arpen
t
e
r
Improve hand
l
in
g
of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Handle on
c
e through loops dif
f
erently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fi
x
mer
g
ing r
a
ng
e
s
.
Co
m
pletely
broken
b
efore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typ
o
: <= instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Re
v
erse all th
e
ra
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
Do
n
't
the impli
c
a
t
ions for the sta
t
e
de
t
ermi
n
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
mat
c
h_
c
o
m
p
arison
to
h
andle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Change locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpente
r
D
o
n'
t
allocat
e
so many extra_u
n
def
i
n
ed
s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
t
e
r
create
alloc_ext
r
a_state_empt
y
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove true_compari
s
on
(
)
a
nd d
o
_
comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
m
o
v
e
(true|false)_co
m
parison
_
range
(
)
to s
m
atch_ex
t
r
a
_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->my_lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
ter
Print
m
or
e
--debug-implied information when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
en
t
er
Re
m
ov
e
d hard
c
oded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
C
a
r
penter
F
ix ran
g
e comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
remove un
u
s
ed function
:
ran
g
e_list_i
n
t
ersecti
o
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpent
e
r
Handle UNDEF
I
NED rang
e
a
n
d
d
i
splay the na
m
e corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpent
e
r
Fix s
t
ate
nam
e
s
for ra
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implie
d
rang
e
s
.
Par
t
#3
.
Range Li
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update data files for
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Ca
r
penter
smatch_extra
.
save othe
r
compar
i
son
s
beside
s
just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle: if ((f
o
o
=
try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpen
t
er
rename: ex
p
r_to_val() -> get_i
m
plied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
Fix
handl
i
ng of if (IS_ERR(foo = bar()
)
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
handle if conditional f
u
nctions are
a
s
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpe
n
ter
Add new restricted k
n
own_cond
i
tion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
ren
a
me k
n
o
wn_c
o
n
dition_true() to implied
_
condition_
t
rue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
ent
e
r
Add ERR_PTR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put_
a
nd_exit() doesn't re
t
ur
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate the list of freed arguments from decrement
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Write a s
c
rip
t
t
o
print func
t
i
o
ns that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
e
r
D
o
n't free bin_d
i
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arp
e
nt
e
r
O
o
p
s
.
Com
m
it
t
he
s
e essential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Ca
r
penter
Handle kno
w
n condition
s
when they a
r
e a simple
valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
A
dd CASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Fix memor
y
leaks f
o
und by v
a
lgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpe
n
t
e
r
al
l
oc_str
i
n
g
()
-
> alloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
P
u
t some vali
d
ati
o
n scripts in the clos
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
S
ilence the mutually
e
x
c
lusive o
u
t
p
u
t again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free all data_info at the end of a fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carp
e
nt
e
r
Add --no
-
d
a
t
a
option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
range fi
x
.
andi
n
g slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carp
e
nt
e
r
cleanups fr
o
m clone
_
sli
s
t()
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next