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
unwind: only enable with --spammy
2012-10-27
Dan Carpen
t
er
un
w
ind: o
n
l
y
e
n
able
wit
h
--
s
pammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Ca
r
penter
db: don't turn RaiseErro
r
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
d
ev_qu
e
ue_
x
mit: tu
r
n o
n
b
y
de
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpent
e
r
db: add a
commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpent
e
r
signed:
t
iny whit
e
s
p
ace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpen
t
er
absolute: fix parameter info counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Carpe
n
ter
a
b
solute: fix how modi
f
icatio
n
s are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
Carpenter
debug: f
i
x
c
ut and past
e
b
u
g in pri
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
type:
f
ix get_binop_
t
ype(
)
f
o
r
bit shift
operation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Car
p
enter
whitespac
e
: add a newl
i
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Ca
r
pe
n
ter
absolut
e
: trac
k
the a
b
solute
limits th
a
t variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
Carpe
n
ter
math: improve how get_absolut
e
_
m
i
n/max() wo
r
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n C
a
rpenter
math: improve how
known
l
o
g
ica
l
operations are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Da
n
C
a
r
penter
t
ype: simplify get_bin
o
p
_
typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
rpenter
type: improve handling of type promoti
o
n
o
n binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpen
t
er
extra: delete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carp
e
nter
ranges: parse
t
he r
a
nge
s
l
i
s
t
correctl
y
i
f it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
ent
e
r
mat
h
: kn
o
wn c
o
n
d
itions are equal to one or zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n C
a
rpenter
m
a
t
h
: handle select statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
a
rpenter
helper
:
imp
r
ove
p
rinted me
s
sages a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
extr
a
: hand
l
e asm
expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
d
e
r
eferenc
e
s_para
m
: handle strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
r
a
n
g
es:
k
ill the "Error invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Car
p
e
n
ter
assigne
d
_expr: ignore
+
= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
func
t
ion_hooks:
whi
t
e space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpenter
fun
c
t
ion_hooks: use the
stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
db, buf_size, parse_
c
all_mat
h
: track th
e
size of
r
e
t
urned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
r
p
enter
get_impli
e
d_ran
g
e_
l
i
s
t: use the new function
hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rpe
n
t
er
implied_v
a
l
u
e: don't get con
f
used b
y
cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/ret
u
rn_states: fix retur
n
v
a
l
ue
s
for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n Carpenter
function_h
o
ok
s
: clean up som
e
naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpe
n
te
r
function_hooks:
i
ntroduce get_implied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
t
e
r
misc: whitespace clea
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nter
db_
c
aller
_
i
nfo: add
some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, function_hoo
k
s: pass assi
g
nm
e
nt expression to th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Car
p
en
t
er
buf_size: introduce get_array_size_byte
s
_mi
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
o
rst H
.
v
o
n Bran
d
Install cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpen
t
er
capped: f
i
x
h
ow the min() macro i
s
h
andled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
Carpenter
buf_size: db: Use the --spammy option to
f
i
ll the dat
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
t
e
r
buf_size
:
merging two same size buf
f
ers give a
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
r
p
en
t
er
buf_size: record sta
t
i
c
variab
l
es in
t
he data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
proc_c
r
eate: fix
a whitespace
i
ssue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan
C
arpen
t
er
buf_size, db: if a struct member si
z
e is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan
C
arp
e
nter
ch
e
ck_kernel:
f
ix ERR_
P
TR() false po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Car
p
en
t
er
logical_inst
e
ad_
o
f_
b
i
t
wi
s
e: foo =
(
1 << x) && y
;
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
l
oc
k
ing: _bh lock funct
i
ons are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ext
r
a: introduce filter
_
r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
kernel: handle
I
S_ERR() prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db_inf
o
:
r
e
move unused
p
rint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, function_h
o
oks, db: change
cross function a
n
al
y
sis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: remove the return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ente
r
sma
t
ch_
d
a
t
a: update t
h
e
d
ata dir
e
c
t
o
r
to the la
t
est
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
db
:
call
e
r
_
info: fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carp
e
nter
db: typ
e
_si
z
e: silence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db:
c
aller
_
info
:
update f
i
xup_kernel
.
sh to the n
e
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
extra: get_impl
i
ed_ra
n
g
e
_
l
ist() should
r
e
turn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
use
r
_data: use the new
r
etu
r
n_st
a
tes
d
atabase
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: s
y
s
c
a
ll
s
ar
e
a sou
r
c
e of
u
ser data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
use
r
_data: if "ptr" i
s
user
data then "*ptr" is
user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
user_data:
a
dd is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
u
se
r
_data: s
k
b->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
m
ake
a
function
s
tat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
ar
p
e
nter
db: create return_states
t
abl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: add
g
et_return_id() and retu
r
n
markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
enter
db: improve error
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db: caller_i
n
fo changes: stor
e
the
c
a
l
ler, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
en
t
e
r
db: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
penter
err_pt
r
_
d
e
ref:
remove d
u
plicate conflicting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Carpent
e
r
function_hooks: move regist
r
a
tion to
t
he ri
g
ht
p
la
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed
A
bdu
l
lah
Fix bug
in Makefile that
c
aus
e
s
l
inking to f
a
il
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check: re
m
ove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc
white spac
e
fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Ca
r
pen
t
er
imp
l
ie
d
: ch
a
nge debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
c
h
ecks: get
r
id of some delete_state() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpen
t
e
r
deref_check: fix a fa
l
se positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christo
p
her L
i
Fix a bug wi
t
h
var
i
ab
l
es named
"
x86_64
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse: comment out an i
n
ternal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpent
e
r
Merge git://g
i
t
.
k
ernel
.
org/pub/s
c
m/d
e
vel/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan C
a
rpe
n
t
er
*
new* assi
g
n_v
s
_compare:
if ((x = <con
s
ta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
r
a
nges
:
in
t
roduce rl_c
o
ntiguous(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpente
r
deref
_
check:
silence some false positive o
n
cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
f
i
ll
_
d
b_call_implies: check corr
e
ct varia
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
f
i
ll_
d
b_ret
u
rn_implies: dele
t
e
t
he
correct tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math: check ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan
C
arp
e
nter
hel
p
e
r
: han
d
le if (WARN_ON(i == ARRAY_SIZE(
f
oo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Ne
u
schäfer
s
mat
c
h_
s
c
ripts: fix
s
pelling
of
"
u
sage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
natha
n
Neuschäfer
smatch: fix several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
assigned_exp
r
: move
che
c
k_ass
i
gned_expr() to s
m
at
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
m
acro_si
d
e_ef
f
ects:
o
nly enable wh
e
n
-
-
spam
m
y is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
ignore_side_e
f
fe
c
ts: add
s
o
me more macro
s
that h
a
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf_si
z
e
: add --spamm
y
t
o
vali
d
ati
o
n t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
ov
e
rflow: rem
o
ve str
n
cpy(
)
false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
Merge bran
c
h 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf_si
z
e: turn off
b
uf size for &addresses unl
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
flow: handle the __noretu
r
n__
attr
i
but
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: remove the &* a
n
d [0
]
from aroun
d
the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: A
d
d 'err
o
r' to i
g
nored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI Motohiro
sparse: Add '__vector
_
size__' t
o
ignored attri
b
u
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Car
p
enter
sm
_
buf:
d
on't return the
m
aximum
stor
e
buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_siz
e
:
return th
e
size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next