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: ignore netdev_for_each_lower_dev()
2015-05-20
Dan Carpenter
un
r
e
ach
a
ble:
i
gnore net
d
ev_for
_
each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
C
a
rpenter
fl
o
w: cle
a
nup prev_expressi
o
n_is_ge
t
ting_add
r
ess()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow:
"
&foo->bar"
is
not a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arpent
e
r
smatch_address: sepa
r
ate th
i
ngs out into
.
bss
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpe
n
ter
*new* check_test_bit: check for te
s
t_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Carpenter
ty
p
e
: improve get_binop_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n
Carpen
t
er
flow: add a
ne
w
expr->parent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
ixup_kernel:
ha
r
d
c
o
d
e __sp
i
_syn
c
()
r
e
turns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
x
up_k
e
rnel: kmal
l
oc
(
) can
al
l
ocate m
o
r
e data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_locking
.
c: Fix ann
o
ying
invi
s
ible
read_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpe
n
t
er
smat
c
h
_
address: sort pointers into different rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Car
p
enter
extra: r
e
move
s
om
e
unused functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h: add
t
he compa
r
ison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
D
an
C
arpenter
type
_
to_str: fi
x
a crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h: add
e
state_
g
et_
s
i
n
gle_valu
e
() dec
l
arati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an Carpenter
i
gnore_side_effects: g
e
t_ch
i
ld_rcu() d
o
u
b
le eva
l
uate
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpent
e
r
implied: use comparison
i
nformatio
n
f
or implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
sm
a
tch
.
h:
m
o
v
e stree
_
stack decla
r
ation from s
m
atch_
s
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Car
p
ent
e
r
r
o
senbe
r
g:
add _
_
builtin_me
m
set/memcpy(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpente
r
user_
d
ata2: h
a
ndl
e
retur
n
ed struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
comparison: upda
t
e a com
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
p
y:
update to reflect LIMIT/FILTER chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
u
n
wind:
add some null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
ty
p
e: inc
l
ud
e
smatc
h
_slis
t
.
h to prevent
a
s
eg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpent
e
r
e
x
tra: don't set states to
unknown a
t
t
h
e
beginn
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
ex
t
ra: don't set true false state
s
if t
h
e
y
are th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
functi
o
n_
h
ooks: add
a hack around in compare_db_r
e
tur
n
_
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpen
t
er
list:
a
dd
a co
m
m
e
nt about reg
i
ster_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpe
n
te
r
p
a
r
am
_
limit: hand
l
e struct
m
e
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
states
:
white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpen
t
er
conditions: ig
n
ore
known/
i
m
plied condi
t
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
str
i
n
gs: r
e
cord
string assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
struct
_
assign
m
e
nt: save a lot
m
ore inf
o
rmation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpenter
param_limit/filter: fix
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jege
n
db: Avoid
dereferenci
n
g null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
c
omparison:
handle canon
i
cal for loops
w
ith var
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpe
n
ter
comparison: unsigned ca
n
n
o
t be le
s
s than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set __cur_stmt and __prev_
s
tmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpe
n
ter
comp
a
rison: merging equivale
n
t s
t
ates
is no
t
unde
f
ined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rpenter
compa
r
ison: fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
ter
func
t
ion_hooks: fix
u
p
db_compar
e
_c
a
llb
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
function_hooks
,
debug: pri
n
t imp
o
ssi
b
l
e
r
e
tur
n
s i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
helper
:
don't strip casting in get_
a
rray_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
l
i
n
ks: expo
r
t
merge_link_stat
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpent
e
r
helper:
m
ake e
x
pr_to_str() print forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carp
e
nter
type
:
make type_to_str() re
t
urn a sname()
buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
p
e
nter
modificati
o
n
_
hooks
:
set a varia
b
le
a
s modified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
user_data2:
tag
it if a f
u
nc
t
ion sets para
m
eters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
stack: cleanu
p
a function pr
o
to
t
ype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
de
r
ef_check
:
igno
r
e ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Ca
r
pent
e
r
ty
p
e: make
s
val_type_max()
d
e
f
ault to
"long long
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
e
n
ter
type: don't
retur
n
SYM_NOD
E
typ
e
s from
g
et
_
r
e
al_base_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
s
i
d
e_effects: the iterate_all_kin
d
s
(
) macro
h
as side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachab
l
e: don't comp
l
a
in
a
bout i
t
erate_all
_
kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
Carpenter
flow: fix "
f
oo += !bar;" as
s
ignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
C
a
rpen
t
er
l
i
b: handle -funsi
g
ned-ch
a
r option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
Ca
r
p
e
nter
kernel
.
ignor
e
_side_effect
s
: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpente
r
i
ndentin
g
:
a
llow "break; c
a
s
e XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
C
arpente
r
user_data2: mark ssc
a
nf() output as user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
ma
t
h, rl: f
i
x h
a
n
d
ing division i
n
volving nega
t
ive
numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix sva
l
_
binop_over
f
l
o
w
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
pre
c
edence: complain abo
u
t
"foo <
<
bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpente
r
flow:
han
d
l
e
st
r
u
c
t initializa
t
io
n
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
p
e
nter
est
a
te: add a
N
ULL check in estates_equiv
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpenter
p
a
r
am_use
d
: store whe
n
a parameter is used so we
d
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
e
xtra: ignore more _
_
in_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Ca
r
penter
comparison: fix a crashing
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
type:
a
d
d an
e
xpr_signed() function that
m
a
tches expr_
u
nsi
g
ned(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
a
rp
e
nter
smdb
.
py:
a
dd
f
unctions to show functions
implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
extra: handle temporary shor
t
h
a
n
d po
i
nte
r
s
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n C
a
rpenter
dereferences
_
par
a
m: loo
k
for pointers used as an
a
rray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
check_indenting: warn ab
o
ut
m
is
s
ing curly b
r
aces
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
param_cleared: add a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
val
i
dation
:
corre
c
t
some
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aar
o
Koskinen
b
uild: allow
u
se of PKG_
C
O
N
FIG t
o
overr
i
de p
k
g-co
n
f
i
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
d
b
:
build in
d
exes
f
aster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
sl
i
s
t:
fix compile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carp
e
nter
k
e
r
nel_printf: silence some false positives
usin
g
sma
t
ch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
st
r
ings: reco
r
d wh
i
ch strings are b
e
i
n
g used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_da
t
a2: tu
r
n on skb->data tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpent
e
r
db: rename FILTER_VALUE, LIMIT
E
D_VALUE, a
n
d ADDED_V
A
L
U
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_printf:
s
il
e
n
c
e some "s
t
ruct
sockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpen
t
er
t
ype: add u
n
ions to
t
ype_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
t
ype_v
a
lue: spe
e
d
up loa
d
ing the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
an Carpenter
*new* re
t
ur
n
_cast: c
o
mplain about return -
E
IN
V
AL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
f
ormat_string: delet
e
this because check_k
e
r
nel_
p
rint
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpen
t
er
function
_
hooks: add some deb
u
g o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nt
e
r
extr
a
:
cleanup db_param_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Ca
r
penter
e
xtra: separate P
A
RA
M
_LIMIT and PA
R
AM_
F
ILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
func
t
ion_
h
ooks: don
'
t
t
a
k
e a shortcut
for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
h
e
lper: introduce
a
lloc_stat
e
_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ma
t
h: handl
e
"if (likely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
te
r
math: fix/cleanup do_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capped: don't record single va
l
u
e
s as capped
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db:
e
xpor
t
g
e
t
_
static_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
user_dat
a
2: wrong parameter
t
agged
a
s user data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
rosenberg: de
l
et
e
s
ome code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
en
t
e
r
r
o
senberg: strip away some cas
t
ing (eli
m
inates
a
fa
l
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
rosenberg: d
o
n't save un
n
eeded sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next