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
db: caller_info: update fixup_kernel.sh to the new table
2012-08-14
Dan Carp
e
n
ter
db: c
a
ller_
i
n
f
o: update fix
u
p_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
extra:
get_implied_ran
g
e_list() should
retur
n
0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data
:
use the new
return_states datab
a
s
e
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
user_data: sy
s
calls
a
re a sour
c
e of user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_
d
ata
:
if "
p
tr" is user
d
ata then "*
p
tr"
is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
u
s
e
r_data: add
is_user
_
macro() s
t
ub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a: skb->dat
a
is
u
ser data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
extr
a
:
make
a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpent
e
r
db: create return_states table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: add get_ret
u
r
n_id()
a
nd return m
a
rkers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: improve er
r
or mes
s
ag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
c
aller_info changes: st
o
r
e
the c
a
lle
r
,
param
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carp
e
nter
db:
add ret
u
r
n
_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
er
r
_
ptr_deref: remove d
u
p
licate con
f
licti
n
g co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpe
n
ter
fu
n
cti
o
n_hooks:
m
o
ve
registr
a
tion to the right pl
a
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohamm
e
d Abdullah
Fi
x
bug i
n
Makefile that
causes linking to fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpe
n
ter
deref_check: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an
C
arpenter
misc white sp
a
ce
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: chan
g
e debugging
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpente
r
che
c
ks:
g
et
rid
of
s
o
m
e delete_
s
ta
t
e() cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpe
n
ter
deref
_
check
:
fix a false posi
t
ive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
topher Li
Fix a b
u
g with variab
l
es n
a
med "x86
_
6
4"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpenter
sparse: comment out an
i
nterna
l
error m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
rpenter
Me
r
ge gi
t
://git
.
kernel
.
org/pub/scm/devel/sparse/c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*
n
ew* assi
g
n_vs_co
m
p
a
re: i
f
((x = <constan
t
>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
rang
e
s: intr
o
duce
r
l_co
n
ti
g
uous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpente
r
d
e
ref
_
che
c
k: silence some fa
l
se posit
i
v
e on cross fu
n
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpen
t
e
r
fill_db_
c
all_
i
mpli
e
s: check
c
o
r
r
e
c
t
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
fill_db
_
return_implies: delete
t
h
e cor
r
ect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
a
r
penter
poi
n
ter
_
ma
t
h:
c
h
eck ALIGN()
m
acro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
e
l
per: handle if
(WA
R
N
_ON(i == ARR
A
Y_SIZE(foo)) r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jo
n
at
h
an Neuschä
f
er
s
match_scripts
:
fix s
p
elling of "us
a
ge"
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Ne
u
schäfer
smatch: fix
several t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
a
ssi
g
n
e
d_expr: mov
e
check_
a
ssi
g
ned_expr() to smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
macro_side_e
f
fects: only enab
l
e whe
n
--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_side_effect
s
: add
s
ome mo
r
e macros that h
a
ve
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf
_
size: add
--
s
pammy to valida
t
i
on t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
ove
r
flow: remo
v
e
st
r
n
c
py() false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
a
rpenter
buf
_
size: t
u
rn off buf
s
ize f
o
r
&addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the __noreturn__
a
ttribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
buf_si
z
e: remo
v
e the &* and [0
]
f
r
om ar
o
und the poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I
Motohiro
sparse: Add 'e
r
ror'
to ignored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otohiro
s
p
arse:
Add
'__vecto
r
_
s
i
z
e__'
t
o ig
n
or
e
d attr
i
butes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
s
m
_buf: don't re
t
urn the
m
aximum store buff
e
r
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size:
ret
u
r
n
the siz
e
of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_size: add kmalloc_array()
a
nd soc
k
_kmalloc(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_s
i
ze: if the member
si
z
e is not
k
nown th
e
n store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Merge br
a
nch 'b
u
f_size' into
devel
commit
|
commitdiff
|
tree
2012-06-15
D
an Carp
e
n
t
er
Merge git://gi
t
.
kernel
.
org/pub/scm/devel/s
p
arse/
s
pa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: first get the size
in
byt
e
s
t
h
e
n convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpente
r
buf_siz
e
:
r
e
mov
e
ca
s
t_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf
_
size: fix bytes_pe
r
_
e
lement()
fo
r
strin
g
s and
a
rray
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size: delete some duplicate
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_si
z
e
: pref
e
r the declared arr
a
y
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: strcpy(
)
o
n
ly sets the size
of the des
t
i
n
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: igno
r
e ca
s
ts in get_array_size_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: cr
e
ate an elemen
t
s_t
o
_
b
ytes() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carp
e
n
ter
buf
_
size: se
p
arate by
t
e
s_per_el
e
ment
(
) into its
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_si
z
e
:
u
si
n
g ->
b
it_size
d
o
e
s
n
'
t work f
o
r void pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pen
t
er
buf_size: use get_stored_size_bytes() direct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: make
g
et_stor
e
d_size_
b
ytes() a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nt
e
r
bu
f
_size: pull
bytes_to_el
e
ments() in its o
w
n fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: c
a
lcul
a
t
e
bytes per element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pen
t
er
buf_siz
e
: add a bas
i
c
v
a
lidation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nt
e
r
buf_size: if the
size i
s
variab
l
e
p
ic
k
t
he la
r
ger
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
arpenter
buf_
s
i
z
e: move get_size
_
from_strlen() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
buf_size: pull
g
et
_
s
i
ze_fr
o
m_initial
i
zer() in
t
o
s
eparate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpent
e
r
buf_size: mov
e
ge
t
_sto
r
ed_s
i
z
e() out
of
get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
e
nter
b
u
f
_
siz
e
: pul
l
h
a
ndling of normal arr
a
ys into separat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
buf_size: move some functions
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_si
z
e: add m
o
dification
h
o
o
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
d
e
b
u
g: add a
w
ay to debu
g
buffer sizes __s
m
atch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
Or v
s
a
nd
:
warn about b
i
twise
AN
D
s
that always g
i
ve
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpente
r
Or v
s
and: if (foo & ZERO)
i
s nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpent
e
r
function_hash: make it easier to handle a fi
l
e with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed: unbreak t
h
e che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow:
u
p
date
v
alidation
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
te
r
f
l
ow: ha
n
d
l
e struct initializa
t
ion
b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpent
e
r
flow: han
d
le
EXPR
_
OFFS
E
T
OF and EXP
R
_AL
I
GNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow
:
ignore
"
x
=
&
foo
[
ARRAY_SIZE(f
o
o)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Carpent
e
r
o
v
erflow: whit
e
s
p
a
c
e
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
implied: the ba
s
e sli
s
t is
n
ot special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arp
e
nter
slist: change forma
t
fo
r
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Ca
r
penter
e
x
pressions:
i
ntrod
u
ce some more
expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
validation: update
d
ereferen
c
e check outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nt
e
r
implied: cer
t
ain states should be left
a
s
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpenter
slist: p
u
t
t
he sm_state itself into ->possibl
e
no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cleanup merge_hooks A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
ext
r
a: don't
c
reate
a new merged estate
i
f ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpent
e
r
estates: reuse same e
s
ta
t
e for
e
x
t
ra_undefi
n
e
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpente
r
constra
i
nts:
g
et rid of
a
dd_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstraints:
r
emove
some d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpente
r
const
r
a
i
nts:
f
ix set
_
e
quiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
co
n
straints: add_rel
a
ted() should take a related_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints
:
sort t
h
e
->re
l
ated list pro
p
e
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nstr
a
ints: replace get_common_re
l
ationship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
rpe
n
ter
s
l
ist: move add_pool()
to smatc
h
_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpente
r
bit_shi
f
t: add test_bi
t
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpenter
flow: sile
n
ce false
posi
t
ives caused by hai
r
y functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next