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
db: don't turn RaiseError on
2012-10-25
Dan
Ca
r
penter
d
b: don't turn RaiseError on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan
C
arpent
e
r
dev_q
u
eue_xmit: turn on
b
y
defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpenter
db: add a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Ca
r
pe
n
ter
signed: tiny whi
t
esp
a
c
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rp
e
nter
absolute: fix
p
arame
t
er info
counti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
a
bsolute: fix
h
o
w
modifications are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpenter
debug: fix c
u
t and paste bug in
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
ty
p
e: fix get
_
bin
o
p_type() for bit
s
hift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
whitespac
e
: add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
a
r
pe
n
ter
absolute: track th
e
ab
s
olute lim
i
ts tha
t
variabl
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math:
i
mprove how get
_
absolute_m
i
n/
m
ax() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
ar
p
enter
math: impro
v
e how
know
n
logical operations are han
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Car
p
enter
type: simplify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpente
r
t
y
pe:
i
mprove handling of t
y
pe promotion on
b
i
nary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
p
e
nt
e
r
extra: delete some debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpent
e
r
range
s
:
parse the
r
anges list correctly if
i
t only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
math: kno
w
n condi
t
ions are equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math:
h
a
nd
l
e select stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
hel
p
er: improve printed messages
a
bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
extra: h
a
n
dle asm
expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
e
r
d
eref
e
r
ences_par
a
m: hand
l
e strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpen
t
e
r
ranges: k
i
ll the "Error invalid range
m
es
s
a
g
e
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
ter
assi
g
ne
d
_
ex
p
r:
i
g
nore +=
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpen
t
er
function_hooks: white spa
c
e fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
ente
r
function_
h
ooks: u
s
e
the stripped fu
n
ction call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
d
b, buf_size, p
a
rse_call_
m
a
t
h
: track the size of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
Ca
r
pent
e
r
get_i
m
plied_range_l
i
st: us
e
t
he n
e
w function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpente
r
implied_value: do
n
't get
confused by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
p
enter
db/return_
s
tates: fix retu
r
n va
l
ues
f
or USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an
Carp
e
nter
function_ho
o
ks: clean up
s
ome nam
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan C
a
r
penter
func
t
ion_hooks: introduce get_imp
l
ied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nter
mi
s
c: white
s
pac
e
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpente
r
db_caller_in
f
o: add
some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
d
b,
f
unction_h
o
oks
:
pass
a
ssignment
expres
s
i
on to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan
Carpenter
buf
_
siz
e
: introduce get_array_size
_
bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
capp
e
d
: fix how the min() macro i
s
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n C
a
rpenter
buf_s
i
ze: db: Use the --sp
a
mmy option
t
o fi
l
l t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpen
t
e
r
buf
_
size:
m
erging two same size buffers give a
s
a
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
a
r
penter
buf_size
:
reco
r
d static variables
i
n the data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
proc_create: fix a
white
s
p
ace issu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Car
p
en
t
er
buf_s
i
ze, db: if a str
u
ct member
s
i
z
e is set
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kernel
:
fix E
R
R_PTR()
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Da
n
Carpente
r
l
o
gical_
i
nstead_of_b
i
twise:
foo = (
1
<< x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpe
n
ter
locki
n
g:
_
b
h
l
ock functions 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
ter
extra: introduce filt
e
r_r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpent
e
r
k
ernel:
handle
IS_ER
R
(
)
p
r
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_
i
n
f
o:
r
e
m
ove unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
extra, function
_
hooks
,
db: change cro
s
s function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b
: remo
v
e the return_inf
o
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
sm
a
tch_data: updat
e
the
data d
i
r
e
ctor to the lates
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: c
a
ller_info: fix
mo
r
e
f
a
l
l o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpente
r
db: type_si
z
e: silen
c
e
a
perl war
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
e
r
db: caller_info:
upda
t
e fixup_kern
e
l
.
sh
t
o t
h
e new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
ext
r
a
:
g
et_implied_range_list() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
use
r
_
d
ata: use the new r
e
tu
r
n_s
t
ates database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data:
sy
s
c
a
lls ar
e
a source of
u
ser data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
user_da
t
a:
i
f "
p
tr" is
u
se
r
data then "*ptr" is u
s
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
u
s
e
r
_data
:
add is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_data: s
k
b->d
a
ta is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra: make a funct
i
on
s
t
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b
: creat
e
r
e
turn_states tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: add get_retur
n
_id() and r
e
turn markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nte
r
db: i
m
prove error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpent
e
r
db: caller_info cha
n
ges
:
store
t
h
e
c
al
l
er,
param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
add
retu
r
n
_
values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
err_ptr_deref: remove dupli
c
ate conflicti
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpen
t
er
functi
o
n_hooks: move re
g
i
s
t
ration
t
o
t
he ri
g
ht place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carp
e
nter
deref_check: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
misc white space f
i
x
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Ca
r
penter
i
mplie
d
: change debugging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
che
c
ks: get rid of some
delete_state
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
C
arpenter
d
e
r
ef
_
check: fix
a
false po
s
itive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
an Carpenter
sparse: comment
out an internal error
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpe
n
te
r
Merge
g
it:
/
/
g
i
t
.
k
ernel
.
org/p
u
b
/
s
c
m
/deve
l
/sp
a
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpente
r
*new* as
s
ig
n
_vs_co
m
pare: i
f
((x = <c
o
nstant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpe
n
ter
ra
n
ges:
i
ntroduce
r
l
_c
o
ntiguous
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_
c
heck: sil
e
nce som
e
fa
l
s
e p
o
s
itive
o
n cros
s
f
uncti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpent
e
r
f
i
ll
_
d
b
_call_impl
i
es
:
check c
o
rrect varia
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
p
e
nte
r
fi
l
l_d
b
_return
_
impli
e
s:
d
elete the correc
t
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer
_
math: check ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: h
a
ndl
e
if (WA
R
N_ON(i
=
= ARRAY_SIZE(foo)
)
retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpent
e
r
as
s
igned_e
x
pr: mo
v
e c
h
eck_assi
g
ned_expr
(
) to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
r
penter
mac
r
o_
s
i
d
e_effects: only enable w
h
en --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpent
e
r
ignore
_
side_effects: add some more macros that h
a
ve
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: add --spammy to valid
a
t
io
n
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
ov
e
r
f
l
o
w
: remove strncpy() fal
s
e positi
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
ar
p
enter
M
erge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf_size: turn off
buf size f
o
r &addresses un
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Car
p
en
t
er
f
low:
han
d
le the __noretu
r
n_
_
attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size
:
remov
e
the &* and [
0
] from aroun
d
the pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpent
e
r
sm_
b
uf: don't r
e
turn the maximu
m
store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpen
t
er
buf
_
size: ret
u
rn t
h
e
size
o
f &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_s
i
ze: a
d
d kmalloc_a
r
ray() and sock_
k
mal
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pent
e
r
buf_
s
ize:
i
f the member size is
n
ot k
n
o
wn then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge bran
c
h '
b
uf_size' int
o
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pe
n
t
e
r
Merge git://git
.
k
ernel
.
org/p
u
b/scm/devel/spars
e
/
spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_s
i
ze: first get the size in bytes
the
n
convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size: remo
v
e
c
ast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
buf
_
size: fix bytes_per_element() for strin
g
s and
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
enter
buf_size: delet
e
som
e
duplicate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next