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 Carpenter
s
i
gned: tiny whit
e
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpente
r
absolute: fix para
m
e
t
er info co
u
nting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpenter
absolute:
fix how
modifications are
h
andl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
C
arpenter
debug: fix cut and paste bug
i
n print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Car
p
enter
type: fix get_bin
o
p_typ
e
()
for bit
shift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whitespace: add
a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute
:
track the absolut
e
l
i
mits that variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carp
e
nter
m
a
th: improve how get_absolute_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan C
a
rpenter
math
:
i
m
prove how kn
o
wn logical o
p
erations are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpe
n
ter
type: simplify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carpenter
type: i
m
pro
v
e handlin
g
of type promotion on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pe
n
ter
extra: de
l
ete
s
ome d
e
b
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpenter
r
anges: pars
e
the r
a
nges list c
o
rrectly
if it
o
nly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Ca
r
p
e
nter
m
a
th: kno
w
n conditions are equal to one
o
r z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
math: handle se
l
ect statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: imp
r
ove printed messag
e
s a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
extr
a
:
handle asm
expression
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
derefe
r
ence
s
_param:
han
d
le
strcm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: kil
l
the
"Err
o
r i
n
v
a
lid range mess
a
g
e
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpenter
assigned
_
e
x
pr: ignore
+
=
a
ssignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks
:
w
h
ite space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: use
t
h
e stripp
e
d function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpe
n
ter
d
b, buf
_
size, pa
r
se_call_
m
at
h
: track t
h
e size of ret
u
rned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Car
p
en
t
er
ge
t
_i
m
plied_ra
n
ge_list: use the new function h
o
oks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
impl
i
ed_v
a
lue:
don't get
confused by
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
db/return_states: fix
r
eturn v
a
lues for U
S
ER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Ca
r
pe
n
ter
function_h
o
oks: clean
up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: intro
d
uce get
_
im
p
lied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpenter
misc: whites
p
ace cl
e
a
n
u
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_info
:
add som
e
c
o
mments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpenter
db, function_hooks: pass as
s
i
g
n
ment exp
r
ession
t
o the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf_si
z
e
:
introdu
c
e get_array_size_bytes_min
(
)
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 Carpenter
capped: fix how the min() ma
c
ro is handl
e
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_s
i
ze:
db:
Use the --spam
m
y
option to fill t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf
_
s
ize: merging two same
size b
u
ff
e
rs give a
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
n
ter
b
uf_size:
r
ecord static variables
i
n the datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arp
e
nter
proc_cre
a
te:
f
i
x a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
an Ca
r
p
enter
buf_size, d
b
: if a struct memb
e
r size is set
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpe
n
ter
check_kernel: fix ERR_PTR() false pos
i
ti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Da
n
C
a
rpenter
logical_instead_of_bitwise: foo =
(1 << x)
&
& y;
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan C
a
rpenter
locking:
_bh loc
k
fun
c
tions ar
e
nestab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
e
x
tr
a
: int
r
odu
c
e fi
l
t
e
r
_
range_lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
k
e
r
nel:
handle IS_ERR() prope
r
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
db_in
f
o: remove unused
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extra, fu
n
ctio
n
_hooks, db: change cross
f
unction analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
db: remove
t
he retu
r
n
_i
n
fo table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
smatch_da
t
a:
up
d
ate the data dire
c
tor to t
h
e late
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rp
e
nter
db: caller_
i
nfo: fix
m
or
e
f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Car
p
en
t
er
db
:
type
_
si
z
e
:
s
ilence a
perl war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db:
c
aller_info: u
p
dat
e
fixup_kernel
.
sh to th
e
new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra: get_imp
l
i
e
d_range_list(
)
should
r
e
turn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpente
r
user_d
a
ta: use the
n
ew
ret
u
rn
_
states d
a
tabase ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
nter
user_data: sysc
a
lls are a sou
r
ce of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user_data: if
"p
t
r
"
is us
e
r data then
"*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpent
e
r
user_da
t
a: add is_u
s
er_macro() s
t
ub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_data: skb
-
>data
i
s user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpen
t
er
ext
r
a:
m
a
ke
a
funct
i
on static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
db:
c
reate return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpe
n
t
e
r
db
:
add ge
t
_return_id() and
ret
u
rn mar
k
er
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: impr
o
ve error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
db: caller_info changes: store the call
e
r
, para
m
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
ter
db: add
return_v
a
lues table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
err
_
ptr_deref: remove
d
u
p
licate conflicting
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_
h
ooks: m
o
ve r
e
gistr
a
t
ion t
o
the
right
p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
F
ix bug
i
n
M
akefile that
c
auses linking to fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpent
e
r
deref_check:
r
emove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white s
p
ace fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: change
de
b
ugging out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carp
e
nter
c
hecks:
g
et rid of some delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
deref_check: fix a false po
s
itive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christopher
Li
Fix
a bu
g
with va
r
iables nam
e
d "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Car
p
enter
sparse: co
m
ment
o
ut an internal erro
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpent
e
r
Merge git://gi
t
.
kernel
.
org/pub/scm/d
e
vel/spar
s
e/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* as
s
ign_
v
s_c
o
mpare: if ((x = <constant
>
)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpenter
ra
n
ges: introduce rl_contig
u
ous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
d
e
r
e
f_ch
e
c
k: s
i
lenc
e
some false p
o
sit
i
v
e
on cross f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_c
a
ll_impli
e
s: check correct v
a
riable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
fill_db_
r
eturn_implies: del
e
te the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Ca
r
p
en
t
er
pointe
r
_math: check ALIGN() macro mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an C
a
r
pen
t
er
help
e
r: handle i
f
(
WARN_ON(i == ARR
A
Y_SIZE(foo)) retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
N
euschäfer
smatch_scripts: fix spelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nath
a
n
N
e
u
schäfer
sm
a
t
ch
:
fix several t
y
po
s
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpe
n
t
e
r
assigned
_
expr: move
check_assigned
_
ex
p
r()
t
o sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpente
r
mac
r
o_side_effe
c
ts: only enable whe
n
--spammy is
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
a
rpen
t
er
ignor
e
_
side_
e
ffects:
ad
d
s
ome mor
e
macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: add
-
-spammy to va
l
idation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpent
e
r
ov
e
r
f
lo
w
:
r
emo
v
e
strncpy() false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: turn off buf
s
ize
f
o
r &addresses
u
nl
e
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flo
w
: handle the
__nore
t
urn__
a
ttri
b
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Car
p
enter
buf_size: remov
e
t
he &
*
a
nd [0] f
r
om ar
o
u
n
d th
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Mot
o
hiro
s
p
arse: Add 'error' to ignore
d
att
r
ibutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
iro
s
p
a
r
se
:
A
d
d '
_
_
v
ector_si
z
e__' to
i
gnored at
t
r
i
but
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
C
a
r
p
en
t
er
sm_buf: don't return the maximum store buffe
r
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpente
r
b
u
f_si
z
e: return th
e
size
o
f
&
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
bu
f
_siz
e
: a
d
d km
a
lloc_ar
r
ay() an
d
s
ock_k
m
all
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
e
n
ter
buf_size
:
if t
h
e membe
r
si
z
e is not k
n
own t
h
en
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
r
p
enter
M
erge branch 'bu
f
_size' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Mer
g
e git:
/
/git
.
kerne
l
.
org/pub/s
c
m/de
v
el/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
next