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
check_precedence: fix a segfault
2012-11-01
Dan Carpenter
check
_
pr
e
cedence: fix a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpen
t
er
u
nw
i
n
d: only e
n
abl
e
with
-
-spammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Da
n
Car
p
enter
db: d
o
n't turn Rais
e
Error on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpen
t
e
r
dev_queue
_
x
m
it: turn on by de
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpe
n
ter
db: add
a
c
o
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpent
e
r
si
g
ned
:
tiny whit
e
space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
absolute: fix
parameter info
c
ounti
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpent
e
r
absolute:
f
ix how mo
d
ificatio
n
s are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan
Carp
e
nter
de
b
ug: fix cut a
n
d paste b
u
g i
n
prin
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
t
y
pe: f
i
x get_
b
i
nop_typ
e
(
) for
bit shift opera
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespac
e
: add a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute: track the absolu
t
e
limits that variabl
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
Carpente
r
math:
i
mp
r
ove how get_ab
s
olute_min/max()
work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carp
e
n
ter
math: improve how known lo
g
ical operations are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Da
n
C
a
rpenter
type: simplif
y
get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n Carpenter
type: improve handling of type promotion o
n
binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n
Ca
r
pe
n
ter
extr
a
: delete som
e
debug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpe
n
t
er
r
a
n
g
e
s: parse the
r
anges list corre
c
tly if it
o
nly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
math: k
n
ow
n
c
o
nditi
o
ns ar
e
equal
to one or
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
math: handl
e
select
s
tate
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
helper
:
improve prin
t
ed me
s
sages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
extra: h
a
ndle asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpe
n
ter
de
r
ef
e
re
n
ces_param: handle
s
trcm
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
ar
p
ent
e
r
ranges: kil
l
the "Error invalid ra
n
g
e me
s
sag
e
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Ca
r
penter
assig
n
ed_ex
p
r:
i
gnor
e
+= assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpen
t
er
function_hooks: white space fi
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
f
u
n
c
tion_hooks
:
use the strippe
d
fu
n
ction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
an
C
arpenter
db, buf_si
z
e,
p
arse_
c
all_ma
t
h: 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_i
m
pli
e
d
_range_list: use the new function hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
impli
e
d_v
a
lu
e
: don't get conf
u
sed by
c
ast
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
en
t
er
db
/
return_states: fix return valu
e
s for
U
SER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
c
t
i
on_hooks: clean up s
o
me naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fun
c
tion_hooks: in
t
roduce get_implie
d
_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
an C
a
rpenter
misc: whitesp
a
ce cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_ca
l
le
r
_info: add some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpenter
db,
fu
n
ction
_
h
oo
k
s:
pass assignment
e
xpressi
o
n to t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpent
e
r
buf
_
s
i
ze:
i
ntroduc
e
get_array_size_
b
ytes_m
i
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst
H
.
von Brand
Install cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
p
enter
capped: f
i
x how
t
h
e
min() m
a
c
r
o is
hand
l
ed
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carp
e
nt
e
r
buf_siz
e
: db: Use the
--spammy option to fil
l
t
he datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
b
u
f_size: me
r
ging
t
wo same size
buffe
r
s give
a
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpenter
buf_size: record static v
a
riables in the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carp
e
nt
e
r
proc_create: fix a wh
i
tespace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carp
e
n
t
e
r
b
uf_s
i
ze, db: if a
s
tru
c
t member size is set
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_ke
r
nel
:
fix ERR_PTR() fals
e
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpen
t
er
lo
g
ical
_
instead_of_bitwise:
f
oo = (1 <<
x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan C
a
rpenter
locking: _b
h
lock
func
t
ion
s
a
r
e nestable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extra
:
introduce fil
t
er_ran
g
e_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
k
ernel: handle IS
_
ERR()
prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db_info: remo
v
e un
u
sed print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
nter
e
xtra,
f
unct
i
on_hooks,
d
b: change cros
s
function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: remove t
h
e return
_
i
n
fo t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nter
smatch_da
t
a: update the data director to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpente
r
db
:
caller_info: fix more fal
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
rpenter
db: type_size: silen
c
e a
p
er
l
warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: c
a
ller_info:
u
pdate fixup_k
e
rnel
.
sh t
o
th
e
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
get_implied_ran
g
e_l
i
st(
)
should
r
et
u
rn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
user_data: use th
e
ne
w
ret
u
rn_states datab
a
se
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpe
n
ter
user_
d
ata
:
syscalls are
a
s
ource of
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
user_data
:
if "ptr" i
s
user data then "*ptr"
i
s user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpen
t
er
user_data
:
add is_us
e
r_macro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpen
t
er
user_data: skb->data is us
e
r
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
e
x
tr
a
: make a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b
: create ret
u
rn_state
s
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ad
d
get_retu
r
n
_id() a
n
d
r
eturn
markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db
:
improve error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
e
r
db:
c
a
l
ler_
i
nfo chan
g
e
s: store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
db:
a
dd
r
et
u
rn_val
u
es table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref: remove du
p
l
i
cate conflic
t
ing
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Car
p
enter
function_hooks: mo
v
e registration to
t
he rig
h
t place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed
A
bdulla
h
Fix bug in Mak
e
file that
cause
s
lin
k
i
n
g
to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Car
p
enter
deref_c
h
eck: r
e
move de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
mi
s
c white sp
a
ce fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
implied: c
h
a
nge d
e
b
uggi
n
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
C
a
rpenter
check
s
:
g
et rid
o
f some
delete_s
t
ate
(
)
c
all
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_check: fix a false pos
i
tive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher
Li
Fix
a
bug w
i
th variables name
d
"
x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
D
a
n Ca
r
penter
sparse: comment
o
u
t an intern
a
l
error m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
r
pen
t
er
Merge git:/
/
git
.
kernel
.
o
r
g
/
p
u
b
/scm/deve
l
/spars
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an Carpenter
*new* assign_vs_compare: if ((x =
<const
a
n
t>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Ca
r
penter
ranges: introduce rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpente
r
deref_che
c
k: silen
c
e some
false p
o
s
i
tive
on cross
funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_implies: check correct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_r
e
tu
r
n_
i
m
p
l
ies: d
e
lete the corre
c
t tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
po
i
nter
_
m
a
th
:
check AL
I
GN(
)
m
ac
r
o math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
he
l
per: handle if (WARN_
O
N(i
=
=
ARRAY
_
SIZE(foo)
)
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonat
h
an Neuschäf
e
r
s
match_scripts: fix s
p
elling of "
u
sage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
N
e
u
schäfer
smatch:
fix several t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
assigned_exp
r
:
mo
v
e c
h
eck
_
assigned_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
p
e
n
te
r
mac
r
o_
s
ide_effects: only enab
l
e when
--spammy i
s
use
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_si
d
e_effect
s
: add some mor
e
macr
o
s
t
h
at have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: add --spammy to val
i
dation
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
o
verflow: r
e
move strncp
y
() fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
buf_size
:
turn off buf size for &addr
e
sse
s
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow:
handle the _
_
noreturn__ at
t
rib
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpent
e
r
b
u
f_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
KOSAKI Mo
t
ohiro
sparse: Add 'error' to ignored a
t
tributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Motohiro
sparse: Ad
d
'__
v
ector_si
z
e_
_
'
to
i
gno
r
ed at
t
ributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_buf: don't retu
r
n the maximum
s
tor
e
buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next