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
math: improve how known logical operations are handled
2012-10-11
Dan Carpent
e
r
math: improve h
o
w
k
n
own l
o
gic
a
l operations are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
D
an Carpenter
type: s
i
m
p
lif
y
get
_
bino
p
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: improve handl
i
ng of type promotion on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
p
enter
extra: d
e
let
e
some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
an
C
arp
e
nter
ranges: parse the ran
g
es li
s
t corr
e
ctly if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
m
ath: known condi
t
ions
a
re equa
l
to one o
r
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
math: handle select st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pente
r
helper: improv
e
printed messages
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
extra
:
handle
a
s
m expressi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carp
e
nter
de
r
eferences_p
a
ra
m
: handl
e
strcm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpenter
ranges:
k
i
ll the "E
r
ror
in
v
alid range messa
g
e
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
a
r
pent
e
r
assigned
_
expr:
i
gn
o
r
e
+= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
f
u
nction_hooks: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Ca
r
penter
f
u
ncti
o
n
_
hoo
k
s: use t
h
e stripped function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
d
b
,
buf
_
s
ize
,
parse_call_
m
ath: tr
a
ck the
s
ize o
f
retu
r
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rpenter
g
et
_
implied
_
range
_
list: use the
new
f
uncti
o
n hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpenter
implied_value: don't
g
et confuse
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Carpenter
db/return_
s
t
a
tes: fix return
val
u
es for USER_D
A
TA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n Car
p
e
n
ter
function_
h
ooks: clean up
some nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpent
e
r
f
u
nction_hooks
:
introduce get_implie
d
_return
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
misc: whitespa
c
e
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nter
d
b_caller_info: add some co
m
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db
,
funct
i
on_h
o
oks: pass ass
i
gnme
n
t exp
r
ess
i
on to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf_
s
i
z
e: i
n
trodu
c
e get_a
r
r
ay_size_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst
H
.
von Brand
Inst
a
ll cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
r
p
enter
capped
:
f
ix how the min() macro i
s
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Ca
r
penter
b
u
f_
s
ize: db: Use
t
he
--spamm
y
option to fill t
h
e d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpen
t
er
buf_size: merging two same size buffer
s
g
i
ve a
s
ame
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpente
r
b
uf_size: record sta
t
ic variables
in
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carp
e
nter
proc_create: fix a
w
h
i
tespace issu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
Carpenter
buf_
s
ize, db: if
a struct member size
i
s set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Car
p
enter
chec
k
_kernel: fix
E
RR_PTR()
fals
e
positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan
C
arpenter
logical_instead_o
f
_bitwise: foo =
(
1 <<
x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an Carpenter
l
o
cking: _bh lock functions are nes
t
abl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: introduce
f
i
l
ter_range_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kernel: handle IS_ER
R
() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_info: remove u
n
us
e
d
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
ext
r
a, fun
c
tion_hooks, db: change cross function
a
na
l
ysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b
: remove the retur
n
_
i
n
fo table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
smatch
_
data: update the data d
i
rector
to the lat
e
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: caller_info: fix mo
r
e fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db: type_size:
s
i
lence a perl warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: caller_info: upd
a
te
f
ixup_k
e
rn
e
l
.
sh to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
te
r
extra:
get_implied_range_lis
t
(
)
s
hould re
t
urn 0
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data:
u
se the n
e
w retu
r
n_st
a
tes
databa
s
e table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
u
ser_data
:
syscal
l
s a
r
e a sou
r
ce
of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
data: if "ptr
"
i
s
us
e
r data th
e
n "*
p
tr" is u
s
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
user_da
t
a: add is_u
s
er_m
a
cr
o
() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: skb->
d
ata is us
e
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra:
m
ake a fun
c
tion sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db
:
c
r
eate r
e
turn_stat
e
s
t
a
bl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
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
Dan C
a
rpenter
db: improve
error me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b: ca
l
l
e
r
_
i
n
fo changes: store
t
he ca
l
ler, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: add
r
eturn_va
l
ues table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
pen
t
er
err_p
t
r_deref
:
remove du
p
li
c
ate
c
onflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
arpenter
f
u
nction
_
hooks:
m
ove registration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
mair
Mohamm
e
d Abdullah
Fix bug in Makefile that ca
u
ses link
i
n
g to fail
commit
|
commitdiff
|
tree
2012-08-09
D
an Carpenter
d
e
ref_check: rem
o
ve dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpente
r
misc whit
e
s
p
ace fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
im
p
lied: change debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get
r
id of s
o
me delete
_
stat
e
() call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Ca
r
p
enter
d
e
r
ef_check
:
fix a fa
l
s
e
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
topher Li
Fix a bug with variables named "x86_6
4
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpenter
sparse: comment
out an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
erg
e
git:
/
/
git
.
k
e
rn
e
l
.
org/pub/scm/devel/sparse/c
h
ris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*ne
w
* as
s
ign_v
s
_c
o
mpare:
i
f
(
(x = <con
s
tant>))
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carp
e
nter
r
anges: introd
u
ce rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
C
a
rpenter
d
eref_check: silence so
m
e false posit
i
ve on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
fill_db_c
a
ll_impl
i
es: ch
e
ck correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
fill_db_return_impli
e
s: delete the correct
t
ab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math: c
h
eck ALIGN() m
a
c
r
o math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WARN_ON(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Neus
c
häfer
s
match_
s
cripts: f
i
x spelling o
f
"u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
N
e
usc
h
äfe
r
sma
t
c
h: fix severa
l
ty
p
os
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
a
s
signed
_
e
x
pr:
move chec
k
_assigned_expr() to smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carp
e
nter
m
a
cro_s
i
de_effects: only enable when --spammy is us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
ignore_s
i
de_effec
t
s:
a
dd s
o
me m
o
re macros t
h
at ha
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
arpenter
bu
f
_size: add -
-
spammy to valid
a
tion t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
v
erflow: remove
strncpy()
f
a
lse po
s
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch
'
de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: turn off buf size for &a
d
d
resses unles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpe
n
ter
fl
o
w
: handle
t
he __noreturn__ attribu
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remove t
h
e &
*
and [0]
from around the
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add 'erro
r
' to igno
r
ed attribute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otohiro
sparse: Add '
_
_
v
ector_size__'
to
i
g
n
ored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Car
p
ent
e
r
sm
_
b
uf: don't re
t
urn the m
a
xim
u
m store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
bu
f
_si
z
e: ret
u
rn t
h
e size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
t
e
r
buf_size: add kmallo
c
_arr
a
y() and sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
n
ter
buf_size: if
t
he memb
e
r s
i
ze is n
o
t kn
o
wn
then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
Merge bra
n
ch 'buf_size' into de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Merg
e
git://
g
i
t
.
kerne
l
.
org/p
u
b/scm/dev
e
l/sparse/s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
first ge
t
the s
i
ze in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
iz
e
:
remove cast_
r
atio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
ente
r
buf_size: fix
bytes_per_element() for strings
and
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carp
e
nter
buf_size
:
de
l
ete
s
o
m
e
d
uplicate co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carp
e
nter
buf_siz
e
:
p
refer
the de
c
la
r
ed array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpe
n
ter
b
u
f_size: strcpy()
o
n
ly sets the size of the
d
estinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpenter
buf
_
size:
i
g
nore casts in get
_
array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
buf
_
siz
e
: create
an el
e
me
n
ts_to_by
t
es() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next