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
kernel: move stuff from check_kernel.c to db/fixup_kernel.sh
2013-06-14
Da
n
C
a
rpe
n
t
er
kernel: m
o
ve
s
tuff
f
r
om ch
e
c
k_k
e
rnel
.
c to db/fixup_kernel
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan Carpen
t
er
c
o
m
parison: handle unma
t
ched compari
s
ons to " or
i
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Da
n
Ca
r
penter
c
o
mparison: copy a
l
l the
c
ompa
r
ison
s
when
y
o
u ass
i
gn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Da
n
Car
p
enter
db: add comparisons
to spl
i
t apart returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
D
an Ca
r
penter
db, co
m
p
a
rison
,
ranges: store ranges a
n
d compari
s
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan
Carpent
e
r
comparison:
shift
s
o
me
c
ode around a bi
t
more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
D
an C
a
rpent
e
r
db: shift some code around
in
st
o
ring r
e
t
urn ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan Carpenter
comparison:
create
e
x
pr_equal
/
lte_
t
o_
p
aram() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan Carpenter
comparison:
spl
i
t range
_
compariso
n
_to_param() i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
comparison:
h
andl
e
merging
c
o
mparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpent
e
r
help
e
r
: f
i
xes to the la
s
t
e
xpr_to_var_sy
m
() speedup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db: fi
x
a bug storing r
a
nge lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
ranges: ha
n
dle
[
==p0
]
re
t
urn v
a
l
u
es corre
c
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpen
t
er
core
:
clea
r
allocated smatch_states
at the
e
n
d of the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
smatch: add
--
t
ime option
for debugging
w
h
a
t takes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpente
r
slist:
u
se a
fake cur_slist for handling unmatched_sta
t
es
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
pente
r
states: i
n
troduce __set_f
a
ke_c
u
r_slist_fast(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Carpenter
hooks: i
n
troduce
A
FTER_
F
UNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
par
a
m_cleared: add some mo
r
e fu
n
ctions th
a
t
clear
parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
h
elper
:
sp
e
e
d up expr_t
o
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpen
t
er
capped: introduce is_cap
p
ed_var
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db,
comparison:
s
tore return range comparisons in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpente
r
compa
r
is
o
n: pull get_com
p
ariso
n
_strings() i
n
to its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Car
p
en
t
er
db, com
p
arison, ranges: impro
v
e
how compari
s
ons
wil
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
en
t
e
r
com
p
a
r
ison: h
a
n
d
le --/++ m
o
dificatio
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpente
r
modification_h
o
oks: pass the
modify expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
an Ca
r
p
enter
ext
r
a: reve
r
t p
a
rt of the rec
u
rse patch which broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpent
e
r
recurse: oops
.
add EX
P
R
_
VALUE and f
i
x
a
val
i
dati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
arpe
n
ter
state
s
: int
r
oduce
_
_set_fake
_
cur_sli
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n
Carp
e
n
ter
u
s
er_dat
a
: pull is_user_da
t
a_st
a
t
e() into its own func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
Carpente
r
recurse, extra: introduce ha
s
_variable() a
n
d fix forever
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
D
an Carp
e
nter
start_sta
t
es:
a
dd it
t
o check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
com
p
a
rison, db: use com
p
arison
i
n
formation st
o
r
ed in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan C
a
r
p
enter
db: remov
e
a
n
unused variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan C
a
rpenter
us
e
r_d
a
ta:
add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
u
s
er_data: introduce is_capp
e
d_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
ex
t
ra: slist: whi
t
e space c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
a
rpente
r
math:
fail
m
o
r
e
o
f
t
en with FU
Z
ZY an
d
HARD li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpent
e
r
s
va
l
: m
a
ke some more fixes to sval_binop_
o
verflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an C
a
rpe
n
ter
local_values: store correct initia
l
value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
a
r
p
enter
extr
a
: h
a
n
d
le comp
a
r
i
s
ons wher
e
t
h
e function
o
n
l
y
r
eturns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpente
r
extr
a
:
mov
e
match_func_comparison() lo
w
er in the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
esta
t
e: prese
r
ve the hard max in
estate_
f
ilte
r
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
m
ath
:
f
or bitwise AND only use it fo
r
IMPLIED a
n
d
ABSOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n
Carp
e
nt
e
r
s
val:
cast pr
e
op '
-
' oper
a
tio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rpen
t
er
s
v
al: c
a
st bitwise negates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
capp
e
d: handle
p
o
s
tops b
e
tte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
buf_size: handle
b
a
d data from the dat
a
base
be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use c
o
rre
c
t v
a
r
iable in handle
_
c
on
d
itional_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
c
a
pped:
u
s
e
get_h
a
rd_m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carp
e
nter
mat
h
:
m
o
ve some RL_HARD a
n
d RL_EXACT
tests around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: s3
2
min is not a fu
z
zy min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h:
reversed condition
i
n
h
andl
e
_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: remov
e
duplicate buggy
c
o
de in get
_
i
mp
l
i
ed_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pente
r
m
a
th: put an
e
scape
h
at
c
h
in
h
a
n
dle_conditional_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
math: swi
t
c
h
to using RL_
e
nums direc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an
C
arpent
e
r
math: de
l
ete ol
d
unuse
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
m
a
th
:
cleanup _get_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
s
t
ate
s
: f
i
x som
e
leaks of the fake_
c
ur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
p
ent
e
r
*
n
ew* s
m
a
tch_star
t
_states
.
c: record the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: fix crashing bug
a
s
a re
s
ult of mat
h
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
s
mat
c
h
.
h: remove left over dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
check_held
_
de
v
: small spelli
n
g fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b
: d
o
n't
q
uery return_values table any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math: cle
a
n
up the
rest
o
f
handle_bi
n
op_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
mat
h
: fix new handle
_
conditional_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math: introduce
handle
_
divi
d
e_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: couple
b
ugs
i
n
h
andle_subt
r
ac
t
_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpe
n
ter
sval: fix sval
_
binop_
o
verflows
(
)
h
andling
o
f
su
b
tract
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
m
ath: remove some d
e
ad co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
ma
t
h
:
i
n
t
roduce new ha
n
dle_subtra
c
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
create new han
d
le_right_
s
h
ift() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: make new handle
_
know
n
_binop()
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
t
e
r
math: create new hand
l
e_
b
it
w
ise_AND() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
r
p
enter
math: introduce h
a
n
dle_mod_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ma
t
h: create hackis
h
temporary handle_bino
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: crea
t
e new
handle_minus_
p
re
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: create new
handle_bitwise_neg
a
te()
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpente
r
m
a
th: introduce handle
_
e
x
pressi
o
n_statement_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: use handle
_
variable
(
)
i
n
handle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: in
t
roduce ha
n
dle_negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpent
e
r
math: introduce hand
l
e_ampe
r
sand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
penter
math:
hack up a tempo
r
ary handle
_
preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: handle EXPR_POSTOP wit
h
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: i
n
trodu
c
e han
d
le_con
d
i
tional_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
uce h
a
ndle_logi
c
al_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpen
t
er
math: i
n
troduce h
a
ndle_comparis
o
n_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
r
penter
math:
c
reate handle_ca
l
l_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rp
e
n
ter
m
a
th
:
c
r
e
a
te
h
andle_varia
b
le() instead of _get_i
m
plied_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpente
r
math: move get_
c
onst_value
(
) forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: handle
casting in
_ge
t
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: fix up
some thinkos in the _g
e
t
_
rl()
t
ra
n
s
i
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
ma
t
h: in
t
roduce
t
emp
o
rar
y
RL_IMPLIED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: d
u
p
licate
_ge
t
_va
l
ue() into _ge
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move absolute min/max code from
_get
_
value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
introd
u
ce _get
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ranges
:
introd
u
c
e rl_to_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: s/NOTIMPLIED/E
X
ACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Car
p
e
nter
math
:
i
mpro
v
e absolute max/m
i
n with
r
egar
d
s to casti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
rpen
t
er
sval:
fix sval_too
_
hi
g
h()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next