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 t
h
e co
m
parison agai
n
s
t the split apa
r
t ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan
Carpenter
db: s
p
lit fu
n
ct
i
on
call
r
e
t
urns if we ca
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow:
handle
b
ackwards
goto hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpent
e
r
flow: function decl
a
rations are
not function definition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Carpenter
return_enomem: re-wr
i
te with
o
ut usi
n
g return
_
impl
i
e
s
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Car
p
ent
e
r
buf_com
p
ar
i
s
o
n
: handl
e
z
e
ro
s
ize arrays better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
C
a
rpenter
buf_c
o
mparison: export t
h
e get_size_variable(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_
c
o
m
parison, db
:
record top le
v
el
variables
i
n
data_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Da
n
Carpenter
function_hooks, db: fix
a
p
r
oble
m
with nested calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
D
a
n Car
p
enter
co
m
p
arison
:
oops
.
f
orgot to commit a chunk
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
rpenter
6
4bit_
s
hift: find bug
s
like:
u
64 foo = 1 <<
x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan
Carpenter
auto_copy:
f
ix a crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
precedence: b
& mask
>>
s
hi
f
t
is normally a
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpen
t
er
shift
_
to_zero: fix an error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Ca
r
penter
f
r
ee
:
check
for p
a
s
s
ing
o
r returni
n
g freed memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free
:
don't turn off wa
r
n
ings if -
-
spammy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpent
e
r
d
b/fixup_ker
n
el
.
sh: bitmap_
a
llocate_region doesn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpenter
buf_comparison
:
store which
d
a
t
a
hol
d
s array li
m
i
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Carpenter
buf_
c
ompar
i
son, buf_si
z
e: a
d
d
real
l
o
c() to a
l
locat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
rpenter
com
p
are: introduce get
_
all_com
p
aris
o
ns()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
D
an Carpe
n
t
e
r
db: ad
d
data_inf
o
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan C
a
rpenter
auto_copy: ass
i
gn
m
ents copies states automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Ca
r
p
e
nter
bu
f
_compari
s
on: lo
o
k
for
o
ff by one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Merge branc
h
'deve
l
'
commit
|
commitdiff
|
tree
2014-10-16
D
an Carpenter
err_ptr_d
e
ref: er
r
or message should say "
n
egative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan C
a
rpe
n
t
e
r
free: improve
c
ross
f
unct
i
on
t
ra
c
king
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
shi
f
t
_to_zero:
check
for
things like "(foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
p
a
rs
e
_call_mat
h
: handl
e
math l
i
ke "$0->foo
+
5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math: m
o
re format change fal
l
o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Car
p
enter
par
s
e_ca
l
l_mat
h
: NULL terminate buf
s
ize recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
call_math: us
e
range lists i
n
stead of
only exact val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
an Carpen
t
er
r
a
nges: start
i
mplementing rl_bin
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
comparison: store gene
r
al li
m
its in the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
enter
c
o
mp
a
r
ison: take origina
l
comparison into ac
c
ount
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
enter
validation: add
a
test for the recent fu
n
ction compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carp
e
n
ter
functi
o
n_hooks: f
u
nction c
o
mparison
s
can i
m
ply a parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
f
i
xup_kernel
.
sh: several important
u
pdates (bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
compa
r
ison:
rename falsify_op() to negate_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Ca
r
penter
ranges: rename
f
i
l
ter_by_compa
r
ison() to something
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpen
t
er
cgcc: r
e
vert part of the
-Werr
o
r
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpe
n
ter
comparison: rena
m
e
flip
_
op() to fli
p
_co
m
parison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
D
a
n Car
p
enter
Merge git://gi
t
.
kernel
.
o
rg/pub/scm/d
e
vel
/
sparse/
c
hris
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpent
e
r
smdb
.
py: add som
e
help
t
ext
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Da
n
Carpent
e
r
b
u
ild
_
ke
r
nel_data
.
s
h
: erro
r
ou
t
if
th
e
r
ight
p
ackages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison:
don
'
t store c
o
mparisons to o
n
e
'
s self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
c
o
mpariso
n
: add a com
m
ent for upda
t
e
_
tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: get ri
d
of the c
h
u
nk
_
v
s
l_eq() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison:
pass the fi
l
t
e
r
e
d false
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
co
m
parison: cl
e
anup
u
p
d
a
te_tf_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db: fix hand
l
ing of nes
t
e
d
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
penter
states:
ad
d
an
a
ssert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
bu
f
_size
:
h
a
ndle
s
trl
e
n() a bit
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
lockin
g
: add
f
f
s_mute
x
_loc
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flo
w
: the __in_pre_condition variable ne
e
ds to
be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
sma
t
ch
.
h:
store s
o
me du
m
my databa
s
e types temporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
db: expos
e
t
h
e
d
a
t
a parameter so we can use d
a
t
a
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpen
t
e
r
par
s
e
_cal
l
_
math
:
change API to use range
lists (most
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
ranges: fix
parsing that
I
broke
t
h
is afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
c
o
mp
a
rison: fix
u
p
f
i
lter_
c
omparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use the ra
n
g
e
s s
t
ored in
t
he dat
a
base properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
r
anges: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ranges: simp
l
if
y
and
robu
s
tify s
t
r_to_rl_h
e
lper() a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
te
r
param_limit:
sav
e
the compariso
n
to the argumen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
penter
functio
n
_
h
o
o
k
s
: fix how dat
a
base c
o
m
p
a
risons 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_compar
i
son_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pe
n
ter
co
m
parison: t
a
k
e
previous
c
omparis
o
ns into acco
u
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n Carpenter
db: prefer
li
t
erals to para
m
eter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db: re-add some missing [] characters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
a
rpenter
assigned_expr:
u
ndefi
n
e
o
n modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
db:
f
ix how parameter math work
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
ass
i
gned_expr
:
add reverse
l
ink
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
links: create a s
m
atc
h
_links
.
c
f
ile with functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
parse_call_math: fix left overs from the f
o
rmat chan
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param_set: writ
e
struct
m
embers in term
s
of parame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
e
x
tra: write cert
a
in ret
u
rned struct members i
n
te
r
ms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
db: pass
t
h
e return
e
xpr
e
s
sion t
o
th
e
ret
u
r
n
ed
_
me
m
be
r
_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carp
e
nter
extra: save return values i
n
terms of parameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
d
b: unify how parameter d
e
s
c
r
i
p
t
ions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comparison: add
a
n ignore
parameter to expr_e
q
u
a
l_
t
o_p
a
ram()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan C
a
r
pe
n
t
er
unreac
h
abl
e
:
ig
n
ore the
u
nr
e
a
chab
l
e() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpen
t
er
er
r
_ptr_deref: passing
an
E
RR_
P
TR to
k
free
(
) is
a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
penter
extra:
handle
m
er
g
ing NULL point
e
rs better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Da
n
Carpenter
extra
:
addresses of a
r
rays
a
r
e non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Ca
r
penter
d
b
: re
m
ove bo
g
us parameter information from
h
o
o
k
type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
penter
db:
a
dd a
n
e
w table whi
c
h hold
parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
an Carpenter
type: introduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carp
e
n
t
er
lock
i
ng: remove
s
ome duplicate "sometimes locke
d
"
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpen
t
er
generisize
.
pl: f
i
l
ter some more
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
gene
r
esize
.
pl: cle
a
nup i
n
dentati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
r
anges: a p
o
inte
r
to an array is just a
p
oi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpen
t
er
e
x
tra:
r
ecor
d
g
lobal declarati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
condition
s
:
update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
mparis
o
n: intro
d
uce
possible_comp
a
rison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
extra
:
u
pdate a d
e
bug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
function_ptrs:
track functions whic
h
re
t
urn
a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
s
how_errs
.
sh: quote some
s
trings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
slis
t
: put
get_sm_state_st
r
e
e
_stack() in the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sta
t
e
s: change the
debug o
u
tput for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpent
e
r
struct_assignment
:
handle
kzalloc() b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
ar
p
enter
slis
t
:
add the filen
a
me to some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next