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: do the comparison against the split apart returns
2014-11-04
Dan Carpenter
d
b
: do the com
p
arison
a
gainst the s
p
lit a
p
art returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpe
n
ter
db: s
p
l
i
t
f
unction call returns
if we can
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Da
n
Carp
e
nt
e
r
flo
w
:
ha
n
dle
b
ackwar
d
s
goto hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flo
w
: func
t
i
o
n
declara
t
ions
a
re not f
u
nction
definition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Car
p
e
n
te
r
retu
r
n_eno
m
em: re-write without using
return_implies_
s
tat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_
c
omparison
:
handle ze
r
o size arrays better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
a
n Car
p
enter
buf_comparison:
e
xport the
g
et_size_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
an Carpenter
buf_comparison, d
b
:
record
top leve
l
variables
i
n
dat
a
_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
function_hooks,
d
b: fix a problem with nest
e
d cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Da
n
Carpen
t
er
c
o
mparison: oo
p
s
.
forgot to commit a
chunk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpen
t
er
64bit_shift: fi
n
d b
u
gs like: u64 foo = 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
D
a
n Carpenter
auto_copy
:
f
i
x
a crashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
p
recedence:
b
& ma
s
k
>>
shi
f
t is nor
m
ally a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carp
e
n
t
e
r
s
h
ift_to_zero: fix a
n
er
r
or messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carp
e
nter
free: che
c
k for
p
assing or
ret
u
r
n
ing fre
e
d
m
e
mory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Carpenter
free
:
don't
tu
r
n off warnin
g
s if --s
p
a
m
my is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carp
e
nter
db/fixup_kernel
.
sh: bitmap_al
l
o
cate_region d
o
esn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpenter
bu
f
_
comparis
o
n
:
sto
r
e
w
hich data
ho
l
ds array li
m
i
t
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Car
p
e
nter
buf_compar
i
son, buf_size: add realloc() to allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpen
t
e
r
compa
r
e: introduce get
_
all_comparisons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n Carpenter
db:
a
dd
d
a
t
a
_
info
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
au
t
o
_copy:
assig
n
men
t
s copies sta
t
es auto
m
a
t
ically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan
C
a
rpenter
buf_comparison: look f
o
r off by one erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Me
r
ge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
e
r
r
_
ptr_deref: e
r
ror
mes
s
a
g
e
should say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free:
i
m
p
rove cross function tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_
t
o
_
zero:
check
f
or things
l
ike
"(foo & 0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
r
p
enter
pars
e
_call_math:
handle math like "$0->foo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Da
n
Carpenter
parse_call_math: more for
m
at change
f
a
llout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math: NULL ter
m
i
n
a
t
e buf si
z
e recipe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
call_
m
at
h
: use range lists
i
nstead
o
f only
e
x
act value
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpent
e
r
range
s
: start implemen
t
ing rl_bi
n
op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nter
compariso
n
: store gener
a
l limits in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nter
c
omparison
:
take or
i
g
i
nal comparison into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nte
r
valida
t
ion: add a
t
e
st for the recen
t
fu
n
ction c
o
mpare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
enter
function_h
o
oks
:
function co
m
p
a
r
iso
n
s c
a
n imply a pa
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Da
n
Carpenter
fixup_kernel
.
sh: several
i
mpo
r
t
ant updat
e
s
(
bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
c
o
mparison: rename
falsify_o
p
() to negate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
ranges: rename filter
_
by_compa
r
ison() t
o
so
m
ething
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an Carp
e
nter
cgcc: revert pa
r
t o
f
the
-
W
e
r
ror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
comparison: rename f
l
ip_op() to flip_c
o
mparison() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan C
a
rpent
e
r
Merge
git://git
.
k
e
r
nel
.
o
rg/pub/scm/devel/
s
p
arse
/
chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpenter
smd
b
.
p
y: add some help
t
ext
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carp
e
nter
b
uild_kernel_dat
a
.
sh: error out if the right pac
k
ages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpenter
compar
i
s
o
n: don't st
o
re comp
a
rison
s
to
o
ne's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carpenter
comparison: add a comment
for
u
pdate_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpente
r
c
omparison: get r
i
d of t
h
e
c
hun
k
_
vsl_eq() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: p
a
ss
the filte
r
ed false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
co
m
parison: c
l
eanup upd
a
te_tf_
d
ata
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db: fix han
d
ling o
f
n
e
ste
d
calls
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
Dan Carpenter
buf
_
size: ha
n
dle strlen(
)
a b
i
t bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
loc
k
i
ng: add ffs_mut
e
x_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
n
te
r
flow: t
h
e __in_pre_c
o
n
d
ition
variable needs to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
sm
a
tch
.
h
:
s
tore some dum
m
y database types
t
emporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db: e
x
po
s
e t
h
e data p
a
r
ameter so w
e
c
a
n
use data i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
p
enter
parse_call_ma
t
h: c
h
a
nge
A
P
I
t
o
u
se ra
n
ge lists (mos
t
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Ca
r
pen
t
er
ranges: fix
p
ar
s
ing that I broke this afternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpen
t
er
compari
s
on: fix up f
i
lter_compar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ranges: us
e
t
h
e ranges stored
i
n the da
t
abase properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
penter
ranges:
s
implify and robustif
y
str_
t
o_r
l
_helpe
r
() a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
param
_
limit: save the
comparison to the ar
g
u
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
function_hooks: fix
how
d
atabase comparis
o
ns are d
o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpent
e
r
compa
r
ison: pas
s
the ig
n
o
re
field to range_c
o
mparison_to_
p
ar
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
omparison: take pr
e
vious comparison
s
i
nto a
c
count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db: prefer literals to parameter m
a
th
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpent
e
r
db:
r
e-add some miss
i
ng
[] characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpent
e
r
assigned_ex
p
r
: undefine on modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
C
arpenter
db: fix
h
ow parameter
m
ath
w
orks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
assigned_e
x
pr: add revers
e
links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
links:
c
reate a smatc
h
_link
s
.
c
file
with f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
pars
e
_call_mat
h
: fix left overs from
the format
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an C
a
rpenter
param_set: write str
u
c
t memb
e
rs in terms of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
ext
r
a: write ce
r
tain returned struc
t
members in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
n
t
e
r
db: pass the
r
eturn expression to th
e
returned_membe
r
_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
e
x
tra:
s
av
e
re
t
urn valu
e
s in te
r
ms of
p
ar
a
meter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
r
p
e
nter
d
b
: un
i
f
y
h
ow parameter descriptions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpenter
co
m
parison: add an ignore
p
a
ramete
r
to expr_
e
qual_to_p
a
ram()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpenter
unrea
c
h
a
b
l
e: ignore the
unreach
a
ble() ma
c
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpenter
err_ptr
_
deref:
p
a
s
sing an ERR_P
T
R to kfree() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
extra: handle m
e
r
g
ing
N
ULL pointers bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
e
x
tra: add
r
esses of
arrays
a
re n
o
n-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpenter
db: remove bogus p
a
ramet
e
r inf
o
rmati
o
n
f
r
o
m
h
ook
t
ype
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
an Car
p
enter
db: a
d
d a new table w
h
ich hold parameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
typ
e
: introduce typ
e
_to_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
D
a
n Carpente
r
lo
c
k
ing: rem
o
ve some dupl
i
cate "sometimes
l
oc
k
ed" warning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpen
t
er
generisize
.
pl: f
i
lter some m
o
re s
t
u
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpent
e
r
generesize
.
pl: cleanup indent
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ranges: a point
e
r to an ar
r
a
y
is just a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
xtra: record
gl
o
bal decl
a
ration
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Ca
r
p
e
nter
conditio
n
s: update some debug ou
t
put
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
mparis
o
n:
i
ntroduce possibl
e
_comparis
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
extra: upda
t
e a debug sta
t
eme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
e
nter
functi
o
n_ptrs: t
r
ack f
u
nctions
w
hich ret
u
rn a fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpen
t
er
show_errs
.
sh: qu
o
te some str
i
ngs proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
r
p
e
n
ter
sli
s
t
: put
g
et_sm_
s
tate_stre
e
_stack()
i
n the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Ca
r
penter
s
t
ates:
chan
g
e the
debug output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
st
r
uct_assignment:
h
andle kzalloc
(
) bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
e
n
ter
slist: add the filenam
e
to some debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next