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
debug: segfault using the --trace parameter
2014-10-29
Dan Carpe
n
t
e
r
auto_co
p
y:
fix a
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
preceden
c
e: b
&
ma
s
k
>
> shif
t
i
s
normally a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
penter
s
hift_to_zero
:
fix an error
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Ca
r
p
enter
fr
e
e: check for passing or ret
u
rning
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 w
a
rn
i
n
gs i
f
--spammy is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
C
a
r
p
ent
e
r
db/fixup_k
e
r
n
e
l
.
sh: bitmap_allocate_region doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
bu
f
_comparison
:
s
tore w
h
i
ch data holds array limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf
_
c
omparison, buf_size: add
r
e
a
l
loc() to
a
l
location
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
D
an Carpenter
compare: introduce get_a
l
l_comparisons(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpent
e
r
db: add d
a
ta_i
n
f
o table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
an Carpen
t
er
a
u
to_copy: assignments copies state
s
automa
t
ically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Ca
r
pent
e
r
buf_co
m
p
arison: look for
o
ff by one e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
err_ptr_deref: error message should say "neg
a
tive"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
D
a
n
Carpenter
f
r
e
e
: improv
e
cross func
t
ion
tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
shift_to_ze
r
o: check for thin
g
s
l
ike "
(
fo
o
& 0xff
.
.
.
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
D
an Carp
e
n
t
er
parse_ca
l
l_math: m
o
re format
change fal
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
penter
parse_call_
m
at
h
:
N
ULL terminate
buf size recipe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpente
r
ca
l
l_math: u
s
e range lists instead of only exact valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ranges: st
a
rt implementin
g
rl
_
binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
rpenter
c
omparison:
store ge
n
eral lim
i
ts
in the d
a
taba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
C
a
rpenter
comparison: take orig
i
nal
c
ompar
i
so
n
into accou
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpen
t
er
vali
d
ation
:
add a test for the recent function compar
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n Carp
e
nter
function_hooks: function
c
o
m
parisons c
a
n
imply a par
a
meter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup_kerne
l
.
sh: several im
p
ortant u
p
dates (bugfixes
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
an Ca
r
pente
r
compar
i
son:
r
ename fal
s
ify_op() to
negate_c
o
mparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpente
r
ranges: rena
m
e filter_by_compariso
n
(
) to somethi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
c
g
cc:
reve
r
t part of the -Wer
r
o
r
c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison: rename
flip_
o
p(
)
to flip_comparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge
git
:
/
/g
i
t
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpe
n
te
r
smdb
.
py: add
some help t
e
xt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
build
_
kernel_data
.
sh: e
r
ror out
i
f the rig
h
t
p
ackages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparis
o
n: don
'
t store co
m
parison
s
to one
'
s self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
comparison:
add a com
m
ent
f
o
r update
_
tf_
l
inks()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
rpente
r
compari
s
on: ge
t
rid
o
f
the
chunk_vsl
_
eq() fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compar
i
son: p
a
ss the filtered false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
compar
i
s
on
:
cleanu
p
up
d
ate_tf_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
D
an Carpenter
db: fix handling
of neste
d
ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpe
n
ter
states:
add an
a
ss
e
rt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
pent
e
r
buf_size: handle strlen() a bit
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
lockin
g
: add ffs_mute
x
_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
n
ter
flow: the _
_
i
n_pre_condition variable ne
e
ds to
b
e set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ente
r
smatch
.
h: store s
o
me d
u
mmy database types tempo
r
a
rily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
db: expose th
e
d
ata parameter so
w
e
c
an use data
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
pe
n
ter
p
arse_call_math: change AP
I
to us
e
rang
e
lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
ranges: f
i
x
parsing tha
t
I
br
o
ke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
p
ente
r
comparison:
fix up filte
r
_comp
a
ris
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use the ran
g
es stored in the database
properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
ranges: fix
cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpen
t
er
ranges: simplify a
n
d 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
p
a
ram_limit: sa
v
e the c
o
mpariso
n
to the arg
u
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: f
i
x
ho
w
database comp
a
risons are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
nte
r
c
o
mpar
i
son: p
a
ss the ignore
f
ield t
o
range_c
o
mparison
_
t
o_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comp
a
rison: take prev
i
ous
comp
a
r
i
so
n
s
into acco
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
Ca
r
pe
n
ter
db
:
p
r
efer lite
r
a
l
s to par
a
meter
m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
nter
db:
r
e-a
d
d some missing []
characters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
assigned_e
x
p
r:
undefine
on modifica
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
db
:
fi
x
how
parameter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpen
t
er
assigned_expr: add re
v
erse
l
i
nks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
rpenter
links:
create a sm
a
tch_l
i
n
ks
.
c f
i
le with functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
a
r
pente
r
pars
e
_call_math: fix l
e
ft o
v
ers from the for
m
at ch
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpe
n
ter
par
a
m_s
e
t: write struct members in terms of pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
extra: write cert
a
in returned st
r
uc
t
m
embe
r
s
in
terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpe
n
ter
db: pa
s
s
the
r
eturn expressio
n
to the returned_membe
r
_ca
l
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
extra: save
r
et
u
rn values i
n
t
erms of pa
r
am
e
t
e
r math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
db: unify how
p
a
rameter descriptions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpent
e
r
comp
a
riso
n
: add
an ignor
e
parameter to expr_eq
u
al_to_p
a
ram()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an C
a
rp
e
nter
u
nr
e
ach
a
ble: ign
o
re the
u
nre
a
chable()
macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
er
r
_
p
tr_dere
f
: passing an ER
R
_PTR to
kfree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpent
e
r
e
x
tra: h
a
ndle
m
erging
N
ULL
p
ointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan
Ca
r
pe
n
ter
ex
t
ra:
a
d
dr
e
s
s
es of
arrays are
n
o
n-
N
ULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
a
rpe
n
t
e
r
d
b
:
r
e
move
bogus
pa
r
ameter info
r
mation fr
o
m
hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
arpent
e
r
db:
a
d
d a new table which
hold parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n Carpenter
type:
i
n
t
roduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locki
n
g
:
r
e
m
ove so
m
e dup
l
icat
e
"som
e
time
s
locked" warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpenter
generisize
.
pl
:
filter some more
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpen
t
er
g
e
neresize
.
pl: c
l
eanup indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carpenter
r
a
nges: a po
i
nter to an array is
j
us
t
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nte
r
e
xtra
:
r
e
cor
d
global d
e
clara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
conditions: u
p
date some debu
g
output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comparison: i
n
troduce possible_comp
a
ris
o
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: upda
t
e a debug state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
f
u
nc
t
io
n
_ptr
s
: track
f
unction
s
whic
h
return a fun
c
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
rp
e
n
ter
sho
w
_
e
rrs
.
sh:
q
u
o
te
s
ome strings
p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sli
s
t
: put g
e
t_sm_state_s
t
ree_
s
tack()
i
n
the
.
h
f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
pe
n
ter
states: change the debug outp
u
t
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
str
u
c
t
_
a
s
s
i
gnment:
han
d
l
e kzalloc()
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
slist: add the f
i
l
e
name to some deb
u
g
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
fl
o
w: p
a
rse g
l
obal va
r
iables before parsing
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
sl
i
st:
expo
r
t the set
_
state_stree_pe
r
m() function t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comparison:
a vari
a
ble is alw
a
ys
e
qual to itse
l
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
nter
remove
null tests for arr
a
ys
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpen
t
e
r
Ma
k
efile:
a
llow CC to be
defined outside
t
he makefil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
si
l
en
c
e no
n
-ANSI wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Ca
r
penter
h
elper: prevent segfault in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan
C
arp
e
n
t
er
e
x
tra: i
m
prov
e
hand
l
in
g
o
f
"if (x
*
4 > 1
2
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_break
:
ma
k
e a
fu
n
ction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db: fix
runtime b
r
e
ak
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Ca
r
pent
e
r
dereferences_
p
aram: ad
d
more dere
f
erenc
e
d variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next