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
db:
do
the
comparison against the split apart returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpente
r
db:
s
plit function call returns if we c
a
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpe
n
ter
f
l
ow: handle backwards go
t
o hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow: function dec
l
ara
t
ions are
not functi
o
n definitions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Car
p
enter
return_enomem: re-write without
using return_im
p
lie
s
_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
arpenter
buf_c
o
mpariso
n
:
ha
n
dle z
e
ro size
a
r
r
ays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan
C
arpenter
buf_comparison
:
export the g
e
t_s
i
ze_varia
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
D
an Carpenter
buf_com
p
arison,
d
b: record t
o
p level variables in data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carp
e
nter
fun
c
ti
o
n_hooks, db: fix a p
r
o
blem with nested calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpente
r
c
omparison: oops
.
forgot to co
m
mit a chunk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carp
e
nter
6
4
bit
_
shift: find bu
g
s
l
ike:
u64
foo = 1 << x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Da
n
Car
p
enter
a
u
t
o_copy: fix
a
crash
i
ng
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Da
n
Carpenter
precedence:
b & mas
k
>> shift is n
o
rm
a
lly a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Car
p
enter
s
hi
f
t_t
o
_zero:
fix an error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
penter
free: che
c
k
for pass
i
ng
or returning freed
m
emory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: don't turn off war
n
ing
s
if -
-
s
p
ammy
is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpent
e
r
d
b/fixup_kernel
.
sh: bitmap_allocate_region doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_com
p
arison: stor
e
wh
i
ch
dat
a
h
o
lds array
l
imits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
buf_compar
i
son
,
buf_si
z
e: a
d
d realloc
(
)
to
a
llocat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
D
an Carpente
r
compare: intro
d
uce g
e
t_
a
l
l
_com
p
arisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
r
p
e
n
ter
db: add d
a
t
a_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan
C
arpenter
auto_copy:
assignments copies
sta
t
e
s
automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpenter
bu
f
_comparison
:
look for o
f
f by one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
C
a
rp
e
n
ter
Me
r
ge branch
'
deve
l
'
commit
|
commitdiff
|
tree
2014-10-16
D
a
n
Carpe
n
t
er
err_ptr_deref: error messa
g
e should
say "negat
i
v
e
"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free:
i
mp
r
ove cross function tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
D
a
n Carp
e
nter
shi
f
t_to_z
e
ro:
c
h
eck
f
or things
l
ike
"
(foo &
0
xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_call
_
math: handl
e
math like "$0->foo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
p
a
r
se_call_math: more format change fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
p
e
n
t
er
parse_call_math: NULL t
e
r
m
inate buf
size r
e
cipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
Carpe
n
t
er
call_m
a
th: use
range
l
ist
s
instead of o
n
l
y exact values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Ca
r
penter
ranges: start implem
e
nting rl
_
bin
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
an
C
a
r
p
enter
comparison:
s
tore general limits in th
e
datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
comparison: take
o
rigin
a
l comparison i
n
to
a
ccou
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
r
pen
t
er
validation: add a
test for the
r
ecent function
c
ompare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
a
rpenter
function_ho
o
ks: funct
i
on
compari
s
ons can imply a p
a
ramete
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
Carpenter
fix
u
p
_
kernel
.
s
h
:
several impo
r
tant updat
e
s
(bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
comp
a
rison: rena
m
e falsify_op(
)
to negate_
c
ompar
i
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
rang
e
s:
rename filter_by_comparison
(
) to somethin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
pente
r
cgcc: re
v
ert part of the
-
Werr
o
r check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Car
p
e
n
t
e
r
comparison: rename flip_op(
)
to flip_com
p
arison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
D
a
n Carpen
t
er
Merge git
:
/
/
git
.
kernel
.
org/pub
/
scm/d
e
vel/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py: add
s
ome
help
t
ext
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan C
a
rpenter
build_kernel_data
.
sh: error out
i
f th
e
right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carp
e
nter
com
p
a
r
i
s
o
n: don't store comparisons to one's
self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
comparison:
a
dd
a
comm
e
n
t
for
u
pdat
e
_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpent
e
r
comparison
:
get rid of the chunk
_
vsl_
e
q
()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
ompa
r
is
o
n: pass the fi
l
te
r
ed f
a
lse sta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan 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
Dan
Carpen
t
er
db: fix handl
i
n
g of nested
cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
states: a
d
d an
a
ssert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
buf_size: handle strl
e
n
(
) a bit
b
ette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
loc
k
ing: add ffs_
m
utex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
flow: t
h
e __
i
n_pre_condition variable
need
s
t
o
b
e
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
nter
s
m
atch
.
h: st
o
re some dummy d
a
ta
b
ase types temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
d
b: ex
p
o
s
e the da
t
a pa
r
ameter so we can use
da
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
nter
parse
_
ca
l
l
_mat
h
: change API to use range li
s
ts (
m
os
t
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpen
t
er
ranges: fix parsing tha
t
I broke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
comparison: fi
x
up
f
ilter_compar
i
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use the r
a
n
ges stor
e
d
in the data
b
ase p
r
operl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ra
n
ges: fix crashi
n
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
ranges: simplify and robustify s
t
r_to_rl_helper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
param_limit: save the
c
omparison to the ar
g
um
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: f
i
x how database
c
ompari
s
ons are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
comparison: pass the ignore field to range
_
co
m
parison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
com
p
aris
o
n: t
a
k
e
prev
i
ous
compa
r
isons
i
nto account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpenter
d
b: prefer literal
s
to
parameter m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db: re
-
add some mis
s
i
n
g
[
]
c
h
aracters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
a
ssigned_expr: undefine on modifi
c
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
d
b:
f
i
x
h
o
w param
e
t
e
r
math w
o
rks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assig
n
ed_expr: add rev
e
rse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
ter
links: creat
e
a smatch_links
.
c fil
e
wi
t
h functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
parse_cal
l
_math: fix left o
v
ers from the forma
t
change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param
_
set: wr
i
t
e
st
r
u
ct members
i
n
terms of para
m
ete
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
ext
r
a: write certain retu
r
ned s
t
ruct members i
n
ter
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: p
a
ss the
r
eturn expre
s
s
i
on
t
o the returne
d
_
m
ember_cal
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
e
xt
r
a: save ret
u
r
n
v
a
lues in terms
o
f parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
db: unify
h
o
w parameter des
c
riptions
a
re saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arp
e
nter
comparison: a
d
d
a
n ign
o
re
p
arameter to expr_equal_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
un
r
eachable: ig
n
o
r
e the unreachable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
p
e
nter
err_ptr_deref: pass
i
ng a
n
E
RR_PTR to
k
f
r
ee() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpent
e
r
extra: handle me
r
ging NULL
pointers
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpent
e
r
extra
:
addresses of arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
an Carpe
n
ter
db: remove bogus parameter informati
o
n from hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpente
r
db: add a new ta
b
l
e
which hol
d
p
arameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n Carp
e
nter
ty
p
e:
i
ntroduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locking:
r
emove
s
ome du
p
lic
a
t
e "
s
ometimes lock
e
d" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisi
z
e
.
pl: filter
s
o
me more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpen
t
er
generesize
.
pl:
cleanup inde
n
t
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpenter
ranges: a pointer t
o
an array is just
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
x
tra: recor
d
glo
b
al
declarat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpe
n
ter
conditions: updat
e
some
d
ebug ou
t
put
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Car
p
enter
com
p
arison: in
t
ro
d
uce
possible_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
extra: u
p
date a debug
s
t
a
tement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arp
e
nter
fu
n
ct
i
o
n_ptrs: track f
u
nct
i
ons
w
hich
r
eturn
a
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
show_errs
.
sh:
q
uote some strings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
slist:
p
u
t get_sm_state_st
r
ee_st
a
c
k
() in the
.
h
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
s
tate
s
: change
t
he deb
u
g
output
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
struct_assignme
n
t:
h
an
d
l
e
kzalloc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist:
add the fil
e
n
ame to some debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next