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
debug: introduce __smatch_debug_check() to debug a specific check
2014-05-16
D
a
n Carpente
r
debug:
i
ntroduce __smatch_
d
ebu
g
_
c
heck() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new
*
check_no_if_bl
o
ck
:
sometimes
t
he if blo
c
k
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Ca
r
penter
uncons
t
ant_macros:
a
dd VM_SOF
T
DI
R
TY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carpenter
type: introd
u
ce is_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
u
s
er_data: introduce implie
d
_use
r
_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: refactor match_c
o
py_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
Car
p
en
t
e
r
rosenberg: check
m
a
ny more funct
i
ons i
n
st
e
ad of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
r
o
s
enberg: add me
m
z
ero() to clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
p
a
ram_cleared: memze
r
o() clears the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carp
e
n
ter
d
b
: sp
l
it all boolean functions into
one and zero str
e
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
clear_buffer:
r
emo
v
e
this cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleared: this
s
h
o
uldn't dep
e
n
d on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
locking: update va
l
idation to t
h
e ne
w
error fo
r
ma
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
loc
k
ing: update error
form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_
a
ssignment:
fix
h
ow smatch handles f
o
o = NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: p
r
epare to ch
e
ck pointer
s
t
o
s
t
ructs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
r
ose
n
berg:
c
heck f
o
r holes at the
e
nd of
th
e
struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
r
p
enter
rosenberg: this check is kernel specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
unreachable: turn
i
t on by defaul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
helper:
i
ntroduce get_p
r
ev_statement() (fix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreachable: add
w
a
tch
d
og(
)
to
kernel
.
no_return_
f
unc
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachabl
e
: don't
p
rint a w
a
r
ning if we jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Ca
r
penter
u
n
r
e
a
cha
b
le
:
i
g
no
r
e un
r
ea
c
hable code right aft
e
r an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: turn off backward labeled warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arpenter
unreachable:
a
dd so
m
e more macro
s
to
the
.
igno
r
e and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
flow: merge co
n
tinues
before th
e
iter
a
tor
_
pos
t
_stateme
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: handle post op return s
t
atements like: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
u
nreac
h
able
:
i
gnore some conditi
o
n
ally unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reachable: ignore commo
n
f
a
l
s
e
p
o
sitives caused
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
ble: ignore un
r
eachable code after BUG
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
t
er
un
r
e
ac
h
able: move it out
o
f
sma
t
ch_flow
.
c and s
m
atch_
s
tates
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpente
r
avl: fix fai
l
i
ng "
s
tree->stree_id ==
0
" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n
Carp
e
n
ter
overflow: don't warn if
w
e overfl
o
w u
s
e buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
s
m
a
tch_type: n
e
ver refer to ->bit_size directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
D
an Carpen
t
er
db: fu
n
ction
with too many pointers
to it
cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Car
p
enter
db: ren
a
me d
b
_callback to caller
_
info_ca
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propagate: delete this te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Car
p
enter
stored_
c
ond
i
tio
n
s:
d
o
n't stor
e
c
o
nstant
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan
Carpenter
Merge g
i
t://gi
t
.
kernel
.
org/pub/scm/deve
l
/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
s
tates:
a
dd another read_only c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
nt
e
r
miss
i
ng_break: use fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carp
e
n
ter
a
v
l
:
a
dd
a
co
u
nter
f
o
r
w
hen
y
ou allocate or free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
slist, r
e
t
urns: introduce merge_stree_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
unconstant_macros: allow (foo &
_P
A
GE_NX) even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
bu
f
_size
:
allow s
t
r
ncmp("fo
o
", bar
,
1
0
0) w
h
ere 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
param_set:
o
nly record parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpen
t
er
extra: ignor
e
struct to struct assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an C
a
rpenter
impl
i
ed: add the s
t
ree_id to debug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clea
r
_buffer: delete an unu
s
ed funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
e
r
c
lear_bu
f
fe
r
:
d
e
l
ete obsolete code
t
o handle
s
truct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
comparison: don't record t
h
at actu
a
l struc
t
s
a
re e
q
u
i
va
l
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assig
n
e
d_expr: don't sto
r
e fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
debug: change
__smatch
_
cur_slist
(
) to
_
_smatch_cur_stree
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Ca
r
p
e
nter
s
tates
:
don't __
u
nnullify_pat
h
unnec
e
s
s
aril
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carp
e
nt
e
r
implied: smatch wa
s
say
i
ng so
m
ethings were implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpen
t
er
st
r
ee: fix
a bunc
h
of
s
tr
e
e leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpe
n
ter
sta
t
es: merge nullify_all_states(
)
i
n
to save
_
all_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
enter
st
r
ee: make strees copy on write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpent
e
r
stree: m
o
ve stree_
i
d into the avl root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
slist: rename slist
_
id to stree_
i
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpe
n
ter
avl: introduce FOR_EA
C
H_MY_SM() a
n
d callers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
kun
m
ap: update
v
alidation f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
flow:
f
ixes for ha
i
ry functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
rp
e
n
t
e
r
extra: fi
x
unkn
o
wn += assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
rpenter
implied
:
add a newl
i
ne to
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an C
a
rpenter
stored_
c
ondit
i
ons: store compa
r
isons and not logicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
db: fi
x
nested cal
l
h
a
nd
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
kunma
p
: ti
d
y up
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
cond
i
tions: fix some leak
s
in
h
andle_select()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
sli
s
t: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
stree fallout:
impl
i
cati
o
ns
n
ot
w
orking 1
0
0%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
sta
t
es: re
n
ame
fake_cur_
s
list func
t
ions to
f
ake_cur_s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename __print_cur_slist() to __
p
rint_cur
_
stre
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
avl: rename avl_free() to free_stre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
a
v
l: r
e
name avl_count()
t
o
s
tree_
c
ount()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Ca
r
penter
avl: use struct st
r
ee inste
a
d of making it
a
t
y
pedef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
t
er
avl: rename struct AVL
t
o
struct stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
avl: rename avl_clone to clone_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
s
list: de
l
ete slist com
p
a
t lay
e
r
and r
e
maining un
u
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: eliminate
r
emaining references to __ge
t
_cu
r
_sli
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
states:
remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpen
t
er
slist:
r
em
o
v
e
a bunch
o
f unused
s
l
i
st
functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
core: change (struct s
m
_
state)->pool
to be a stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpent
e
r
s
t
ar
t
_states:
u
pdate get
_
start_st
a
t
e
s() to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
returns: update all_
r
e
turn_
s
ta
t
es_hook(
)
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
type
_
va
l
: up
d
ate
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
st
a
rt_states: partial update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
m
a
tch_returns:
p
artial
u
p
date to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
p
ar
a
m_set: u
p
date to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
param_limit: update to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_filter: up
d
ate
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carp
e
n
ter
p
aram_
c
leared: upate to s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
e
n
t
er
m
o
di
f
ication_hooks
:
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
im
p
lied: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
rpenter
flow: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpen
t
er
extra: updat
e
almost
everything
h
ere to use stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
conditions: up
d
ate
t
o
use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
comp
a
r
i
son: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
user_
d
ata: update to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
t
er
u
nwind: update to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next