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
flow: re-write how struct members are initialized
2013-06-14
Dan C
a
r
p
enter
db: ad
d
comparisons to sp
l
it apart r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan Car
p
enter
db
,
co
m
pa
r
ison, ran
g
e
s
: sto
r
e
ranges and
c
o
m
p
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
D
a
n Carpenter
comparison: s
h
ift s
o
me c
o
de around a b
i
t mor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Da
n
Carpent
e
r
d
b: shift some code a
r
oun
d
in storing return
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Da
n
C
arpenter
comparison: create
expr
_
eq
u
al/lt
e
_t
o
_param() func
t
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan Carpenter
comparis
o
n: split range
_
c
o
mparison_to_param() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpe
n
ter
com
p
arison: ha
n
dle
m
erging co
m
paris
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Ca
r
penter
helper: fixes t
o
the last expr_to_var_sym() speed
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db
:
fi
x
a b
u
g storing range lis
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
ar
p
en
t
e
r
ran
g
es: handle [==p0] return
v
alues c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpe
n
ter
core: clear allocated sm
a
tch_states at the end of the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpen
t
er
s
match:
a
d
d --tim
e
option for debugging what tak
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
slist: use a fak
e
c
ur_slis
t
for handli
n
g unm
a
t
c
h
e
d_state
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
ent
e
r
s
t
a
tes
:
intro
d
uce
__set_fake_cur_slist_fast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpenter
hooks
:
introduce
AFTER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
param
_
cleared: ad
d
so
m
e
m
ore functi
o
ns that c
l
ear pa
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
helper: speed
u
p e
x
pr_to_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
c
apped:
i
ntrod
u
ce i
s
_capped_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
d
b
,
comparison: st
o
r
e
retu
r
n range comparisons in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
pen
t
er
comparison: pull
get_compa
r
ison_strings()
i
nto
its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db,
c
omparison, ranges
:
impr
o
ve how comparisons will
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpe
n
ter
compa
r
i
s
o
n: handle --/++ modifications better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpe
n
te
r
modi
f
ication_hooks: pass t
h
e modif
y
ex
p
ressi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carp
e
nter
extra: revert part of the rec
u
r
se
patch whic
h
broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
recurse
:
oo
p
s
.
add E
X
PR_VA
L
UE
and fix
a
validation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpent
e
r
states: introduc
e
__set_f
a
ke_cur
_
slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carp
e
nter
user_data: pull is
_
user_
d
a
t
a_state() int
o
its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
arpenter
recurse, ext
r
a
:
introduce has_variable(
)
and fix forever
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
start_st
a
te
s
:
add
it to
check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arpenter
comparison,
d
b: u
s
e comp
a
rison informatio
n
store
d
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Da
n
Carpenter
db: re
m
o
ve
a
n unused var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Car
p
ent
e
r
user_data: add a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_da
t
a
:
i
nt
r
oduce is_capped_u
s
e
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carp
e
nter
ext
r
a: slist: w
h
ite space chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
m
a
th: fail more often wi
t
h
F
UZZY and HARD limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
sval: ma
k
e some more f
i
x
es to sval_bi
n
op_overflo
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
Car
p
enter
lo
c
al_
v
alues:
store c
o
rrect in
i
tial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
nter
e
xtr
a
: h
a
ndle comparisons whe
r
e t
h
e function only
return
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
extra: mo
v
e
match_fun
c
_
c
omparison() lower in the
f
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
C
a
rpenter
estate:
preserve the hard max i
n
e
s
tate
_
filter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
math:
f
or
b
itw
i
se AND
o
n
l
y us
e
it for IMPLI
E
D and ABSOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval:
c
a
st preop '-' ope
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
s
val
:
ca
s
t bitwise negates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
cap
p
ed: han
d
le postops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
buf_size: hand
l
e
b
ad data from the dat
a
b
a
se
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Ca
r
penter
ma
t
h
: use cor
r
ect
variable
i
n handle_
c
o
nditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
capped
:
use ge
t
_har
d
_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Car
p
enter
math: move som
e
RL_H
A
RD and RL_E
X
ACT tests
a
ro
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: s3
2
min is n
o
t a
f
uzzy min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
penter
math: r
e
v
ersed cond
i
tion
i
n handle
_
divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
math: remove
dupl
i
cate buggy
code in
g
e
t
_impl
i
ed_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpen
t
er
math
:
put an
e
scape hatch
in handle_conditiona
l
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an
C
a
rpe
n
ter
math: switch to using RL_ enums directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pe
n
ter
math:
d
elete old unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
en
t
er
math: cleanup
_g
e
t
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
state
s
: fix some
l
eaks of the
f
ake_cur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
*
n
e
w* smatch_s
t
art_state
s
.
c: reco
r
d
the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
db: f
i
x crashing
bug as a re
s
ult
o
f math changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
smatch
.
h:
rem
o
ve left over dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
check_held_dev: small spelling fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
db: don't query r
e
turn_values table any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
math: cleanup the rest of
h
andle_
b
inop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math: fix new
handle_con
d
itio
n
a
l
_rl()
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
at
h
: introd
u
ce handle
_
d
i
vide_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math:
couple
b
ugs in handle_subtract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval: fix sval_
b
i
n
op_ov
e
rflows(
)
ha
n
dli
n
g o
f
subt
r
actio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pent
e
r
math: i
n
troduce new handle_subtract_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpent
e
r
math: create new handle_right_shif
t
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: m
a
ke new handle_kn
o
wn_binop
(
)
fu
n
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
mat
h
:
crea
t
e new handle_bitwise_AND() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
nter
math:
introduc
e
ha
n
d
l
e_mod_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
mat
h
: create hackis
h
temporary hand
l
e
_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h:
c
r
e
a
te n
e
w
han
d
le_minus_preop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h:
create new
handle
_
bi
t
wi
s
e
_
negate() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
math
:
introduce
ha
n
dle_expression_
s
tatement_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
ma
t
h: use
handle_variable() in handle
_
pr
e
op_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: introduce handle
_
nega
t
e_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpen
t
er
math: introduce handle_ampersand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
ma
t
h: hack up a temporary h
a
ndle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
math: handle EXPR_POSTOP with _get_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
t
e
r
mat
h
: introduce handle_conditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: introduce handl
e
_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
ath:
i
ntroduce han
d
le_comparison_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th
:
creat
e
handle_call
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpent
e
r
math: create
han
d
le_variable() instead
o
f _get_
i
mplied
_
v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: move get
_
const_valu
e
() forwa
r
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
h
andle casting in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math
:
fix up some thin
k
os in the _get_rl() transition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: introduce temporary RL_IMPLI
E
D enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: dup
l
icate _get_
v
alue() i
n
to _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move absolute m
i
n/max
code fr
o
m
_get_va
l
ue
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: introduce _get_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
rang
e
s: introd
u
ce rl
_
to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: s
/
NO
T
IMPLIED
/
E
X
ACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
math:
improve absolu
t
e max/min with regards to casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
sval: fi
x
sval_to
o
_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
d
b
: introduce call_res
u
lts_to
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
C
arpe
n
t
er
d
b
: mo
v
e get_param_na
m
e
()
t
o central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n C
a
rpenter
flow: lo
o
k at static and
n
ot-s
t
atic
loca
l
i
n
line fu
n
ctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next