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
type: fix get_binop_type() for bit shift operations
2012-10-12
D
a
n Ca
r
p
e
nter
t
ype: fix get
_
b
i
nop_type() fo
r
bit shift operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpent
e
r
whitespace: a
d
d
a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Carpenter
a
b
so
l
ute: track the absolute limits
t
hat var
i
ables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
arpen
t
e
r
ma
t
h
:
im
p
ro
v
e how ge
t
_absolute_min/ma
x
() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
an Car
p
e
n
ter
math: improv
e
how kn
o
wn logical
o
perations are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpe
n
ter
type: simplify get_bi
n
op
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Da
n
Carpenter
type: imp
r
ov
e
handli
n
g of type p
r
om
o
tion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
e
x
t
r
a: delete some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
penter
ranges: parse the rang
e
s lis
t
corr
e
ctly if it onl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
ma
t
h
:
known c
o
n
d
itions ar
e
equal
to one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
C
a
rpe
n
te
r
math
:
handle select
s
ta
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: impro
v
e printe
d
messages a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpe
n
ter
extra: handle asm expre
s
si
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
derefe
r
ences_para
m
: handle str
c
mp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpente
r
range
s
: k
i
ll
the "Error invalid range message
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpen
t
er
assigned_expr
:
ignore
+
= a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
e
nter
f
unction_hooks: white s
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
u
n
ction_hooks: u
s
e the stri
p
ped function ca
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
db
,
buf_size
,
parse_call_m
a
th:
track t
h
e
size of
r
eturned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpe
n
t
er
get_im
p
lied_range
_
li
s
t: use the
n
e
w
functi
o
n hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
impli
e
d_value: don't
get confused by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
db/retu
r
n_s
t
ates
:
f
i
x ret
u
r
n
valu
e
s for USE
R
_
DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
C
arpenter
f
unc
t
i
on_hooks: clean up some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpente
r
function_hooks: i
n
troduce ge
t
_im
p
lied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpen
t
er
misc: whi
t
espace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpent
e
r
db_caller_i
n
fo:
add som
e
comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpenter
db, function_ho
o
ks: pass assig
n
ment expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpe
n
ter
buf_size
:
i
n
troduce
get
_
array_s
i
ze_byt
e
s_m
i
n(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
cap
p
e
d:
fix how the min() macro is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
er
buf_size: db: Use
t
he -
-
spammy optio
n
to fill th
e
d
atabas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
buf_size: mergin
g
t
w
o same size
bu
f
fer
s
give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
buf_size:
record s
t
atic varia
b
l
e
s in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
proc_c
r
e
a
te: f
i
x a whitespace iss
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan
C
arpenter
buf_s
i
ze, db:
i
f a st
r
uct me
m
b
e
r s
i
z
e is se
t
in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpe
n
ter
check_kernel: fi
x
ERR_PT
R
() false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Da
n
C
arp
e
nter
log
i
c
al_i
n
stead_of_bitw
i
se
:
foo = (1
<
<
x
)
&
&
y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
arpente
r
locki
n
g: _b
h
lock functions ar
e
n
estable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
enter
extra: introduce
filte
r
_ra
n
ge_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
ke
r
nel: handle IS
_
ERR() p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
db_info: remove un
u
sed print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
extra, funct
i
on_
h
ooks
,
db: change cross fun
c
tion
a
nalysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
db:
rem
o
ve t
h
e return_info t
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpente
r
smatch_
d
at
a
: upd
a
te the data directo
r
t
o t
h
e latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: c
a
ller_inf
o
: fix
m
or
e
fall
o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: type_
s
i
ze: silence a
perl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller
_
info: update fixup_
k
ernel
.
sh to
the n
e
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
extra
:
get_
i
mplied_ra
n
g
e
_list()
should
r
et
u
rn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
user_data: use the new return_states data
b
ase table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
data: sy
s
calls
are a
s
o
u
r
ce of
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: if "ptr" is user
data then "*
p
tr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r
_
d
ata: add is
_
user_ma
c
ro
(
) stu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a: skb-
>
d
a
t
a
is
user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extr
a
: ma
k
e
a
function s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
d
b
:
create re
t
u
rn_
s
tates t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
add get_return_id() and
re
t
urn ma
r
ker
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db:
i
mprove e
r
ror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_info c
h
an
g
es: s
t
ore
t
he caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
a
d
d
return_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_
p
t
r_deref: remove
d
uplicate
conflicting
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_ho
o
ks: move registration to the righ
t
pl
a
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
a
rpenter
dere
f
_
check: remove dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
C
arpenter
misc
w
hi
t
e
spa
c
e fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
im
p
lied: c
h
ang
e
de
b
uggi
n
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
ch
e
cks: get rid
of some dele
t
e
_
state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
deref_check: fix a
fa
l
se positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpe
n
ter
spars
e
: comme
n
t out an internal e
r
ror
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Me
r
g
e
git://git
.
kernel
.
org
/
pub/scm/
d
evel/sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Car
p
enter
*new* assign_vs_
c
ompare
:
if
((x =
<
constan
t
>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
r
anges: introduce rl_co
n
tiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
der
e
f_check: s
i
lence some fal
s
e positive
o
n cros
s
fu
n
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Ca
r
penter
fill_db_call_
i
mpl
i
e
s: c
h
eck correct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Ca
r
pente
r
fill_db_r
e
turn_impli
e
s
:
delete the correct
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
a
rpenter
pointe
r
_math: che
c
k
ALIGN(
)
m
a
cro mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n
C
arp
e
nter
helper
:
h
and
l
e if (WAR
N
_ON(i ==
A
R
R
A
Y_
S
IZE(foo)
)
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
assigned_expr:
m
ove check_assigned_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpen
t
er
mac
r
o
_si
d
e_effects: onl
y
enable whe
n
--s
p
a
m
my is us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
i
gnore
_
side
_
ef
f
ect
s
: add
some
m
ore
macros that h
a
ve
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpent
e
r
buf_size: add --s
p
ammy to validation tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
verflow: re
m
ove st
r
n
cpy() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
t
e
r
Merge b
r
a
n
ch 'deve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
p
enter
bu
f
_size: turn off b
u
f
size fo
r
&addresses
u
nless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the __n
o
re
t
urn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf_size: r
e
mov
e
the &*
and [0] from
around th
e
p
oin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf:
d
o
n't return the maximum
s
tore buffer
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpenter
buf_size: retur
n
the size
o
f &f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
r
penter
b
u
f_s
i
ze: add kmal
l
oc_
a
rr
a
y
(
)
and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_size: if t
h
e member size
i
s
not known th
e
n st
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pente
r
Merge
b
r
anch
'buf_size' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Merge gi
t
:
/
/git
.
k
e
rnel
.
o
r
g/
p
ub/scm/devel/sp
a
r
s
e/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
uf_
s
i
ze
:
first
g
et
the
s
ize in bytes then conve
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_si
z
e:
r
e
move cast_ra
t
io()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size:
f
i
x bytes_per
_
element()
f
or strin
g
s and arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nte
r
buf_size: delete some
duplicate co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: prefer
t
h
e declared a
r
ray si
z
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size:
s
trcpy() on
l
y se
t
s the size of the destinat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: ignore cast
s
in get_array
_
size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
n
ter
buf_size:
c
reat
e
an elements_to_bytes
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size: separate bytes_per_e
l
em
e
nt() int
o
i
ts own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size: using ->bit_size doe
s
n'
t
work
for voi
d
pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_si
z
e: use
g
e
t
_stored_size_byte
s
()
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next