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
unwind: only enable with --spammy
2012-10-27
Dan
C
arpe
n
t
er
unwind: only enable with --spam
m
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
D
a
n C
a
rpenter
d
b: don
'
t tur
n
Raise
E
rr
o
r
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Da
n
Carpenter
dev_queue_xm
i
t:
turn on
by
defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n C
a
rpente
r
db: a
d
d a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
sign
e
d: tiny whites
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an
Carpente
r
absolute: fix pa
r
amete
r
info counting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpent
e
r
a
bsolut
e
: fi
x
how modificatio
n
s are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Ca
r
penter
d
ebu
g
: fix
cut a
n
d
paste b
u
g in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Carpenter
type: fix
g
e
t_binop_
t
ype
(
)
f
or
b
it shift operati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Ca
r
penter
white
s
pace: add a newli
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Car
p
enter
absolute: tr
a
ck the absolu
t
e li
m
its
t
hat
variables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
m
ath: i
m
p
r
ov
e
how
ge
t
_absolu
t
e_mi
n
/max() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpen
t
er
math: improve
how known logical op
e
rations are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Da
n
Ca
r
pente
r
type:
simplif
y
get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n Carpenter
type: impro
v
e handling of type
p
ro
m
ot
i
on on
b
inary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
a
rpenter
e
xtra
:
delete
some
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
penter
ranges:
pa
r
se the ra
n
ges l
i
s
t correctly if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpe
n
ter
math: known conditions a
r
e equal to
o
ne or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
math: handle s
e
l
e
c
t
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
helper: improve
p
rint
e
d messages a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
t
er
e
xtra: handle asm e
x
p
ressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
n
ter
d
erefer
e
nces_param: han
d
le strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: kill the "Err
o
r invalid r
a
nge
message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
D
an Carpen
t
er
assigned_ex
p
r: ignore += as
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Ca
r
penter
function_hooks: w
h
it
e
space
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpent
e
r
function_ho
o
ks: use th
e
stripped functi
o
n call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_size, parse
_
ca
l
l_m
a
th:
t
rack the size of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
e
r
get_implie
d
_
r
ange_list: use t
h
e n
e
w function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Car
p
e
n
ter
implied_value:
don't get confused by
c
a
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Ca
r
penter
db/return_states: f
i
x
r
et
u
r
n values for USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan C
a
rpenter
func
t
ion_hooks: cl
e
an up
some namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
D
an
Carpenter
f
u
nction_hooks: int
r
od
u
ce get_implied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
misc: white
s
pace
c
leanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_i
n
fo: ad
d
some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
pe
n
ter
db, function_ho
o
ks:
p
a
s
s
assignmen
t
e
xpression to
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
b
u
f_s
i
ze: introduce get_array
_
si
z
e_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
H
orst H
.
v
o
n
B
rand
I
n
stall c
g
c
c too
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpent
e
r
cap
p
e
d: f
i
x how t
h
e min() m
a
cr
o
is ha
n
dled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
er
b
uf_size
:
db: Use the --spammy option to fi
l
l th
e
databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
rp
e
nter
buf_size: m
e
r
g
ing two s
a
me
size buffers gi
v
e a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Ca
r
p
e
nt
e
r
buf_
s
i
z
e
: re
c
ord s
t
a
tic
v
ariab
l
es in t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
p
r
oc_c
r
eate: fix a whitesp
a
ce issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan C
a
rpen
t
er
bu
f
_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
Dan Car
p
e
n
ter
check_kernel: fix ERR_PTR() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_
i
nstead_of_bitwise: foo
= (1 << x
)
&
&
y;
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Da
n
C
arpen
t
e
r
lo
c
king: _bh lock fun
c
tions are nes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpent
e
r
extra: int
r
odu
c
e filter_rang
e
_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kernel: handle IS_ERR(
)
p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpen
t
er
db_info: remove unus
e
d print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, function_ho
o
k
s
, d
b
:
cha
n
ge cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: re
m
ove the return_info
t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
sm
a
tch_d
a
ta
:
update
t
he d
a
ta director
to
the lat
e
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
db:
c
aller_info: f
i
x mo
r
e
fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db
:
type_size:
s
i
le
n
c
e a perl war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: call
e
r_i
n
fo: update
f
ix
u
p
_
k
er
n
el
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpent
e
r
extra: ge
t
_implied_r
a
nge_list(
)
shoul
d
r
e
tur
n
0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
u
s
er_data: us
e
t
h
e
new r
e
turn_states database tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpe
n
ter
u
ser_da
t
a: syscalls are a source of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: if
"
p
t
r" i
s
use
r
da
t
a then "*ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add is_user_macro() s
t
ub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
u
ser_data: skb->da
t
a is use
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: m
a
k
e
a
function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b
: create r
e
turn_sta
t
es t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add ge
t
_return_
i
d
(
) and
r
eturn markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
db: i
m
prove
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
db:
caller_info changes:
store
the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: add
retur
n
_val
u
es table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
er
r
_
ptr_deref: remov
e
d
uplicate con
f
l
i
cting cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Ca
r
p
e
nter
function_hooks: move registration to
t
he r
i
ght place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
Fix bug in Mak
e
f
il
e
t
h
a
t
c
auses linking t
o
fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
der
e
f_chec
k
:
remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
mi
s
c white spac
e
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
n
t
er
implie
d
: ch
a
nge debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
checks: get ri
d
of some delete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_che
c
k: fix a
false positi
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
C
hristopher Li
F
i
x a bug wit
h
variables named "x86_64
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Ca
r
pen
t
er
spa
r
s
e
: comment out
an intern
a
l err
o
r messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
rpent
e
r
Merge git://g
i
t
.
ke
r
nel
.
org/pub/scm/devel/sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new
*
assign_
v
s_compare: if ((x
= <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
ran
g
es:
intr
o
duce rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
a
rp
e
nter
d
eref_check:
s
ilence some fa
l
s
e
posi
t
ive
on
c
ross
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_
c
all_implies: c
h
eck corr
e
ct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n C
a
rpe
n
ter
fill_
d
b_return_imp
l
ies: delete the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
Carpenter
pointer
_
math: check A
L
IGN()
macro m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
elper: han
d
le
i
f (WARN_ON(
i
== ARRAY_SIZE(fo
o
)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_scripts: f
i
x spel
l
ing of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch: fix severa
l
typos
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
a
ss
i
g
n
ed_expr: move ch
e
ck_assign
e
d_ex
p
r() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
m
acro_s
i
de_effects: only enable when --spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Ca
r
penter
igno
r
e_side
_
effects
:
add some mo
r
e macros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpen
t
er
buf
_
size: add --s
p
a
mmy to valid
a
tion
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
arpenter
ove
r
fl
o
w
: remove strncpy() false
p
osi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpente
r
Me
r
g
e bran
c
h
'
devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_
s
ize: turn off
bu
f
size fo
r
&
a
ddresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
f
low: hand
l
e
t
he __nore
t
urn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
b
uf
_
s
i
ze: remove
t
h
e
&* and
[0]
f
rom around th
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse:
Ad
d
'error' to i
g
nored
at
t
r
i
butes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Moto
h
iro
s
p
arse: Add
'
__vector_size__' to
i
gnored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n C
a
rpenter
sm_buf: don't return the
maximum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpenter
buf_s
i
ze:
return the si
z
e of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next