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
extra: more limits on which variables are equivalent
2014-05-28
Dan Carpenter
extra: more lim
i
ts on w
h
ich variables are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Ca
r
penter
db: get return states from
f
unction pointe
r
s if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
an Carpenter
pr
o
p
a
g
a
te: remov
e
validatio
n
test because we r
e
moved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
arpen
t
er
slist: introduce merge_fake_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpenter
u
n
re
a
chable: silence "no
t
actually initialized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
rpent
e
r
r
o
s
e
n
berg: fix some
f
a
l
se positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
C
a
r
pen
t
er
debug: int
r
oduc
e
__smatch_debug_check() to d
e
b
ug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carpenter
*new* check_no_if_block: so
m
etimes the
i
f block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Da
n
Carpenter
uncon
s
tant_ma
c
ros: add VM_SOFTD
I
RTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpente
r
t
ype:
introdu
c
e
i
s_
s
tring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
r
penter
user_data: introd
u
ce im
p
lied_us
e
r_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
rosenberg: refa
c
tor match_cop
y
_to_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
Carpenter
rosenberg: check many m
o
re fu
n
ctions instead
of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
rose
n
berg: add me
m
zero()
t
o clear f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
D
an
Car
p
ente
r
par
a
m_cleared: memzero() clears the paramete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan C
a
rpente
r
db:
s
pl
i
t
a
ll 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
_
buffe
r
: remove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleare
d
: this sh
o
uld
n
't depend
o
n -
-
info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
l
ock
i
ng: update v
a
li
d
ation to the new error
f
orma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
locking:
u
pda
t
e error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assign
m
e
nt: fix
h
o
w
smatch handles
f
oo
=
N
UL
L
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
C
a
r
p
en
t
er
rosen
b
erg:
prepare
to check
poin
t
ers
to structs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
r
penter
r
osenb
e
r
g
: c
h
e
c
k for holes at the
e
nd of the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
rosenberg: t
h
is check is
k
e
rnel specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
e
r
unreachable: turn it on by d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
h
e
lper
:
introduce g
e
t_pr
e
v_stat
e
ment() (fix th
e
bui
l
d)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
un
r
e
achable: a
d
d
wat
c
hdog() to
kernel
.
no
_
r
e
turn_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
un
r
eachable: don't
p
r
int a
w
a
rning if we jump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
n
reachable: ign
o
r
e
unr
e
a
c
hab
l
e
code right
a
fter an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an
C
arpente
r
unrea
c
hable: turn of
f
backward labeled war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
enter
unre
a
chable: ad
d
som
e
mo
r
e macros t
o
the
.
ignore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
e
nter
fl
o
w: merge continues before the iterator_post_stat
e
ment
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
ar
p
ente
r
flow:
h
a
n
dle p
o
st op
return st
a
tements li
k
e: re
t
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
i
gnore so
m
e co
n
diti
o
nally un
r
eachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
a
rpenter
unreac
h
abl
e
: ig
n
ore c
o
m
m
on false po
s
itives caused
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpent
e
r
unreac
h
abl
e
: i
g
nore unr
e
a
c
h
able code after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
cha
b
le: move it out
o
f smat
c
h_flow
.
c and smat
c
h_stat
e
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n Carpenter
avl: fix f
a
iling "stree->
s
tree_id
=
= 0" ass
e
rt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan
Car
p
enter
o
v
e
r
flow: don't warn if
w
e overflow u
s
e
b
uffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
D
an Carpe
n
ter
s
match_type: nev
e
r r
e
fer t
o
->bit
_
s
i
ze directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan
C
a
rpenter
db:
function wi
t
h too many pointers to it cause s
l
ow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan
C
a
rpenter
d
b
: rena
m
e db_callback to caller_in
f
o_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propagate: delete this
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Da
n
Carpenter
st
o
red_conditions: don't s
t
o
r
e
constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Ca
r
penter
Merge git://git
.
kernel
.
org/pub/
s
cm/devel/sparse
/
chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
states: add
another read
_
only
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an
Carpente
r
missing_break: use
f
ewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
avl: add a counter for when you allocate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
s
list, returns: introd
u
ce
m
e
rge_str
e
e_no_p
o
ols()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
a
r
pent
e
r
unconst
a
n
t
_macros: a
l
low (foo & _PAGE
_
NX)
even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Ca
r
penter
b
u
f_size: allo
w
s
t
rncmp
(
"foo"
,
bar
,
1
0
0
) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
param_s
e
t: only reco
r
d parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n
C
arp
e
nter
e
xtra
:
ignore struc
t
t
o struct ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
implied: add
the
stree_
i
d to debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
rpenter
clear_
b
uffer: dele
t
e an unused
f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
clear_buffer: delete
o
bsolete code
t
o handle st
r
uct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
a
rpenter
c
om
p
arison
:
don't reco
r
d that
actual st
r
ucts a
r
e equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
a
ssig
n
ed_e
x
pr: d
o
n
't store fake ass
i
g
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
debug: chan
g
e __smatch_cur_slist() to _
_
smatch_
c
u
r
_
stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpent
e
r
states: d
o
n't __u
n
nu
l
lify_path unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
implied
:
smatch wa
s
saying somethings were implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
a
n
Car
p
e
n
ter
stree: f
i
x
a bu
n
ch of stree lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states: merge nulli
f
y
_
all
_
states() into save_all_s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
str
e
e
:
m
a
k
e strees copy on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
tree: move stree_id into the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
enter
slist: rename s
l
ist_id to stree_
i
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpe
n
t
er
avl: introduce FOR
_
EACH
_
MY_SM() a
n
d callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
ku
n
map:
update val
i
d
a
tion
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
f
l
o
w: fixes f
o
r
h
air
y
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Car
p
ente
r
extra: fix u
n
k
n
own += assign
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
implied: add a newline
t
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored_conditions: store c
o
mpariso
n
s and not logica
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
db: fix
n
est
e
d
call handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
k
unmap: tidy up er
r
or messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
te
r
con
d
it
i
ons: fix some
le
a
ks in handle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpenter
slis
t
: fix
a
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
ent
e
r
stree
fallout: impli
c
atio
n
s n
o
t working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
sta
t
es:
rename fake
_
cur_slist fun
c
t
io
n
s to fa
k
e_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpenter
s
tates: rename __print_cur_slist()
t
o __print_cur_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl
_
f
r
e
e
(
)
to free_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
vl:
r
ename avl
_
count() to stree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
avl: use struct
st
r
e
e
instead of ma
k
i
n
g
it a
t
ype
d
ef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
vl: rename struct
AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl: rena
m
e avl_clone
to
clone_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slis
t
: d
e
lete
slist compat layer
and rem
a
ining unus
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
state
s
: eliminate remaining refer
e
nces t
o
__get_cur
_
slis
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: remove some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an
C
arpenter
s
l
ist
:
remo
v
e a bunc
h
of unu
s
ed slist functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpente
r
core: change (struct s
m
_state)->pool to be a str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
start_state
s
: u
p
date get_sta
r
t
_
states
(
) to use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpente
r
r
eturns: upda
t
e
a
ll_r
e
t
u
r
n
_states_hook(
)
to st
r
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
type_va
l
: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
t
art_states: p
a
rtial update
to
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
match_re
t
urns: p
a
rtial update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
par
a
m_set:
upd
a
t
e to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param
_
li
m
it:
update to
stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_fi
l
t
er: up
d
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
para
m
_
c
leared: upat
e
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
modification
_
hooks:
upd
a
te to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
impl
i
ed: update
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next