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 get_absolute_min/max() work
2012-10-11
Dan Carpenter
math: improve ho
w
ge
t
_
a
bsolute_min
/
max
(
) work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpent
e
r
mat
h
:
i
mprov
e
ho
w
kno
w
n logic
a
l oper
a
ti
o
ns are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Carpenter
type:
s
implify
g
et_bin
o
p_
t
ype
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpe
n
t
e
r
typ
e
: improve handling
of ty
p
e promotion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Da
n
Carpenter
extra
:
delete som
e
de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carp
e
nter
rang
e
s: par
s
e the
ranges list corr
e
c
t
ly i
f
it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
nter
m
a
th
:
known
c
o
n
d
itions a
r
e
equa
l
t
o on
e
or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
nter
math: handle sel
e
ct statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper:
i
mprov
e
printed message
s
a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpenter
e
xtra: h
a
ndle asm expr
e
ssion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
nter
dereferen
c
es_param: handle
st
r
cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Ca
r
penter
ranges: kill t
h
e "Er
r
o
r in
v
alid range messa
g
e"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpent
e
r
assig
n
ed_expr: ignore += a
s
s
ign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
func
t
ion_hooks
:
wh
i
te space fi
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks:
u
se the
stripped funct
i
on call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpente
r
db,
b
uf_s
i
ze
,
parse_call_math: track
t
he size o
f
r
e
turne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpente
r
get_imp
l
ie
d
_range
_
list: use the new
functi
o
n hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
Carp
e
nt
e
r
implied_value: don'
t
get confused
b
y
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db
/
re
t
urn_states:
fix return value
s
for USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpente
r
function_hooks
:
clean up so
m
e nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
fu
n
ct
i
on_hoo
k
s
:
intro
d
uce get_
i
mplied_retur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpent
e
r
m
i
sc: whitespace cl
e
anup
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_info: ad
d
some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
db
,
function_hooks: pas
s
assignment expres
s
ion to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan C
a
rpenter
buf_size: introduce ge
t
_
a
rra
y
_
size_by
t
es_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the mi
n
(
)
macro is hand
l
ed
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
er
buf_size: db
:
Use t
h
e
-
-s
p
ammy opti
o
n to fil
l
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
buf_s
i
ze:
m
erging
two sa
m
e size bu
f
fer
s
give a sam
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: record st
a
tic variables
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
proc_create: fix a whitespace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpen
t
er
buf_size, db
:
if a struct member size is
set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
D
a
n Carpenter
chec
k
_
kernel: f
i
x E
R
R_PTR() f
a
lse positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
l
o
gical_instead
_
of_bitwise: foo = (1
<< x) &
&
y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking: _
b
h
lo
c
k func
t
i
ons ar
e
n
estable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: in
t
r
o
du
c
e
filter_range_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nter
kernel: ha
n
dle IS_ER
R
() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db_info: remove unused pr
i
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra,
function
_
hooks
,
db: change cro
s
s
f
unction a
n
a
l
y
sis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nter
db: remove
t
he
r
etur
n
_
info
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
s
match_da
t
a: up
d
a
t
e
the
d
ata dir
e
ctor
t
o the l
a
test
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db:
caller_inf
o
: fix more fall o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
r
penter
d
b
: type_size:
silence a
perl war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
e
nter
db:
c
aller_info:
u
pdate fixu
p
_kern
e
l
.
s
h
to the
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ex
t
ra: get_i
m
plied_range
_
lis
t
(
)
should r
e
turn 0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
u
ser_data: use the new return
_
states database tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
use
r
_data
:
syscalls are a
source of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
n
t
e
r
use
r
_
d
a
ta: if "pt
r
" is user data
then "*ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_
d
ata:
a
dd is_
u
ser_macro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
: skb->data
is use
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ente
r
e
x
tra: make a functi
o
n
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create ret
u
rn
_
s
t
ates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
d
b: add g
e
t_
r
etur
n
_
i
d() a
n
d return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpent
e
r
db:
improve
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: c
a
ller_inf
o
chang
e
s:
s
tor
e
t
h
e
c
aller, para
m
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
db
:
a
dd return
_
values
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_
p
t
r_deref: remove duplicat
e
c
o
nfli
c
ting
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Carpenter
function_hooks
:
move regist
r
ation to th
e
r
ight place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
D
a
n C
a
rpenter
deref_ch
e
ck:
r
e
m
ov
e
d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pent
e
r
misc w
h
ite spac
e
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
implied: change debugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Car
p
enter
chec
k
s: get ri
d
of some d
e
lete_state
(
)
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_c
h
eck: fi
x
a fal
s
e
positi
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpe
n
ter
sparse: c
o
mment out
an in
t
ern
a
l erro
r
m
essag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge
git://git
.
kernel
.
or
g
/
p
ub/scm/dev
e
l/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan C
a
rpenter
*
n
e
w* assi
g
n_vs_co
m
pare:
if ((x =
<
c
o
nst
a
nt>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carp
e
nter
r
a
n
ges
:
i
ntroduce rl_contiguo
u
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_che
c
k: s
i
lence some false positive on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nt
e
r
fill_db_call
_
im
p
l
i
es: check corr
e
ct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an C
a
rpenter
f
i
ll_
d
b_return_implies:
delete the correct t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpen
t
er
p
oint
e
r_math: c
h
eck ALIGN()
m
acro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
he
l
per: handle if (WAR
N
_ON(i == A
R
RAY_
S
IZE(f
o
o)) ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assi
g
ne
d
_
e
xpr: move check_assigned_expr() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
macr
o
_
side_ef
f
ects:
o
nly enable when --spa
m
my is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
C
arpenter
ignor
e
_side_effects: ad
d
s
ome more macros
t
hat have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_siz
e
: a
d
d
--s
p
ammy to valid
a
t
i
on tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
o
v
e
r
f
low: remove strncpy()
fa
l
se positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpen
t
e
r
Merge branch 'de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: turn
o
ff buf size for
&
a
d
dr
e
sse
s
un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
f
low: ha
n
dle the __noreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
buf_size: remov
e
th
e
&*
and
[0] from around t
h
e poi
n
te
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf: don't re
t
urn the maximum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: return the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpen
t
e
r
bu
f
_size: add kmalloc
_
a
r
ray() and so
c
k_kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
bu
f
_si
z
e:
if t
h
e m
e
mber size is not
k
n
own
t
hen store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
t
e
r
Merge bra
n
c
h
'buf
_
size' into de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git:
/
/git
.
kernel
.
org/pub/
s
c
m/
d
ev
e
l/sparse/s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_s
i
ze: first
g
e
t
the
s
ize in bytes then con
v
e
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_s
i
ze: r
e
move cast_rat
i
o(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
b
u
f_si
z
e:
fix bytes_per_elemen
t
() for
s
tring
s
an
d
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: delete some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf
_
s
i
ze: prefer t
h
e d
e
clar
e
d
array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_size: strcpy() o
n
l
y
sets t
h
e size of th
e
des
t
i
n
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: ignore casts in g
e
t_array_s
i
z
e_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
e
nter
buf_size: create an el
e
ments_to_by
t
es
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf
_
size: se
p
arate bytes
_
p
er_ele
m
e
nt() into its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpente
r
bu
f
_size: u
s
ing ->bit
_
size d
o
e
sn'
t
work for v
o
id pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: use get
_
store
d
_
s
ize_by
t
es()
d
irectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: m
a
ke get_stored
_
size_bytes() a
separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an C
a
rpenter
b
uf
_
si
z
e: pull bytes_to_
e
lem
e
n
ts() in its own functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size: calculate bytes per el
e
ment bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next