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 Carpente
r
whitespace: add
a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
a
bso
l
ute: track the absolu
t
e
l
imits that
variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
enter
math: improve
h
ow get_a
b
solute_min/ma
x
()
work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan C
a
rp
e
nter
math
:
i
mpro
v
e ho
w
known logical ope
r
ations are h
a
n
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
t
y
pe: simplify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
t
y
pe:
im
p
ro
v
e
handling of type
p
romot
i
o
n
o
n
b
i
n
ary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n Carpenter
e
x
t
ra: del
e
te so
m
e deb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Car
p
e
nter
r
anges:
parse the range
s
list c
o
r
rectly
if it on
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
m
ath
:
kno
w
n conditions
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:
h
andle
s
elect statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
e
n
ter
helper: improve prin
t
ed messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Ca
r
pen
t
e
r
extra: handle asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
deref
e
r
e
nces_param: handle strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n
Carpent
e
r
ranges: kill
t
he "Err
o
r invalid
r
an
g
e mess
a
ge"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpenter
as
s
igned_expr: i
g
nor
e
+=
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
f
unct
i
o
n_hooks: white space
f
i
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpente
r
function_ho
o
ks: us
e
the stripped fu
n
cti
o
n
c
a
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_size,
p
arse_call_math:
trac
k
the size of retu
r
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
Carpenter
g
et_
i
mp
l
ied_range_list: u
s
e the new functio
n
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
imp
l
i
e
d_value: do
n
't g
e
t
conf
u
s
e
d
b
y casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpe
n
ter
db/ret
u
r
n_states: f
i
x retu
r
n
v
alues for
U
SER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n Carpenter
f
u
nction_hooks: clean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
f
u
nction_hooks: int
r
oduce get_implied_retu
r
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nter
mi
s
c: whitespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Ca
r
p
e
n
ter
db_ca
l
ler_
i
nfo: add
s
ome commen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, function_hooks: pass
assignm
e
nt expr
e
ssion to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
D
a
n C
a
rpenter
b
uf_size
:
introduce get_
a
rray_size_by
t
es_m
i
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Bra
n
d
I
nstall
c
g
c
c too
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
cap
p
ed: fix how th
e
min() macro is
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
buf_size: db: Use th
e
-
-spamm
y
option
t
o
f
i
ll th
e
dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
buf_size: mer
g
ing two same size buff
e
rs give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
buf_si
z
e:
record static variables in the dat
a
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
p
roc_create: fix a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan C
a
rpenter
buf_size, d
b
: if a struct m
e
mber s
i
ze 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 positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n Carpenter
logical_instead_of_bitwise:
f
o
o
= (1 << x) &&
y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an
C
arpen
t
er
lock
i
n
g
:
_bh
lock functions
a
re ne
s
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: introduce f
i
l
ter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
e
r
kernel: handle IS_ERR() pro
p
e
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
d
b_info:
re
m
ove unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nter
extra, f
u
nct
i
on
_
h
o
oks,
db: ch
a
nge cross funct
i
on analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
db: remove t
h
e
r
eturn_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpenter
smatch_data: upd
a
t
e th
e
data
director
t
o the lat
e
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
db: ca
l
l
er_info: fix more f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: type_size:
s
ile
n
ce
a
perl warn
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: cal
l
e
r
_i
n
fo
:
up
d
ate fixup_kerne
l
.
sh to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: get_im
p
lie
d
_range_li
s
t() should return
0
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_
d
ata: us
e
the new return_states datab
a
s
e tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
user_data: syscall
s
are a sou
r
ce of
u
ser data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
us
e
r_data: if
"
p
t
r"
i
s us
e
r data then "*p
t
r" is u
s
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: add is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_
d
ata: s
k
b->dat
a
is user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
extra: ma
k
e a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
db
:
cre
a
te
return_states
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b
: add get_return_id()
and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
db
:
improve error me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info chan
g
es: s
t
or
e
the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
db: add retu
r
n_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
ente
r
e
r
r
_
p
t
r_de
r
ef:
remove duplicate c
o
nflicting cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_hooks: m
o
ve registra
t
ion to
t
he ri
g
ht place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omai
r
Mohammed Abdullah
Fix b
u
g i
n
Makefi
l
e that causes linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc
white
space fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpen
t
er
implied: change
debuggi
n
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
chec
k
s:
get rid of
some
d
elet
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
Christ
o
ph
e
r
Li
Fix
a bug wi
t
h variables n
a
med "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carpente
r
spars
e
:
comment ou
t
an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
e
rge git:/
/
git
.
kernel
.
org/pub/scm/devel/sparse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*
new* assign_vs_compare:
i
f ((x
=
<
c
onstant
>
)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: introd
u
c
e rl_contig
u
ous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_
c
hec
k
:
s
i
l
ence some
false po
s
itive o
n
cros
s
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_
d
b_call_
i
m
p
lies: check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_
d
b_
r
etur
n
_implies: delete
the co
r
rect t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
Carpe
n
ter
p
o
i
nter_math:
check ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: ha
n
d
le if (WARN_ON(i == ARRAY_SIZE(foo)
)
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusch
ä
fer
smatc
h
_scrip
t
s: f
i
x
sp
e
l
ling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusch
ä
fer
smatc
h
: fi
x
seve
r
al
t
ypos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
assigned_exp
r
:
m
o
ve check_assi
g
ned_exp
r
() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
macro_side_effects: only ena
b
le w
h
en --spammy is us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Car
p
e
nter
ig
n
ore_side_
e
ffects: add some more macros
t
hat have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
ente
r
buf_size
:
add --spa
m
my
t
o
validation
t
e
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
overfl
o
w: remove strncpy() f
a
lse posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
Me
r
ge
b
r
anch 'dev
e
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpente
r
buf_size:
t
u
rn off
buf size for &addre
s
ses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nt
e
r
f
low: ha
n
dl
e
the __noret
u
rn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: rem
o
ve
t
he &* and
[
0
] from ar
o
un
d
the poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
spars
e
: Add 'error' to ignor
e
d attribut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
parse: Add '__v
e
ct
o
r_size__'
to ignored attrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_
b
u
f
: don't
retu
r
n
the maxi
m
u
m
store b
u
ff
e
r size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
buf_size: r
e
turn the
siz
e
of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Ca
r
penter
buf_size: a
d
d
kmalloc_ar
r
ay(
)
a
n
d
sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_
s
i
z
e: i
f
t
he member size is not known t
h
en store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
Merge branch 'buf_size' i
n
t
o
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Merge git://git
.
kernel
.
org/pub/scm/de
v
el
/
spar
s
e/
s
parse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_siz
e
:
f
irst get the size in bytes t
h
en
c
onvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf
_
size:
r
e
mo
v
e cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Car
p
enter
buf_size: fix
by
t
es
_
per_
e
lement() for s
t
ri
n
g
s and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpent
e
r
buf
_
siz
e
: d
e
lete some duplicate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_size: prefer
the declared arr
a
y size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next