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
extra: handle MOD_ASSIGN better
2013-03-06
Dan Carpenter
extra: hand
l
e
MOD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db: don't print information caller
i
nformation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
function_
p
trs
:
tra
c
k pa
r
ameter
s
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nte
r
fun
c
tion_ptrs: separate into
i
ts o
w
n file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carp
e
nter
data: add sn
p
r
intf to kernel
.
sizeof_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan
C
arpenter
buf_size:
f
i
x
a
NULL d
e
reference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
an C
a
r
pe
n
t
e
r
k
e
r
n
e
l
: remove some unneeded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Car
p
ent
e
r
bu
f
_size: hand
l
e empty arrays on the end of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_siz
e
: rem
o
ve some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_valu
e
s: stor
e
possible
v
alues of st
a
tic data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an
Carpenter
f
l
ow: mor
e
i
nline fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
Carpenter
db: export
m
em_sql() s
o
che
c
ks can
u
s
e it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Carp
e
nter
no_return: ano
t
her problem with inl
i
ne functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Ca
r
penter
ranges: fix casting of invalid
range lis
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
C
a
rpenter
extra, function_h
o
ok
s
:
f
i
x
handli
n
g of cas
t
ed function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
Revert "db: don't cr
e
ate unused tabl
e
s i
n
th
e
i
n-mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
db: don't
use function pointers for
c
aller info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
d
b
: use "dis
t
inct" to
avoid du
p
lica
t
e function point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load global function p
o
int
e
rs int
o
the db properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: remov
e
duplicate st
r
uct pointers to func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
d
b
: fix call_impli
e
s for
the
i
n-memory
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db, f
u
ncti
o
n_hooks:
q
uery the db
after pr
o
cessin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: st
o
re
t
he va
l
ue
of "
x
" when you call frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: pas
s
p
o
inted at values to
c
alled fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
d
b
: reset the
i
n
-memory database af
t
er every func
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: add so
m
e de
b
u
g
statements
for in
s
erts into the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
C
a
rpenter
db:
u
se c
a
l
l_id for the in-me
m
ory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: ad
d
cal
l
_id to
c
a
ll_implies, return_s
t
a
t
es and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: renam
e
function_id in
t
h
e
calle
r
_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n C
a
rp
e
nter
db: d
o
n't cr
e
ate unused t
a
bles in the in-memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
don't
print
c
aller info for
_
_builtin functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Ca
r
penter
db
:
use corr
e
ct va
r
iable i
n
mem_sq
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
e
x
tra: imp
r
ove unsigned comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an
C
arpenter
r
a
nges: don't do unne
e
ded alloc
a
tions in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an Carpenter
ranges: int
r
o
duce
r
l
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Ca
r
pent
e
r
db: use in-memory d
a
t
aba
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Car
p
enter
db: mov
e
an o
p
tion
_
no_
d
b check to
r
u
n
_sql(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
flow,
d
b: rename sho
u
ld_inline
(
) to inli
n
able
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
returns: add a c
h
ec
k
for __inline_f
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpenter
db
,
flow: make __
i
nl
i
n
e_fn a pointer to
t
he
f
u
nc
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpent
e
r
db: SQL format
t
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n
C
ar
p
e
nter
db: save
c
all
e
r_i
n
fo for inline functi
o
n properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
er
d
b
:
silence a
c
om
p
ile
warning on
32 bit (use %z
d
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
an Carpe
n
t
e
r
d
b
: introduce
sq
l
_select_call_implies(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
penter
db
:
only
a
l
low fun
c
tions to be sav
e
d
to one functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introdu
c
e
sql
_
select_calle
r
_info()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: intr
o
duce sql_select_retur
n
_values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
rpenter
db
:
introduce s
q
l_select_r
e
turn_states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n Car
p
e
n
ter
r
a
n
ges
:
fix
"
troubl
e
parsing e
m
pty" messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpente
r
param_limit,
p
aram_filter: si
l
ence
s
ome debug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpe
n
ter
sm
a
tch: fix
s
m_debug(
)
to always print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpente
r
db, flow:
parse
i
n
line statemen
t
s, load stuff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
penter
state
s
: introduce
he
l
pe
r
functions
to pr
e
serve and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
er
va
l
idation: fix b
o
gus tests so t
h
e
y
d
on't
c
ause segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Ca
r
penter
parse_call_math: fix segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
an
Carpen
t
er
d
b
: ma
k
e sql
_
insert_caller_
i
nfo() ta
k
e
t
he ca
l
l
e
x
p
re
s
sion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
C
arpent
e
r
db: initial
i
ze In-Memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpenter
db:
m
o
ve d
b
stuff fr
o
m
smat
c
h_scripts/db/ to smatch_dat
a
/db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
C
arp
e
nter
db:
everyone
m
ust ha
v
e libsqlite3 install
e
d (not o
p
tiona
l
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
D
an
C
arpenter
fil
e
s: make open_
d
a
ta_
f
ile() export
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
an
Car
p
enter
flow: delet
e
u
n
us
e
d c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpe
n
ter
h
elper: ha
n
dl
e
assignments in e
x
pr_
t
o_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arpente
r
*new* chec
k
_
struct_type: if we allo
c
ate an unexpected
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
C
arpenter
rosenberg: fix cr
a
sh parsing differ
e
nt funct
i
ons with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arpenter
db: move
call
e
r
_info as cl
o
s
e as possible to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nter
db: make mem
b
er_info c
a
llbacks tak
e
1 or
0
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db
:
move 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: mo
v
e call_implies to us
e
raw
S
Q
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
db: m
o
ve retu
r
n_values to use raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: delete
u
n
u
sed no_side_effe
c
ts table (for
n
ow)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carp
e
nter
d
b
: move f
u
n
c
tion_ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
db
:
move return_
s
t
a
tes
t
o raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
e
nter
d
b
:
to
o
ls
f
o
r
printing raw SQL instead of human
re
a
dable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
Dan Carpenter
silence bogus "unreach
a
ble code
"
wa
r
nin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan
Carpenter
p
ara
m
_
li
m
it
:
handle fu
n
ctions
w
here the
par
a
m
eter i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
D
an C
a
rpenter
db: ta
k
e static vs
g
lobal int
o
consideration
wi
t
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Car
p
en
t
er
mat
h
: handle MOD op
e
ration be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpent
e
r
*
de
l
et
e
* bo
o
l_impli
c
ations: this file is unused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
an
Carpenter
param_(filter|limit|set): add some com
m
e
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpenter
buf_s
i
z
e
: do
n
't crash on inv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
parse_call_math:
s
ilence "internal bug:
p
op_val pop
p
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
an Car
p
e
n
ter
pro
p
agate: fall out fro
m
get_impli
e
d_min() changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpent
e
r
extra: ty
p
e
b
u
g
handling empty states in reset_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
r
a
n
ges: do
n
't all
o
w inverted rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
C
a
rpenter
d
b
: don
'
t get print info if
t
he functi
o
n has over 100
0
0
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan Car
p
enter
math:
d
on
'
t return high v
a
lues in get_
f
uzzy_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Ca
r
penter
over
f
low
:
fi
x
fa
l
se positive allocatin
g
a void pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Da
n
Carpenter
buf_size: fi
x
bug ca
u
sed
b
y get_imp
l
ied_max() ret
u
r
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Car
p
e
nter
db:
print less --inf
o
f
o
r a few problema
t
ic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Ca
r
penter
math: get
_
i
m
p
lied_max() should b
e
abl
e
to
return s32ma
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Ca
r
penter
sva
l
: only print "s32max" if the value
i
s
actually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpente
r
math: ge
t
_imp
l
ied_min() sh
o
uld be a
b
le
t
o r
e
t
u
rn s32min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
ma
t
h: tweak get_fu
z
zy_math()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
D
an
C
arpe
n
ter
extra, db:
h
a
ndle pas
s
ing chars
to
param
e
t
ers wh
i
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carp
e
nter
math: use NOTIMPL
I
ED instead of HARD_MIN in opposi
t
e_implied
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpe
n
ter
math: set the "undefi
n
ed" flag on error in handle_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
or_vs_and:
h
a
ndle
condition
s
i
n
s
ide parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
D
a
n Carpe
n
ter
type:
introduce is_void_poin
t
er() and is_char_poin
t
er
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
a
bsolute: del
e
te smatch_absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
*new*
c
heck_s
t
ring_len
.
c: loo
k
for sp
r
i
ntf() overflow
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next