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 Carpe
n
ter
ab
s
olu
t
e
: fix how modi
f
ications
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Carpenter
de
b
ug: fi
x
cut and paste bug in pri
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Ca
r
penter
t
y
pe: fix get_bin
o
p_
t
ype() for
bit shif
t
operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace:
add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolu
t
e: track th
e
ab
s
olute limits that v
a
riab
l
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carp
e
nter
math: imp
r
ove how get_absolu
t
e_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carpe
n
ter
m
ath:
improve
h
o
w known logical operation
s
a
r
e hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
C
a
rpenter
t
ype: sim
p
lify get_binop_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpen
t
er
type: improve h
a
ndling of ty
p
e pro
m
o
t
ion on
bi
n
a
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extr
a
: d
e
l
e
te s
o
me deb
u
g c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
arpe
n
ter
r
a
n
ges:
p
arse the
rang
e
s list correctly if
it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Ca
r
pen
t
er
math: known conditions are equ
a
l
to one o
r
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Car
p
enter
math: handle se
l
ect statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
a
r
p
e
n
t
er
helpe
r
: impr
o
v
e printed messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
e
x
tra: handle asm ex
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Car
p
enter
dereferences_param: handle
s
trc
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Carpenter
ranges: kill the "
E
rr
o
r invalid
r
ange messa
g
e
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpenter
ass
i
g
n
ed_expr:
ignore += assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpenter
fun
c
tion_hooks
:
w
h
ite
space fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpe
n
te
r
fun
c
t
ion_hooks: us
e
the str
i
p
p
ed func
t
ion call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpenter
db, b
u
f_
s
ize,
parse_call_ma
t
h: trac
k
the size
of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
get_im
p
l
ied_
r
ang
e
_list
:
use th
e
new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
implied_value: d
o
n't get confused by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/r
e
turn_stat
e
s:
f
ix re
t
urn values for U
S
ER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
a
rpenter
f
unction_hooks: clean
u
p
s
ome
n
aming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: introduce get_implied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
pen
t
er
mi
s
c: wh
i
tespace
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpenter
db_cal
l
er_info: add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
db, f
u
ncti
o
n_hoo
k
s
: pa
s
s assignme
n
t express
i
on to
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Car
p
e
nter
buf_si
z
e: introdu
c
e
ge
t
_array_size_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
c
a
pped: fix how the m
i
n
(
) macro is
h
andled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size
:
db: Us
e
th
e
--spammy
o
ption to fi
l
l the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_size: mergin
g
two same
s
ize buffers give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carp
e
n
t
er
bu
f
_
size: reco
r
d stat
i
c varia
b
les in t
h
e dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
C
arpenter
p
r
oc_c
r
eate: fi
x
a whitespac
e
iss
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan C
a
r
p
ente
r
buf_size, db: if a struct member
size is s
e
t in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
D
an C
a
rpenter
check_ker
n
el: fix ERR_PTR() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Ca
r
p
enter
logical_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: _bh lock
f
u
nctions are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
extr
a
:
i
nt
r
o
d
uce f
i
lter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
kernel: handle IS_ERR(
)
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
db_in
f
o: r
e
m
o
v
e
unused pri
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
e
x
t
r
a, function_hooks,
d
b
: change cro
s
s
f
unction a
n
al
y
s
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: rem
o
ve
t
he return_inf
o
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
s
m
atch_
d
ata: u
p
date the data di
r
e
c
t
o
r to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpent
e
r
db: caller_info:
fix more fa
l
l out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
pent
e
r
db: ty
p
e_size: silence a p
e
rl w
a
r
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
d
b
: caller_info:
u
p
date fix
u
p_kernel
.
sh to
t
he
new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra: get_i
m
plied_range_list() s
h
oul
d
return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_data:
u
se the
n
ew return_states data
b
ase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
user_data: sy
s
calls are
a
s
our
c
e of user
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
enter
user_d
a
ta: if "ptr" is user
data then "*p
t
r
"
is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
user_da
t
a: add is_user_macro(
)
stu
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pe
n
ter
u
ser_
d
ata: skb->dat
a
is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
extra:
m
ake a fu
n
ction
s
tati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b
: create return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
d
b
: add
get_
r
eturn_id(
)
and return marker
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db: improve er
r
or message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b
:
caller_in
f
o
ch
a
ng
e
s: store the caller,
p
aram =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b:
a
dd return_v
a
lues
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
err_ptr_deref:
remove du
p
l
icate conflicting c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpe
n
ter
f
unction_h
o
o
k
s: mo
v
e
r
egis
t
ration to the right p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
D
a
n
Carpente
r
deref_
c
heck: remove dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
impl
i
ed: ch
a
nge debugging
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an
Carp
e
nter
ch
e
cks:
g
et rid o
f
some
d
elet
e
_
s
tate()
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_check: fix
a
false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpe
n
ter
sparse: comm
e
nt
o
ut an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git://git
.
k
e
rnel
.
org/pub/scm/devel/s
p
arse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an Carpe
n
ter
*
new*
a
s
s
i
gn_v
s
_compa
r
e: if ((x = <cons
t
ant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
ran
g
es: introduce rl_cont
i
guous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
deref
_
check: silence
s
ome false pos
i
tive on cross fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpente
r
f
i
ll_db_call
_
imp
l
i
e
s: check
c
orrect v
a
ri
a
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpe
n
t
er
fill_db_return_implies: delete the co
r
rect tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
C
a
rp
e
nter
p
ointer_math: c
h
e
c
k ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WARN_ON(i == ARRAY_S
I
Z
E
(foo))
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assig
n
ed_expr: move che
c
k_assi
g
ned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
macro_side_effe
c
ts: only enable
w
hen --spammy is u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
en
t
er
ignore_side_effects: add some mo
r
e macros that h
a
ve
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: add --spam
m
y
to validat
i
on tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
overf
l
ow:
r
emove str
n
cpy() f
a
lse posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch
'de
v
e
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size:
t
u
rn off
b
uf size for &ad
d
r
esses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
f
l
ow: h
a
ndle th
e
__n
o
return__ attribut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
buf_size:
rem
o
ve the &* and [
0
] from around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
sm_b
u
f:
don't
r
eturn th
e
maximum store
b
uffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size:
r
eturn
the s
i
ze of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_size:
add kmalloc_array()
and sock_k
m
alloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpent
e
r
buf_size: i
f
the
m
ember
s
ize is not kno
w
n
t
h
en
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an C
a
r
p
enter
Mer
g
e b
r
anch 'buf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
C
arpe
n
t
e
r
Merge git://git
.
ker
n
el
.
org/pub/sc
m
/
d
e
vel/s
p
arse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
b
u
f_size:
f
irst get the size
in by
t
e
s th
e
n convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
r
emo
v
e cast_rat
i
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpenter
buf_siz
e
: fix b
y
t
e
s_
p
er_element() for strin
g
s a
n
d
a
r
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf_si
z
e: del
e
t
e
s
ome dup
l
icat
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
te
r
b
uf_size: pre
f
er the decl
a
red array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
pe
n
ter
buf_size: s
t
rcpy(
)
only sets the siz
e
of the
destin
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf
_
s
i
ze:
ignore casts in get_a
r
r
a
y_siz
e
_
by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_
s
i
ze: create an eleme
n
ts_to_by
t
es
(
) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: separate byt
e
s_
p
er
_
element() into its
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next