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
Make smatch work again.
2010-01-20
Dan Carpenter
Make smatch work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
e
nt
e
r
Merge git://git
.
kernel
.
o
r
g/pub/scm/devel/sparse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move
the chec
k
s o
u
t
o
f smatch
.
c into c
h
e
c
k_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
s
i
len
c
e some
s
pars
e
warnings: () => (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
introduce:
t
ype_
m
in(
)
and type_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine
W
toA: fix crash
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
new file: sm
a
tch_scripts
/
gen_dma_
f
uncs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
s
ho
w
_ifs
.
s
h
: A
d
d th
e
-C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
h
eck_memory: e
l
i
minate some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
g
e
t_va
l
ue(): the return value wa
s
getting
c
ut of
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_s
i
gne
d
: clarify
e
rror messag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
wine_fileha
n
dles:
i
f the file handle gets r
e
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
He
l
p kchec
k
e
r
a
n
d win
e
_
c
h
ecker
.
sh fi
n
d
t
he
s
match binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get
_
v
a
riable_from_expr():
fix array
di
s
play
(
even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
del
e
te_state(): fi
x
a bu
g
calling delet
e
state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
get_
v
ariabl
e
_fro
m
_exp
r
(): use [
]
fo
r
arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
fix "make install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
Carpent
e
r
fix bug in printing file
n
ames
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
get_ar
r
ay_name
(
)
:
re
t
ur
n
t
h
e
str
i
pped val
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
a
rpenter
wine: pp
_
interna
l
_
e
r
ror
(
) doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
unused
r
eturn: warn
i
ng:
=
>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan
Car
p
enter
p
recede
n
ce: make test stric
t
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
__USE_ISOC9
9
: si
l
enc
e
a
gcc warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
check
_
dev_que
u
e_xmit:
m
a
k
e va
l
id_use() stati
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an
C
arpenter
ch
e
ck_signed: change so
m
e
error: messages to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
a
r
pen
t
er
check_signed: fix
and tu
r
n
o
n
by de
f
ault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_
t
ype(): fi
x
ca
s
t handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
e
r
get_valu
e
(): add initial suppo
r
t for
h
an
d
ling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
Carpent
e
r
whitespace: "switch(
"
=> "switch
("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
an C
a
rpenter
get_type
(
): don'
t
ign
o
re c
a
sts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pen
t
er
el
i
minate all the "x can't fit
i
n
to 0" false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
D
an
C
ar
p
ent
e
r
f
ix ge
t
t
ing_a
d
d
r
es
s
() functions v
s
pare
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpen
t
er
add
check
_
dev_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
rpenter
add -
-
rar
e
option for ra
r
e bu
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
intr
o
d
u
ce: add_modifica
t
ion_
h
ook_ex
p
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanup: m
o
ve pool_in_pools() and
is_check
e
d(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied
cleanup: rename: get_
e
q_neq() => s
e
p
a
r
ate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
i
m
plied cleanup:
separ
a
te do_comp
a
re int
o
i
ts own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
e
n
ter
imp
l
i
e
d cleanup: mov
e
get
_
implications
(
) lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpenter
implied clea
n
u
p
:
1
=> LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
C
arpenter
impl
i
e
d clea
n
up: cl
e
an handle_comparison(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mpli
e
d
c
leanup: rename state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
c
leanup:
move check for !is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Ca
r
penter
implied cleanu
p
: rename left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpen
t
e
r
implied cleanu
p
: renam
e
som
e
s
m_st
a
tes
:
state
=>
sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied cleanup: move so
m
e functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
C
arpenter
implied cleanup: comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rp
e
n
ter
i
mplied clea
n
u
p
: cr
e
ate print_
o
nce()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied clea
n
up: g
e
t rid
o
f
some curly braces
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanup: mov
e
variable decl
a
r
at
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpenter
Add valid
a
tion/sm_array
_
o
v
erflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carp
e
nter
cleanu
p
re
m
ov
e
false_onl
y
_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
Fix bug in handling
for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan
C
a
r
p
e
nter
foo(
&
ba
r
) means bar
is m
o
dified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
check_memory: a
d
d_modification_ho
o
k isf
r
ee => unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpen
t
er
mov
e
mo
d
ificat
i
on hook to
t
he front of the h
o
ok list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
rpe
n
t
er
clean up:
move everything to get_d
i
nfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpente
r
introduce: get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overflow: handle addresses diffe
r
ently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
s
match_extra:
clean up
.
state can never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpen
t
er
check_
o
verflow
:
ignore the last member of structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
smatch_e
x
tra: I don't like empty range
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
ad
d
s
match_scripts/ge
n
_array_boun
d
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
s
match_data/kernel
.
array_boun
d
s
.
r
e
move
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
check
_
over
f
low:
a
n an "error:
" pr
e
f
i
x
to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Ca
r
pen
t
er
smatch
_
s
cripts/
s
ho
w
_u
n
reachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new scri
p
t: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce getting_address()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
upd
a
te sma
t
ch_scripts/ because of --info for
m
a
t
c
han
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
penter
c
h
eck
o
ffset
a
ft
e
r
u
se: ign
o
re foo =
&
array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_o
v
erflow: move
some more stuff under the --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
clean up
o
utpu
t
:
w
arn
i
ng:
=
>
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
mod
i
fi
c
ation_hook:
-
- and ++ ar
e
modi
f
ication
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan C
a
rpenter
I
t
makes sense to c
h
eck an array offset
i
f it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n
Carpen
t
e
r
c
h
e
c
k
_o
v
erf
l
ow: separate the tw
o
typ
e
s
of
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
arpe
n
t
er
Fix precedence/cr
a
shing bug
chec
k
_overf
l
ow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
enter
check_overflow: check
for limiting offset aft
e
r using
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
introduce alloc_sta
t
e_nu
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
p
enter
cleanup
:
rename
a
lloc_sta
t
e()
=
> alloc_
s
m_
s
t
ate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
an C
a
rpenter
introduce get_fuzzy_m
a
x()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
n
t
er
call_
t
r
ee
.
pl: make it
a
n in
t
eractive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
ar
p
enter
create
get_impli
e
d_range_l
i
st
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_inf
o
: fix format
t
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
cal
l
tree: initia
l
up
l
oa
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Da
n
Car
p
enter
dma on stack: move data t
o
smatch
_
da
t
a/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Ca
r
p
enter
t
race_params
.
pl: rewr
o
te so it's faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
a
d
d --p
a
ram-mapper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an C
a
rpent
e
r
cleanup
up option parsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
add opt
i
on: --info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how op
t
i
on
s
ar
e
par
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
pen
t
er
c
l
eanup: debu
g
_i
m
plied_
s
tates => option
_
debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup
:
d
e
bug_states => option_debu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_mapper: add
-
-param-mapper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
dma on stack: eliminat
e
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
t
e
r
Add dma functions tha
t
map to usb_c
o
ntrol_msg
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
add
smatch_scripts/trace
_
params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
arpenter
param
_
ma
p
p
e
r
:
initial com
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
dma_on_
s
t
a
ck: &foo means it's an error
t
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n
Carpen
t
er
updat
e
smatch_data to 2
.
6
.
33-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpen
t
er
check_overflow: fix crashing bug (divide
b
y zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next