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
debug: add __smatch_type() which prints the type of the argument
2014-11-06
Dan Car
p
enter
debu
g
: add __smatch_type() which prin
t
s the type
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-06
Dan Carpe
n
t
e
r
ty
p
e: ty
p
e
_
to_str() should t
a
k
e a type parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
D
an Carpent
e
r
f
low, db:
f
ake a
n
unknow
n
r
eturn if
t
he f
u
nction
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan
C
arpente
r
db,extra: fixes to para
m
filterin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpente
r
debug: ad
d
a function to
do intersecti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
ar
p
enter
db, r
a
n
g
es: int
r
oduce long_min/max
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
kernel, d
b
: pretend pci
f
unction
s
can't return P
C
IBIOS_BAD
_
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db,
k
ernel: wh
e
n
km
a
lloc
(
) succe
e
ds
t
hat
i
mpl
i
e
s
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db: do the compari
s
on aga
i
nst
t
he split apart ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan C
a
rpenter
d
b: spli
t
function cal
l
returns
if we can
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
a
r
p
e
nter
f
l
ow: handl
e
backwards goto h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpent
e
r
flow: function dec
l
ar
a
tions are no
t
function definitions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
return_enomem:
r
e-write without using return_implies_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n
Ca
r
penter
bu
f
_
c
omparison: handle
z
er
o
size arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carp
e
nter
b
u
f
_
c
ompariso
n
: export the get_s
i
z
e_varia
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n
Carp
e
n
t
er
bu
f
_com
p
arison, db: rec
o
rd
top level variables in d
a
t
a_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan
C
arpent
e
r
funct
i
o
n
_hooks, db: fix a problem with nested cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpent
e
r
comparison:
o
ops
.
forgot to com
m
i
t a chu
n
k
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
64bi
t
_shift:
find bu
g
s
like
:
u
64 foo = 1
<
< x
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
a
uto_
c
o
py: fix a c
r
a
s
hi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Ca
r
p
ent
e
r
precedence: b
&
m
ask >>
s
hift is normally a
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
shift_t
o
_zero: fix an
e
rror me
s
sag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: check for
passing or retu
r
ning
freed
m
emory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
fre
e
: don't turn off warnings
i
f --spammy i
s
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
pent
e
r
db/fixup_k
e
rne
l
.
sh: bitmap_allocate
_
region doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpen
t
e
r
buf_comparison: store which data holds ar
r
ay limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an
C
a
rpenter
b
uf_comparison, buf_size: add reallo
c
(
) to
allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n Ca
r
penter
c
omp
a
re: introduc
e
g
et_all_comparisons(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Da
n
Carpenter
db: add data_info tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
an Carpen
t
er
auto_copy: assign
m
ents copies s
t
ates automat
i
c
ally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Ca
r
pe
n
ter
buf_comparison:
l
o
o
k
for of
f
by one erro
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Ca
r
penter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpen
t
e
r
e
r
r
_
ptr_deref: er
r
or message shoul
d
say "negative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Car
p
en
t
er
free: impr
o
v
e
cros
s
function tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero: check fo
r
things like "(
f
oo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
D
an C
a
rpenter
p
arse_c
a
ll_math:
handle
ma
t
h li
k
e
"
$
0
->foo +
5
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpen
t
er
parse_call_
m
ath: more format
c
h
ange fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Car
p
enter
parse_c
a
ll_ma
t
h: NUL
L
termi
n
ate
b
uf size recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpen
t
er
call_math:
u
se
r
ange lis
t
s instead of only e
x
act va
l
ue
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpen
t
er
ranges: sta
r
t imple
m
enting rl_
b
i
nop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n
Carpenter
comparis
o
n
:
store g
e
neral limits in t
h
e
d
atab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
an
Carpenter
c
omparis
o
n:
t
ake original compar
i
son into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
ent
e
r
validatio
n
: a
d
d a test for
the recent fun
c
t
i
on compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Da
n
Carpenter
function_h
o
oks:
f
unction c
o
mp
a
ris
o
ns can imp
l
y a
par
a
meter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
f
i
x
up
_
kern
e
l
.
sh:
several important upda
t
es (b
u
gfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpente
r
comparison
:
rename f
a
lsify
_
op() to negate_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
r
ang
e
s: rename filter_by_co
m
par
i
son() to
s
omething
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
c
g
cc: revert part of the -Werror check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
a
r
penter
com
p
arison: rename flip_op() to flip
_
comparison
(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpent
e
r
Mer
g
e gi
t
://git
.
ke
r
nel
.
org/p
u
b/scm/devel/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
an Carpe
n
t
e
r
s
m
db
.
py:
add
s
ome
h
e
l
p
t
ex
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carp
e
nter
b
u
ild_k
e
rnel_data
.
sh: error ou
t
if the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n
Carpenter
comparison: do
n
'
t
store
c
omparisons
t
o
on
e
's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
e
r
comparison:
ad
d
a
c
omm
e
nt for update_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
compar
i
son: get rid of the chunk_vsl_eq() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n C
a
rpent
e
r
compariso
n
: pas
s
the
filtered f
a
lse st
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
comparison: cleanup
u
pdate_tf_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Da
n
Carpenter
db: f
i
x
h
and
l
ing of nested call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
states: add an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
buf_si
z
e: handl
e
strle
n
()
a bit
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
locking
:
a
d
d
f
fs_mutex_lo
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
rpe
n
t
e
r
f
l
ow: the __in_pre_conditi
o
n
variable needs to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an
C
arpenter
s
m
atch
.
h: st
o
re some dummy database t
y
pes temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
db: expos
e
the data parameter so we ca
n
use dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpen
t
er
parse_ca
l
l_math: c
h
ange API to us
e
rang
e
lists
(
m
o
s
tly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
range
s
: fix parsing
t
hat
I broke t
h
is afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpen
t
er
comp
a
rison: fix up filt
e
r_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
range
s
: use
the r
a
nges s
t
or
e
d in
t
h
e d
a
ta
b
ase properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
range
s
: fix
cras
h
i
n
g bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
range
s
:
s
i
mplify and robust
i
fy str_
t
o
_rl_helper() a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpente
r
para
m
_limi
t
: s
a
ve the comparison to
th
e
a
r
g
uments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function
_
hooks: f
i
x how datab
a
se comparisons
a
re done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
co
m
pari
s
on: p
a
ss
t
he ign
o
re field to range_co
m
parison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpen
t
er
co
m
pari
s
o
n
: t
a
ke previ
o
us comparison
s
into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpe
n
ter
db: prefer li
t
eral
s
to
p
arameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nter
db: re-add some mi
s
si
n
g
[
] charac
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an C
a
rp
e
nte
r
assigned_
e
xpr
:
undefine o
n
modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
db: fix how parameter ma
t
h
wo
r
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpenter
ass
i
g
ned_expr: add reve
r
se l
i
n
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpe
n
t
er
links: create a smatch
_
links
.
c fi
l
e
w
ith functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
parse_call_math:
fix left overs from th
e
format
c
hange
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
param
_
set: w
r
ite struct members in ter
m
s of pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
n
t
er
extr
a
:
w
rite
certain returned struct
m
embers in
terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: pass the return ex
p
ression to
the
returne
d
_m
e
m
b
e
r
_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
extra:
s
ave return values in terms of parame
t
er math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
d
b
: unify how pa
r
ameter
de
s
cripti
o
ns are
s
aved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpenter
comparison:
a
dd a
n
ignore parameter to
expr_equal_
t
o_par
a
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unrea
c
h
a
ble: ignore the unreacha
b
le
(
) macr
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpente
r
err_ptr_dere
f
: passing an ERR_PTR to kfree() is
a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n
Carp
e
nter
extr
a
:
h
andle merging NULL pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n
C
a
r
pen
t
er
ext
r
a
:
addresses of arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db:
r
emove
b
ogu
s
parameter
in
f
ormat
i
on from ho
o
k type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Carpenter
db:
a
dd a new
table
w
h
i
c
h hold para
m
eter
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n Car
p
e
nter
type: introduc
e
type_to
_
s
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
lock
i
n
g
:
remove some duplicate "som
e
times locked" warn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
gen
e
risize
.
pl: filter so
m
e
mo
r
e stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
g
eneresize
.
pl: c
l
eanup indentat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ranges: a pointer t
o
an array
i
s ju
s
t a poin
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Car
p
ente
r
e
x
tra: record global declara
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
c
onditions:
u
pdate some d
e
bug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next