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
math: improve how known logical operations are handled
2012-10-11
D
a
n Carp
e
nter
ma
t
h: improve how kno
w
n logical operati
o
ns are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: simplify get_
b
i
n
op_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
t
ype: improve hand
l
ing of type
p
romotion on bi
n
a
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extr
a
: delete
s
o
me
d
eb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse
t
he ranges list correctly i
f
it on
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpenter
math
:
known condit
i
ons are equal
to one
or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
mat
h
:
handle selec
t
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
helper
:
improve pri
n
ted mes
s
ages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
extra: handle asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
dereferences_para
m
: handle strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpenter
ranges:
kill the "Error inval
i
d ran
g
e message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpe
n
t
e
r
assigned_
e
xpr
:
ignore += as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
functio
n
_hooks
:
whit
e
space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpent
e
r
function_hooks: use the
str
i
pped
f
unction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
ente
r
db,
buf_size, parse_call
_
math: track the size of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
get_implied_r
a
nge_list: use the
new fun
c
tion hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
i
mpli
e
d_value:
don't get confu
s
ed by
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Carpenter
db/retu
r
n_stat
e
s: fix return values for USER
_
DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
enter
f
u
nction_ho
o
k
s:
clean u
p
some
naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
D
an Carpenter
f
unc
t
ion_hooks:
introduce get_implied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
a
rpente
r
m
i
sc: w
h
itespace
c
leanup
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
db_caller_inf
o
: add some
com
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, function_ho
o
k
s: pass assignment ex
p
ression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Car
p
ent
e
r
buf_size:
i
n
troduce get_array_size_bytes_mi
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
capped: fix ho
w
the min() 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
s
e the --spa
m
m
y
option to
fill
t
he database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf
_
size:
mer
g
ing tw
o
same size
b
uff
e
rs give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
bu
f
_s
i
ze: reco
r
d static variables in the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
proc_cre
a
te
:
fix a
whi
t
espace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Carpenter
buf_size, d
b
: if a s
t
ruc
t
m
e
mber s
i
ze is
s
et in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan
Car
p
en
t
er
check_
k
e
r
nel: fix
E
RR_PTR(
)
false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
lo
g
ical_instead_of_bi
t
wise: foo = (1 << x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
an
C
arpen
t
er
locking:
_
bh
lock functions are n
e
sta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra:
i
n
troduce f
i
lter_ra
n
ge_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
kernel: handle
I
S_ERR(
)
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b_i
n
fo: r
e
move unu
s
ed p
r
int
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra, fun
c
t
ion_hooks, db
:
change cross f
u
nction analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nte
r
d
b: r
e
mov
e
t
he retu
r
n_
i
n
fo table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
sma
t
c
h
_data: upda
t
e t
h
e data direct
o
r to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info:
f
ix more f
a
l
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: type_size: silence a p
e
rl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
db: c
a
ller_info: u
p
date fi
x
up_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpent
e
r
extra: get_im
p
li
e
d
_
range_lis
t
() should return 0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user_data: u
s
e the new return_states database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data: s
y
s
calls are a
s
ource of
u
s
er
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: if "
p
tr" is user
d
ata then "
*
ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_data: add is_user
_
macro(
)
s
tub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
user_da
t
a
: skb-
>
data is
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpe
n
t
e
r
extra: make a f
u
nction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: cr
e
ate return_s
t
ates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
db: add get_retur
n
_id() and
r
eturn
ma
r
k
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
db: impr
o
ve err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
caller_info changes: sto
r
e
the calle
r
, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: add return_v
a
l
u
es table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
err_ptr_deref:
r
e
move duplicate conflicting co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
arpenter
funct
i
o
n_ho
o
ks: move
regist
r
ati
o
n to the right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_
c
h
e
c
k
:
r
emove dead
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
mis
c
white spac
e
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
implied: change de
b
ugging outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pente
r
c
h
ecks: get
r
id
o
f som
e
delet
e
_st
a
te() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nter
deref
_
check: fi
x
a false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Car
p
en
t
e
r
sparse:
c
o
m
ment out an in
t
ernal error m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git://git
.
kern
e
l
.
org/
p
ub/s
c
m
/
d
evel/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpen
t
e
r
*new*
a
ssign_vs_com
p
are: if ((x = <constant>)
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
r
p
enter
ranges: introduce rl_
c
ontiguous(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
deref_
c
heck: sil
e
nce some fal
s
e posi
t
ive on cross
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Ca
r
penter
fill_db_c
a
ll_imp
l
ies: check corr
e
ct vari
a
bl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_r
e
turn_i
m
plies: delete the correct
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
C
a
rpente
r
pointer_math: check ALIGN() m
a
cro
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WARN
_
ON(i =
=
ARRAY_SIZE
(
foo)) r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
a
s
signed_e
x
pr: move check_
a
ssigned
_
ex
p
r() to
smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
macro_side
_
effects: on
l
y enable
when --spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
a
rpenter
i
g
nor
e
_side_effects:
add some more
m
acros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
buf_si
z
e
:
add --spammy to vali
d
ation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
overf
l
ow: remove
strncpy() f
a
lse positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
Merge
b
ranch 'de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
bu
f
_
s
ize: turn off buf size for &addresses
u
nless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
ter
f
l
ow:
handl
e
the
_
_noreturn__ attr
i
bute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
buf_size: remove
the &* and [0] from aroun
d
t
h
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_buf
:
don't ret
u
rn
the maximum store buffer
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
b
uf_siz
e
: retu
r
n
t
he size of
&
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: add km
a
lloc_a
r
r
a
y(
)
and sock
_
km
a
l
l
o
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
buf_size: if the mem
b
er size is not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carp
e
nter
Merge bran
c
h
'b
u
f_si
z
e' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
Merge git://git
.
kernel
.
o
r
g
/
pub
/
scm/dev
e
l
/
sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpenter
buf_size: first get th
e
size in
b
ytes then co
n
vert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size: re
m
ove ca
s
t_rat
i
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
z
e: fix bytes_
p
e
r_element()
f
or strings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: de
l
ete
s
ome d
u
plic
a
te code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: prefer the
d
eclared a
r
ray siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_siz
e
: strcpy() only s
e
ts the size of the
d
est
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_
s
ize: ignore ca
s
ts in g
e
t_ar
r
ay
_
s
i
z
e_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
p
enter
bu
f
_siz
e
:
c
reate an e
l
ements_to
_
bytes
(
)
f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_s
i
ze: separate bytes_per_element() into its ow
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
enter
buf_size: using
-
>bi
t
_size doesn't work for void
pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
uf_size: use get_stored_size_by
t
es() directly
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
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
penter
b
uf
_
size: pull bytes_to_elements() in
its ow
n
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size:
c
alculat
e
byt
e
s per element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpen
t
er
buf_size: add
a
basi
c
v
alidation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next