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
absolute: fix how modifications are handled
2012-10-23
Da
n
Ca
r
penter
a
b
solute: fix how modif
i
cat
i
o
n
s
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
deb
u
g: fix cut and paste bug
i
n p
r
in
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Car
p
enter
type: fix get
_
binop_t
y
p
e() for
b
it shift operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace: a
d
d
a newlin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
ab
s
olute: track the absolute limits t
h
a
t v
a
r
i
ables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
e
nter
math: improve how get_abso
l
ute
_
min/ma
x
() wo
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carpente
r
math: impr
o
ve how known logical
operations are hand
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Ca
r
penter
t
y
pe:
s
implify get_binop_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
rpenter
type: im
p
rove ha
n
dl
i
ng of
t
y
pe promotio
n
on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carp
e
nte
r
ex
t
ra: dele
t
e
some
d
e
b
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse
t
he ranges
list c
o
r
r
ectly if it
o
nly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
math: kn
o
wn
c
ondi
t
ions
a
re equal to one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: hand
l
e
s
e
lect st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pent
e
r
helper: improve prin
t
ed
messa
g
es a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
ex
t
ra: handle asm e
x
pr
e
s
s
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpe
n
ter
der
e
feren
c
es_
p
ar
a
m: handle s
t
rcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: kill
t
h
e
"Error inv
a
lid ra
n
ge message
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpe
n
ter
assigned
_
e
xpr:
i
gn
o
r
e += assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function
_
hooks:
white
space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: use th
e
st
r
ipped funct
i
o
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_siz
e
, parse_call_math:
t
r
ack t
h
e
s
ize of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
a
r
penter
get_implied_ran
g
e
_list: use the new function h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
implied_value: don't g
e
t c
o
nfu
s
ed by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpente
r
db/
r
eturn
_
states: fix ret
u
rn values
for USE
R
_
D
AT
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan C
a
rpenter
function_hooks:
clean up s
o
me naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan C
a
rpenter
function
_
hooks: introduce get_implied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
a
rpenter
misc: whitespace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpen
t
er
db_caller_info: add some comment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
arpenter
db, f
u
n
c
tion_h
o
oks: pass assignment expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
D
a
n Carpenter
buf_size: introduce ge
t
_
array_size_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Hor
s
t H
.
v
o
n Brand
I
n
stall cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
capped: fix how t
h
e min() macro is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: db: U
s
e
t
he
-
-
s
pammy option to fill t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpe
n
ter
buf_
s
i
z
e: merging
t
wo sa
m
e size buffers give
a sa
m
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpenter
buf
_
size: record st
a
tic variables i
n
t
he da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
p
r
oc_c
r
eate: fix a whitespace i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpen
t
e
r
buf_size, db: if
a stru
c
t
member size is set
i
n th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
D
a
n Carpe
n
t
er
check_k
e
rnel: fix ERR
_
P
T
R() fa
l
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_ins
t
ead_of_bi
t
w
is
e
:
foo = (1 <<
x
) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking: _bh lock functions 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
f
ilter_
r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
kernel:
handle
I
S
_ERR()
p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db_info: remov
e
un
u
sed print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
e
xtr
a
, f
u
nction_hooks, d
b
: c
h
a
n
g
e
cross fu
n
cti
o
n
a
na
l
ysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b
: rem
o
ve t
h
e return
_
in
f
o table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
s
m
atch_data: updat
e
the
d
ata dir
e
ctor to the la
t
est
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
r
pen
t
e
r
db: caller_
i
nfo: fix
m
ore
fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_size: si
l
e
n
ce
a
perl
w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b
: cal
l
e
r
_info:
u
pdate f
i
xup_kernel
.
sh to th
e
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: g
e
t
_implied_range_li
s
t()
s
h
o
uld return
0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_d
a
ta: use the
n
ew r
e
tur
n
_states database
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: sysc
a
lls are
a
so
u
rce of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
data:
i
f "p
t
r" is user
d
ata then "*ptr" is us
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
us
e
r_data: add
i
s_use
r
_
m
acro(
)
stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data:
skb
-
>data is user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
e
x
tra: make
a fu
n
cti
o
n static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
e
n
ter
db: create ret
u
rn_states table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db
:
add get_r
e
turn_id() a
n
d
ret
u
rn markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: improve error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpent
e
r
db: caller_info
c
h
a
nges: store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
t
e
r
db: ad
d
return_
v
alues table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
err_ptr_der
e
f: remove duplicate conflictin
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Car
p
enter
fun
c
tion
_
h
ooks: move registratio
n
to the
r
ight pla
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omai
r
Moham
m
ed Abdull
a
h
Fix bug i
n
Ma
k
efile that cau
s
es linking to
f
ail
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Carpenter
d
eref_check: remove
d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
misc white spac
e
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an C
a
rpenter
implied:
c
hange
debugg
i
ng
o
ut
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks
:
get rid of some del
e
te
_
state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
deref_ch
e
c
k:
f
ix
a false po
s
iti
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Chr
i
stopher Li
Fix a b
u
g wit
h
variables named "x86_
6
4"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
s
parse:
co
m
ment o
u
t an int
e
rnal error mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge gi
t
://git
.
k
e
r
nel
.
org/pub/s
c
m/
d
eve
l
/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpenter
*new* assig
n
_vs_co
m
pare: if ((
x
= <constant>
)
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpen
t
er
range
s
:
introduce rl_c
o
ntiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_chec
k
: silenc
e
some false positive on
c
ross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
l
l
_db_call_implies: c
h
eck
correct
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Ca
r
pe
n
ter
fill_d
b
_return_implies: delete the
c
o
rr
e
ct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
point
e
r_math: check ALI
G
N() mac
r
o math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
helper: ha
n
dle if (WARN_ON(i ==
AR
R
AY_SIZE(foo)
)
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
J
onathan
Neus
c
häfer
sma
t
c
h_script
s
: fix spel
l
ing of "u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch: f
i
x sev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
ter
assigned_expr:
move
c
heck_assi
g
ned_expr()
to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
m
acro_side_effects
:
only en
a
b
le when --spammy
i
s
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ign
o
re_side_e
f
fects:
add some mor
e
ma
c
ros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_si
z
e: add -
-
spam
m
y to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
over
f
lo
w
: remove s
t
rn
c
p
y
(
) false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
Merge br
a
nch 'd
e
vel'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
b
u
f_size: turn off buf size f
o
r &addresse
s
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpe
n
ter
flow: handle the __no
r
e
turn_
_
att
r
ibut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remove the &* and [0] from around
the point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
p
arse: Add 'er
r
or'
to ignored
a
t
tributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Motohiro
spa
r
se: Add '__vector_size__'
to ignored attribute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carp
e
nt
e
r
sm_
b
uf: don'
t
return the maximum store
b
u
f
fer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
buf_size: return t
h
e siz
e
of
&foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
r
penter
buf_size: a
d
d kmalloc
_
array() and sock_kmallo
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_size:
i
f the member size is n
o
t
k
nown t
h
en store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge
b
ran
c
h '
b
u
f_size' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge git://git
.
ker
n
el
.
org/pub/scm/devel/spars
e
/
s
pa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
p
e
n
ter
b
u
f_s
i
z
e: f
i
rst get the
size
i
n bytes th
e
n convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: remove cas
t
_r
a
tio(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next