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
unreachable code: work around gcc work arounds
2010-02-11
Dan Carpen
t
e
r
unreachable code: wor
k
around gcc
w
ork
arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print an e
r
ror mess
a
ge
a
bout unreache
d
initi
a
lizers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Da
n
C
a
rpenter
check_stac
k
: tweak t
h
e
output
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Ch
r
istophe
r
Li
Pointer
d
on't in
h
erent the alignm
e
n
t
from base type
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
Carpen
t
er
New
c
heck_s
t
ac
k
.
c: war
n
if ke
r
nel code puts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Ad
d
r
egister_pr
o
ject() to check_li
s
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpen
t
er
update t
h
e
d
o
cume
n
tation
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memory:
only lo
a
d
k
erne
l
.
free
s
_
a
rgumen
t
w
h
en
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpenter
Create: s
m
atch_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if things ar
e
taking t
o
o long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n
Carpe
n
ter
add sm
a
tch_scripts/filter_
k
ern
e
l_deref_che
c
k
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan C
a
rpenter
check_dere
f
_ch
e
c
k: do
n
ot
complain i
n
lo
o
p pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan
Carpen
t
er
t
w
eak u
n
rea
c
hable
c
ode messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n Carpenter
ch
e
ck_signed: handl
e
signed 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
r
p
ent
e
r
check_sign
e
d
: don't
complain about unsigned
int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpe
n
te
r
n
ew func
t
i
o
n: type
_
u
nsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
D
an Carpenter
partly repl
a
ce check
_
null_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
modification hooks: only allow one hook per vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Ca
r
penter
introduce
:
set_default_modifi
c
ation_ho
o
k(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpe
n
ter
cleanup:
g
e
t
rid of smatc
h
_contain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
C
arp
e
nter
ch
e
c
k
_nul
l
_deref: only the
k
e
r
nel care
s
about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
F
ix
OpenBS
D
compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
an Car
p
e
nt
e
r
chec
k
_
s
i
gned
:
clean ups
.
a
d
d
c
h
eck for imp
o
ssibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
make everything
u
se sm
a
tch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpen
t
er
add
smatch_fun
c
tion_
h
ashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
Move everything
t
o
t
he new cwchash h
a
sh tab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
en
t
er
add cwchas
h
hash tab
l
e
implementati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Ro
b
e
rt Bed
i
chek
Novafora license grant us
i
n
g
M
I
T li
c
e
n
s
e
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
funct
i
on_
i
mplies_hook: f
i
x b
u
g when a function h
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
check_signed: warn
on assigni
n
g nega
t
ive to
u
nsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
r
penter
Make sm
a
t
c
h
work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
enter
Merge git://
g
it
.
kernel
.
or
g
/p
u
b/s
c
m/devel/spars
e
/ch
r
i
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpente
r
Move the c
h
ecks out of smatch
.
c
into chec
k
_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
silence some sparse war
n
ings: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
r
pe
n
ter
introduce: t
y
p
e_min() and type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
win
e
WtoA: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
new fil
e
: smatch_scripts/g
e
n_dma_fu
n
cs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
ar
p
ent
e
r
show_ifs
.
s
h
: A
d
d
t
he
-C optio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
ente
r
check
_
memory: e
l
imi
n
ate some false posit
i
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
C
ar
p
enter
get_va
l
ue
(
): the re
t
u
rn value w
a
s
getting cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
p
ent
e
r
check_signed: cl
a
rify err
o
r message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
w
i
ne_file
h
andles: if the file handle gets r
e
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
Help kchecker and wi
n
e_c
h
e
cker
.
sh find the smatc
h
b
i
na
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
g
et_variable_
f
rom_expr(): fix ar
r
ay di
s
play (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
C
arpenter
delete_stat
e
(
)
: fix a
b
ug
c
alling dele
t
e state inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
get_
v
ariable_from_expr(): use [] for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpenter
fix "make
in
s
tall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nte
r
fix bug in printing file nam
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get_array_name(
)
:
return the st
r
ipped
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carp
e
nter
wine: pp_i
n
ternal
_
error()
d
oesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
penter
unu
s
e
d return:
warning: =>
warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
r
penter
precedence:
make test
stricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
rpenter
__U
S
E_ISO
C
99: silence a gcc warnin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpe
n
ter
check_dev_queu
e
_xmit:
make val
i
d
_use()
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
check_signed: change some error: messages to wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
check_sig
n
e
d: fix and turn on by default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_
t
y
p
e(
)
:
fix cas
t
h
andl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
p
en
t
er
g
e
t_value()
:
add initial su
p
por
t
for handli
n
g c
a
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
er
white
s
pace: "switch(
"
=> "swit
c
h
("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_type(): don
'
t
i
gnore
casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
elimi
n
ate all the
"
x can't fit in
t
o 0" fa
l
se positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpen
t
er
fix gett
i
ng_address()
functio
n
s vs
p
arens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add check_dev_queue_
x
mit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add --rare opti
o
n
fo
r
rare b
u
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
rpente
r
introduce:
add_
m
odification_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
impl
i
ed cleanup:
m
ove po
o
l_i
n
_pool
s
() and
is_ch
e
cked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cle
a
nup: re
n
a
m
e: get_eq_neq() => sep
a
rate_and_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied cleanup: separate d
o
_compa
r
e
i
nto its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpente
r
impli
e
d cleanup: m
o
ve get_
i
mplications()
lower
in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
i
m
p
l
ied
c
leanup
:
1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
i
mplie
d
cle
a
nup: c
l
e
a
n
handle_com
p
arison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
lied cl
e
anup: rename sta
t
e => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpenter
implied
c
leanup: m
o
ve check
f
or !is_me
r
ge
d
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanup: rename left => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied clea
n
up: re
n
ame som
e
sm_states:
state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpente
r
implied cleanup: move some funct
i
o
n
s around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
eanup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpent
e
r
implied cleanup: create pri
n
t_once()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Car
p
en
t
er
implied cleanup: g
e
t rid of som
e
curly brace
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
impl
i
ed cleanup:
move variabl
e
d
e
clarations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
Ad
d
val
i
dation/sm_array
_
overflo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
cleanup remo
v
e false_only_s
t
ack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpe
n
ter
F
i
x
bug
i
n h
a
n
dl
i
ng f
o
r
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Ca
r
pen
t
er
foo(&bar) means
b
a
r
is modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
c
h
eck_memory
:
add_modification_hook isfree => unfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan
C
arpenter
move
m
o
d
if
i
cation hook to the front o
f
the ho
o
k list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan
C
arpenter
clea
n
up: move ev
e
rything to get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
C
a
rpenter
i
n
troduce: get_
d
in
f
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
C
arpenter
check_ov
e
rflow:
h
andle addr
e
sses differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
smatc
h
_extra
:
cl
e
an up
.
state can ne
v
er be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpen
t
er
check_ov
e
rflow: ignore the last member of s
t
ru
c
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
ar
p
enter
smatch_extr
a
: I do
n
't
li
k
e emp
t
y
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Ca
r
pen
t
er
add
s
match_script
s
/
gen_arr
a
y_bounds
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
smat
c
h_dat
a
/kernel
.
array_boun
d
s
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
Carpe
n
ter
ch
e
ck_overflow: an an
"e
r
r
or: " prefix to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
s
m
atch_scrip
t
s/show_unreachable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpe
n
ter
new scr
i
pt:
s
how_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Car
p
ente
r
intro
d
uce getti
n
g
_
address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
upda
t
e smat
c
h
_scripts/ because of --info format changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpent
e
r
check
o
f
fse
t
aft
e
r use:
i
gn
o
r
e
foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next