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
a
bsolute: fix
h
ow
m
odi
f
ic
a
tions are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpent
e
r
debug: fix cut and paste bug in
print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan
Carpente
r
type: fi
x
g
e
t_bino
p
_ty
p
e() for bit s
h
i
f
t opera
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace
:
a
d
d a new
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan C
a
r
pent
e
r
abs
o
lute: track the a
b
so
l
ute
limits
t
hat variables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Ca
r
pe
n
ter
m
a
th: improve how
g
e
t
_ab
s
olute_min/max()
work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carp
e
nt
e
r
math: improv
e
h
o
w
known
l
ogical operations ar
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Ca
r
penter
typ
e
: simplif
y
get_binop_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n Carpenter
type: improve handli
n
g
of type pr
o
motio
n
on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
p
e
nter
extr
a
:
d
e
l
ete
som
e
d
e
b
ug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges
:
par
s
e the ranges li
s
t
correct
l
y
if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an
C
arpe
n
ter
mat
h
: kno
w
n conditio
n
s are
e
qu
a
l
t
o one
or
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpenter
m
ath: handle select st
a
temen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
e
nter
helper
:
improve printed
m
essa
g
es a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
ent
e
r
extra: hand
l
e asm
e
x
p
ress
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferences_param: handle strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
range
s
:
kill
t
he
"
Er
r
or invalid
r
ange message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assigne
d
_expr: ignore += as
s
ignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpe
n
ter
func
t
ion_
h
ooks: wh
i
te s
p
a
ce
fi
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpenter
fun
c
tion_hooks:
u
s
e t
h
e str
i
pped function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carp
e
nter
db, buf_siz
e
, par
s
e_ca
l
l_
m
ath: track th
e
si
z
e of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carp
e
nter
get_i
m
plie
d
_ran
g
e
_
l
i
s
t: use the new function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
implied_
v
a
l
ue: don't get
con
f
used by
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
db/return_state
s
:
fix retur
n
v
a
l
ues for U
S
ER_DA
T
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Carpenter
f
unction_ho
o
k
s: cle
a
n up
some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
enter
functi
o
n
_
hooks: introduce ge
t
_i
m
plied_retur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
arpe
n
ter
mi
s
c: w
h
it
e
s
p
a
ce cl
e
anup
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
a
rp
e
nter
db_c
a
l
l
er_info: a
d
d s
o
me comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
db, fu
n
ction_hooks: p
a
ss assignmen
t
expre
s
sion t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpen
t
er
buf_size: intro
d
uce ge
t
_a
r
ray_size_bytes
_
min
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rpen
t
er
cappe
d
: fix how the min()
m
a
cro is han
d
led
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpent
e
r
buf_siz
e
: db: Us
e
t
h
e --spa
m
my o
p
tion to f
i
l
l
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpenter
buf_size:
m
e
rging tw
o
s
a
m
e size bu
f
fers give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Car
p
enter
buf_size:
r
ecord stat
i
c
variabl
e
s in t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Car
p
en
t
er
proc_create: fix a w
h
itespace issu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
C
a
r
pente
r
buf_size,
d
b: if a str
u
c
t
m
ember size is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
c
heck_kernel: fix
ERR_PTR()
f
a
l
se
posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n Carpenter
logical_ins
t
e
ad_of_
b
itw
i
se: fo
o
= (1 << x) &&
y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
a
n
Carpente
r
lo
c
king
:
_
b
h lock funct
i
ons
are nes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extra: intro
d
u
ce fi
l
ter_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
k
e
rnel: handle
I
S_ERR() pro
p
erly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db_info: remove unused print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra,
function_
h
ooks, db
:
c
h
ange c
r
oss fun
c
t
i
on
analy
s
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carp
e
nter
d
b
: rem
o
ve
the
return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpent
e
r
smatch_data
:
update the data director
t
o th
e
latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
db: caller_info: f
i
x m
o
re fall
o
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
db: type_size: silenc
e
a
p
e
r
l
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
db: cal
l
er_info: u
p
date f
i
xup
_
ke
r
n
e
l
.
sh
t
o the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: get
_
impl
i
ed
_
ra
n
ge_li
s
t() should return 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
user_data
:
use th
e
new retu
r
n
_
states database
ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
user_da
t
a: syscalls are
a sourc
e
o
f
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_dat
a
: if
"
ptr"
i
s user data then "*ptr"
is
u
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
pent
e
r
user_data: add is_user_macro()
s
tu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpe
n
ter
user_data: skb->data is
u
s
er da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
ext
r
a: ma
k
e
a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
db: create
r
e
tur
n
_states table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: a
d
d
get_return_id() and ret
u
rn m
a
rker
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: i
m
prov
e
error mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db:
caller_info c
h
anges: store the
caller, param
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_values ta
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
er
r
_ptr_deref: remove duplicate conflictin
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan
Ca
r
penter
fu
n
cti
o
n
_ho
o
ks
:
move r
e
gis
t
ration
t
o the r
i
ght pla
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan Ca
r
p
enter
d
e
ref_check:
remove dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpente
r
misc whi
t
e space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
implied:
change de
b
ugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks
:
g
e
t
rid of some de
l
ete_state
(
) c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
deref
_
che
c
k: fix
a
false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpente
r
sparse:
c
omment out an int
e
rnal er
r
o
r m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpe
n
ter
M
e
rge gi
t
://g
i
t
.
ke
r
nel
.
org/pu
b
/scm/deve
l
/sparse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Carpenter
*
new* assign_vs_compare: if ((x = <cons
t
ant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
ranges: introduce rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
e
n
ter
d
e
re
f
_check: sil
e
n
c
e
some false
positive
o
n cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fill_db
_
call_
i
mpl
i
es: check
co
r
rect variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_re
t
urn_impli
e
s: dele
t
e the c
o
rrect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
p
o
in
t
e
r
_mat
h
: check ALIGN() ma
c
ro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WA
R
N_ON
(
i == ARRA
Y
_SIZE(f
o
o
)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assig
n
ed
_
expr: m
o
v
e
check_assign
e
d_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpent
e
r
m
acro
_
side_effects: only ena
b
le whe
n
--spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
i
g
nore_s
i
de_effects: add some more
macros
tha
t
hav
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpe
n
ter
b
u
f
_
s
i
z
e
: ad
d
--spammy
t
o validati
o
n
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
p
e
nt
e
r
over
f
low: remove strn
c
p
y
(
)
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpent
e
r
Mer
g
e branch 'deve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_
s
iz
e
: turn o
f
f b
u
f s
i
ze for &
a
ddre
s
ses
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpente
r
flow
:
ha
n
dl
e
t
he
__n
o
return__
attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remove th
e
&
*
a
nd [0] from around t
h
e
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_buf: don't return the maximum store
bu
f
fer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
b
u
f_
s
i
z
e: return
t
he
s
ize of
&foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
buf
_
size
:
add kmalloc_array()
a
n
d sock_kma
l
loc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: if the member size is
not known the
n
store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
enter
Me
r
g
e
branch 'buf_si
z
e'
i
nto devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Me
r
g
e g
i
t://git
.
kerne
l
.
org/pub/sc
m
/devel/spars
e
/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arp
e
nter
buf_size:
f
irst
g
e
t
the size in bytes then con
v
e
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
bu
f
_s
i
ze:
r
e
m
ove
c
ast_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
er
b
uf_size: fix byte
s
_per_element() for string
s
and a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
ize:
d
e
l
ete
s
o
me duplicate
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
si
z
e: prefe
r
th
e
decl
a
red array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_si
z
e: st
r
cpy() o
n
ly sets the si
z
e of t
h
e d
e
stina
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
ter
buf
_
size: ign
o
re casts in get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size: create
an e
l
em
e
nts_to_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
enter
buf_s
i
ze: sepa
r
at
e
bytes_per_element() into its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next