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
flow: handle backwards goto hooks
2014-11-04
Da
n
C
a
rpenter
flow: handle backwar
d
s goto
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
f
low: function
d
eclarations are not fun
c
tio
n
definitions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n
Carpente
r
r
eturn_enomem:
re-wri
t
e
w
i
thout using r
e
turn
_
implies_state
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Ca
r
penter
buf_co
m
par
i
son
:
handle
zero size
arra
y
s be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Carp
e
nter
buf_compariso
n
: export
th
e
get_
s
ize_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpent
e
r
buf
_
compar
i
son,
d
b:
record top level v
a
r
i
ables in data
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpenter
function
_
hook
s
, db: fix a
p
r
o
blem wi
t
h ne
s
ted
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
D
a
n Carpenter
comparison
:
oops
.
forgot to co
m
mit a chu
n
k
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpe
n
ter
64b
i
t
_
shift:
find bu
g
s like: u64
f
o
o
= 1 <<
x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan
Carpent
e
r
auto_c
o
p
y:
f
ix a crashing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
preced
e
n
c
e: b & mask >> shift is nor
m
ally a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
shift_to_zero:
fix an e
r
ror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
free:
check for passing or ret
u
r
n
ing
f
reed
memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: don't turn off warnings if --sp
a
mmy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
d
b/fixup
_
ker
n
el
.
sh: bitmap_allocate_
r
e
g
i
on d
o
esn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
t
er
buf_comparison: store w
h
ich data h
o
lds
array l
i
mits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf
_
comparison, buf_size
:
a
dd reallo
c
() to alloca
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
D
an Ca
r
penter
compare:
int
r
oduce get_al
l
_comparisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carp
e
nt
e
r
d
b
: a
d
d data_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
an
Carp
e
nt
e
r
au
t
o_copy: assig
n
ment
s
c
opies states automaticall
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
D
a
n
C
arpenter
buf_compa
r
ison: look
for off by one er
r
ors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Merge
b
ra
n
ch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
D
an Carpen
t
er
e
r
r_ptr
_
der
e
f: error m
e
ssag
e
s
h
ould s
a
y "negative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free: imp
r
o
v
e cross
f
u
nction tr
a
cking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Car
p
e
n
ter
shift_
t
o_z
e
ro:
c
heck
f
o
r
things li
k
e "(foo & 0
x
ff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_call_math: handl
e
math li
k
e
"
$0->foo
+
5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
pars
e
_call_math: more forma
t
change fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call
_
math
:
NU
L
L termina
t
e
b
uf siz
e
recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
a
rpent
e
r
c
a
ll
_
math: use range lists inst
e
ad of
o
nly exac
t
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
r
anges
:
start implem
e
n
t
ing
rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Ca
r
penter
compari
s
on:
store
g
ener
a
l limits in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
comparison
:
t
ak
e
o
r
ig
i
nal com
p
ariso
n
into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
v
a
lidati
o
n: add a test f
o
r
t
he recent function compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpente
r
f
u
nct
i
on_hook
s
: func
t
ion comparisons can i
m
p
ly a
p
arameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n C
a
rpent
e
r
fixup_kern
e
l
.
s
h: several im
p
o
r
t
ant updates (bug
f
ixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison: rename falsify_
o
p() to nega
t
e
_
compar
i
son
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Car
p
enter
ran
g
es
:
rename f
i
lter_by_comparison
(
) to s
o
m
e
t
h
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
c
gcc: revert part of
the -W
e
rror ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Car
p
enter
compari
s
on: rename fli
p
_
o
p() to
flip_co
m
pari
s
on() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpen
t
er
Merge git://git
.
kerne
l
.
org/pub/scm/dev
e
l/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpen
t
er
smdb
.
py: a
d
d
s
ome help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
C
a
r
penter
build_ke
r
nel_da
t
a
.
sh: error
out if the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compa
r
ison
:
d
on't stor
e
comparisons to one
'
s self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan C
a
rpenter
com
p
arison
:
add a comment f
o
r update_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpen
t
er
comparison: get r
i
d of the
chunk_vsl_eq() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
e
nter
comparison: pass the filt
e
red false s
t
ate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison: cleanup update_tf_dat
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
D
a
n
Carpenter
db: fix hand
l
ing of n
e
s
t
ed c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Ca
r
penter
st
a
te
s
: a
d
d an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
bu
f
_size: handle strlen(
)
a
b
i
t
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
l
o
cking: add ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpente
r
f
l
o
w
: the __
i
n_pre_condition vari
a
ble need
s
to be
s
et
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
smatch
.
h: s
t
or
e
s
o
me dummy dat
a
base types
t
empor
a
rily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
d
b: exp
o
se t
h
e data parameter so we can us
e
data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
parse_call_ma
t
h: change
AP
I
t
o
use ran
g
e
l
ists (mostl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
ranges: f
i
x pars
i
ng that I broke t
h
is afte
r
n
oon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
compa
r
is
o
n:
f
i
x up filter_comparis
o
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carp
e
nter
ranges: u
s
e the ranges st
o
red
in th
e
database p
r
operly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
r
a
nges: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
n
t
er
ranges: sim
p
lify
and robustify str_
t
o_rl_he
l
per() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
nter
p
a
ram_
l
imit: sa
v
e the
c
omp
a
rison to the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpe
n
ter
function_hooks
:
fix how database comparisons are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
com
p
a
rison: pas
s
the ign
o
re field to range_c
o
mp
a
r
ison_to_
p
ar
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: take previous comparis
o
ns in
t
o ac
c
ount
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan C
a
rpente
r
db: pr
e
fer lite
r
a
l
s to parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an
C
arpenter
db: re-add some mi
s
si
n
g
[
]
c
haracters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
assigned_expr: undefine o
n
modifica
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n
C
arpe
n
ter
d
b: fix how parameter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
assigned_ex
p
r: add
r
evers
e
links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
li
n
ks: create a sm
a
tch_links
.
c file wit
h
func
t
i
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carp
e
nter
p
a
rs
e
_
call_math: fix le
f
t overs fr
o
m
th
e
f
o
rmat change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param_set: wr
i
te struct
m
embers in t
e
rms of para
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
pe
n
ter
extra:
write
c
ertain r
e
tu
r
ned s
t
r
u
ct me
m
bers in t
e
rms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
db: pass the r
e
tur
n
expression to the returne
d
_member_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
extra: save re
t
urn values
i
n terms of
p
a
rameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpen
t
er
db: unify how paramet
e
r descrip
t
ions are
s
aved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comp
a
ri
s
on: ad
d
an ignor
e
p
ara
m
et
e
r
to expr
_
eq
u
al_
t
o_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpenter
unreach
a
ble: ig
n
ore the unreachable()
macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carp
e
nter
err_ptr_deref:
p
assing an ER
R
_PTR to kfree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Ca
r
penter
extr
a
: hand
l
e merging N
U
LL
p
ointers be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Car
p
enter
ex
t
ra: a
d
dres
s
es of arrays ar
e
non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan C
a
r
p
enter
db
:
remove bogus paramet
e
r information from hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpenter
db: add a new
t
able wh
i
c
h
h
o
ld parameter typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Car
p
enter
type:
i
nt
r
oduce type_to_str
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
lock
i
ng: remov
e
some d
u
p
l
icate "someti
m
e
s locke
d
"
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisize
.
pl: filte
r
some more
s
t
u
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
gener
e
s
i
ze
.
pl:
cleanup ind
e
ntation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ra
n
ges: a point
e
r
to an array is just a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
e
x
tra: reco
r
d global declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
conditions: upda
t
e some de
b
ug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpen
t
er
compar
i
s
o
n: introduce possible_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
extra: update a d
e
bug statem
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
func
t
ion_ptrs: track functions which
r
eturn a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
show_err
s
.
sh: qu
o
te
some strings pr
o
p
e
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
slist: put get_sm_s
t
ate_stree_stack() in the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
states: change the de
b
ug output
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
s
t
ruct_assi
g
n
m
ent:
h
andle kzalloc() b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
t
er
slist:
a
dd the
f
ilename to
s
ome debug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow: parse g
l
obal
variabl
e
s b
e
fore parsing function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
slist: export the set_stat
e
_
s
tree_p
e
rm() functi
o
n to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next