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
user_data: track user data across assignments
2013-03-06
Dan C
a
rpenter
u
ser_
d
at
a
: track user
da
t
a across
a
ssi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
smatch_c
a
pp
e
d: get_implied_ma
x
()
does n
o
t implied capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
buf_si
z
e:
expor
t
get_re
a
l_arr
a
y_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra
:
ha
n
dle
M
OD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: do
n
'
t prin
t
infor
m
ation
c
a
ller
i
n
f
orma
t
ion fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_ptrs:
tr
a
ck p
a
ra
m
e
t
e
r
s as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
functio
n
_ptrs: separate into it
s
own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
D
an Carpenter
d
a
ta:
add
s
nprintf to kernel
.
siz
e
of_p
a
r
am
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n Carpenter
buf_
s
iz
e
: f
i
x
a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel: remove some
u
nne
e
ded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
bu
f
_
size: hand
l
e empty arrays
o
n the end of stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
penter
buf
_
size:
r
emove some de
a
d co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpen
t
e
r
local_values:
s
tore
p
ossible values
o
f
stat
i
c
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more inline fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carp
e
nter
db
:
expor
t
m
em_sql() so che
c
k
s
can use it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n
C
ar
p
ent
e
r
no_
r
etur
n
:
a
nother problem with inli
n
e fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
an C
a
rpenter
ranges: fix casting of invalid range li
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
extra
,
function_hooks: fix handli
n
g of
casted
functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
Re
v
ert
"
d
b: don't cr
e
ate unu
s
ed
t
a
b
les i
n
t
he
i
n-memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: don't use function pointers for caller
inf
o
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carp
e
nter
db: use "distinct" to
a
void du
p
lic
a
te fun
c
tion pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: load
g
lobal
f
unction p
o
i
n
ters
i
nto
t
he db p
r
operly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n C
a
rp
e
nter
db: r
e
mov
e
duplicate struct pointers to functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: fix c
a
ll_implies for the in-
m
emory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db, f
u
nction_hook
s
: q
u
e
ry the
db afte
r
processing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: store the
v
a
l
u
e
o
f
"x"
when you ca
l
l frob
(
&
x
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
r
penter
db: pass poi
n
ted a
t
values to
c
a
lled functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
C
arpenter
db: reset
the in-m
e
mory da
t
abase
a
fter every function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: add some d
e
bu
g
s
t
atements
for ins
e
rts into t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
r
pe
n
ter
db: use call_id for the in-memory
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db: add
c
all_id to
ca
l
l_implies, return_stat
e
s an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n C
a
rpent
e
r
db
:
rename function_
i
d in the caller_inf
o
table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
:
don't create unused tables
in the in-memor
y
dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpe
n
ter
db: don't print caller info
for __builtin funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db: use correc
t
va
r
iable in mem_
s
ql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
extra: improv
e
unsigned comparison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
p
e
nter
ranges: don'
t
d
o
u
n
n
e
eded allo
c
ations in cast_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
ranges: i
n
troduc
e
rl_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Carpenter
db: use
in-memor
y
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
db: move an option_no_db check to
r
un_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpente
r
flow, db:
rename should_
i
nlin
e
() to inlinable() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
returns: add a
check f
o
r __
i
nline
_
fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
d
b, flow: make __inline_fn a pointer to the
fu
n
cti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: SQL formatting
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
db: save ca
l
le
r
_info for inline func
t
ion
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Car
p
enter
db
:
s
i
lence a
c
ompile warning on 32
b
it (use %zd for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpent
e
r
db: introduce s
q
l_
s
elect_ca
l
l_i
m
plies()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
an
C
arpente
r
db:
only allow functions to be save
d
to one funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpenter
db: introduce
sql_select_ca
l
l
er_i
n
f
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n C
a
rpenter
db: in
t
roduce
sql_
s
elect_re
t
urn_values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
er
db:
i
ntroduce sql_select_return
_
st
a
t
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Car
p
e
n
ter
r
a
nges
:
fi
x
"tr
o
uble
parsing empty"
me
s
sage
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan C
a
rpenter
param
_
li
m
it,
p
aram_f
i
lter: silence
s
ome debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Ca
r
penter
smatch: fix s
m
_d
e
bug() to always print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
penter
db, flow: parse
i
nline st
a
tements, load stuff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpen
t
er
s
t
ates: intr
o
duce helpe
r
functions to preser
v
e and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n Carpenter
validation: fix bogus test
s
s
o
th
e
y don't ca
u
s
e segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
an Carpenter
p
a
r
s
e_ca
l
l_math: fix segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b
: ma
k
e
sql_i
n
s
e
rt_ca
l
ler
_
info
(
) take
t
he call expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: initia
l
iz
e
In-Mem
o
ry databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Ca
r
pente
r
db: move db
s
tuff from smatc
h
_scripts/db/ to smatch_data/db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carp
e
n
ter
db: everyone must have libsqlite3 installed (no
t
optional)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Carpenter
files: mak
e
open_data_file() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
flow:
delete unus
e
d cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
helper:
ha
n
dle assignment
s
in ex
p
r_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
*new* c
h
e
c
k_str
u
ct_typ
e
: if we allocate a
n
unexpected
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
n
t
e
r
rosenberg: fix
crash p
a
r
s
i
n
g
different fun
c
tions
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db
:
m
ove caller
_
inf
o
as close as possible to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpenter
db: make member_in
f
o callbacks
take 1 or 0 instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
d
b
:
m
ove type_size to use ra
w
SQ
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Carpente
r
db: move call_implies
to use raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nt
e
r
db: move return
_
value
s
to use ra
w
SQ
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
enter
db:
d
elete unused n
o
_side
_
effects tab
l
e (for n
o
w)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: mov
e
functi
o
n_ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Ca
r
pent
e
r
db: m
o
ve return_states
t
o
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
db: tools for printing raw SQL
inst
e
ad o
f
hu
m
an
r
eadable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
Da
n
Carpenter
silence bogus "unreachable
c
ode" wa
r
n
i
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
param_
l
imi
t
: handl
e
functions where the param
e
ter is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpe
n
ter
db: take st
a
tic vs glo
b
al into consid
e
ratio
n
wit fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
m
ath: handle MOD operatio
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*delete*
bool_imp
l
ications: this
f
ile is unused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
Carpen
t
er
pa
r
am_(filter|limit
|
set
)
: a
d
d some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpen
t
er
buf_si
z
e: don't
c
ra
s
h
on
inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
arpenter
parse_call_
m
ath:
s
ilence "int
e
r
nal bug:
po
p
_val p
o
ppi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
arpenter
pr
o
pagate:
f
all
out from get_implied_mi
n
()
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Car
p
enter
extra: type bug handli
n
g empty states in
r
eset
_
st
r
uct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpenter
range
s
: don't all
o
w in
v
ert
e
d ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db: don't get pri
n
t info if the functi
o
n has over 1
0
000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpenter
m
a
th: don
'
t re
t
u
rn high values
in
g
et_fuzzy_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan C
a
rpenter
overflow: fix
f
alse positive allo
c
ating a void pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
b
uf_size: fix
b
ug caused by g
e
t_implied_max() retur
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
db:
p
rint l
e
ss --info
for a few proble
m
a
tic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carp
e
nter
math: get_i
m
pli
e
d_max()
should be abl
e
to
return s3
2
m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
sval: only
p
rint
"s32max" if th
e
va
l
ue is a
c
tually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan
C
arpe
n
ter
m
ath
:
get_imp
l
ied_min(
)
should be able to return s3
2
min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Car
p
enter
math: tweak get_fuzzy_
m
ath()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
extra, db: ha
n
dle passi
n
g chars to parameters w
h
ich
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan
C
arpe
n
t
er
m
ath: use
N
OTIM
P
LIED instead of HARD_MIN in o
p
p
osite_implied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Da
n
C
a
r
p
e
nte
r
math: se
t
the "undef
i
n
e
d" flag on error in
handle_mod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carp
e
nter
or_vs_an
d
: handle con
d
itions inside parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next