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
Rework smatch implied
2009-05-04
Dan Ca
r
penter
Rework smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
ge
t
_value()
:
handle a cou
p
le more bit oper
a
tors
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n
Carpenter
Set things
i
n smatch e
x
tra inst
e
a
d
of smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
H
andle switch statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpenter
R
e
vert "Don't the
i
mplica
t
ions
f
or
th
e
s
tate
dete
r
mining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Reve
r
t "Here
is a bug in handling comp
o
und conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Car
p
enter
han
d
le if((foo = down_tryl
o
ck()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
add_is_merged_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Derefe
r
encing a va
r
ia
b
l
e
d
oesn't
m
a
k
e it u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checki
n
g
for out o
f
range args
t
o ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
an Carpe
n
t
e
r
H
ere is a bu
g
i
n
handling compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carpenter
Handle straight forw
a
rd comparisons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an
Carpente
r
Store t
h
e implications
f
or retu
r
n_implies
_
state() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_implies_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
Rena
m
e smatch_
e
xtra
_
helper
.
c to
s
m
atch
_
ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_cond_states() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpen
t
er
Small c
l
ean
up
.
Alloca
t
i
n
g f
i
lter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpent
e
r
Verify that the value pas
s
ed
to ERR_PTR()
i
s
n
'
t too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Fix compiler
i
nt<->ptr conve
r
sion
warn
i
n
g
s
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Car
p
enter
Merge adj
a
c
e
n
t range
s
.
1-2,3-4 becomes
1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save
s
ome al
l
ocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fi
x
strncat() bu
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improv
e
h
andli
n
g
of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpent
e
r
Han
d
le o
n
ce t
h
rough loops diff
e
rently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging ranges
.
Completely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Typo: <=
i
nstea
d
of
>
=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Car
p
enter
R
ev
e
rse all the range
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Don't the implica
t
ions
for th
e
state det
e
rmin
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
match_
c
om
p
arison
to h
a
nd
l
e less than, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpen
t
e
r
Change lo
c
king o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
D
o
n't
a
l
l
o
c
ate
s
o many ext
r
a
_undefi
n
ed
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
create alloc_extra_s
t
ate_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
remove true_comparison() and
d
o_compar
i
s
o
n()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|
f
alse)_comparison
_
range() to smatch_e
x
tra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
c
l
ear -
>
m
y
_l
i
sts fo
r
&ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Print more --debu
g
-i
m
p
li
e
d
inform
a
t
i
on when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carp
e
nter
Re
m
oved hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix range
compar
i
son
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpenter
remove
unus
e
d function: range_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pent
e
r
Handle UNDEFINED rang
e
and display the n
a
me correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
F
i
x state
n
ames for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Impl
i
ed ra
n
ges
.
Part #3
.
Rang
e
Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Updat
e
data
files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_ext
r
a
.
save othe
r
compa
r
i
s
ons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Ca
r
pe
n
ter
handle: if ((foo = try_lock(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: expr_to_val() -> get_implie
d
_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpe
n
ter
Fix handl
i
n
g
of
if (I
S
_ERR(f
o
o =
bar()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
handl
e
i
f
c
o
n
di
t
i
o
nal fu
n
c
tions are assigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pente
r
Add ne
w
re
s
tricted
k
n
o
w
n_con
d
i
t
ion_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
r
p
enter
renam
e
known_conditi
o
n_
t
ru
e
() to
i
mpl
i
ed_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_
P
T
R
() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Ca
r
pe
n
ter
__module
_
put_and_ex
i
t()
d
oesn'
t
r
eturn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
en
t
er
Separ
a
te the lis
t
of fr
e
ed ar
g
um
e
n
t
s from de
c
reme
n
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Wr
i
te a scr
i
p
t to print functions t
h
at return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Don't fr
e
e bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
rp
e
nt
e
r
Oops
.
Co
m
mit these
e
s
s
ential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Handle know
n
condi
t
i
o
ns when they are a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
r
p
e
nter
Ad
d
CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
t
e
r
Fix memory leaks foun
d
by va
l
grin
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arp
e
n
t
er
alloc_str
i
ng() -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Pu
t
some validation
s
cripts in the
c
lose
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
I
mplied ra
n
ges
.
Part #2
.
F
ilt
e
rs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Ca
r
penter
S
i
l
ence the mutua
l
ly exclusi
v
e output
a
ga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
e
n
t
er
Free all data_info at the e
n
d of a functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
ter
Add --no-data option an
d
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpenter
range fix
.
anding slist
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
cleanups from clone_slis
t
() changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carp
e
nter
Implied r
a
nges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpe
n
t
er
Add
t
he
a
llocation fun
c
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Ca
r
pente
r
f
r
e
e_scq is defi
n
ed 2 times quite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n C
a
rpenter
F
i
x implic
a
tions (fallout
f
rom clone_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
r
p
enter
Major memory s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
--debu
g
means print the implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
p
e
nter
Add
--
n
o
-
implied to the help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save memory
.
Don't copy the st
a
t
e name so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add check_type
.
c
(
di
s
abled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
kr
e
f_put
(
) and kobjec
t
_pu
t
() are
b
asically like a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpent
e
r
Don't dere
f
eren
c
e freed m
e
mory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpente
r
Add all the all
o
cation functions to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
rpent
e
r
Generate a lis
t
of function
s
that allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Upd
a
te the gen_
f
rees_lis
t
.
sh and
t
h
e generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carp
e
nter
Save funct
i
o
n
lists in
smatch_dat
a
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
t
e
r
n
ew (
d
isab
l
ed) script: check_
l
eaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpent
e
r
implied: add get_
i
mp
l
ications() f
o
r
s
cri
p
ts to
use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
Add comment
.
get_value returns UNDEFINED
o
n error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n
C
arpenter
function_
h
ook
s
:
b
ump the number of entries i
n
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
ar
p
e
n
ter
new: add_funct
i
on_assign_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carp
e
nter
C
l
e
a
n up
t
he conditional hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
a
rpenter
new api: ad
d
_conditional_hook(), se
t
_cond_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpen
t
er
f
u
n
c
t
ion_hooks: pass th
e
fu
n
ction name as w
e
ll
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
do
n
't try return
b
l
o
ck
t
hings in
g
et_variable
_
fr
o
m_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpenter
Add a list o
f
nore
t
urn
type
functions that n
u
llify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpen
t
er
M
erge
branch
'dev
e
l'
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpenter
r
e
c
ompile the check_*
.
c files
if
t
h
e
sm
a
tch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
ch
e
ck
_
over
f
low: tes
t
co
p
y_to
/
fro
m
_user a
s
well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
check_overflow:
don't multiply the si
z
e of
s
t
r
ings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
r
p
enter
assumed_nonnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
Add script to generate the frees li
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
rena
m
e register_frees
_
argument to che
c
k_frees_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix order
of process
i
ng of com
m
as
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next