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
slist: introduce merge_fake_stree()
2014-05-22
Dan Carpenter
slist: intr
o
duce merge_fake_st
r
ee()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpent
e
r
un
r
eachabl
e
:
s
i
l
e
n
c
e
"not
a
ctual
l
y initialized
"
false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
r
o
senberg: fix some false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carp
e
nte
r
debu
g
:
i
ntrod
u
ce __s
m
atch_debug_check
(
) to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new*
c
h
eck
_
n
o_if_b
l
oc
k
: s
o
metimes the if bloc
k
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
D
a
n C
a
rpenter
unco
n
stant_macros: add
VM_
S
OF
T
DIRT
Y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
n
t
e
r
type: introduce
is_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
user
_
d
a
ta:
i
ntroduce impli
e
d_user_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpenter
rosenberg
:
refacto
r
match_copy_to_use
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: chec
k
many
m
o
r
e functions
inste
a
d of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpente
r
rosenberg: add memzero() t
o
clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_c
l
eare
d
: m
e
mzero
(
)
clea
r
s the p
a
ramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpent
e
r
db: s
p
lit al
l
boolean
f
u
n
ctions into one and zero stre
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
Carpent
e
r
clea
r
_buffer: remo
v
e th
i
s co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpente
r
p
ara
m
_cleared
:
thi
s
shouldn't d
e
pe
n
d on
--inf
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
locking:
update validation to the new error for
m
a
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
lo
c
k
i
n
g: u
p
d
a
te er
r
or
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nt
e
r
s
t
ruct_as
s
ignm
e
nt: fix how smatch handles
f
oo
=
N
ULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
osenberg
:
prepare t
o
check pointer
s
to struc
t
s
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arp
e
nter
rosen
b
erg: check f
o
r holes at th
e
end of
t
h
e
struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
ro
s
enbe
r
g: this check is kernel specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpen
t
er
unrea
c
habl
e
: t
u
rn it on by
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ente
r
hel
p
er: introduce get_pre
v
_statement() (fix
t
he build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpent
e
r
unre
a
chab
l
e
:
add watchdog() to ke
r
ne
l
.
no_
r
e
t
urn_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
e
r
unreachabl
e
: don't print
a
warning if we jump
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
u
n
reachable: ignore unreachable code
ri
g
h
t af
t
er a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
u
n
reac
h
able: turn off ba
c
kward labeled war
n
ing
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
r
penter
unreach
a
ble:
a
dd s
o
me more
m
a
c
ros to the
.
ign
o
r
e
an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Car
p
enter
fl
o
w: merge c
o
n
t
inues
b
efore th
e
ite
r
ator_post_s
t
atemen
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
flow
:
handle post op
return state
m
en
t
s
like: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachabl
e
: ignor
e
s
o
me co
n
d
itionally unreachabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpenter
u
n
reac
h
able: ignore
c
ommon false positives caused
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
eachable:
i
g
n
ore u
n
r
eac
h
able code a
f
ter BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
unreachable:
move i
t
out of smatch
_
flow
.
c
and sma
t
ch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carp
e
nter
avl: fix failing "stree->stree_id == 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan C
a
rpenter
ov
e
rflow: don't warn if we overflo
w
u
se buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smatch_t
y
p
e: never r
e
fer to ->bit_si
z
e dire
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan
C
arp
e
nter
db: function
w
i
th t
o
o many po
i
n
ters to it caus
e
s
l
ow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
D
an Carpen
t
er
d
b
: renam
e
db_callbac
k
to
caller_in
f
o
_
c
all
b
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propag
a
te:
d
elete th
i
s test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Ca
r
p
e
nte
r
sto
r
e
d
_c
o
n
d
itions: don
'
t store constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
an Carpenter
Merge
g
i
t
://git
.
kerne
l
.
or
g
/p
u
b/sc
m
/
d
evel/sparse/chr
i
sl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
state
s
: ad
d
another read_only check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
mi
s
sing_b
r
eak:
use
fewer sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
avl:
a
d
d
a
c
ount
e
r
for when
y
o
u a
l
locate or free
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arp
e
n
t
er
sli
s
t, returns: int
r
oduce merge_
s
tr
e
e_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
unconsta
n
t_mac
r
o
s: allo
w
(foo
& _P
A
GE_NX) e
v
en wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpenter
buf_size
:
allow st
r
ncmp(
"
foo", ba
r
, 100) wh
e
re 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
param_set: only
r
ecord p
a
r
amete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Car
p
e
n
ter
extra: i
g
nore struc
t
to
s
truct
a
ss
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Car
p
enter
imp
l
ied:
a
dd
t
he
st
r
ee_id to debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
c
lear_buffer: delet
e
an unused f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpenter
cl
e
a
r
_buf
f
er:
d
elete obsolete co
d
e to ha
n
d
l
e struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
r
pen
t
er
comparison: don't
r
ecord that actua
l
structs are equivale
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
a
s
si
g
ned_expr: don't store f
a
ke assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
ent
e
r
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
Carpenter
st
a
tes: don't
__unnulli
f
y_path u
n
necessarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
enter
implied
:
smatch was
s
ayin
g
somethings we
r
e
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Da
n
Carpenter
st
r
ee: fix a bunc
h
of stree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Da
n
Carpenter
states: m
e
rge nu
l
lify
_
all_states() i
n
to save_all_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
stre
e
: make strees copy
o
n
w
rite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
ter
stree: m
o
ve stree_id into the a
v
l root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
slist:
renam
e
slis
t
_id to s
t
ree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rp
e
n
t
er
avl
:
i
n
tr
o
duce FOR_EACH_MY_SM() and callers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n C
a
rp
e
nte
r
kun
m
ap: updat
e
validation file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
f
low: fixes for hairy fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
extra: fix
u
nkno
w
n +=
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implied: add a
n
ewline to outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
st
o
red
_
conditions: store comp
a
r
isons and not
l
ogic
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
d
b
: fix n
e
s
ted
c
all handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpente
r
kunm
a
p: t
i
dy up error
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
e
n
te
r
co
n
diti
o
ns: fix some
l
e
a
ks in handle_sele
c
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
r
penter
slis
t
: fi
x
a l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
rpenter
stree fallout
:
implication
s
not wo
r
k
i
n
g 10
0
%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: rename fake
_
cur_slist functions to fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpen
t
er
states: rename __
p
rint_c
u
r_slist
(
) to __
p
r
i
nt
_
cur
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: ren
a
me avl_free() to free_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl_cou
n
t
(
) to str
e
e_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
avl:
u
se struct stree
i
n
s
tead o
f
makin
g
it a
typed
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
avl: rename struct
AVL to struct
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
te
r
avl: ren
a
me a
v
l
_clone to clone_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
s
l
ist: dele
t
e slist compat layer and remaining unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
sta
t
e
s: eliminate
r
em
a
ining references t
o
__get_cur
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Car
p
enter
sta
t
e
s: remove some de
a
d co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
ent
e
r
sli
s
t: remove a bunch of unused s
l
is
t
fun
c
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpe
n
ter
c
ore:
c
h
ang
e
(
s
truct sm_state)-
>
pool to be a str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
start_states: update ge
t
_start_states() to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
retu
r
ns: u
p
date a
l
l
_
return_s
t
ates_hook() to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Ca
r
penter
type_val: updat
e
to
s
tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
star
t
_
s
ta
t
es:
pa
r
tial
update
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
m
a
tch_returns: pa
r
t
ial u
p
date to
s
tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
p
aram_set:
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
param_l
i
mit
:
update t
o
st
r
ee
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
param_filter: up
d
ate t
o
s
tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
param_
c
le
a
red: upate
to
s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
p
enter
m
o
di
f
ication_hooks:
updat
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
C
arpenter
implied
:
up
d
ate to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpente
r
f
l
ow:
u
pdat
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
ex
t
r
a
:
u
pda
t
e almost everyt
h
ing
here to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
con
d
i
tion
s
: upd
a
t
e to
use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next