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
Dan Carpenter
type: fix get_bin
o
p_type() for bit
shift operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
wh
i
tespace:
add
a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan C
a
rpenter
absolu
t
e: track th
e
a
bsolut
e
li
m
its that var
i
ables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
arpenter
math
:
i
m
prove ho
w
get_a
b
solute_min/max()
w
o
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
an Carpe
n
ter
math: improve
how known logi
c
al oper
a
tions are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
D
a
n Carpenter
type: simplify get_binop_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
typ
e
:
improve handling
of type promotion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra
:
delete som
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpen
t
er
range
s
: pa
r
se th
e
ranges list co
r
rectly if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
math: k
n
own
conditions a
r
e equal t
o
one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
m
ath: handle sel
e
ct statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpent
e
r
helper:
i
mpr
o
ve p
r
i
nted messages a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
ex
t
r
a
: h
a
n
d
l
e
a
sm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
derefe
r
enc
e
s_param: h
a
ndle st
r
cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpe
n
ter
ranges: kill the "Er
r
or invalid range message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpen
t
er
assigned_expr
:
i
g
nor
e
+
=
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
uncti
o
n
_hooks:
w
hit
e
space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpen
t
er
function_hooks: use t
h
e stripped functi
o
n c
a
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Carpenter
db, bu
f
_size,
p
arse_call_math: track t
h
e size
of re
t
urned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpente
r
g
e
t
_
impli
e
d
_
ra
n
ge
_
list: use the n
e
w
f
unct
i
on hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rp
e
n
ter
i
mplied_value: don't get c
o
nfused by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Car
p
enter
db/
r
etur
n
_sta
t
es: fix
return v
a
lue
s
for
USE
R
_D
A
TA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carp
e
nter
f
u
nction_hooks: clean up some
namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Carpenter
f
u
nc
t
ion_hooks: in
t
roduce get_impl
i
e
d
_
r
eturn(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
Carpent
e
r
m
isc
:
wh
i
tespace cleanu
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
db_call
e
r
_i
n
fo: add some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
penter
d
b, functio
n
_hook
s
: pass assignmen
t
expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
C
a
rpenter
buf_size: i
n
t
roduce
get_array
_
s
ize_byte
s
_m
i
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
H
o
r
st H
.
von B
r
and
I
n
stall cgc
c
t
oo
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix h
o
w the min() mac
r
o i
s
handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
buf_size: db:
U
se
the --spammy op
t
ion t
o
fill the d
a
tabas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
pent
e
r
buf_si
z
e:
m
erging
tw
o
same size buffers give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
Carpenter
buf_
s
ize:
r
ecord static vari
a
ble
s
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
pro
c
_create: fix
a whitespace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
C
a
rpenter
buf_size, db:
i
f a struct member s
i
ze
i
s set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan C
a
rpenter
check_kernel: fix ERR_P
T
R()
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_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: _bh lo
c
k function
s
are nestable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: introduce fi
l
ter_ra
n
ge_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
ker
n
el:
h
andle I
S
_ERR(
)
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
_
info:
r
emov
e
u
nused print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra,
fu
n
cti
o
n_ho
o
ks, db
:
change
cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: r
e
move th
e
r
e
turn_i
n
fo
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ente
r
smatch_data: up
d
ate the data dir
e
ctor to the l
a
test
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_i
n
fo: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: type_siz
e
: s
i
l
ence a perl w
a
rni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b: caller_info: update fixup_kern
e
l
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
en
t
er
extra: get_implied_r
a
nge_list()
should re
t
urn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: use t
h
e
n
ew return_state
s
databas
e
t
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user
_
data: syscalls a
r
e a source of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nt
e
r
use
r
_data: if
"
p
tr" is user dat
a
t
hen
"*ptr"
i
s user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_data:
add is
_
u
ser_macro
(
) stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user
_
d
a
t
a
: skb->d
a
ta is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nte
r
ex
t
ra: ma
k
e a
f
u
nc
t
ion s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
d
b: create return_st
a
tes table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add
get_re
t
urn_id() and return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db
:
caller_info
changes: store the cal
l
er,
p
ar
a
m =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
db: add re
t
urn_
v
alu
e
s table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref: rem
o
v
e duplicate conflicti
n
g c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan C
a
rp
e
nte
r
function_hooks: move r
e
gistration to the righ
t
place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moham
m
ed Abdullah
Fix bug in
Makefi
l
e t
h
at
c
a
uses lin
k
ing to f
a
i
l
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Car
p
enter
d
e
ref_check: remove dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white s
p
a
ce fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
i
m
p
l
ied: change debugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
r
p
enter
checks: get
r
id
of some delete_s
t
ate() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
deref_
c
heck:
f
i
x a
f
a
lse po
s
it
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christ
o
pher
L
i
Fix a
b
ug
w
it
h
v
ar
i
ables name
d
"
x8
6
_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpent
e
r
spar
s
e
:
com
m
ent
ou
t
an internal error mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
rpenter
Merge git://git
.
k
ernel
.
org/pub/scm/d
e
vel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*ne
w
* a
s
sign_vs
_
c
omp
a
r
e
: i
f
((x = <con
s
t
an
t
>
)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpen
t
er
ranges
:
introduce rl_
c
o
n
tiguo
u
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n C
a
rpenter
deref_check:
s
i
l
e
nce some
f
alse positive on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
t
er
fi
l
l_
d
b_call_im
p
lies: che
c
k c
o
rre
c
t variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
r
penter
fill_db_return_im
p
lies: d
e
l
e
te the cor
r
ect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
point
e
r_math: check ALIGN(
)
macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan C
a
rpenter
helper
:
h
andle if (WAR
N
_ON
(
i == ARRA
Y
_SIZE(foo)) re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonath
a
n Ne
u
schäfer
s
m
at
c
h_sc
r
ipt
s
: fix sp
e
lling
o
f "u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan N
e
uschäf
e
r
smatch: fix several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr: move chec
k
_assig
n
ed_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
macro_si
d
e_effects: only enable when -
-
spammy is u
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
ig
n
ore
_
side_effects: add
some
m
ore macros that hav
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpent
e
r
buf_size: add --s
p
am
m
y to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
a
rpe
n
t
e
r
ov
e
rflow
:
remove strncpy(
)
fa
l
se positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Ca
r
pen
t
er
Mer
g
e br
a
nch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf_size: turn off buf size f
o
r
&addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpente
r
f
l
ow:
handle
t
he
__noreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
remove the &
*
and [0] from around
t
he pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add '
e
rro
r
' to ign
o
r
ed attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
iro
sparse: Add
'__vector_
s
i
ze__' t
o
ignored attribut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carp
e
nter
sm_buf:
d
o
n't return the maximum
store
b
uffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_s
i
ze: return th
e
size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_siz
e
:
add kmalloc_array
(
) and soc
k
_kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
buf_size: if
t
he
me
m
b
e
r
s
ize is not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Mer
g
e b
r
an
c
h 'buf_
s
ize' into d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
ent
e
r
Me
r
g
e
git://git
.
kernel
.
org
/
pub/scm/dev
e
l/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
ent
e
r
buf
_
size: first get
t
h
e size in b
y
tes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
si
z
e
:
remove c
a
st_rati
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
ar
p
ente
r
buf_size: fi
x
bytes_
p
e
r
_element() for strings
a
nd arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_s
i
ze:
delete some dup
l
icate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next