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
whitespace: add a newline
2012-10-12
Dan Carp
e
nter
w
hi
t
espace:
ad
d
a
n
e
w
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan
Carpenter
absol
u
te
:
track the absol
u
te
limits that variables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carpenter
ma
t
h:
impr
o
ve how
get_absolute_min/max() wo
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
enter
mat
h
: improve how known
logica
l
operat
i
ons
a
re
h
a
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Ca
r
pent
e
r
type:
s
im
p
lify ge
t
_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carp
e
nter
type: improve handl
i
ng of type promotion
on bin
a
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
e
xtra:
d
elete some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
range
s
: parse
the
r
a
n
g
e
s list correctly if it on
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: k
n
own conditions are equal to
o
ne
o
r zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
math: ha
n
dle
s
elect
s
tatem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpe
n
t
er
helpe
r
:
impr
o
ve printed messages a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
e
xtra: handle
asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
deref
e
rences_param:
handle str
c
mp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Carp
e
nter
rang
e
s
:
kill the "Error in
v
a
lid ra
n
ge message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assigne
d
_expr: ignor
e
+= assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpente
r
function_hooks
:
whi
t
e space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
an Ca
r
penter
f
u
ncti
o
n_h
o
oks: use t
h
e stripped
f
unc
t
ion call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
db, buf_size, parse_call_mat
h
: tr
a
ck
t
he size of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_
i
m
p
l
i
e
d
_
ran
g
e_list: use
the new function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpe
n
t
e
r
implied_value: don't ge
t
confused
by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpenter
db/return_state
s
:
fix return valu
e
s
f
or USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_h
o
oks: clean up some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Carpenter
fu
n
ction_hooks:
introduce
g
e
t
_
i
mplied_retur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nte
r
misc: wh
i
tespace clea
n
up
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan C
a
rpe
n
ter
db_caller_
i
nf
o
: add some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpen
t
er
db, fu
n
ct
i
on_h
o
oks: pas
s
assignment expr
e
ssion to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpente
r
b
uf_size: introduce get_array_size_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von B
r
a
n
d
Inst
a
ll cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how
t
he min(
)
macro
is
h
andled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpen
t
er
buf
_
size:
db:
U
se
the --spamm
y
o
ption to
f
ill
t
he
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
buf_size
:
merging two
s
ame size buf
f
ers
g
iv
e
a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_
s
ize
:
recor
d
st
a
ti
c
v
a
r
i
ables in t
h
e databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
p
roc_create: f
i
x
a whitespace
i
ssue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpenter
buf_size, d
b
: i
f
a struc
t
m
e
mbe
r
si
z
e is
s
et
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan C
a
rpenter
check_ke
r
nel:
f
ix ERR_PTR(
)
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
l
ogic
a
l_
i
nste
a
d_of_bitwise
:
f
o
o
= (1 <<
x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
Carpenter
locking: _bh
lo
c
k
f
un
c
t
i
ons ar
e
nes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ex
t
ra: intr
o
duce filte
r
_range_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
p
e
nter
kernel:
ha
n
d
l
e IS_ER
R
() pro
p
erly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db_in
f
o:
rem
o
ve un
u
sed print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, function_
h
ooks, db: change cr
o
ss
f
unc
t
ion analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: remove
t
he return_inf
o
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
s
matc
h
_dat
a
: update the da
t
a director
t
o the late
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info:
fix more fall o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db
:
ty
p
e
_
size: silence a perl warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: c
a
ller_i
n
fo
:
updat
e
fixup_k
e
rnel
.
sh to t
h
e
n
ew
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra
:
get_implied_ra
n
ge_list() should return
0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nt
e
r
use
r
_data: use th
e
new return_states database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: syscalls are a so
u
rce
of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpen
t
er
user_data:
i
f "ptr"
is u
s
er data then "*ptr" is u
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
u
s
e
r_data: add is_user_macro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: skb->data is u
s
e
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
make
a
function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create return_
s
tates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add get_r
e
turn_id() and return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
d
b
:
i
mprove erro
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
caller_info cha
n
g
e
s: store
t
he caller, pa
r
am =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db:
a
dd r
e
t
u
rn_values
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpe
n
ter
e
r
r
_ptr_deref: re
m
ove duplicate conflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
func
t
ion_hoo
k
s
:
m
o
v
e registrati
o
n
t
o
t
he right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed
A
bdull
a
h
Fix bug in Makefile
t
hat
causes linking
t
o fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpente
r
deref_check: re
m
ove dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carp
e
nte
r
misc
white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
i
mplied: change de
b
ugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
t
e
r
checks:
g
et rid o
f
som
e
delet
e
_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
deref_ch
e
ck: fix a false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Chr
i
stopher
Li
Fix a bug with variables named
"x86_64
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpe
n
ter
s
p
arse:
comment
out an internal
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carp
e
nter
Merge
git://git
.
kernel
.
org/
p
ub
/
scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arp
e
nte
r
*new* assign_vs
_
compa
r
e: if ((x =
<constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: in
t
r
oduce rl_contiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
rpenter
de
r
e
f_check: silence som
e
fal
s
e p
o
si
t
ive
o
n
cross
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nter
fi
l
l_db
_
c
a
ll_impl
i
es: check correct
variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
en
t
er
fill
_
db_retu
r
n
_
im
p
lies:
dele
t
e
the correct
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Car
p
enter
pointer_
m
ath: check ALIGN() m
a
c
r
o math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
helper: handle if (WARN_ON
(
i == ARRAY
_
SIZE(f
o
o
)) re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfe
r
s
ma
t
ch_scripts: fix spelling
o
f
"
u
sa
g
e"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusch
ä
fe
r
smatch: fix
sev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
assigned_expr: move
c
heck_assigned_exp
r
() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpe
n
ter
macro_sid
e
_e
f
fects: only
enabl
e
when
--spammy i
s
u
s
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_side_eff
e
cts: add som
e
mor
e
ma
c
ros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: add --spammy to va
l
id
a
tion tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
ov
e
rflow: remove strnc
p
y
(
) fals
e
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
Merge bran
c
h
'
devel'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carp
e
nter
b
uf_size:
turn o
f
f buf size
for &addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
flo
w
:
h
andle t
h
e __no
r
e
t
urn__ at
t
ribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
bu
f
_
size
:
remove
the &* and [0] from a
r
ound the
po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KO
S
A
K
I
Motoh
i
ro
sp
a
rse:
A
dd 'er
r
or' to ig
n
ored attribu
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
O
S
AKI Motohiro
s
parse: Add '__vector
_
siz
e
__' to
ignored at
t
ri
b
ut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
s
m_b
u
f
: don't r
e
turn the maxi
m
um sto
r
e buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
C
arpenter
b
u
f_size: retur
n
the size of &fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_
s
ize: add kmalloc_arr
a
y
(
) a
n
d so
c
k_kma
l
l
oc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Car
p
enter
buf_siz
e
: if the member size is n
o
t
known
then
store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
M
e
r
g
e branch 'buf_s
i
ze
'
into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Mer
g
e git://g
i
t
.
k
e
rnel
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: fi
r
st
g
et the s
i
z
e in bytes t
h
en convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_si
z
e
: remove c
a
st_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fix bytes_per_element() for strings
and array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
u
f_size: delete
some d
u
pli
c
at
e
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
p
r
efer the
decla
r
e
d
a
rray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next