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 Car
p
enter
extra: more limit
s
on which v
a
riabl
e
s
a
re equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
D
a
n Carpenter
d
b: get return states f
r
om function pointers
if po
s
s
i
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
an Carpenter
propagate: remove validation test because we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Carpenter
s
l
ist
:
introduce me
r
g
e
_
fake_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Ca
r
pen
t
er
unrea
c
hable
:
silence "not a
c
tually i
n
itial
i
z
ed
"
fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Carpenter
rosenberg: fix some
false
p
osi
t
iv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpente
r
d
ebug
:
intr
o
du
c
e __smatch_debug_chec
k
()
t
o
debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carp
e
nter
*ne
w
* check
_
no_if
_
blo
c
k
:
sometime
s
th
e
if bl
o
ck i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan C
a
r
p
enter
unco
n
s
ta
n
t_mac
r
os: a
d
d VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
type:
i
n
troduce
is_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
user_data: intro
d
uc
e
implied_use
r
_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
rosen
b
erg: refactor mat
c
h_c
o
py_to_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
e
nberg: check ma
n
y more
functions instead
o
f
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ros
e
nberg: add memzero() to clear functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
D
a
n Car
p
en
t
er
param_cleared: me
m
z
e
ro() cl
e
ars
the par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
db: split all bool
e
an functions into
one and z
e
ro st
r
ees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
ar
p
ent
e
r
cl
e
ar_b
u
ffer
:
re
m
ove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleared: this shouldn't depend on
--info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
l
o
cking:
u
pda
t
e validation to the new error
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
lock
i
ng: up
d
ate
e
r
ror format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
st
r
uct_
a
ssignment: fix h
o
w smatch handles foo
= NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senberg: prepa
r
e to check po
i
nters t
o
stru
c
ts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
ros
e
nbe
r
g:
check
fo
r
h
ole
s
at
t
h
e
end of the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg:
this check is k
e
rne
l
specif
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reachable: turn it
o
n by defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
helper: intr
o
du
c
e get_prev_s
t
atement() (fix the
b
uild)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
unreachabl
e
:
add
w
atchdo
g
() to k
e
r
n
el
.
no_return_fu
n
cs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
nreachable: d
o
n't print a warning i
f
we
j
ump to
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreachable: i
g
n
ore unreachable code
r
ig
h
t af
t
e
r an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpe
n
te
r
u
n
reachabl
e
: turn off backward labeled warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rp
e
nt
e
r
unreacha
b
le:
a
dd some
more macros to
t
he
.
i
g
n
ore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Car
p
e
nter
flow:
m
e
r
ge
c
o
n
tinues before the iterator_post_st
a
temen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
f
l
ow:
handl
e
p
ost
o
p
re
t
urn s
t
atemen
t
s
like:
ret
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an
Carpente
r
un
r
eac
h
a
b
l
e:
ignore some conditional
l
y
u
nreachab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
r
penter
unreachable: i
g
nore common false positives caused
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
a
b
le
:
i
g
n
o
re unreac
h
able code after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: mo
v
e it out o
f
sma
t
ch_flo
w
.
c and s
m
atch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
avl: fix faili
n
g
"str
e
e->stree_id == 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
ov
e
r
flow: don't warn if we overflow use buffer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpe
n
te
r
smatc
h
_type:
ne
v
er re
f
er to
-
>bit_size d
i
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n Carpenter
db: function with too many pointers to it
cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db:
r
ena
m
e db_callback to cal
l
e
r
_info_c
a
llback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propagate: delete this test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
arpenter
stored_conditio
n
s: don't stor
e
cons
t
ants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
an
C
ar
p
enter
Merge git://g
i
t
.
kernel
.
or
g
/
p
ub/scm/d
e
vel/sparse/
c
hrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an C
a
rpente
r
s
t
at
e
s
:
add
a
noth
e
r
r
e
a
d_only c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
missing
_
b
r
eak: use fewer
st
a
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
avl: add
a counter for when
you allocate or fr
e
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
t
er
sl
i
st, return
s
:
intro
d
uce
merge_str
e
e_no
_
pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
unconstant_macros: allo
w
(foo
&
_
P
AGE_
N
X) ev
e
n when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
r
p
e
n
t
e
r
b
u
f_
s
i
ze: allow st
r
ncmp("foo", bar, 100) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
param_set: o
n
l
y
r
e
co
r
d parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
er
e
xtr
a
:
ignore struct to struct assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
pe
n
ter
im
p
lied: add
t
h
e str
e
e_id to debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
lear_bu
f
fer: delet
e
an
u
n
used functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
t
er
clear_buf
f
er:
d
e
l
ete obsolete c
o
de
t
o ha
n
dle struc
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an
C
arpenter
comparison:
don'
t
rec
o
rd t
h
at ac
t
ual structs are equivalen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
assig
n
ed
_
expr: don't store fake assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
n
t
er
debug: change __smatch_cur_slist() to __
s
match_cur_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpe
n
ter
s
t
ates: do
n
't __
u
nn
u
llify_path unnecessa
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpe
n
ter
implied
:
smatch wa
s
say
i
ng so
m
ethi
n
gs were
i
mpli
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpente
r
stre
e
:
fix
a
bunch
o
f st
r
ee leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
stat
e
s: merg
e
nullify
_
all_states() into
save
_
all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
stree: make strees copy on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
ent
e
r
s
t
ree: move st
r
ee_id i
n
to
t
h
e
avl
root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
r
p
enter
slist: re
n
a
m
e slist_id to st
r
ee_i
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpente
r
av
l
:
introduce FOR_EACH
_
MY_SM() an
d
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunmap
:
up
d
ate valida
t
ion
f
i
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
flow:
fixes for hair
y
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
extra
:
fix unknown += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
implied: add a new
l
ine
t
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
stored_conditio
n
s:
store c
o
mparison
s
and not log
i
cals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
db:
fix nested c
a
ll handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunm
a
p: tidy up error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
conditions: fix some l
e
aks in
h
andle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
e
n
ter
slist: fix a l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
stree fallout: imp
l
ic
a
t
i
ons not workin
g
100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpen
t
er
stat
e
s: rename fake_cur_sli
s
t
func
t
ions
t
o f
a
k
e
_cur_stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
tates: rename __p
r
int_cu
r
_slist
(
)
t
o __p
r
i
n
t_cur_st
r
e
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
rename avl_free()
t
o fr
e
e_
s
tre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pen
t
er
avl: rename av
l
_count() to stree_cou
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
en
t
er
avl: use struct stree instead of mak
i
ng it a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
avl:
r
ename
struct
A
V
L
to s
t
ruct
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carp
e
nter
avl: rename avl_clo
n
e t
o
clone_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
slist: del
e
te s
l
ist compat layer and remaining u
n
use
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpen
t
e
r
st
a
t
es: elimin
a
te remaining refere
n
ces to __get_cur_slis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
enter
s
tates:
remove some de
a
d co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
penter
slist: remove a bunch
of unus
e
d slist fu
n
ct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
ar
p
enter
core: ch
a
ng
e
(st
r
uct sm_s
t
ate)-
>
poo
l
to be a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
st
a
rt_states: update get_start_
s
tates() to u
s
e
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
returns:
updat
e
all_return
_
states_hook() to
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
typ
e
_val
:
update to st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
start_states: parti
a
l upd
a
t
e
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
match_r
e
turns: p
a
rtial
update to
s
tr
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Car
p
ent
e
r
param_s
e
t: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
param
_
limit: update to
stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
p
a
ram_f
i
lter: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
pa
r
am_cleared: upate t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
modif
i
cation
_
hook
s
: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
implied: upda
t
e to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next