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 Carpenter
u
nwind
:
o
nly enable
wit
h
--spam
m
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
db:
d
o
n
't turn RaiseErr
o
r on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
d
e
v_queue_xmi
t
: tu
r
n
on
by d
e
fau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
n
t
er
db: add a commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpenter
signed:
t
iny w
h
itesp
a
ce fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute: fix param
e
te
r
i
n
fo cou
n
tin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absol
u
te: fix how mo
d
ific
a
t
ions are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpen
t
er
debug: fix cut and pa
s
te bug
i
n print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Car
p
enter
t
y
p
e: fix get_binop_t
y
p
e
()
f
o
r
bit
shift o
p
erations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
whitespace: add a
n
ewline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
absolute: trac
k
the abs
o
lute limits th
a
t var
i
abl
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n C
a
rpenter
math: improve how get_
a
bsolute
_
min/max(
)
work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
mat
h
: improve how known logical
o
perations ar
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
typ
e
: simp
l
ify
g
et_binop
_
t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
D
an C
a
r
p
enter
type: im
p
rove handl
i
ng of type
promot
i
o
n on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: delete some debug
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Car
p
enter
r
anges: pa
r
se
the ra
n
ges l
i
s
t
correctly i
f
it
only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
m
a
th: know
n
conditions are
e
qual to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: handle sel
e
ct statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
helper: im
p
rove
printed
m
essag
e
s a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpen
t
er
extra: han
d
le asm e
x
pres
s
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pen
t
er
de
r
eference
s
_param: ha
n
dle strcmp(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
r
a
nges: kill t
h
e "Erro
r
invalid ran
g
e message
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an Ca
r
pen
t
er
assigned
_
expr: igno
r
e += a
s
s
i
g
nm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
fun
c
tion_hooks: w
h
it
e
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
r
p
enter
fu
n
ction_hooks: use t
h
e
stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_size
,
parse_call_
m
ath:
t
rack the size of
r
eturned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
er
get_imp
l
ied_rang
e
_list: us
e
t
h
e new func
t
ion h
o
ok
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
ar
p
enter
implied_value:
don't get confuse
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db
/
retu
r
n_state
s
: fix return valu
e
s
for USER_
D
A
TA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n
Carpente
r
function_hooks: clean up s
o
me naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Car
p
enter
f
u
nct
i
on_h
o
oks
:
introduce get_impli
e
d_retur
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an
Carpenter
mis
c
: whit
e
spa
c
e cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
d
b_caller_info: add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
db, function_ho
o
ks: pa
s
s assign
m
ent expres
s
ion t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
bu
f
_size: intr
o
d
uce g
e
t_array_size_bytes_m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
o
rst H
.
v
on
Bra
n
d
Insta
l
l cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
capped: fix how the
m
in() macro is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
bu
f
_
s
ize
:
db: Use the --spammy option to
f
ill
t
h
e
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: merg
i
ng tw
o
sa
m
e siz
e
buffers give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arp
e
nter
buf_size: record static vari
a
bles in the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
pr
o
c
_
create: fix a white
s
pace iss
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Carpente
r
b
u
f
_size, d
b
: if a struct m
e
m
be
r
si
z
e is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
penter
check_kerne
l
: fix
ER
R
_PTR() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpente
r
logical_
i
nstead_of_
b
itwise: f
o
o =
(
1
<< x) &&
y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
loc
k
ing: _bh lock f
u
nctions
a
re nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
ext
r
a: int
r
od
u
ce filter_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nter
k
e
rnel: handle IS_ERR(
)
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
db_info: remo
v
e
unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
e
x
tra, function_h
o
oks,
db: chang
e
cross
function anal
y
sis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: remove
t
he return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
a
r
penter
smatc
h
_data
:
u
p
date the d
a
t
a director t
o
t
h
e
l
a
test
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
rpenter
db
:
caller_info: fix more fal
l
o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
t
ype_size: silence a p
e
rl
w
arn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
r
p
e
nter
db: caller_in
f
o
: u
p
date
f
i
xup_
k
e
rnel
.
s
h
to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
extra: get_implied_range_list()
s
hould re
t
u
rn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
u
s
e
r_data: use the
n
e
w return_state
s
d
a
tabase tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
ent
e
r
user_da
t
a: syscalls are a source
o
f us
e
r
dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
ter
user_data:
if "
p
tr" is us
e
r data the
n
"*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_data: add
is_user_macr
o
() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser
_
dat
a
: sk
b
->data
i
s u
s
er
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
e
x
t
ra:
m
ake
a
function sta
t
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b: create re
t
ur
n
_
st
a
tes
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add get_re
t
urn_
i
d
(
) and retu
r
n mark
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b: improve error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
c
alle
r
_
info
c
hanges: store the caller, p
a
ram =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
db: add return_va
l
ue
s
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
p
en
t
er
e
r
r_ptr_deref: remove duplicate conflicting
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
an
Carpent
e
r
f
u
n
ction_hooks: move registra
t
ion t
o
the right plac
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
mair Mohammed Abdullah
Fix bug
i
n Ma
k
e
f
ile that causes linking to f
a
i
l
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Ca
r
p
enter
der
e
f_che
c
k:
r
emove dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc
w
hite space
f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
i
mplied: cha
n
ge debugging out
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
chec
k
s:
get
r
id
of some delete_state
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
a
rpent
e
r
deref_check: fix a false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christoph
e
r Li
Fix
a bug
with variables n
a
med "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
an
Carpenter
sparse: comment out an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpen
t
er
Merge git://
g
it
.
kernel
.
org/pub
/
scm/devel/s
p
arse
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an
C
a
r
pe
n
ter
*new*
a
ssign_vs_
c
o
m
p
are: if ((x = <constant>
)
) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Ca
r
pent
e
r
ranges: in
t
roduce rl_contigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
dere
f
_check: silence some false p
o
sitive on
c
ro
s
s func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_implies:
c
heck correc
t
var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
r
pe
n
te
r
fill_db_return_i
m
pli
e
s: delete t
h
e cor
r
e
c
t table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
C
arpente
r
p
ointer_math
:
check ALIGN() macro
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
helper:
h
and
l
e if (W
A
R
N
_
O
N(i == ARR
A
Y_SIZE(foo))
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusc
h
ä
f
e
r
s
match_script
s
:
f
i
x spelling of "us
a
ge"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neus
c
hä
f
er
s
m
at
c
h: fix s
e
v
eral t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
assigned_expr: move
c
he
c
k
_
a
ssigned_exp
r
() to smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_
s
ide_effects: only enable when -
-
s
pammy is use
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_si
d
e_effects
:
add some more macr
o
s that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
b
uf_siz
e
: add --spammy to validation
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
o
v
erf
l
ow:
r
emove st
r
ncpy() false
p
o
s
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
Merge b
r
anch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: turn off buf si
z
e for &addr
e
sses unles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
fl
o
w:
handle the __nor
e
turn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
arpenter
buf_size: re
m
ove th
e
&* and [0] from around the poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohir
o
spa
r
se: Add 'error' to
i
gnored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
p
arse:
A
dd '__v
e
cto
r
_size
_
_'
to ignored attrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_
b
uf: don't return the maxim
u
m
s
t
ore buffer siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpenter
buf_s
i
ze: return the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next