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
D
a
n
C
arpenter
m
a
th: improve how known log
i
cal oper
a
tions are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpente
r
typ
e
: simplify get_binop_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpe
n
t
e
r
type:
i
m
prove hand
l
i
n
g of
t
ype pro
m
o
tion on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Da
n
Ca
r
pe
n
ter
ext
r
a: d
e
lete some debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
arpent
e
r
r
a
nges: par
s
e the ranges
l
i
st corre
c
tly
i
f it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpen
t
er
m
ath
:
known
c
ondition
s
ar
e
equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
en
t
er
mat
h
: hand
l
e select statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
he
l
per: imp
r
ove pri
n
ted messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
enter
extra: handle asm exp
r
essions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
dereferences_para
m
: handle str
c
mp
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
ranges: kill the "Error
in
v
alid
range mes
s
age"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
as
s
igned
_
ex
p
r: i
g
nore += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
fu
n
cti
o
n_hooks
:
wh
i
te space fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpen
t
er
function_hooks: use the st
r
ipped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
db, buf_s
i
ze
,
par
s
e_call_math: track t
h
e size of ret
u
rne
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
pen
t
er
get_implied_r
a
nge
_
list:
use the
n
ew function hoo
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implie
d
_value: don't ge
t
confus
e
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpe
n
ter
db
/
retur
n
_s
t
ates: fix retur
n
val
u
e
s for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks
:
cle
a
n up
s
o
me naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpent
e
r
functio
n
_hooks
:
in
t
roduce get_implied_r
e
tur
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan C
a
rpenter
misc: wh
i
tespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
C
arpente
r
db_c
a
ller_info: add some
c
omments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpente
r
db, function_hooks: pa
s
s assignment expr
e
ssion to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf_siz
e
: introduce get_
a
rray_
s
ize_byte
s
_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
o
rst H
.
vo
n
Brand
I
n
stall cgcc to
o
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rp
e
nter
capped: fix ho
w
the min() macr
o
is h
a
ndled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
er
buf_s
i
ze: db: Use the --spa
m
my option to fill the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rpenter
buf
_
s
i
ze: mergi
n
g two same size buf
f
er
s
give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: re
c
ord
s
tat
i
c
variables in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
proc_cre
a
te
:
fix a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpe
n
ter
buf_size, db: if a struct member size is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Da
n
Carpente
r
c
heck_
k
ernel: fix ERR_PTR(
)
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Da
n
C
arpe
n
t
e
r
logical_instead_of_bitwise: foo
= (1 << x)
&
& y
;
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carp
e
nter
l
o
c
k
ing:
_bh lock functions are
n
estable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
n
ter
ext
r
a: intro
d
uce filt
e
r_
r
an
g
e_l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
ar
p
enter
ke
r
nel: handle IS_
E
RR
(
) prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b_info: re
m
ov
e
u
nused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
extra, fun
c
tion_
h
ooks, db: change cros
s
function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
n
ter
db: rem
o
ve the re
t
urn
_
i
n
fo t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
smatch_dat
a
: update the
d
a
t
a
d
i
r
ector to th
e
lates
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpente
r
db: caller_in
f
o: fix
more f
a
l
l ou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
typ
e
_size:
s
il
e
nce a
per
l
warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b
: caller_info: update
f
ixup_kernel
.
sh
to
the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extr
a
: ge
t
_implied_r
a
nge_l
i
s
t
()
s
hould retu
r
n 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rpenter
us
e
r_data: use th
e
n
ew return_state
s
database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
data: syscalls
are a source o
f
user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
user_data: i
f
"ptr" is u
s
er dat
a
then "*pt
r
"
is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_data:
add is_user_
m
a
c
ro()
stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data:
s
kb->data i
s
u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpente
r
extra: make
a functio
n
s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: c
r
eate ret
u
rn_stat
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
t
e
r
db
:
add get_return_id(
)
and r
e
turn markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
penter
db: imp
r
o
v
e error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
call
e
r_info cha
n
g
e
s: store the c
a
l
ler, par
a
m
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
a
d
d r
e
turn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pe
n
t
e
r
e
r
r_ptr_
d
eref: r
e
move
duplicat
e
conflicti
n
g
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Carpenter
f
unc
t
ion_hooks:
m
o
ve reg
i
s
t
ration to
the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
Fix bug
i
n
Makefile that causes linking to
fail
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Carpenter
dere
f
_che
c
k: r
e
move dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
misc
w
hite space fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied
:
change debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pent
e
r
checks: get ri
d
of some delete_
s
ta
t
e() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
der
e
f_
c
heck: fix a false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
top
h
er Li
Fix a bug w
i
th
v
ariables
n
amed "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carp
e
n
t
er
sparse:
c
omment
o
u
t
an i
n
tern
a
l error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
e
rge g
i
t
:
//git
.
ke
r
nel
.
org
/
pub
/
scm/dev
e
l
/
sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
C
a
rpenter
*
n
ew* assign_vs_comp
a
re
:
if ((
x
= <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpent
e
r
r
anges: in
t
roduce
rl_contiguous(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Ca
r
penter
d
e
re
f
_
check: silence s
o
me
f
a
lse
positive on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpen
t
er
fil
l
_db
_
call
_
i
m
plies: chec
k
correct v
a
r
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
e
n
t
er
fill_db_r
e
tu
r
n_implie
s
: delete the co
r
rect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math: check A
L
IGN() m
a
cro
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n
C
arpenter
hel
p
er: handle
i
f (WARN_O
N
(i =
=
A
R
RAY_
S
I
Z
E(foo)) retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan Neus
c
häfer
smat
c
h_scripts
:
fix spell
i
ng of "usage
"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
N
euschäfer
smatch: fix seve
r
al typo
s
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr
:
move check
_
assigne
d
_expr() to s
m
a
tch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carp
e
nter
macro_s
i
de_e
f
fec
t
s: only enable
when --
s
pammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ignore_side_ef
f
ects: add so
m
e more macros t
h
at have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arp
e
nter
buf_
s
ize: add --
s
pammy to val
i
dation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
over
f
low: re
m
ove
strncpy() fa
l
se posi
t
iv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
e
r
Mer
g
e
branch 'deve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: turn off
b
u
f
s
i
ze
f
or
&
addresses unles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: ha
n
dle the __noreturn__ attri
b
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
ar
p
enter
buf_size: remove th
e
&
*
and [0] from around the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
spa
r
se: Add 'error' to
ign
o
re
d
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add '__vector_size_
_
' to
i
gnored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Car
p
en
t
er
sm_buf: don
'
t
r
eturn the maximum
s
t
ore buffer
si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
bu
f
_size: retur
n
th
e
size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size: ad
d
kmalloc_array() and
sock_kmall
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
rpenter
bu
f
_size: if the
m
ember siz
e
is
n
ot known
t
h
e
n
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Me
r
ge
br
a
nch 'buf_size
'
into d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
Merge git:/
/
g
i
t
.
kernel
.
or
g
/pub/scm/devel/
s
p
arse/
s
pars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: first
get the size in
bytes th
e
n convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
enter
buf_siz
e
:
remove
cast_rati
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
buf_si
z
e: f
i
x bytes
_
per_element(
)
for string
s
and arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pent
e
r
b
u
f
_size: delete some du
p
licate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
ar
p
enter
buf_s
i
ze: pre
f
er the
d
e
clared array s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: s
t
rcp
y
(
) only s
e
t
s the size of the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
ig
n
o
re casts in get_array_size_bytes(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_
s
ize:
c
reate an
e
lements_to
_
bytes() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next