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,extra: fixes to param filtering
2014-11-05
Dan
Carpen
t
er
db,extr
a
: fixes to para
m
filter
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
D
a
n
Ca
r
penter
debug: add a
function to do interse
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
arpenter
db,
r
anges: introduce long_min/max valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
kernel, db: pretend pc
i
functions can't return
PCIB
I
OS_BAD_R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
d
b
, ker
n
el
:
when kmalloc() succeeds that i
m
plies
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Car
p
enter
db
:
do th
e
comparison ag
a
inst the split apart
r
et
u
r
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Ca
r
penter
db: split function
c
all
r
eturns if we ca
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
f
low: handle ba
c
kwar
d
s
g
oto
h
o
o
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
a
n
Carpenter
flow: fun
c
tion dec
l
aration
s
ar
e
not f
u
nc
t
io
n
de
f
initi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Carpen
t
er
ret
u
rn_enomem: re-
w
rite without using
return_implies_state
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Carpe
n
ter
buf
_
comparison
:
h
andle
z
ero size
a
r
rays better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
rpenter
b
u
f_comparis
o
n:
exp
o
r
t
the get_size_va
r
iable
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Ca
r
p
e
n
t
er
buf
_
comparison, db: r
e
cor
d
top level
v
ariables in data_inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
fu
n
ctio
n
_
hooks, db: fix a
p
roblem with nested cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpent
e
r
co
m
parison
:
oops
.
f
orgot
t
o commit a chunk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
64bit_shift: find bug
s
l
ike:
u
64 foo = 1 << x
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
auto_copy: fix a cr
a
shing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
p
r
ece
d
ence: b
&
mask >> shift is normally a
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carpenter
shift_to_zero:
f
ix an error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
fr
e
e: check for passing o
r
retur
n
i
n
g freed memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
an
C
arpenter
free: don't turn off wa
r
n
i
ngs if --spammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
db/fixup_kernel
.
sh: bitmap_
a
llocate_region does
n
't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpenter
buf_comparison:
s
tore
w
hich dat
a
holds array limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpe
n
ter
bu
f
_comparison, buf_size
:
add re
a
lloc() to a
l
location
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
c
ompare: introd
u
ce get_all_compar
i
sons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n Carpent
e
r
d
b
: add
d
a
t
a
_info tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carp
e
nter
au
t
o_copy: assi
g
nments copies s
t
ates au
t
omatically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpente
r
b
u
f_co
m
paris
o
n: look fo
r
off by one er
r
ors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
Car
p
enter
Merge branc
h
'de
v
el'
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
e
r
r_ptr_de
r
ef: error
mess
a
ge shou
l
d
s
ay "negat
i
ve"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Car
p
enter
free:
impro
v
e cross func
t
ion tracki
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
shift_to_
z
ero: check for thin
g
s like
"(foo & 0
x
ff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
r
p
e
nter
parse_
c
a
l
l_ma
t
h: hand
l
e math like
"
$0->foo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan
Ca
r
p
e
nter
pars
e
_call_ma
t
h:
m
ore
f
o
r
mat change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
D
an Carpenter
pa
r
se_call_math: NU
L
L terminate buf size rec
i
pe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
arpe
n
ter
cal
l
_math: use
range lists instead
o
f only exact values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
arpenter
ra
n
ges
:
start implementi
n
g rl_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpe
n
ter
co
m
par
i
s
o
n: store g
e
neral li
m
its in
t
he dat
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpe
n
ter
comparison: take original c
o
m
parison into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpenter
valida
t
ion: add a t
e
st for the recen
t
f
u
nction compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpe
n
t
er
f
unction_
h
ooks: function comparisons c
a
n imply a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpe
n
te
r
fixup_kernel
.
sh: seve
r
al import
a
nt
u
p
dates (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpen
t
er
compar
i
son: rename falsif
y
_op() to
n
egate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
ranges
:
r
e
na
m
e
f
ilter_by
_
co
m
parison() to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
cg
c
c: revert part o
f
the -Werror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
ar
p
enter
comparison: rename fli
p
_op() to flip_com
p
a
rison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpe
n
ter
Merge
g
i
t
:
/
/git
.
kernel
.
org/pub/scm/dev
e
l/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
s
mdb
.
py
:
ad
d
some he
l
p text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
build_kernel_da
t
a
.
sh:
e
r
ror ou
t
if the
r
i
g
h
t package
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpen
t
er
compa
r
ison:
d
on'
t
store comparisons to
one's s
e
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
comp
a
rison: a
d
d a
c
om
m
ent for upd
a
t
e
_
t
f_lin
k
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
c
o
mparison: get
r
id of the chunk_vs
l
_eq() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
comparison: pas
s
th
e
filtered
false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
comparison:
cleanu
p
up
d
ate_t
f
_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
an Carpe
n
ter
db: fix handl
i
ng of nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
state
s
: add an assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
buf_size: handle
s
t
rlen() a bi
t
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
lockin
g
:
add ffs_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
flow: the __
i
n_pre_condition variable n
e
eds to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
smat
c
h
.
h:
store som
e
dumm
y
d
atabase types t
e
mporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
p
enter
db: expose
the data
parameter so we can
u
se data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carp
e
nter
parse_call_math:
change API to use
range
l
ists (most
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
rang
e
s: fix parsing that I broke this afterno
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpente
r
comparison: f
i
x
u
p
f
ilter_compar
i
so
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
range
s
: use t
h
e rang
e
s stored in the databa
s
e prop
e
r
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
ra
n
ge
s
: fix crash
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpe
n
ter
ranges: simplify and robu
s
tify str_to_rl_helper
(
) a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limi
t
: save
the co
m
parison t
o
the argum
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpenter
functio
n
_hooks: fi
x
ho
w
d
a
tabase comparison
s
are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpent
e
r
comparison: pass the ignore field to ran
g
e_comp
a
ris
o
n
_
to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n C
a
r
penter
compa
r
iso
n
: take
p
r
ev
i
ou
s
comparisons into ac
c
ount
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpen
t
e
r
db:
p
refer litera
l
s
to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpent
e
r
db: re-ad
d
som
e
m
is
s
ing [] ch
a
racters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
a
ss
i
gned_ex
p
r
:
und
e
f
ine o
n
modifi
c
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpenter
db:
f
ix
h
ow parameter math
w
o
rks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
ter
ass
i
gned_expr:
a
d
d
r
e
verse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an
Carpenter
links: c
r
ea
t
e a
s
match
_
links
.
c fil
e
with fu
n
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
p
a
rse_call_math: f
i
x left over
s
from the format
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
ente
r
param_set: write struct members in
t
e
rm
s
of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra: write
c
e
r
tain r
e
turned struct
m
ember
s
in
t
e
r
ms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Ca
r
pe
n
t
e
r
db: pass the ret
u
r
n
express
i
on to
the returned_member_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
e
x
tra: save
r
et
u
rn v
a
lue
s
in term
s
of
p
a
r
ameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db: un
i
fy how parameter
descript
i
ons are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
c
om
p
arison: add an
i
g
n
o
r
e parameter to expr_equal_to_param
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
un
r
e
ac
h
a
ble
:
ignore the unreachable() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
C
ar
p
enter
e
r
r_ptr_deref: passing an ERR_
P
TR to kfree(
)
is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan C
a
r
pen
t
er
extra: handle me
r
ging NU
L
L point
e
rs b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan
Ca
r
pen
t
er
extra: addresses of arr
a
ys
are non-NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n
Carpenter
db: rem
o
ve b
o
gus p
a
r
a
meter
information fro
m
hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
C
arpenter
d
b: add a
new table which hold
p
a
rameter ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Da
n
Carpenter
type:
i
ntrodu
c
e type_to
_
str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Da
n
Carpenter
locking: remo
v
e some duplicate "s
o
m
etimes locked"
w
arnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpen
t
er
g
e
nerisize
.
pl: filter s
o
me mor
e
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpente
r
g
e
ner
e
size
.
pl: cleanup inde
n
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpente
r
ranges:
a
p
o
inter to an arr
a
y
i
s just a poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
extra:
recor
d
global declaration
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
condition
s
: update some
debug
o
utput
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
co
m
p
arison: intro
d
uce possibl
e
_
c
omparison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra
:
update a debug sta
t
emen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
r
penter
f
u
nction_ptrs
:
track f
u
nctions which retu
r
n
a funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next