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
locking: update validation to the new error formation
2014-05-02
D
a
n Carpe
n
t
e
r
locking:
u
p
d
ate
validation to the new
e
rr
o
r for
m
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
locking: update
erro
r
for
m
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpen
t
e
r
struc
t
_assignment: fix how smatc
h
handles fo
o
= NUL
L
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenb
e
rg: pr
e
pare t
o
che
c
k po
i
n
ters to struc
t
s as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
r
pe
n
ter
rose
n
berg: check for holes at the end of the
stru
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpen
t
er
rosenb
e
rg: this
c
h
eck is kernel spec
i
fic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpenter
u
n
r
e
achable: turn it on by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
help
e
r
:
i
n
troduce
g
et_pr
e
v_statement() (fix the bu
i
ld)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreachable: add watch
d
o
g
() to ke
r
nel
.
no_re
t
urn_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
eachable: don'
t
print a
warnin
g
i
f we ju
m
p
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Ca
r
pe
n
t
er
unreachable: igno
r
e
unreachable code right after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
un
r
eacha
b
le:
turn
o
ff backward labeled
w
a
r
ning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
able:
a
dd some more ma
c
ros to the
.
ig
n
ore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
flow: merge continues b
e
for
e
t
he iter
a
tor_post_s
t
atement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
flow: hand
l
e po
s
t op r
e
turn sta
t
e
ments li
k
e:
r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carp
e
nter
unreachable
:
ign
o
re so
m
e conditionally
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
ignore common fa
l
se
p
ositives
cau
s
ed by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachabl
e
: ignore unrea
c
hable code afte
r
BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
unreac
h
a
b
le: move it 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
D
an C
a
rpente
r
avl:
fix fail
i
ng "stree-
>
stree_i
d
==
0
" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
overflow: don
'
t warn if we
o
v
e
rflow use buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
D
a
n Carpen
t
er
smatch_typ
e
: ne
v
er refe
r
to ->bit_s
i
z
e
dire
c
tl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n
Carpenter
db: funct
i
on with too man
y
pointers to it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan
C
arpenter
db: rename db_callback to caller_i
n
fo_c
a
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
p
rop
a
gate:
d
elete this test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpenter
stored_conditi
o
ns: don't
s
tore consta
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Ca
r
penter
Merge git://git
.
ke
r
nel
.
org/pub/scm/deve
l
/sparse/
c
hr
i
sl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
s
t
ates: add an
o
ther read_o
n
ly check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpenter
m
iss
i
n
g_break: use fewer s
t
ate
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
av
l
: add a
c
o
unt
e
r for when
y
ou
a
l
l
oca
t
e or free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
slist
,
ret
u
rns: in
t
roduce merge_stree_no_
p
ools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Ca
r
penter
unconstant_macr
o
s: al
l
ow (foo & _PAG
E
_NX) even
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
b
uf
_
s
i
ze: allow
strncmp("fo
o
", bar, 100)
whe
r
e 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
pa
r
am
_
set: only re
c
ord parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extra
:
i
g
nor
e
stru
c
t
to struc
t
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arp
e
nter
implied: add
the stree_id to debug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
cl
e
ar_buffer:
d
el
e
t
e
an unused fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
l
ear_buffer
:
del
e
te obsolete
c
o
d
e to handle str
u
ct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
comparison: do
n
't re
c
o
r
d that actu
a
l structs
a
re
e
q
ui
v
alent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
enter
assi
g
n
e
d_
e
xpr: don't store fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
arpenter
debug: change __sma
t
c
h_
c
ur_s
l
ist() to __smatch_c
u
r_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpent
e
r
states: don't __unnullify
_
path
u
n
n
ec
e
s
sarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
enter
implied: smatch was saying somethin
g
s were impli
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan
Carpenter
stre
e
: fix a
bunch of stree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Car
p
e
n
ter
states:
m
erge nullify_a
l
l_s
t
ates()
i
n
t
o sav
e
_all_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
stree: make stre
e
s cop
y
on
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpent
e
r
stree: move str
e
e_
i
d into the avl
r
oot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
slist: re
n
ame
sli
s
t_id to stre
e
_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Ca
r
p
e
nter
avl: introduce
F
OR_EA
C
H
_MY_SM() and
c
allers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
kunma
p
:
update validat
i
o
n file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carp
e
nte
r
flow
:
fixes for hairy fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpe
n
ter
extra: fix unknown += ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
implied: add
a
newl
i
ne to o
u
tp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
stored_conditions:
store comparisons and n
o
t logical
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
d
b: fix
n
e
s
ted
call hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
k
u
n
map:
tidy up error m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
conditions: fix some
leak
s
in handle_select()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
slist: fix a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
stree fallout: implicat
i
ons
not
w
o
r
king
100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename fake_cur_sl
i
st functions to fake_cur
_
s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
s
tates: ren
a
me __print_cur_
s
l
i
st() to __prin
t
_cur_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpenter
a
v
l:
rena
m
e
a
v
l
_free()
t
o fre
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl_cou
n
t() to st
r
ee_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use struct st
r
ee instead of making it a typedef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
avl
:
r
enam
e
struct AVL to struct
s
tre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an C
a
rpe
n
te
r
avl: rename avl_clone
t
o clone_
s
tr
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpent
e
r
slist: dele
t
e
slist
c
ompat
l
ayer and remain
i
ng unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
states:
e
l
i
min
a
te remaining r
e
f
e
rences to __get_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an C
a
rp
e
nter
states: rem
o
ve some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Ca
r
penter
slist:
r
emove
a
bunch of unused s
l
ist functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
c
o
re: chan
g
e (struct sm_state)->p
o
ol to
be a st
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
start
_
st
a
tes: update get_start_states(
)
to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
r
eturns
:
update all_retur
n
_state
s
_hoo
k
() to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
type_val:
u
pdate to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
s
tart_states: partial update
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
mat
c
h_ret
u
rns: parti
a
l update t
o
st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
p
a
ram_set: upd
a
t
e to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpente
r
para
m
_limit: u
p
d
a
te to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_f
i
l
ter: upd
a
te to st
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpent
e
r
param_cleared:
u
pate to
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
modifi
c
atio
n
_hooks:
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
implied
:
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nt
e
r
f
low: update to s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arp
e
nter
extra:
u
pdate al
m
ost everything he
r
e
to use str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
conditions: upd
a
te
t
o use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpent
e
r
compa
r
is
o
n: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
user_data: upda
t
e
t
o st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
unw
i
nd:
u
pdate to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
te
m
plate: upda
t
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
return_enomem: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
puts_argument: update to st
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
m
e
m
ory:
p
a
rtial up
d
ate to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
locking: up
d
a
t
e to us
e
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
ar
p
enter
leaks
:
update to use
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
held_de
v
: update to u
s
e stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
frees_a
r
gum
e
nt:
upd
a
t
e to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Car
p
e
n
te
r
double_
c
hecking: updat
e
to u
s
e stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
debug: update to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
c
h
eck_
b
alanced
:
update
to us
e
stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
d
b, stree: up
d
ate s
m
a
t
ch_db
.
c to u
s
e st
r
e
e throu
g
hou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next