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
sval: remove type_min/max() which are not used any longer
2012-10-29
D
an
C
arpe
n
ter
sval
:
re
m
ove type_m
i
n/ma
x
() wh
i
ch
a
re not
u
sed
any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
a
rpen
t
er
sval: cha
n
g
e type_
m
in/max()
=
>
sval_t
y
pe
_
m
i
n/
m
ax(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: debug:
f
i
x r
e
versed if condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval: updat
e
ch
e
ck_si
g
ned
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval
:
add sval_typ
e
_
min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
s
v
al: fix sval_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpen
t
er
sval: update check_snprin
t
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval:
u
pdate check_overfl
o
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sv
a
l
:
u
pdate smatch_buf_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: implement
p
arse_call_math_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Ca
r
pente
r
sv
a
l:
create a couple sval allocators
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
ter
sval: u
p
date check_unwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
ter
sval: update ch
e
c
k
_temp
l
at
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
C
ar
p
en
t
er
sval: update check_siz
e
of_pointer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval:
up
d
ate
v
alidation/sm
_
prop
a
gate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval
:
upd
a
te check_return_enomem
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
s
v
al: upd
a
te check_return_e
f
ault
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpen
t
er
sval: update chec
k
_propagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
a
l: updat
e
chec
k
_proc_creat
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpent
e
r
sv
a
l: up
d
ate c
h
eck_precede
n
c
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpente
r
sval: upd
a
t
e
check_param_
r
ange
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpent
e
r
sval:
u
pdate chec
k
_
or_vs_and
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pe
n
ter
sval: upd
a
te check_m
o
d_timer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval: update check_memset
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
rpenter
s
v
al: updat
e
check
_
logica
l
_
ins
t
e
ad_
o
f_bitwise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpe
n
ter
sval:
u
pdate che
c
k_kmalloc_w
r
ong_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
s
val: update check_gfp_dma
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: update check_get_
u
ser_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: u
p
date
c
heck_fre
e
ing_null
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
s
val
:
upda
t
e ch
e
ck
_
err_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
sval: update check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
e
n
ter
sval: up
d
ate check_bool_implications
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
t
e
r
sval:
upd
a
t
e
check_
b
og
u
s_l
o
op
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
C
arp
e
nter
sval:
u
p
d
ate chec
k
_bogus_
i
r
qrest
o
re
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
arpent
e
r
sv
a
l: upda
t
e check_bit_shift
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval: update chec
k
_assign_vs_compare
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
s
v
a
l
: update c
h
eck_alloc
a
tion_funcs
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sval: update access
_
ok_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carp
e
nter
sval: clean up some na
m
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
s
v
al: implement the _sval ver
s
ions of a
b
un
c
h of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Car
p
enter
sval: del
e
t
e get_absolut
e
_max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sva
l
:
u
pd
a
te
g
et_a
b
s
o
l
ute_m
a
x() c
a
lls to use sval
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
ma
t
h: m
o
ve smatch
_
math
.
c to u
s
e
s
vals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type: support some more ty
p
es in
g
et_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
typ
e
: introduce sval_t
y
pe
_
max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Car
p
enter
sval: create a new basic s
t
orage for
storing the
value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpe
n
ter
u
nwi
n
d:
only enab
l
e
w
ith --spammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan C
a
rpenter
d
b
:
don't
tu
r
n
RaiseEr
r
or on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpent
e
r
dev
_
queue_xmit: tur
n
on by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
d
b
: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpenter
s
i
g
ne
d
:
tiny whitespace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpent
e
r
absolu
t
e
: fix
parameter info counting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
a
bsol
u
te: f
i
x how modificat
i
o
ns are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an Ca
r
p
e
n
t
er
deb
u
g: fix cut and paste
b
ug
in prin
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan
Carpenter
ty
p
e: fix
g
et_binop_type() f
o
r bit
shi
f
t
op
e
ratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace: add a
n
ewli
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpente
r
absolute: track the absol
u
te
l
imi
t
s
t
h
at variables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: impro
v
e how get_absolute_min/ma
x
() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpent
e
r
math: improve
h
o
w
kn
o
wn logical operat
i
on
s
ar
e
han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carp
e
n
ter
ty
p
e:
s
im
p
l
ify get_bino
p
_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Da
n
Carpenter
t
y
pe: imp
r
o
v
e
h
a
ndling of ty
p
e promoti
o
n on
b
i
n
a
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: delete some
d
ebug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges:
p
ar
s
e
t
he ranges list
c
orrectly if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: k
n
own
c
onditions
ar
e
equal to one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
math: handle select statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
h
e
lper: improve
p
rinted m
e
ssa
g
es a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
nter
e
x
t
ra: handle as
m
expre
s
s
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
d
erefere
n
c
e
s_param:
handle
s
trcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: kill the "
E
r
ror
i
nvalid r
a
n
g
e
message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Ca
r
pen
t
er
a
s
s
igned_expr
:
ignore += assig
n
m
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Car
p
enter
function_hoo
k
s: whi
t
e space f
i
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpe
n
ter
f
u
n
c
t
i
o
n
_hooks:
u
se the
str
i
pped fu
n
ctio
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carp
e
n
ter
db
,
buf_si
z
e
,
parse_call_math: track th
e
size
o
f returne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
g
et_implied_range_l
i
st: use the
n
ew function h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpe
n
ter
implied_value
:
d
o
n
't get c
o
nfused by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
db/return_states: fix re
t
u
r
n values
for USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
enter
function_hooks: cl
e
a
n
up
som
e
nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Car
p
enter
f
u
nction_
h
ooks: in
t
roduce get_i
m
plied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
mi
s
c: whi
t
espace
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Ca
r
penter
d
b
_caller_info
:
ad
d
so
m
e comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
t
er
db, f
u
ncti
o
n_hooks
:
pass assignment express
i
on to th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Car
p
enter
buf
_
size: introduce get
_
array_si
z
e_b
y
tes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Ca
r
penter
ca
p
p
ed: fix h
o
w
t
h
e mi
n
(
)
macr
o
is
handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
b
u
f_si
z
e: db: Use the --spam
m
y option to fill the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
Carp
e
nter
buf_size: me
r
ging two same size buffers give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
r
penter
b
u
f_size: recor
d
static varia
b
les in t
h
e dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rpenter
proc
_
create:
f
ix a whitespace
issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Ca
r
pe
n
te
r
buf_size, db:
i
f
a
struct mem
b
er size
is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
D
a
n
C
arpe
n
ter
check_kernel: fix ER
R
_PT
R
() false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Car
p
e
n
ter
log
i
c
al_instead_of_bitwise: foo = (1 << x) && y; i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
Carpenter
locking: _
b
h lock
f
u
n
ction
s
are nesta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
extra: introduce filter_range_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
e
nter
kernel: handle IS_ERR(
)
prope
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
db_
i
nf
o
:
remove unused
print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, fun
c
ti
o
n
_
hook
s
, db: change cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remove the return_in
f
o table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
smatch_data: up
d
a
te the
da
t
a director t
o
the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: c
a
ller_info:
fix more fa
l
l out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: typ
e
_size: sile
n
ce a
p
e
r
l warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next