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
m
a
th: improve how get_absolute_min/max() wor
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
ente
r
math
:
improve how known logical oper
a
tions are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Carpen
t
er
type
:
simplify g
e
t_binop_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
r
p
enter
type
:
i
mprove hand
l
ing of t
y
pe
p
romotio
n
on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n Carpenter
ex
t
ra: delete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse
the range
s
list correctly if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
math: known conditions are
e
qual to
o
n
e or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
n
ter
mat
h
: handle
s
elect stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: improve printed messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpen
t
er
ext
r
a: handle asm exp
r
essions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Ca
r
penter
dereferences_p
a
ram: handle strc
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
rang
e
s
: kill
t
h
e "Error
invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpe
n
ter
assigned_e
x
pr: ignore
+
=
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpen
t
er
funct
i
on_hooks:
w
h
ite space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpen
t
er
f
u
ncti
o
n_hooks: use the st
r
i
p
ped funct
i
on c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
ent
e
r
db, buf_size,
p
arse_ca
l
l
_math: track the siz
e
of r
e
turned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpenter
get_implie
d
_
r
ange_li
s
t: use th
e
new
funct
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpe
n
ter
implie
d
_
value: don
'
t get confuse
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpent
e
r
db/return_states: fix return values for
USER_DA
T
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an
Carpe
n
t
e
r
funct
i
on_hoo
k
s
:
clean up so
m
e naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: i
n
t
roduce ge
t
_
impl
i
ed_r
e
t
u
rn
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpenter
misc: wh
i
tespace clean
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_
c
aller
_
info: ad
d
some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
d
b, fun
c
ti
o
n
_
hooks
:
pass
a
ssignment expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
D
a
n Carpente
r
b
uf_size: introduce
get_array_size_byte
s
_
m
in()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
t
er
cappe
d
: fix how
the min() mac
r
o is h
a
ndl
e
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_s
i
z
e:
db: Use t
h
e --spammy option to
fi
l
l th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpent
e
r
buf_size: merging two same size buffers gi
v
e a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rp
e
nter
buf_size: record static varia
b
les
i
n
t
he
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
proc_create:
fix a whitespa
c
e issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan
C
a
r
pe
n
ter
buf_size,
db: if a
s
t
r
uc
t
m
e
mber size is
s
et
in
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
c
heck_
k
e
r
n
e
l: fix ERR
_
PTR
(
) false
p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n
Carpenter
logic
a
l_ins
t
ead_of_bitwise:
f
oo = (1 <<
x
) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan
Carpent
e
r
locking: _b
h
l
o
c
k funct
i
ons are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpe
n
ter
e
x
tra: int
r
od
u
ce fil
t
er_range
_
list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ker
n
el: hand
l
e IS_E
R
R() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
ent
e
r
db_i
n
fo:
rem
o
v
e unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra,
f
un
c
tio
n
_
h
oo
k
s,
db: change cross function a
n
alysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
rem
o
ve
t
he return_info tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smatch_dat
a
: update the data
d
irector to th
e
lat
e
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
db: c
a
ller_info: fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_size: silence
a
pe
r
l
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: c
a
ller_info: update fixup
_
kernel
.
sh to the
new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
extr
a
: get_implie
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 Carpenter
u
s
er_data: use th
e
new retur
n
_states
database
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user_data: syscal
l
s are a source of
u
s
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a: if
"ptr" is
u
s
er data th
e
n "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_data: add is_user_mac
r
o
(
) stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_
d
ata: skb->
d
at
a
is us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpe
n
ter
extr
a
: make
a
f
u
nction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create return_st
a
tes
tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
db: add
get_return_id() and retu
r
n
m
ar
k
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db:
i
mpro
v
e
e
rror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db:
c
a
ller_info changes: store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
d
b: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
e
rr_pt
r
_deref
:
remove
duplica
t
e conflicti
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fu
n
ction_hooks: move registration to
t
he right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan
Ca
r
penter
d
e
ref_check: remo
v
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Ca
r
pente
r
misc wh
i
te space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
e
r
implied: change debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
checks
:
get rid o
f
some delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_
c
heck: fix a false
p
o
sitive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpent
e
r
sparse: comment out an
i
nt
e
rna
l
e
r
ro
r
mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge gi
t
://git
.
kernel
.
org/
p
ub/scm/
d
evel/spa
r
se/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Car
p
enter
*n
e
w
* as
s
i
g
n_vs_compare: if ((x =
<co
n
stant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ra
n
ges: i
n
troduce rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_check: silence some false positive on cro
s
s
fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
fill
_
db_call_i
m
plie
s
: check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_retur
n
_implies
:
d
e
l
e
te t
h
e correct tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Car
p
enter
pointe
r
_
m
ath: chec
k
A
LI
G
N() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carp
e
nter
h
elp
e
r
: handle
if
(WARN_ON(i == ARRAY_SIZE(foo))
retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
assigned_expr: move ch
e
ck_assigned_expr() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
m
ac
r
o_
s
i
d
e_e
f
fect
s
:
o
nly
enable when --spa
m
my is use
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
ig
n
ore_side_effects: add so
m
e more
macros
t
hat have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpe
n
ter
buf_siz
e
: add
-
-
s
pam
m
y to vali
d
ation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
overflow: rem
o
ve strncp
y
() false po
s
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
Mer
g
e branch 'devel
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: tu
r
n off buf
s
i
ze for
&add
r
esses unl
e
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow:
h
a
n
dle the __noreturn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
buf_size: r
e
move the &* and [0
]
f
r
o
m
a
round the pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
rpenter
sm_buf: d
o
n't
r
e
t
ur
n
the max
i
mum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carp
e
nt
e
r
b
u
f
_size: return the size
o
f &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
buf_size: add kmalloc_a
r
ray() and sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
b
uf_size
:
if the member size is no
t
k
nown then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpenter
Me
r
ge branch 'buf_size'
i
nto
d
e
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arp
e
nte
r
M
erge git:/
/
git
.
k
erne
l
.
o
rg/pub/sc
m
/devel/sp
a
rse/spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size
:
f
irst
get the si
z
e in by
t
e
s then
c
onvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_s
i
z
e
: remove cast_rat
i
o
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpenter
b
uf_s
i
z
e: fix
b
ytes_p
e
r_eleme
n
t() for strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
penter
b
uf_siz
e
: dele
t
e
some
duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
nt
e
r
buf_size: prefer the declared arra
y
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strc
p
y() only sets
the siz
e
o
f
the dest
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: i
g
nore c
a
sts in
g
e
t_array_size
_
bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: creat
e
an elements_
t
o_
b
ytes()
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpe
n
ter
buf_
s
ize:
separate bytes_
p
e
r
_ele
m
ent() int
o
its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpe
n
ter
buf
_
size: using ->bit_size doesn't
work for void pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
s
i
z
e:
u
se get_stored_size_bytes
(
) d
i
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
bu
f
_size: make get_stored_size_byte
s
() a separa
t
e fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
a
r
pente
r
buf_size: pull
bytes_to_elements() in
i
t
s
o
wn
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: ca
l
culate b
y
tes p
e
r
e
l
em
e
nt better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next