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
Revert "sparse: introduce get_expression_value_nomod()"
2013-03-06
Dan
C
a
r
p
enter
extra: shuffle m
a
tch_assign a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
extra:
o
nly get
t
h
e ty
p
es one t
i
me
i
n match_assi
g
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
fu
n
c
tio
n
_
ptr: move get_f
n
pt
r
_name(
)
to sm
a
tch_functio
n
_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db:
f
ixu
p
_kernel
.
sh: discard cal
l
er_
i
nfo
f
rom ->
n
otifier
_
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db
:
f
ixup_k
e
rnel
.
s
h: on
l
y track
t
he m
a
i
n
read/wri
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_d
a
ta:
t
r
ack
user data across
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
C
a
r
penter
smatch_capped: get_implied_max(
)
doe
s
not i
m
plie
d
ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
en
t
er
bu
f
_size:
e
xport get_real_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extr
a
:
h
and
l
e
MOD_AS
S
IGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
db: don't print informati
o
n calle
r
informat
i
on for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
f
u
nction_p
t
rs:
t
rack paramete
r
s as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpen
t
er
function_ptrs:
separate into
i
ts o
w
n file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
D
an Carpenter
data: ad
d
snpr
i
ntf
t
o kernel
.
sizeof_param
.
r
emove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carp
e
nter
buf_size:
f
ix
a NULL de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Car
p
enter
k
e
rnel: rem
o
ve some unn
e
eded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Carpenter
buf_
s
ize: handle empty arrays on the e
n
d o
f
structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
Car
p
e
nter
buf_size: remove
s
om
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
C
arpenter
lo
c
a
l_values: stor
e
possibl
e
v
alues of
s
tatic d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
an Car
p
e
n
t
e
r
flow: more inli
n
e f
a
ll ou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
an Carpenter
d
b: expo
r
t
m
e
m
_
sql() so checks ca
n
use it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan C
a
r
p
ent
e
r
no_retur
n
: another proble
m
with
inl
i
ne
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpen
t
er
ranges: fix casting of invalid ra
n
ge list
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
extr
a
, function_hooks: fix handling of casted function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpe
n
t
er
R
e
vert "db:
d
on't cre
a
te unused tables in the
i
n-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
db: do
n
't use
function
pointer
s
for c
a
ller info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Ca
r
pent
e
r
d
b:
u
s
e "d
i
s
t
inct" to avoid d
u
plicate functi
o
n pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load global
f
unction
p
o
inters i
n
to the db properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pen
t
er
db:
remo
v
e d
u
p
l
ica
t
e struct pointers
t
o functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db: fix cal
l
_impl
i
e
s
f
o
r the in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
C
arpenter
db, function_hooks: que
r
y the db after pro
c
e
s
sing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: store the
value of "x" wh
e
n you
call frob(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: pass pointed at values to
called
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carp
e
nter
db: reset the in-memory database after every function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Ca
r
pe
n
ter
db:
a
d
d
some debu
g
st
a
tements
for insert
s
int
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: u
s
e call
_
id for the in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an
Carpenter
d
b
:
add c
a
l
l
_id to cal
l
_
impl
i
es, return_states and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpen
t
er
db: rename functi
o
n_id in the caller_info
t
able t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db: don't create
u
n
used tabl
e
s in
th
e
in-memory
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db
:
don't p
r
int
caller i
n
fo fo
r
__builti
n
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpent
e
r
db: use corr
e
ct varia
b
le in m
e
m_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
penter
extra: improve uns
i
gned comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpent
e
r
ranges: don't do unneeded a
l
loc
a
tions in
c
a
s
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
C
a
rpenter
ranges: int
r
oduce rl_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: use in-me
m
ory
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: move
an optio
n
_no_db check to ru
n
_
s
ql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carp
e
n
ter
flow, db
:
rename should
_
inline() to inlinable() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpenter
r
eturns: add a c
h
e
c
k for
__inlin
e
_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
an
C
arpen
t
er
db, flow: make _
_
inline_fn a
p
o
i
nter t
o
the func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
penter
d
b: SQL formatting bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an Car
p
e
n
ter
db: sa
v
e caller_
i
nfo for inl
i
n
e
function properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db
:
sil
e
nce a com
p
ile warn
i
ng on 32 bit (use %zd for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
rpenter
db: introduce sql_selec
t
_call_im
p
l
ies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpent
e
r
db:
o
n
l
y allow functio
n
s
to be saved to one functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan
C
a
rpenter
db
:
introduce sql_select
_
ca
l
ler_info()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introduce
s
ql
_
select_return_va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
penter
db: introduce s
q
l_select_r
e
tu
r
n_
s
tates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n
Car
p
e
n
ter
ranges: f
i
x
"trouble par
s
i
ng empty" m
e
ssag
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpenter
param_limit, pa
r
am
_
filter: silence some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpe
n
ter
smatch: fix sm
_
debug() to always print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
pente
r
db, flow: parse inline stat
e
ments,
load s
t
uff
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
st
a
tes: introduce
he
l
p
e
r functions
t
o
preserve and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
er
valid
a
ti
o
n
:
fix
b
ogus tests s
o
th
e
y don't ca
u
se segfaults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
e
r
parse
_
call_math: fix se
g
f
aul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
an
Carpenter
db: make sql
_
i
n
sert_cal
l
er_inf
o
() ta
k
e the call
e
x
pres
s
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: ini
t
ialize In-M
e
mory dat
a
b
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Car
p
e
n
te
r
db: m
o
ve db
stuff from sma
t
ch_scripts/db/ to sm
a
tch_data/db/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
r
penter
db: everyone mus
t
have libsqli
t
e3 install
e
d (
n
o
t optional)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
an Car
p
ent
e
r
files: make open_da
t
a_
f
i
l
e() exported
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
fl
o
w: delete unuse
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
hel
p
er: handle assignmen
t
s in exp
r
_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nter
*new* chec
k
_
struct_type: i
f
we allocate a
n
unexpected
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Carpenter
r
o
senberg:
f
i
x
c
rash
p
ars
i
n
g d
i
fferent function
s
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpent
e
r
db:
m
ove caller_in
f
o
a
s close a
s
p
o
s
sible to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
r
p
e
n
ter
db: make member_inf
o
c
a
l
l
ba
c
ks
take 1 or 0 i
n
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: m
o
ve type_size to use
r
aw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db:
move call_impl
i
e
s to use
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move retu
r
n_values
t
o use raw
S
QL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpenter
db: delet
e
u
n
u
sed
no_side_
e
ffects table (for now)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
d
b: move function_ptr to
raw S
Q
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpen
t
er
db: move
r
e
turn_states to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
d
b: tools for
p
r
i
nting raw SQ
L
i
nstead of human
r
eadable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpenter
sile
n
ce b
o
gus "unreachable code"
wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpente
r
para
m
_limit:
h
andle functions
where the par
a
meter is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
D
an Carpenter
db: take stati
c
vs g
l
obal int
o
consideration
wit func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
math: handle MOD operation better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpent
e
r
*delete* bool
_
im
p
l
i
cations: th
i
s file is unused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
param_(filt
e
r|limit|set): add
s
ome
c
o
m
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
C
a
r
penter
b
uf_size: don
'
t cra
s
h on inval
i
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
parse_call_math: silence "internal bug:
p
o
p
_val popping
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
propagate
:
fa
l
l out fro
m
get_i
m
p
l
ie
d
_min() changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
n
t
er
extra:
ty
p
e bug handling empty
st
a
tes
i
n
reset_struct_members(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
an Carpenter
ranges: don'
t
allow
i
nverted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db: do
n
't get
p
rint info if th
e
function
has ove
r
1000
0
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Da
n
Carpenter
math: don't re
t
urn high val
u
es in get_fu
z
zy_
m
ax()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Da
n
Carpenter
o
v
e
r
flow: fi
x
f
alse positive allocating a
void
p
o
i
n
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
buf_size: fix bug caused
b
y get_implied_max(
)
re
t
urning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
an Carpenter
db: print less -
-
info for a few problematic functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Ca
r
penter
math: get_impli
e
d
_
m
a
x() should be able to ret
u
rn s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan
Carp
e
nter
sval: o
n
ly
print "s32max" if
th
e
value is actually
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Ca
r
penter
m
a
t
h
: get_implied_min() should b
e
able
t
o
r
e
turn s32min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next