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
debug: fix cut and paste bug in print
2012-10-23
Dan Car
p
enter
debu
g
: fix cut
and paste bug
i
n print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
arpe
n
t
er
type: fi
x
get_binop_t
y
pe() for bit shi
f
t operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an Carpenter
w
hitespace: add a
newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carp
e
nt
e
r
abs
o
lute: track
t
he absolute limi
t
s
t
hat vari
a
bles
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
ar
p
e
n
t
er
math
:
improve
h
ow get_absolut
e
_min/max() w
o
rk
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math:
i
mprove how known logic
a
l operations are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
ty
p
e
:
simplif
y
get_bi
n
op_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
an Carpenter
type:
impr
o
ve han
d
lin
g
of t
y
pe promotion on bina
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: delete
s
ome debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Da
n
Carpenter
r
a
nges: parse th
e
ranges
lis
t
correctly if it o
n
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpe
n
ter
m
ath: known c
o
nditions
are
equal to one or z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
e
nt
e
r
math: ha
n
dle
s
e
l
ect statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Car
p
ent
e
r
helper: i
m
prove printed
messages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Ca
r
pente
r
e
x
tra:
h
and
l
e asm express
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
d
e
refer
e
nces_param: handle
s
trcmp
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carp
e
n
t
er
rang
e
s: ki
l
l the
"Error inval
i
d
range message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rpenter
assigned_expr: ignore += ass
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carp
e
nter
function_hooks: w
h
ite space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
fu
n
ction_hook
s
: use t
h
e
s
tri
p
ped f
u
nction
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db,
buf_siz
e
, parse_call
_
m
a
th: track
t
he size of re
t
ur
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
Carpenter
g
e
t_imp
l
ied_range
_
list:
u
s
e the new function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
implied_value:
don't get co
n
fused by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/r
e
turn_states:
fix
r
eturn values for
USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Ca
r
pente
r
function_hooks: clean up some
naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carp
e
n
t
er
function_h
o
oks: introduce get_implied_return(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpent
e
r
misc: white
s
p
a
c
e
c
l
eanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpe
n
te
r
d
b
_c
a
l
ler_info: add some com
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
en
t
er
db, functi
o
n_hoo
k
s
:
pass
a
ssignm
e
nt expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan C
a
rpe
n
ter
buf_
s
ize
:
i
n
troduce get_array_size_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
H
o
r
st H
.
v
on Brand
Install cg
c
c too
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
ca
p
ped: fix how the min() macro is han
d
led
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
b
u
f_size: db: Use the
--spam
m
y
option to fill the d
a
t
ab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rpent
e
r
b
u
f_size: merging two
same size buffers g
i
v
e
a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_size: record static var
i
ables in t
h
e dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
proc_
c
reat
e
:
fix
a
whitespace i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpent
e
r
buf_size, db:
i
f a struct
m
e
mber size
i
s set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan
C
arpent
e
r
ch
e
ck
_
kernel: fix
ER
R
_P
T
R() fal
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
l
o
gica
l
_ins
t
ead
_
of_b
i
tw
i
se: foo =
(
1 << x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking:
_
bh l
o
ck functions are nes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpente
r
extra: introduce filter
_
range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
enter
kernel: handle IS_
E
RR() pr
o
perly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db
_
i
nfo: remove unused pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nt
e
r
extra, function_hooks, db: c
h
ange cros
s
functi
o
n
a
n
alysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpen
t
er
db: rem
o
ve the r
e
turn_i
n
fo
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
smatch_data: updat
e
t
h
e data direc
t
or to the late
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
db:
type
_
size: silenc
e
a perl
w
arni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
db: caller_info: u
p
date fi
x
up_ke
r
n
e
l
.
sh
t
o th
e
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
extra
:
get_impli
e
d
_
range_l
i
st() should return 0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
penter
u
s
er_dat
a
: u
s
e
the new return_states dat
a
bas
e
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carp
e
nt
e
r
user_data
:
sysca
l
ls
a
re a source
of user
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
user_d
a
ta: i
f
"
ptr" is user data
t
hen "*ptr" is
user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nter
user_data: add is_user_macro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
user
_
data:
s
k
b
->data is user
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
extra: mak
e
a function s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db
:
creat
e
ret
u
rn
_
s
t
ates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: add get_return_id() a
n
d return mar
k
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
db
:
improve
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
db: caller_inf
o
changes: store the caller
,
param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b
: add return_
v
alues table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref: remove dupl
i
cate conflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
C
ar
p
enter
fun
c
tion_
h
ooks: move regi
s
t
r
a
t
i
on to t
h
e
right p
l
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Oma
i
r Mohamme
d
Abdullah
F
i
x bug in
Makefile that causes linking to fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Car
p
enter
d
e
ref_che
c
k
:
r
emove d
e
ad
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpe
n
ter
mi
s
c
white spac
e
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
p
enter
implied: change debugging outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Ca
r
penter
checks: get rid of some delete_st
a
te() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
der
e
f_check: fix a fal
s
e positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
tophe
r
Li
Fix
a
b
ug
w
ith
v
ariables named "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse: comme
n
t out a
n
internal error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpenter
Merge
git://git
.
kernel
.
org/pu
b
/scm
/
deve
l
/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpe
n
ter
*new* assign_vs_compare: if ((x = <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
ranges: i
n
troduce r
l
_conti
g
uous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
en
t
er
deref_check:
s
ilence some fals
e
posi
t
i
ve on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_implies: check correct va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
fill_db_return_implies: delete the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poin
t
er
_
math: check ALIGN() macr
o
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Ca
r
pe
n
ter
he
l
p
er: handle if (WARN_ON(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäf
e
r
sma
t
ch_scripts
:
fix spelling of "
u
sage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Ne
u
s
c
häfer
sm
a
tch:
f
ix several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carp
e
n
t
e
r
assigned_e
x
p
r:
m
o
ve
check_
a
ssigned_exp
r
()
t
o smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nte
r
m
acro_side_effects: onl
y
enable when --spammy is
u
sed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_side_
e
ffects:
a
dd some more macros that
have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
u
f_size: add --spam
m
y to
validation te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
ente
r
o
verfl
o
w: r
e
move strncpy()
false p
o
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge
b
ranch
'
d
e
vel'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size:
t
urn off
b
u
f
siz
e
for &addr
e
sses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
flow
:
hand
l
e the __noreturn__
a
ttr
i
bute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_s
i
ze: remov
e
the &* an
d
[
0
] from around th
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
i
r
o
spa
r
se: Add
'
e
rror'
to ignored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
spar
s
e: Add '__vector
_
size__
'
to ignored
a
ttri
b
utes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carpente
r
s
m
_buf: don't retu
r
n the maximum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: return the size o
f
&
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carp
e
nter
buf_size:
add kmalloc_array
(
) and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
buf_siz
e
: if the
m
embe
r
si
z
e is not known then st
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Mer
g
e branch 'buf_size' into d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Me
r
g
e
git://git
.
kernel
.
org/pub/scm/de
v
e
l/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpe
n
ter
buf_size: first get the s
i
ze in bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
nter
buf_
s
ize:
remove
c
ast_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: fix
b
ytes_per
_
eleme
n
t(
)
f
o
r
s
tr
i
ngs an
d
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next