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
signed: tiny whitespace fix
2012-10-23
Dan Carpen
t
er
signed: tiny whitesp
a
ce fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Carpenter
abso
l
u
t
e: fix parame
t
er inf
o
counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Carpenter
abso
l
u
te: fix
h
ow modific
a
tion
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
debug: fix cut a
n
d paste bug in
prin
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpente
r
type: fi
x
get_binop
_
typ
e
() for
b
it
shift operation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan C
a
r
p
en
t
er
wh
i
t
espac
e
: add
a
newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute: track the absolute li
m
its t
h
a
t
variable
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
Carp
e
nter
math
:
improve how get_absolute_min/max
(
) work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
an
C
arpe
n
ter
math: improve how kn
o
w
n
l
ogical operations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Carpenter
t
ype: simp
l
ify get
_
binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Da
n
C
a
rpenter
type: i
m
prove handl
i
ng of type
p
romotion on
b
inar
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n Carpenter
extra:
delete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse the ran
g
es list correctl
y
i
f it onl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
a
rpenter
math: known cond
i
t
i
ons are
equal
t
o
one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carp
e
nt
e
r
math
:
handl
e
sel
e
ct statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
hel
p
e
r
: i
m
p
rove printed mess
a
ges a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpenter
extra: handle asm expre
s
s
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
de
r
efere
n
ces_p
a
ram: handle strcm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an
Carpenter
ran
g
es: kill the "
E
rr
o
r
invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an Ca
r
pent
e
r
assigned_expr:
i
g
n
o
r
e
+= ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
f
unct
i
o
n
_h
o
oks: white space
f
ix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpenter
function_hooks: u
s
e th
e
st
r
ipped f
u
nction call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
C
a
rpente
r
db, buf_size, parse
_
c
a
ll_math: t
r
ack
t
he
s
ize of
r
e
tu
r
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
get_
i
mplied_range_list: use the new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implied
_
value
:
don't get
c
onfuse
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
db/return_state
s
:
f
ix retu
r
n values f
o
r
U
SER_DAT
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
a
r
penter
funct
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 Carpe
n
ter
fu
n
ctio
n
_hooks: int
r
oduce ge
t
_impli
e
d_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
misc: wh
i
tespace cleanu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
ar
p
en
t
er
db_caller_i
n
fo: add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db,
fun
c
t
i
on_hooks:
p
ass assignment exp
r
ession to
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf
_
size: introduce get_array_size_by
t
es_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
o
rst H
.
v
o
n Brand
Install cg
c
c too
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpe
n
ter
capped: fix how the
min
(
) ma
c
ro is han
d
le
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
C
ar
p
enter
buf_s
i
ze: d
b
: Use
t
he --sp
a
mmy op
t
ion to
f
il
l
the
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpen
t
er
buf_siz
e
: merg
i
ng two same size buffers
g
ive a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf
_
siz
e
: record static variabl
e
s
in th
e
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
proc_c
r
eate: fix a whi
t
espace is
s
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan
C
a
rpenter
b
uf_size
,
db: if a str
u
ct member
s
ize is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan
C
arpen
t
er
check_ker
n
e
l: f
i
x ERR_PTR
(
) false po
s
iti
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Ca
r
pe
n
te
r
logical_i
n
st
e
ad_of_bitwise
:
foo = (1
<
< x)
&& y;
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpen
t
er
locking: _bh lock
functi
o
ns are nestabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
e
xtra
:
i
ntrod
u
ce fil
t
er_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carp
e
n
t
er
k
ernel: handle IS_ERR() pro
p
erly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db_info: re
m
ove unused p
r
int
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
e
x
t
ra
,
functi
o
n_hooks, db: chan
g
e c
r
oss function analy
s
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nte
r
db: r
e
m
o
ve the ret
u
rn_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
smatch_data: u
p
date the
data dir
e
ct
o
r to
t
he latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: caller_info: f
i
x more fal
l
o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
d
b: typ
e
_size: silen
c
e a perl w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_in
f
o: update fixup_kernel
.
sh to
the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_im
p
lied_range_li
s
t
(
) sh
o
uld return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: use t
h
e ne
w
return_state
s
database
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
u
ser_data:
s
y
s
cal
l
s are a so
u
rce
o
f
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
us
e
r_data: if "
p
t
r"
i
s user data th
e
n "*ptr" is
u
ser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
penter
user_data: add i
s
_us
e
r_macro(
)
stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pent
e
r
user_dat
a
: skb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extra: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: c
r
eate return_states tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
en
t
e
r
db
:
add
g
et_retur
n
_id() and retur
n
markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db:
i
m
p
rove error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: caller_info
changes: store the call
e
r,
p
a
r
a
m =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
ent
e
r
err_ptr_der
e
f:
remove dupli
c
ate conflicting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
an Carpenter
function_hook
s
: m
o
ve re
g
istration to t
h
e rig
h
t place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Oma
i
r Mohammed Abdullah
Fix bug
in
Makefil
e
th
a
t
c
a
uses link
i
ng to f
a
il
commit
|
commitdiff
|
tree
2012-08-09
D
an Carpenter
d
eref_check
:
remove dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arp
e
n
t
er
misc white
s
pace fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
impl
i
ed:
change
debuggin
g
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
ch
e
cks: g
e
t rid of som
e
delete_stat
e
(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
deref_ch
e
ck: fix a fa
l
se p
o
sitive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bu
g
with var
i
ables named "x
8
6_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpenter
sp
a
rse
:
c
o
mment out an intern
a
l error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpente
r
Merge git:/
/
git
.
kernel
.
org/pub/scm
/
de
v
el/sparse/chris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
a
n Car
p
enter
*
n
ew
*
a
s
s
ign_vs_c
o
mpare: if ((x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges
:
introduce rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Ca
r
p
e
nter
deref_check: si
l
e
nce
some false
p
ositiv
e
on
cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
db_
c
a
l
l_i
m
plies: check
c
orrect var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_return_implies:
del
e
te t
h
e
co
r
re
c
t table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n Ca
r
p
enter
pointer_m
a
th:
ch
e
c
k
ALIGN() macro
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
C
a
rpenter
helper:
handl
e
if (
W
ARN
_
ON(i == ARRAY_SIZE(foo))
r
et
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neu
s
chäfe
r
smatch_s
c
ripts: fix spelli
n
g of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan N
e
us
c
häfe
r
sma
t
ch
:
fix
s
e
veral
t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Car
p
e
n
ter
assigned_exp
r
: move
c
h
eck_assigned_ex
p
r
(
) to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
m
a
cro
_
s
i
de_e
f
fects: o
n
ly
enable wh
e
n -
-
spammy is
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arp
e
nter
ignore_side_effect
s
: ad
d
s
ome mo
r
e macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Car
p
enter
buf_size: add -
-
s
pammy to validat
i
o
n
t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow: remove strncpy() false posi
t
ive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpen
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
u
f_size:
tur
n
off buf size for &
a
d
dres
s
es
u
nless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow
:
handle the
__noreturn__
attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: remove
the &* and [0] fro
m
aro
u
nd
t
h
e p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Motohiro
sparse:
Add 'error' to ig
n
o
red
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
parse: Add '__vect
o
r_size__' to
i
gn
o
red attribute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_buf: d
o
n't return
t
he
maximum
s
tore buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nter
buf_size: return
the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: add kma
l
l
o
c
_array()
a
nd sock_kmall
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_siz
e
: if the
member size is
not known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merg
e
branch
'
buf_size' into
devel
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
C
a
r
penter
Merge git://g
i
t
.
kernel
.
o
rg/pub/scm/de
v
e
l
/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
next