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
flow: handle backwards goto hooks
2014-11-04
Da
n
Car
p
enter
f
l
ow: handle backwards goto hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow: function declar
a
tions are not function definitions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carpenter
r
eturn_en
o
mem:
r
e-
w
rite wi
t
hout using r
e
turn
_
implies
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carpenter
buf_comparis
o
n
:
handle zero s
i
ze arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
arpenter
buf_
c
om
p
arison: export th
e
get_s
i
ze_var
i
able()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
ar
p
enter
buf_compariso
n
,
d
b: recor
d
top level variables in data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpe
n
ter
f
unction_hooks, db:
f
ix a problem with nested call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan
C
arpenter
comparison: oops
.
for
g
ot t
o
c
o
m
m
it
a chunk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
6
4
bit_shift: find bu
g
s
l
i
ke: u64
f
oo
= 1 <<
x
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
D
an
Carpen
t
e
r
auto_cop
y
: fix a
c
r
ashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan
C
a
r
pent
e
r
precedence: b & mask
>
> shift is normally a b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpenter
shift_to_zero: fix an er
r
or m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Car
p
enter
fre
e
: c
h
eck for passing or retur
n
ing freed memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n Carp
e
n
t
er
free
:
don't turn of
f
warnings if
--spammy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
db/fixup_kernel
.
sh: bitmap_al
l
o
c
ate_reg
i
on doesn
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carp
e
n
t
er
bu
f
_com
p
arison
:
st
o
re w
h
i
ch data holds arr
a
y limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
a
r
p
enter
buf_compa
r
is
o
n, buf_size: add
r
ea
l
loc(
)
to alloca
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
compare: introduce get_all_
c
omparison
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
r
p
enter
d
b
:
add data_i
n
fo t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Ca
r
pen
t
er
auto
_
cop
y
:
assignments copie
s
state
s
automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
D
a
n
C
a
r
penter
b
u
f_compar
i
so
n
:
look for off by one
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Car
p
enter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpent
e
r
err_p
t
r
_deref: err
o
r mess
a
ge shou
l
d say
"
negativ
e
"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
fre
e
:
i
mprove cross
f
un
c
tion tr
a
cking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero: chec
k
for things like "(foo & 0xf
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
rp
e
nter
parse_
c
all
_
math:
handle math like
"$0->foo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Da
n
Carpen
t
e
r
parse
_
c
a
ll
_
m
a
th: more
f
orma
t
change fa
l
lout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpente
r
parse_call_math: NUL
L
terminate buf size
recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
arpenter
c
a
ll
_
math: use rang
e
l
i
sts
i
n
s
tead of onl
y
ex
a
ct
v
alues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpente
r
r
a
n
ges: sta
r
t implem
e
nting rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
compari
s
on: store g
e
neral limits in
t
he databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
an Carpenter
co
m
parison
:
take original compa
r
ison into
account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation: add a test
for t
h
e recen
t
fu
n
ctio
n
compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_h
o
oks: fun
c
t
i
o
n
co
m
parisons can
i
mply a parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Da
n
Carpenter
f
i
x
up_kernel
.
sh: several impo
r
tant
u
p
dates (bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpent
e
r
compariso
n
: rename falsify_op() to negat
e
_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
nter
ranges: r
e
name filter_by_compari
s
on() to
s
o
mething
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
cg
c
c:
rever
t
part of the
-
We
r
ror
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n
Carpenter
comparison: r
e
name flip_op() to flip_comparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpen
t
er
Merge git:
/
/git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n
Carpenter
smdb
.
py: add
s
ome h
e
lp text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Da
n
Carpe
n
t
er
build_kernel_data
.
s
h
: er
r
or out if the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
p
e
n
t
er
comparis
o
n
: don't store
comparison
s
to one'
s
self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpe
n
ter
c
o
mparis
o
n
:
ad
d
a comment for update_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
pen
t
er
comparis
o
n: get rid
o
f
th
e
chunk_vsl_eq
(
) func
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
com
p
arison: pa
s
s the f
i
lt
e
red false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
co
m
pariso
n
: cleanup updat
e
_tf
_
data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan
C
a
rpenter
db: f
i
x
h
andli
n
g of nes
t
ed cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
states: add a
n
assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
buf_size: h
a
ndle strl
e
n() a b
i
t
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking:
add
f
f
s
_mut
e
x_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
flow: the __in_pr
e
_condition variable needs to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
n
ter
smatch
.
h:
s
tore
s
ome
d
ummy data
b
as
e
typ
e
s
temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
db: expose
t
he data
p
ar
a
meter
s
o w
e
can
use da
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
parse_call_m
a
th
:
chang
e
API to u
s
e
range
l
ist
s
(mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arp
e
nt
e
r
ranges: fix parsing that
I bro
k
e this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
compa
r
i
s
o
n
:
fix up filter_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
r
p
e
n
ter
ra
n
ges: use the ranges s
t
ored
i
n
the data
b
ase
prope
r
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
ranges: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpente
r
ran
g
es
:
s
i
mplify and robustify str
_
to_rl_helper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
param_limit: sa
v
e the comparison to the
a
rgum
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
func
t
ion_hooks: fi
x
how
d
a
t
abase compa
r
i
son
s
are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
c
o
mpar
i
son: pas
s
the i
g
nore field t
o
range_comparison
_
t
o
_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparis
o
n: take
p
reviou
s
comparisons in
t
o
a
ccount
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nter
db: prefer literals t
o
pa
r
ameter m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an
C
arpente
r
db: re-add som
e
mis
s
ing
[] c
h
aracters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpente
r
assigned_ex
p
r
:
u
n
defin
e
on modi
f
ication
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
d
b
: fix ho
w
parameter math wo
r
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assig
n
ed_
e
x
p
r
: add reverse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
link
s
:
c
r
eate a s
m
atch_links
.
c file with functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
parse_ca
l
l_ma
t
h: fi
x
l
e
f
t
overs fro
m
the format cha
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param_se
t
: write stru
c
t members
in terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Car
p
e
n
ter
extra: wri
t
e certain returned struct m
e
mbers in term
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
d
b: pas
s
the r
e
turn e
x
pression to the
returned_me
m
ber_ca
l
lb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
extra:
save
r
etu
r
n
values in terms of parameter
m
ath
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
ent
e
r
d
b: unif
y
h
ow para
m
eter descriptions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
comparison: add an
ignor
e
paramete
r
to expr_equal_t
o
_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpenter
unrea
c
h
able: ignore the unreachable
(
)
ma
c
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpent
e
r
e
r
r
_ptr
_
deref: passing an ERR_PTR
t
o kfre
e
() is a b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpenter
extra:
h
andle merging NUL
L
poin
t
ers
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan
C
arpenter
extr
a
:
addr
e
sses of array
s
are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n
Carpenter
db: remo
v
e
bogus pa
r
ameter inform
a
tion fr
o
m hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carp
e
nter
db:
a
dd a
n
ew table which h
o
ld
p
aramete
r
t
y
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carp
e
nter
type: introduce type_
t
o_str(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan
C
arpent
e
r
locking
:
remove some du
p
licate
"sometimes locked"
warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpenter
gene
r
isize
.
pl: fi
l
ter som
e
more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
gene
r
esize
.
pl: cl
e
a
nup indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpenter
ranges:
a
pointer
t
o an
a
rray is just a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Car
p
ente
r
extra: r
e
cord global declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
cond
i
t
ions: update so
m
e
debug
outp
u
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
compariso
n
: int
r
o
d
uce possib
l
e_comparison(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
extra: updat
e
a debug statemen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
fu
n
c
t
ion_ptrs: track functi
o
n
s w
h
ich retur
n
a func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
ar
p
enter
show_errs
.
s
h:
quote some strings
p
roperly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: put ge
t
_sm_state_
s
tree_stack() in the
.
h
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
s
t
a
tes: change the debug out
p
ut format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpe
n
ter
struct_assi
g
nment: h
a
n
d
l
e k
z
alloc() bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: add the filen
a
me to some
debu
g
ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nte
r
flow:
p
a
rse gl
o
bal
vari
a
bles before p
a
rsing f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
slist: export t
h
e set_s
t
ate_str
e
e_perm()
function t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next