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 Carpe
n
ter
math: improve how known log
i
cal o
p
eratio
n
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
t
y
p
e:
si
m
p
lify g
e
t
_
binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carp
e
nter
type: improve handlin
g
o
f
type pr
o
moti
o
n on binar
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: de
l
ete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Carpen
t
e
r
ran
g
es: parse the ranges list correctly if it o
n
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpent
e
r
math:
k
nown condi
t
i
o
ns are
e
q
ual to one or ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
math: handle s
e
l
e
ct
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
helper: i
m
p
r
ove printed
m
essages a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpent
e
r
ext
r
a: handle asm ex
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpent
e
r
dereferences_para
m
: ha
n
dle strc
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
r
a
nge
s
: kill the "Error invali
d
range mess
a
ge"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Ca
r
pen
t
er
assigne
d
_expr: i
g
nore += assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
functio
n
_ho
o
ks: wh
i
te spa
c
e fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carp
e
nter
fu
n
c
t
ion
_
h
o
o
ks
:
u
se the stripped
f
unction
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
d
b
,
b
uf_size,
parse_
c
all_math
:
tr
a
ck
t
h
e size of retu
r
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
e
r
get_implied_range_list: use th
e
new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
impl
i
e
d
_value: don't get
confused by cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
db/return_states: fix
r
eturn value
s
for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an Carpen
t
e
r
func
t
ion_
h
ooks:
c
lean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hoo
k
s: i
n
troduce get_im
p
lied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
misc: wh
i
t
e
space cleanu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carp
e
nter
db_c
a
ller_info: add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
enter
db,
functi
o
n_hooks: pass assignme
n
t
exp
r
essio
n
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
b
u
f_size: in
t
roduce get_array_size_byte
s
_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpe
n
ter
capped: fix how the
min() macro is ha
n
dled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
b
uf_size: db: U
s
e the --sp
a
mmy
o
p
tion to fill t
h
e
d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpent
e
r
buf_size: mer
g
ing two same size buffers
give a sa
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size:
r
ecord st
a
tic varia
b
les in the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
proc
_
cre
a
te: f
i
x
a
w
hitespa
c
e issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
Carpenter
b
u
f
_
s
i
ze, db: if a struct me
m
ber s
i
ze is
s
et in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan C
a
rp
e
nter
c
h
e
ck_kern
e
l:
fix ER
R
_PTR() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_instead_of_bitwise: fo
o
= (1 << x)
&& y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan C
a
rp
e
nter
l
o
ck
i
ng
:
_bh
l
o
c
k functio
n
s are n
e
st
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pe
n
te
r
extra: introd
u
c
e
filter_
r
ange_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpen
t
er
kernel: ha
n
dle IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_inf
o
:
remove unused p
r
int
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpente
r
extra, fu
n
ctio
n
_hooks,
db: change
cross fun
c
tion a
n
a
l
y
sis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: r
e
move the re
t
urn
_
info ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pe
n
ter
s
m
a
tch_da
t
a: updat
e
the data director
t
o
the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
db: caller
_
info: fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db
:
t
y
p
e_size: si
l
ence a p
e
r
l
warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: caller_
i
nfo:
u
pdate
f
i
x
up_kernel
.
sh
to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extra: get_impli
e
d_ra
n
ge_list
(
) sh
o
uld return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carp
e
nter
user_dat
a
:
use
the ne
w
retur
n
_states d
a
tabase
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
user_d
a
ta: syscalls are a s
o
urce of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpent
e
r
user
_
da
t
a: if "ptr" is user data the
n
"*ptr" is us
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
u
s
er_data: add is
_
u
s
er_ma
c
ro() st
u
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
:
skb-
>
data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
e
x
tra: make a function s
t
at
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db:
c
rea
t
e retur
n
_stat
e
s
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
db:
a
dd get_
r
e
turn_id()
and return m
a
rker
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
e
r
d
b
:
improve
err
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_
i
nfo changes: store the caller, par
a
m =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: add
r
e
t
urn_valu
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
pen
t
er
err_ptr_dere
f
: remo
v
e duplica
t
e
conflicting
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpen
t
er
fun
c
tion_
h
ooks: move registrat
i
on to
t
he
r
ight place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
rpen
t
er
deref_ch
e
ck: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
misc white sp
a
ce fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
ente
r
i
m
plied: change
d
ebugging o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
c
h
ecks: get rid
o
f s
o
me del
e
te_state()
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
de
r
ef_check: f
i
x a false posi
t
ive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carpente
r
s
parse
:
comment
o
ut a
n
internal error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
Car
p
enter
Me
r
ge git://git
.
kernel
.
o
rg/pub/scm/d
e
vel/sparse
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* a
s
sign_vs_compare
:
if ((x = <const
a
n
t
>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carp
e
nter
rang
e
s: introduce rl_contiguous
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
deref_chec
k
: silence
s
ome false positi
v
e on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carp
e
nter
fill_db_call_implies: check correct va
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
fill
_
db_
r
e
t
u
rn_implies:
d
elete the correct tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
Carpenter
pointer_
m
ath: check
ALIGN() macro mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
e
lper
:
handle
i
f
(WARN_O
N
(i
== ARRAY_SIZE(fo
o
)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ass
i
gned_exp
r
: move check_ass
i
g
n
ed_expr() t
o
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
macro_
s
ide_effects: only enable when --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_side_effects:
add some more ma
c
ros tha
t
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_s
i
ze: add --spammy to v
a
l
i
d
at
i
on tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
overflo
w
: remove strncpy() false
p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
b
uf_si
z
e: turn off bu
f
size for &addresses
u
nless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
ter
flo
w
: handle the __noretu
r
n__ att
r
ib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_
s
ize: remo
v
e
t
he &* and [
0
] from around
the poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an
Carpent
e
r
sm_buf: don't return the maximum st
o
re
b
uffer s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpenter
buf
_
size: retu
r
n the
size of &f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_size: add kmalloc_array() and soc
k
_kmallo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Car
p
enter
buf_
s
iz
e
:
i
f
the member s
i
ze
is
n
ot known
t
he
n
stor
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge branch 'buf
_
s
i
z
e' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge git://git
.
kernel
.
o
r
g
/
pub/
s
cm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_s
i
z
e
:
f
i
rst
g
et the size in
b
ytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: remove cast_rati
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: fix
b
ytes_
p
e
r
_e
l
e
m
ent() for strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_
s
ize:
d
elete
s
o
m
e
dupli
c
ate
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: prefer
t
he
declared a
r
ray size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_
s
i
ze
:
s
t
rcpy() only se
t
s
the size of the
d
es
t
ina
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size: ign
o
r
e casts in get_array_size
_
b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
u
f_siz
e
: create an
elements
_
to_bytes() func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: separate bytes_per_eleme
n
t(
)
i
n
t
o its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
size: using ->bi
t
_size does
n
't work for
v
oid pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
e
n
ter
buf_size: use get_
s
tored_siz
e
_
bytes(
)
directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size:
m
ake
g
et_stored_size_
b
y
t
es()
a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpent
e
r
buf_size:
pull by
t
e
s
_
t
o
_
elem
e
nts() in its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
a
rpenter
buf_size: calculate bytes p
e
r
e
lement better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
a
rpenter
buf
_
size: add a basic val
i
dation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next