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: simplify get_binop_type()
2012-10-10
Dan Carp
e
nter
t
y
pe: simplify get
_
bino
p
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carpenter
type: improve handling of typ
e
promotion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pe
n
te
r
e
xt
r
a: delete some debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse the
r
a
ng
e
s list correctly if it
onl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: known conditio
n
s are
equal to one
o
r
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Ca
r
pent
e
r
math: handle select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pen
t
er
helper: i
m
p
rove
printed messages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carp
e
nter
e
xtr
a
: hand
l
e asm expression
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
e
nter
d
e
reference
s
_param: handle strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
ranges: kill th
e
"Erro
r
i
nvali
d
r
a
nge
message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rpente
r
assigned_e
x
pr: ignore += assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
rpe
n
ter
fu
n
ction_hoo
k
s: white space
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arp
e
nter
function_hooks:
u
se the
stripp
e
d fu
n
ction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
db,
bu
f
_size
,
parse_c
a
ll_math:
t
rack th
e
s
iz
e
of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpe
n
te
r
get_
i
mplied_range_list: use the new function
ho
o
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implied_value: don't get con
f
u
s
ed by cast
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
d
b/return_states: fix r
e
turn va
l
ue
s
fo
r
USER_D
A
TA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
function_hooks: clean up some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
ar
p
enter
func
t
ion_hooks: introduce get_i
m
plied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
m
isc: whi
t
esp
a
ce
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan C
a
rpente
r
d
b
_caller_info: add some co
m
me
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpente
r
db, func
t
ion_hooks: pas
s
assignment ex
p
ression t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
bu
f
_size:
i
ntroduce get
_
arra
y
_size_bytes_min
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
c
apped: fix
how the m
i
n
() macro is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
bu
f
_size
:
db:
U
se t
h
e
--spa
m
my option t
o
fill th
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpent
e
r
b
u
f
_size: merging two same
s
ize buffers g
i
v
e
a
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpen
t
er
buf_
s
ize: record sta
t
ic variables in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rp
e
nter
p
r
oc_create: fix
a
whitespace i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n
C
ar
p
enter
buf_size, db: if
a s
t
ruct member
size is
s
et in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kernel: fix ERR_P
T
R()
fal
s
e pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_instead_of_bitwise: f
o
o = (1 << x) &&
y
;
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
Ca
r
penter
locking: _bh lock functions are nestable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
ext
r
a
:
in
t
roduce filter_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ke
r
nel
:
handl
e
IS_
E
RR() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
r
p
enter
db_i
n
fo:
re
m
ove unus
e
d pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
e
x
tra, function_hoo
k
s,
d
b:
c
hange c
r
oss f
u
nct
i
on analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db:
r
emove the return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
smatch_data
:
updat
e
the data director to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info: fix more fall o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_size: sile
n
c
e
a perl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
a
r
penter
d
b: caller_
i
nf
o
: update fixup_k
e
rnel
.
sh to t
h
e new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra
:
g
e
t_
i
mplied_range_list()
s
hould re
t
u
rn 0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
user_data: use the new return_st
a
t
es d
a
tabase table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
enter
user_data: syscalls are a sour
c
e
o
f
user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
us
e
r
_
d
ata: i
f
"ptr"
i
s user dat
a
then "
*
ptr"
i
s user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add i
s
_user_macro()
stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
user_d
a
ta: skb->dat
a
is user dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra:
m
ake
a
function stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
create return_states tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ent
e
r
db: add
get_r
e
turn_id() and return mark
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
d
b: improve error me
s
sag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b: caller_info cha
n
g
es
:
store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b: a
d
d
r
e
t
urn_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
err_
p
tr_deref:
remove du
p
licate conf
l
icting
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
arpenter
fu
n
ct
i
on
_
hooks: move r
e
gistratio
n
t
o
t
he righ
t
p
l
a
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpente
r
deref_che
c
k: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
misc white
s
p
a
ce fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rp
e
nt
e
r
implie
d
: change
de
b
u
gging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
checks: get rid of
some
delete_
s
tate(
)
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
deref_check: fix a false posi
t
ive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sp
a
rse:
com
m
ent out an interna
l
error mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Ca
r
p
en
t
e
r
Merg
e
git://gi
t
.
kernel
.
org/pub
/
sc
m
/de
v
el/
s
parse/
c
hri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpenter
*
new* as
s
ign_
v
s
_
com
p
are:
i
f ((x =
<
constant>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
arpenter
ranges: introduce rl_
c
o
n
tig
u
ous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
rpenter
deref
_
check:
s
i
l
e
n
ce some
f
a
l
se p
o
sitive
o
n cross funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_i
m
plie
s
: chec
k
co
r
rect varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
fill_db_return_implie
s
: delete
the correc
t
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpen
t
er
pointer_
m
ath: check ALIGN() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Car
p
enter
helper: handle if (
W
ARN_O
N
(i == ARRAY_SIZE(foo))
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpen
t
er
assign
e
d_expr: move check_assigned_expr() to sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
C
a
rpenter
ma
c
ro_
s
ide_e
f
fects: only enable
w
hen --spa
m
m
y
is us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_s
i
de_
e
ffects: add some more macros th
a
t have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpen
t
er
buf_size: ad
d
--spammy to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
ver
f
low
:
remove strncpy()
f
a
l
se positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
penter
Merge
b
ranc
h
'd
e
ve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: turn off
b
u
f size f
o
r &addresses
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
f
l
ow: handle t
h
e __noreturn__ attribu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
u
f_si
z
e: remove th
e
&* and [0]
f
rom around t
h
e poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpente
r
sm_buf:
d
on't return the maximum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
b
u
f
_
size: r
e
turn the size
of &
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpe
n
ter
buf_size: add kmalloc_array(
)
and sock_k
m
alloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
buf_size: if the mem
b
er size is not know
n
then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge br
a
nch
'
bu
f
_si
z
e
'
i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
M
e
rge git://gi
t
.
ker
n
el
.
org/pub
/
s
c
m
/devel/spars
e
/spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
ze:
first ge
t
the size i
n
bytes
t
hen convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
e
r
b
uf_si
z
e
: remove cast_ratio(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
e
r
buf_size: fix bytes_per_element
(
) for
s
trings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpe
n
t
e
r
buf_size: delete
some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an
Carpenter
b
uf_size: pre
f
er the declared array
s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ent
e
r
buf_size: s
t
r
c
py() only sets the size of the
d
estination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
pente
r
b
uf_size: ignore cas
t
s i
n
get_
a
rr
a
y
_
s
i
ze_b
y
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
create an
e
le
m
en
t
s
_
to_bytes() f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
uf_size: sep
a
rate
bytes_per_eleme
n
t() into its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: using
-
>bi
t
_size doesn't
work
f
o
r
void pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: use g
e
t_stored_size_b
y
tes() d
i
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: make get
_
stored_size_bytes() a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pull bytes_to_elements(
)
in
i
ts
o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
penter
buf_siz
e
: calcu
l
ate
b
ytes per
e
leme
n
t better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpen
t
er
buf_size: ad
d
a bas
i
c validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
e
nter
buf_s
i
z
e
:
i
f the size is variable pick the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next