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
sparse: comment out an internal error message
2012-07-30
Dan
C
ar
p
enter
sparse: comment out
a
n intern
a
l error
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git://git
.
kernel
.
o
r
g/
p
u
b
/
s
cm/de
v
el/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Car
p
enter
*
n
ew* assign
_
vs_compare: if
((x = <constant
>
)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Carpenter
r
a
ng
e
s: intro
d
uc
e
r
l
_contiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
d
e
ref_check: silence some false positive
o
n
cross
f
u
ncti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Carpenter
f
ill_db_
c
all_
i
mplies: check corr
e
ct
v
ari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
fill_db_return_implies:
d
elete t
h
e
correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math
:
check AL
I
G
N(
)
mac
r
o
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
help
e
r: handle if (
W
AR
N
_ON(i == A
R
RAY_S
I
ZE(f
o
o
)
) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
C
arpenter
assi
g
n
ed
_
expr: move ch
e
ck_assigned_
e
xpr() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carp
e
nter
m
a
c
r
o
_
side_effects: o
n
ly enable
wh
e
n
--spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an C
a
rpente
r
ignore_sid
e
_effects: ad
d
some more m
a
cros
t
h
a
t
h
ave
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
rpente
r
buf
_
siz
e
:
add --
s
p
a
mmy to va
l
id
a
t
i
o
n tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Car
p
enter
overflow: remove strn
c
py() fal
s
e pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge br
a
nch
'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: tu
r
n
off buf
s
ize fo
r
&add
r
ess
e
s unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
flow: ha
n
dl
e
th
e
__no
r
e
t
urn__ attrib
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
b
uf
_
s
i
ze: rem
o
ve
the &* and [0] fr
o
m
around the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf:
d
on't return the maximum store
b
uffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
an Ca
r
penter
buf_size
:
return
t
he size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Car
p
enter
buf_size: add kmallo
c
_a
r
ray() and s
o
ck_km
a
l
l
oc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size: if the m
e
mber
siz
e
is not known
t
hen store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Me
r
ge branch 'buf_
s
ize'
i
nt
o
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git://git
.
kernel
.
o
rg/pub/scm/devel/sp
a
rse/spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nt
e
r
buf_s
i
z
e:
f
irst g
e
t the
size
in by
t
es then c
o
nvert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: re
m
ove cast_
r
atio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: fix
bytes_per_el
e
me
n
t() for s
t
r
in
g
s
and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carp
e
nter
buf_size: dele
t
e
som
e
dup
l
icate co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
buf_size: prefer
the dec
l
a
red a
r
ray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
u
f
_
size: strcp
y
() on
l
y
sets the size of the desti
n
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: ignore
c
asts
in get_ar
r
ay_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: create an e
l
ements_t
o
_bytes() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_size: separate bytes_pe
r
_element() int
o
its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
uf_si
z
e: using
-
>bit_size
d
oesn't work for v
o
id pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
bu
f
_size: use
get_st
o
r
e
d_size_bytes()
d
i
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_si
z
e: ma
k
e get_stored_size_bytes() a separ
a
t
e
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpent
e
r
buf_si
z
e: pull
byt
e
s_to_elements
(
) in its o
w
n
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_s
i
z
e
:
c
alc
u
late bytes per eleme
n
t better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
nter
buf_size
:
add
a
basi
c
v
a
lidation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: if t
h
e size i
s
vari
a
ble
pick the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpente
r
b
u
f
_
s
i
ze: move get_size_f
r
om_strlen
(
) into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
p
ull get_size_fr
o
m_initializer() int
o
se
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
bu
f
_si
z
e:
move g
e
t_store
d
_size() out o
f
get_array_si
z
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
arpent
e
r
buf_size: pull handling
o
f
n
o
r
mal arrays into
s
eparate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
buf_size: mo
v
e
s
o
me
functio
n
s
aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: add modificati
o
n hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nter
debug: add a way to debug buffer
size
s
__smatch_buf_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
penter
Or vs and: warn
a
bou
t
bitwise
AN
D
s that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if
(
f
o
o
&
ZERO)
i
s
non
s
en
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpe
n
ter
f
u
nction_ha
s
h: make it easie
r
to handle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Car
p
e
n
ter
si
g
ned: unbrea
k
the c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
t
er
overflow: up
d
a
t
e validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpente
r
flo
w
:
h
andle struct initia
l
ization
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
f
l
ow
:
h
a
nd
l
e EXPR_OFFSETOF and EXPR
_
AL
I
GNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: ignore "x =
&
fo
o
[ARRAY_
S
I
ZE(foo)]
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
overflow: wh
i
te space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the bas
e
slist is not sp
e
cial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: cha
n
ge f
o
rmat
for debug
o
utp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
r
p
enter
exp
r
essions: int
r
o
d
uc
e
some more expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arp
e
nter
validation: upd
a
te derefe
r
e
nce check o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Carpenter
implied: cer
t
ain states should
be left as i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
r
pe
n
t
e
r
slist: p
u
t the sm_state i
t
self into ->possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpenter
slist: cl
e
an
u
p merge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n C
a
rp
e
nter
extra: don't
c
reate a new
m
erged estate
if ->righ
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
estates: reuse same estate
f
or extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constraints:
g
et rid of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
i
nts: remo
v
e s
o
me d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
r
p
enter
constra
i
nts: fix set_equiv
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nst
r
a
i
nts
:
ad
d
_
r
e
lated() should take a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constraints: sort the ->related list p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
constraint
s
:
replac
e
ge
t
_c
o
mmon_relatio
n
sh
i
p() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
slist: move
a
d
d_p
o
ol() t
o
smatc
h
_
i
mplied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_shift: add
t
est_b
i
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpenter
flow: silence fal
s
e positives c
a
us
e
d
b
y
h
airy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: rename ->my_pool t
o
-
>pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
slist: rena
m
e ad
d
_possi
b
le
(
) => copy_p
o
ssible
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpent
e
r
or
_
vs
_
an
d
:
i
gnore
*p++ ||
*
p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Ca
r
penter
tra
c
ker: fix
a smal
l
mem
o
ry leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modi
f
i
cation:
re
m
o
ve calls to de
l
e
te_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
ch
e
ck_deref
e
rence: en
a
ble this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db
:
store whether functions
a
re global o
r
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: remove unused clone_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
slist:
buffer
o
verflow in deb
u
gg
i
ng code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
user_data: fi
x
NULL der
e
ference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
enter
db: white space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
penter
db: move parameter_implic
a
tions into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add poss
i
bly_true/false_
r
ange_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: auto
m
a
tic
a
l
ly list func
t
ions that
t
ake a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpen
t
er
modification_hooks: compl
e
te rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carp
e
nter
db: print
t
he SQL queries when --d
e
bug
is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpente
r
clea
n
up:
u
se
v
alid_
p
tr_min/max
.
g
et rid of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carpe
n
ter
extr
a
: derefere
n
c
i
ng
a pointer means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpent
e
r
impl
i
ed: cleanup debug output
a
little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
s
list: pull sho
w
_
sm() i
n
to a
s
epa
r
a
te function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
check_kernel
:
ER
R
_PT
R
(
) returns n
o
n-NULL (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
derefe
r
en
c
e
c
hecks: use the cross function in
f
o fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
n
te
r
*new* check_dereferences_
p
aram
:
list funct
i
ons that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*n
e
w* return
s
: merg
e
all s
l
ists from all
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
db:
a
dd call_impli
e
s t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpent
e
r
flow: pr
i
nt a different filename
w
hen --info opt
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next