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
absolute: fix how modifications are handled
2012-10-23
Dan Carpenter
ab
s
o
l
ute
:
fix ho
w
mod
i
fi
c
a
tio
n
s
a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpente
r
debug
:
fix cut
a
n
d paste bu
g
in print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
t
ype: fix get
_
binop_type() for bit shift operat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Ca
r
penter
whitespa
c
e: add a newl
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
arpenter
a
b
solute: tr
a
ck the abso
l
ute limits that
varia
b
les
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve
h
ow get_absolute_min/m
a
x() wo
r
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
Carpente
r
math:
impro
v
e how
k
nown logical operation
s
are ha
n
dl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type:
s
i
mplify get_
b
inop_t
y
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carpent
e
r
type: improve handling of ty
p
e
p
romotion on bin
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Ca
r
pente
r
extra
:
delete some debu
g
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n
C
arpen
t
er
ranges:
p
arse
the range
s
list cor
r
ectly if i
t
only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
math: known c
o
n
d
itions are
e
qu
a
l to one
o
r
z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
mat
h
: h
a
ndle sel
e
ct statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpent
e
r
hel
p
er: impro
v
e printed mess
a
ges a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpen
t
er
extra
:
h
andle
asm express
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
r
pe
n
ter
d
e
references_pa
r
am: handle strcm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carp
e
nter
r
anges:
kill the "Error invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
as
s
ig
n
ed_ex
p
r
:
i
gnore += as
s
ignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: white
s
pac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: use the strip
p
ed fu
n
ction
c
a
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
C
a
r
pen
t
er
db,
buf_si
z
e
,
p
arse_call_ma
t
h
:
tra
c
k
the size of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
a
rpenter
get_impli
e
d
_range_list:
u
se the new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
e
nter
implied_value: don't get confused by
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
db/
r
e
t
urn_states: fix
return val
u
e
s
for U
S
ER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
c
t
ion_h
o
oks: clean up some na
m
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Car
p
en
t
e
r
function_hooks: introduce get_imp
l
ied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
penter
misc: whitespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller
_
info
:
add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Car
p
enter
db, function_hooks: pass assignment
expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpenter
bu
f
_size
:
introduce get_arr
a
y_size_bytes_min
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the
m
in() macro is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
bu
f
_
s
i
ze: db:
U
se the --spammy option t
o
fill
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
bu
f
_
s
i
ze: merging two same size buffers give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
te
r
buf_s
i
ze: record
static va
r
i
a
bles in the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an Ca
r
penter
p
r
o
c
_create: fix a whitespace is
s
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan C
a
rpenter
buf_size, db: if a
st
r
uc
t
me
m
ber
s
ize is set in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
D
a
n
Carp
e
n
ter
check_ker
n
el: fix ERR_PTR() false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Car
p
enter
l
ogical_instead_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 Carpenter
locki
n
g: _
b
h lock functions a
r
e nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
ex
t
ra: introduc
e
filter_range
_
lis
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
kernel: handle IS_ERR()
p
roperly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
d
b
_
info: re
m
ove u
n
used
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpe
n
ter
e
x
tra
,
function_hooks, db:
c
hange cross function analy
s
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: remov
e
the
re
t
urn_in
f
o t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
smatch_
d
ata
:
up
d
ate the data director
t
o the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b
:
caller
_
inf
o
:
f
i
x
more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_size: silen
c
e a perl
wa
r
ni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b
:
caller_info: update fixup_kernel
.
sh to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
ext
r
a: get_implied_range_list() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: use the new r
e
turn_states d
a
taba
s
e
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a
:
sys
c
alls are a sourc
e
of
user
d
ata
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 "*ptr
"
i
s
user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
penter
use
r
_data: add is_us
e
r
_macro
(
)
s
tub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpente
r
user_data
:
skb->data
i
s
use
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
extra:
m
ake a fun
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
c
r
e
ate r
e
turn_stat
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: add get_return_
i
d() and
r
eturn mar
k
er
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improv
e
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db:
c
alle
r
_info c
h
a
n
ges:
store t
h
e cal
l
er, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: add return_values tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Ca
r
penter
err_ptr_deref: r
e
move dup
l
ic
a
te conflic
t
in
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
Car
p
ente
r
function_hooks: move registration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpe
n
ter
der
e
f_c
h
eck: remov
e
d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
misc white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
impli
e
d: c
h
a
n
ge debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
checks: ge
t
rid of some
d
elete_stat
e
() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
r
pente
r
deref
_
check: fix
a
false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carp
e
nter
sparse: comment out an int
e
rna
l
err
o
r
mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
Carpe
n
ter
Merg
e
git:
/
/git
.
kernel
.
org/pub/scm/
d
evel/s
p
ar
s
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpenter
*new* assign_v
s
_compare: if (
(
x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Ca
r
penter
ranges
:
introduce rl_contigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Car
p
ent
e
r
deref_check: silence
s
ome fals
e
positive on cro
s
s
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
n
ter
f
i
ll_db_call_i
m
plies: c
h
eck correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
f
il
l
_
d
b_return_impli
e
s:
d
elete the cor
r
ect ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpent
e
r
p
ointer_ma
t
h: check
ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helpe
r
:
h
a
n
dl
e
if (WARN
_
ON(
i
== ARRAY_SIZE
(
f
o
o
)
)
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arp
e
nter
a
s
signed_expr: m
o
ve chec
k
_ass
i
gned_expr(
)
to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side_effects: onl
y
enable wh
e
n --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Ca
r
pen
t
er
i
g
nore_si
d
e
_
effects:
a
dd so
m
e
more mac
r
o
s
that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
uf
_
size: add --spam
m
y
t
o validatio
n
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
overflow:
remo
v
e
strncpy() false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
Mer
g
e
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf_size: t
u
rn
o
ff b
u
f
s
i
ze for &ad
d
resses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
flow: handle the __n
o
return__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf_
s
ize: re
m
ove th
e
&* and [0] from around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpent
e
r
sm_bu
f
: don't retur
n
the
m
a
ximu
m
s
tore buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
b
u
f_size: ret
u
rn the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_si
z
e: add k
m
alloc_array(
)
a
n
d sock_kmall
o
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Car
p
enter
buf_size: if
t
he me
m
ber size is not known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
M
erg
e
branch 'buf_size
'
into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
Merg
e
git://
g
it
.
k
ernel
.
org
/
pub/scm/devel/sp
a
rse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: first get the
siz
e
in bytes t
h
en convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_siz
e
:
r
emove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
t
er
buf_si
z
e:
f
ix byt
e
s_per_element() for strin
g
s and
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
uf_size:
dele
t
e some
d
uplicate co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size:
prefer the declare
d
a
r
ray
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
penter
b
u
f_s
i
ze: s
t
rcpy() only set
s
the
s
ize of the dest
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_
s
ize: ign
o
re ca
s
ts in get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size:
create
a
n eleme
n
ts
_
to_bytes() func
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: se
p
ara
t
e
b
y
tes_per_
e
l
eme
n
t()
into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next