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
absolute: track the absolute limits that variables can be
2012-10-12
D
a
n
C
arpenter
absolute
:
t
rac
k
the absolute limits that variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpe
n
t
e
r
mat
h
: impr
o
ve ho
w
get_absolut
e
_
min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
enter
math: improve how kno
w
n logical op
e
rations a
r
e
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
D
an
C
ar
p
enter
typ
e
:
simplify ge
t
_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: improve handling of t
y
p
e
promoti
o
n on b
i
nary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pen
t
er
extra: delete some d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
a
rpent
e
r
ranges: parse
t
he rang
e
s list correct
l
y if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
math: k
n
own
condi
t
ions are
e
qual to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
math: ha
n
dle select statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
h
e
lper: improve printed
m
essages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpenter
extra: h
a
ndle asm expression
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
d
e
references
_
par
a
m: handle strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rpenter
ranges: kil
l
the "Erro
r
i
nvalid
r
a
n
ge
message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an Carpenter
assigned_
e
xp
r
: ignore += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpenter
f
u
n
cti
o
n_hoo
k
s: white space
f
ix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function
_
h
ook
s
: us
e
the strippe
d
function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpen
t
er
db
,
buf_size, pa
r
se_cal
l
_
math: track the size
of
r
etu
r
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carp
e
nter
get_i
m
plied_ran
g
e
_list: use the new f
u
nctio
n
h
ooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rpenter
implie
d
_value
:
don't ge
t
confused by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
pent
e
r
d
b/return_states: fix return
v
alues for USER_DAT
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n
Carpent
e
r
func
t
io
n
_hooks:
c
lean up so
m
e naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Car
p
enter
fu
n
ct
i
on_
h
ooks: introduce get_
i
m
plied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carp
e
nter
mis
c
: w
h
itespa
c
e cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpente
r
db_caller_
i
n
f
o
: add
s
o
me comment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan C
a
rpenter
db, fu
n
ction_h
o
oks: pass as
s
i
gn
m
ent e
x
pr
e
ssion to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
D
a
n
C
arpenter
buf_size: introduce get_array_size_by
t
es_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix
how the
mi
n
()
m
acro
is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
buf_size:
db: U
s
e the
-
-spammy option to fill t
h
e
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
bu
f
_si
z
e: merging two s
a
me siz
e
buffers
g
ive a
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
buf_size: record
s
t
a
tic varia
b
les in the data
b
as
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
proc_create: f
i
x
a
whitespa
c
e
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpe
n
ter
b
u
f
_s
i
ze, d
b
: if a struct member size is
set i
n
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kerne
l
: fix ERR_PTR() false p
o
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpe
n
ter
logical_
i
ns
t
ead_
o
f
_bi
t
wise:
foo = (1 << x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an C
a
rpenter
locking: _bh
l
ock function
s
are nestab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
extra: introduce filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpente
r
kernel:
handle
IS
_
ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
n
t
e
r
db_i
n
fo
:
remove
u
nused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra, function_h
o
oks, db:
c
hange
c
r
o
ss funct
i
on
a
n
alysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b
: remo
v
e
the
r
e
t
u
rn_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rp
e
nter
smatch_dat
a
:
update the data
dire
c
tor to the
l
atest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db:
caller_info:
fix more fall
o
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
db:
t
yp
e
_s
i
z
e
: sile
n
ce a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_in
f
o: upd
a
t
e f
i
xup_kernel
.
sh
to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpent
e
r
extr
a
:
get_implie
d
_range_l
i
st() sh
o
uld
r
eturn
0
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpenter
user_data: u
s
e
t
he ne
w
retur
n
_state
s
database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r_data: sysca
l
ls are
a
source
o
f
us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
rp
e
nter
user_data: if "ptr" i
s
user da
t
a then "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_data: add
i
s_
u
s
e
r
_ma
c
ro(
)
stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
user_
d
ata: skb->data is user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
extra: m
a
ke a f
u
nction sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
db
:
create
r
e
t
urn_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add get_return_id(
)
a
n
d return
m
a
rkers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: improv
e
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: call
e
r_info
c
hanges: store
the
calle
r
, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: a
d
d return_val
u
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref:
r
emov
e
d
uplica
t
e
conflicting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fu
n
ct
i
o
n
_hooks: move registra
t
i
o
n to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check:
re
m
ove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carp
e
nter
misc
w
h
i
te
sp
a
c
e
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
impl
i
e
d: chang
e
de
b
u
g
ging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get rid o
f
some
delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
deref_ch
e
c
k
:
fix a fals
e
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
spars
e
: com
m
ent o
u
t an
internal error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpe
n
ter
Merge git://git
.
ke
r
nel
.
org/p
u
b
/scm
/
devel/sparse
/
chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpenter
*ne
w
* a
s
sign_vs_compare: if ((
x
= <constant>)
)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
arpen
t
er
ra
n
ges: intr
o
duce
r
l
_contigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
de
r
ef_che
c
k: silence some false posit
i
ve
o
n cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_implies: check corr
e
ct var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fil
l
_d
b
_retur
n
_implies: delete th
e
correct
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan
Carp
e
nter
point
e
r_math
:
check A
L
I
G
N() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
e
lper: handle if (WARN
_
ON(i == ARRAY_SI
Z
E(foo
)
) retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpent
e
r
assigned_e
x
p
r
: move
che
c
k_assigned_e
x
pr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carp
e
nter
m
a
cro_side_effects: only ena
b
le when --spammy is u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
ignore_side_effects: add some m
o
re macros t
h
at
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
a
rpen
t
er
b
uf_size: add --sp
a
m
m
y
to va
l
idatio
n
test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
overflow: remo
v
e s
t
rncpy() false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpen
t
er
Me
r
ge br
a
nch
'
dev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
u
f_size: t
u
rn of
f
buf size for &addresses un
l
e
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow:
h
andle
the _
_
nor
e
turn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size: remove
the
&* and [0]
f
rom around
the point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
sm_
b
uf: don
'
t return the ma
x
imum st
o
re buffer
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpen
t
er
buf_size: ret
u
rn th
e
size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
b
uf_size: add kmalloc_arr
a
y
(
) and sock_k
m
all
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
buf_size: if the member
s
ize is
n
ot known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
Merge br
a
nch 'buf
_
size'
i
nto d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Me
r
g
e
git://
g
it
.
kernel
.
org/pu
b
/
s
cm/de
v
el/
s
p
arse/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_siz
e
: first get the siz
e
in bytes then
conv
e
rt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
ter
buf_size
:
rem
o
ve cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nt
e
r
bu
f
_size:
fix by
t
es_per_el
e
ment()
f
or strings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: delete some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpe
n
ter
buf_size:
prefer the d
e
cl
a
red array
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpe
n
ter
buf_
s
ize:
strcpy() on
l
y
sets th
e
si
z
e
of
t
he des
t
ination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
i
gnore casts in get_array_si
z
e_byt
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
en
t
er
buf_
s
ize: crea
t
e an ele
m
en
t
s_to_bytes() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
buf_size: s
e
parate byte
s
_per_elem
e
n
t
(
) into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf
_
size: using ->bit
_
size doesn't
w
ork for void poi
n
ters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: use get_stor
e
d_size_by
t
es() direct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_
size:
make get
_
s
t
ored
_
s
ize_byt
e
s()
a
separate f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpent
e
r
buf
_
size: pull bytes_to_elements() in its ow
n
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next