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
Set things in smatch extra instead of smatch implied.
2009-04-23
Da
n
Car
p
e
nter
Set
t
hing
s
i
n smatch ext
r
a
i
nstead of smatch implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Car
p
enter
H
a
ndle switc
h
state
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpe
n
t
er
Rever
t
"Don
'
t the implications for the stat
e
dete
r
mining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
a
n Carpenter
Revert
"Here is a bug
in h
a
ndl
i
ng compo
u
nd conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if((foo =
d
own_trylock()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
arpenter
add_is
_
merged
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan
Carpenter
Dere
f
erencing a var
i
able doesn't make it
u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan C
a
r
p
ent
e
r
Redo checking for
o
u
t
of ran
g
e args
t
o
E
R
R_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n Carpenter
H
ere is
a
bu
g
in
h
andling compound
co
n
d
itio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Carpenter
Han
d
l
e
s
traight
forwa
r
d compari
s
ons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Store the implic
a
tions
f
or return_imp
l
ies_state() as
s
ignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpe
n
ter
Ad
d
:
return_implies_
s
tate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpe
n
ter
R
ename smatch_ex
t
ra_helper
.
c
to
s
ma
t
ch_range
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_cond_stat
e
s
(
)
f
unctio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpente
r
Small
cl
e
an
u
p
.
Allocating fil
t
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
V
erify that the
v
alue pa
s
s
e
d to ERR_PT
R
() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix compiler
i
nt<->p
t
r conversion war
n
ing
s
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Me
r
g
e
adja
c
ent r
a
ng
e
s
.
1-2,3-4 beco
m
es 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an C
a
rpenter
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix s
t
rnc
a
t() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
C
arpenter
Improve handling
o
f
for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through
loop
s
differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpenter
Fix
mer
g
ing r
a
nges
.
Completely broken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
t
e
r
T
ypo: <= in
s
tead o
f
>=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Reverse a
l
l the
r
an
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
o
n't
t
he
i
mplications for the state d
e
termining
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
match_comparison to handle l
e
s
s
than,
g
r
e
a
t
e
r
than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
C
hang
e
loc
k
in
g
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
Don't allocate
s
o many e
x
tra_undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
create alloc_ext
r
a_s
t
ate_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pe
n
ter
r
emove t
r
ue_comparison() an
d
do_c
o
mp
a
rison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
move (t
r
ue|false)
_
comparison_ran
g
e
() to smatch_e
x
t
ra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
ent
e
r
c
l
ear ->
m
y_
l
i
s
ts
f
o
r &ignor
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpent
e
r
Prin
t
more --
d
e
bug-implied informat
i
on
wh
e
n
--d
e
b
u
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
e
nter
Remov
e
d hard coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Fix
ra
n
ge comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
rem
o
ve unused funct
i
on:
ra
n
ge_list_intersecti
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pe
n
ter
Han
d
le
U
NDEFIN
E
D
r
a
n
ge a
n
d disp
l
ay
the n
a
m
e
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Fix s
t
a
t
e names for ra
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied
rang
e
s
.
Part #
3
.
Range Lis
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpenter
Update data
f
i
les for
2
.
6
.
30-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carpenter
s
ma
t
c
h
_
extra
.
save other
c
o
m
parisons besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpen
t
er
handle: if ((f
o
o = try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpent
e
r
renam
e
: expr_to
_
val()
-
> get_implied_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpent
e
r
F
ix ha
n
dling
o
f if (
I
S_ERR(foo
=
bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
r
p
ente
r
handle if conditiona
l
functions are ass
i
gned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
A
d
d
n
ew restricted known_condition_
t
ru
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename known_condition
_
true() to implied_condition_
t
rue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
A
dd ERR_
P
T
R() ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
arpenter
__module_put_a
n
d_ex
i
t
() doesn't
r
eturn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Ca
r
penter
S
e
parate the list of freed arguments from d
e
cr
e
mented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
a
r
pente
r
W
rite a script to
p
r
i
n
t functions
t
hat retu
r
n
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
Don't free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carp
e
nter
O
op
s
.
Co
m
mit these ess
e
ntial files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
Handle
k
no
w
n
c
onditions when they
are a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Add
C
ASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpent
e
r
Fix memory
leaks fo
u
nd
by
v
al
g
rind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpent
e
r
alloc_string
(
) -> alloc_
s
name()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Put some
validation s
c
r
i
pts in
the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rp
e
nt
e
r
Implied
r
a
n
ges
.
Part #2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
enter
Silence t
h
e mutually exclusive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
F
re
e
all da
t
a_info at
the end of a functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --no-data
option and w
a
rning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
r
p
ente
r
range fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carp
e
nter
cleanups fro
m
clone_sli
s
t()
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
p
enter
Impl
i
ed ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
a
rpenter
Add the allocation
funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
fre
e
_scq is defi
n
ed 2 times quite
d
iffere
n
t
l
y
.
I
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
Fix implicat
i
ons (fal
l
ou
t
from clone_slist
(
) c
h
an
g
es)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
Major memory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
-
-
debug means print the i
m
pli
c
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
A
d
d
--no-implied to
the help text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carpe
n
t
e
r
S
a
ve me
m
ory
.
Don'
t
copy the state name
s
o
m
uch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
enter
A
dd check_t
y
pe
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
ter
kref_
p
ut() an
d
k
object
_
put() are basically like a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Da
n
Ca
r
pen
t
e
r
D
o
n't dereference freed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpe
n
ter
Ad
d
all the
a
llo
c
ation fu
n
ctions to c
h
eck_leak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a list of functions that all
o
cate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Ca
r
pent
e
r
Upd
a
te the gen_frees_list
.
s
h and the gen
e
rated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save f
u
ncti
o
n lists in sm
a
tch_
d
ata/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan C
a
rpenter
new (disabled)
s
cript: check_lea
k
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
im
p
lied: add
ge
t
_imp
l
i
cations(
)
for
s
cripts
t
o use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
Add c
o
mment
.
get_
v
alue returns UNDEF
I
NED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
ente
r
funct
i
on_hooks:
bump the numb
e
r of en
t
ries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
new: add_function_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the conditional hoo
k
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Car
p
enter
n
e
w
a
pi
:
a
dd_conditional_h
o
ok(), set_
c
ond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpente
r
function_hoo
k
s: pa
s
s the functi
o
n name a
s
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
arpenter
don
'
t try re
t
urn bl
o
ck thi
n
gs
in get_varia
b
le_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
Add
a
li
s
t
o
f
n
oretur
n
type functions
that nul
l
ify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpen
t
e
r
M
erge branch
'
devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
r
eco
m
pil
e
the check_*
.
c fil
e
s
i
f
t
he
smatch
h
eaders
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
check_overflow: test copy_to/from_user
as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nt
e
r
ch
e
ck_overf
l
o
w: don't mu
l
t
i
ply the size of strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assu
m
ed
_
n
o
nnull crap
.
.
.
t
emp
f
ix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
A
d
d script to
g
e
nerate
the free
s
li
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
rename regis
t
er_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 orde
r
of pr
o
cessing of c
o
mmas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ge
t
r
i
d
o
f
FUNCTIO
N
_
C
ALL_A
F
TER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carpenter
c
h
ange order of condition processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next