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
clear_buffer: remove this code
2014-05-05
Dan Carpenter
clear_buffer
:
remove thi
s
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpent
e
r
pa
r
am_cl
e
ar
e
d
:
thi
s
s
h
ou
l
dn'
t
depend
o
n -
-
info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
locking: upda
t
e
v
alid
a
t
ion to the new
e
rror formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpe
n
ter
lo
c
king: update
error
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
str
u
ct_assignment: fix how smat
c
h handles foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senberg: pr
e
pare to
chec
k
pointers to st
r
u
cts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Ca
r
pen
t
e
r
rosenber
g
: check for holes at the end of the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
rose
n
b
erg: this che
c
k is kernel
s
pecific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nte
r
unre
a
chable
:
turn it o
n
by de
f
aul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nt
e
r
h
elper: int
r
oduce get_
p
rev_statem
e
nt() (fix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
unreachab
l
e: a
d
d
watchdog() t
o
kernel
.
no_
r
et
u
rn_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
ble: don
'
t print a warning if we
jump
t
o
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
a
rpen
t
er
unrea
c
hable: i
g
n
ore
u
nreachable code right
after
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unrea
c
hable: turn of
f
backward l
a
beled warni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
un
r
eachable: add some
more macros to the
.
ignore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
flow: merge continue
s
before the iterato
r
_p
o
st_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
fl
o
w:
h
andle p
o
st
op retu
r
n
st
a
tements
l
ike: return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Car
p
e
n
ter
unreachable:
ignore
s
ome conditio
n
a
l
ly unr
e
achable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
ble:
i
g
nore
co
m
mon false positives caused by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
u
nreac
h
able:
i
gn
o
re unreachable code
a
f
t
er B
U
G()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
en
t
er
unreac
h
a
b
le: move it
o
u
t
o
f smatch_fl
o
w
.
c
and smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n Carpenter
avl: fix fai
l
ing "stree-
>
st
r
ee_i
d
=
= 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan
C
a
rpenter
ov
e
rflow:
d
on't warn if we overfl
o
w use b
u
ff
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan
Car
p
enter
s
m
atch_
t
ype: never
r
efe
r
to ->
b
it_siz
e
directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan C
a
rpent
e
r
db:
f
unction with too many p
o
i
nters to
it
cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: rename db_callback
to call
e
r
_
info_callbac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Car
p
enter
propagate: de
l
ete t
h
i
s
te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
s
t
ored_condit
i
o
n
s: don't store constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Merge git://git
.
kernel
.
org/pub/scm/devel/sparse/ch
r
isl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
states: add another read_only
chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
missing_break
:
use fe
w
er states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
a
vl
:
add a
c
ou
n
ter for when you allo
c
at
e
or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
slist, returns: introduce merge_s
t
r
e
e_no_poo
l
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
unconstant_macros: allow
(foo & _
P
AG
E
_NX) even wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
buf_size:
a
llow s
t
rncmp("foo",
b
ar,
1
00) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
p
a
ram_
s
et
:
on
l
y record
p
ar
a
m
e
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpenter
ext
r
a: ignore stru
c
t
to str
u
ct as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpen
t
e
r
implied: add the stree_id to debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
c
lea
r
_bu
f
fer: delete an unused
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
clear_b
u
ffer: de
l
ete obsole
t
e c
o
de to h
a
ndle
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
er
compariso
n
: don't
r
ecord
t
h
a
t ac
t
ual st
r
ucts
a
re equiv
a
len
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assigned_expr: don
'
t
store fak
e
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
debug: change _
_
smatch_cur_slist(
)
t
o
__smatch_cur_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
states:
don't
__un
n
ullify
_
pa
t
h unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carp
e
nter
im
p
lied: sm
a
tch was saying somethings we
r
e implie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
an Carpenter
s
t
r
e
e
:
fix a bunch of stree leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpent
e
r
states: me
r
ge
nullify_all_st
a
tes() in
t
o save_all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arp
e
nter
stree: make strees copy on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree: move stree_id i
n
to the
avl roo
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
list: rename slist_
i
d to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: introd
u
ce FOR_EAC
H
_MY_SM
(
) a
n
d callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carp
e
nter
kunma
p
: upda
t
e validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpenter
flow:
f
ixes for hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
extr
a
:
fix unknown += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
impl
i
ed: add a newline to o
u
tpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpente
r
stored_conditio
n
s: store compa
r
i
son
s
an
d
not
l
og
i
cals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an
C
arpenter
db: fix ne
s
ted call h
a
n
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpent
e
r
k
unmap: t
i
dy up er
r
or messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Car
p
enter
conditions: fix some leak
s
in
h
a
n
d
le_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
sl
i
st: fix a le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
stree fallo
u
t: implic
a
ti
o
ns not wor
k
ing 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states
:
rena
m
e
f
a
ke_cur_
s
list functions to f
a
ke_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: rename _
_
print_cur_slist
(
) to __print_cur_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
v
l:
rena
m
e avl_fr
e
e
(
)
to free_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arpenter
a
vl: rename av
l
_count()
to stree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpen
t
e
r
avl:
u
se struct
s
tr
e
e instead of
making
i
t a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan 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 Car
p
e
n
t
er
avl: rename avl_clone to clone_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist
:
d
elete s
l
ist co
m
p
at laye
r
and remaining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
sta
t
es: el
i
m
i
nate remaining refere
n
ces to
_
_get_cur_sli
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pe
n
te
r
states:
r
e
move
so
m
e
d
ead c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpente
r
slist: remove
a
bunch of unused slist functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
c
or
e
: change (
s
truct
sm_state)->po
o
l to be
a
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
t
er
s
t
a
rt_
s
tates
:
up
d
ate get_
s
tart_sta
t
es() to use s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
ret
u
r
n
s
: upda
t
e all_return_s
t
a
tes_hook() to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
ty
p
e_v
a
l: u
p
date
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
s
tart_states: part
i
al u
p
date to st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpe
n
ter
ma
t
ch_returns: par
t
ia
l
up
d
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
param_s
e
t:
u
p
date to
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
pa
r
am_limit: upda
t
e to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
para
m
_filter:
u
pdate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_cleared:
upa
t
e
to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
m
o
dific
a
tion_hook
s
: update
to
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
implied: update t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carp
e
nter
flow:
u
pda
t
e to
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carp
e
nter
extra:
update almos
t
e
verything here to use st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
c
o
nditions: update to use
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
comp
a
ri
s
on: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
use
r
_data: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
unwind: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
ter
templat
e
: u
p
d
a
te to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
enter
retur
n
_e
n
omem: u
p
date to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
puts
_
argument:
updat
e
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
m
e
mory: partial update to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
locking: up
d
a
t
e to use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arpenter
leaks
:
upd
a
t
e
t
o
use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
held_dev: upd
a
te
t
o use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
frees_argume
n
t: u
p
d
ate
t
o use str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
double_
c
hecking: update
t
o use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Ca
r
penter
debug
:
update to u
s
e stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next