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
helper: fixes to the last expr_to_var_sym() speedup
2013-06-12
Dan Car
p
ente
r
h
el
p
e
r: fix
e
s to
the last exp
r
_
t
o_var_sym() sp
e
edup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpen
t
er
db: fix a bug storing ra
n
ge lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
pent
e
r
ra
n
g
es:
han
d
le [
=
=p0] return values correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpenter
c
o
re: cl
e
ar allocated smatch
_
state
s
at the end o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
s
m
a
tc
h
:
add --ti
m
e option fo
r
debugging what tak
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
penter
slist: use a fake cur_slist fo
r
ha
n
d
ling unma
t
ched_st
a
tes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
p
enter
stat
e
s: introd
u
ce __set_fake_
c
ur_slist_fa
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
n
ter
hooks: intr
o
duce
AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
param_cleared: add so
m
e more func
t
ions that clear par
a
meters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
helper: speed up expr_to_var_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
c
apped: i
n
tro
d
uce is_capped_var_s
y
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpente
r
db, comparison: sto
r
e ret
u
rn range comparisons in
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpe
n
ter
comparison: pull get_
c
omparison
_
stri
n
g
s
(
)
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
db, compa
r
i
son,
rang
e
s: imp
r
ove how
compa
r
isons will
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
c
omparison: handle --/++ m
o
difications b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
modif
i
c
a
tio
n
_hooks
:
p
ass the modify expre
s
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
e
x
tra: rev
e
rt part of the r
e
curse patch which broke
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpente
r
recurs
e
: oops
.
add E
X
PR
_
VALU
E
and
fix a valid
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n C
a
rpe
n
ter
state
s
: introduce __set_fake_cur_s
l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
user_data
:
p
u
l
l is_use
r
_
d
a
t
a
_state()
i
nto
its
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpen
t
er
rec
u
rse, extr
a
:
introduce has_v
a
riable() a
n
d f
i
x forever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
start_states: a
d
d it to
che
c
k_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan C
a
r
p
enter
com
p
a
ri
s
o
n, db: us
e
c
ompa
r
ison information stored in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
D
an Carpent
e
r
db: remov
e
an unused varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_
d
a
t
a
:
add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
an
Carpenter
user_data: i
n
troduce is_cappe
d
_
u
ser_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carp
e
nter
ext
r
a: sl
i
st: white space chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
math: fail more often
w
ith FU
Z
ZY and HARD limi
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpen
t
e
r
sv
a
l: make some mo
r
e fixes to
sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
local_v
a
lues: stor
e
corre
c
t
initia
l
v
alue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
nter
extra:
h
andl
e
c
omp
a
r
isons where the function only
returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpen
t
er
extra
:
move match_f
u
nc_compar
i
s
o
n() lower in the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpenter
esta
t
e: pr
e
serv
e
the hard max in
e
stat
e
_filter
_
range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
math: for bitwise
AND only use
it for IMPLIE
D
and
ABSOLUT
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
nter
sva
l
: c
a
st preop
'
-' operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast bitwise neg
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
capped: handle p
o
stops bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
buf
_
si
z
e: handle ba
d
da
t
a
f
rom th
e
datab
a
se better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use correct va
r
iable in handle_conditional_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
rpe
n
ter
capped: use get_ha
r
d_m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: move
s
ome RL_HARD and RL_
E
XACT tests around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
s
32min
i
s
n
ot a fuzz
y
m
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
a
th: r
e
versed cond
i
tion in handle_
d
i
vide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: r
e
move du
p
lic
a
te bugg
y
code in get_implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: put an escape hatch
i
n
handl
e
_condit
i
onal
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: swit
c
h
to using RL
_
e
n
u
ms directl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pe
n
ter
math: de
l
ete old
u
nused co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
ma
t
h
:
c
leanup _get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
states: fix s
o
me
l
eaks of the fake_cur
_
slist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
p
enter
*ne
w
*
smatch_sta
r
t_states
.
c: reco
r
d
th
e
states at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpe
n
t
er
d
b: fix
cr
a
shing
bug
as a result of math chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
penter
smatch
.
h:
r
e
m
o
ve l
e
ft over dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
te
r
check_held
_
d
e
v: small
s
pe
l
ling fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
db: d
o
n't qu
e
r
y r
e
turn_values table any mo
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
m
ath: cleanu
p
the r
e
st of han
d
le_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math
:
fix
new handle_condit
i
onal_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
p
en
t
e
r
m
ath: introduce h
a
ndle_divi
d
e_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Car
p
enter
math: couple
b
ug
s
in han
d
l
e_subtra
c
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval:
fix sval_b
i
nop_overflows() han
d
ling of subtraction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpe
n
ter
mat
h
: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: introduce new ha
n
d
l
e_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: cre
a
te new handle_ri
g
h
t
_shif
t
() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
m
ake new handle_kn
o
wn_bi
n
op() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: create new ha
n
dle_bitwise_AND() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: in
t
roduce handl
e
_mod
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
ma
t
h: cr
e
ate hac
k
ish temporary handl
e
_
b
inop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create new han
d
le_minus_pre
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
e
nter
math:
c
re
a
te new
handle_b
i
twise_negate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: intr
o
d
u
ce handle_e
x
p
r
ession_
s
ta
t
ement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: us
e
ha
n
dle_va
r
i
able() in handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpenter
mat
h
:
introduce
h
andle_negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
p
e
nter
math:
i
ntroduce handle
_
ampersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
t
er
math:
hack up a t
e
mporar
y
handle_pr
e
op_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: handle EXPR_POSTOP with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: intr
o
duce
handle_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: i
n
t
r
o
d
uce
h
a
ndle_logica
l
_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nt
e
r
m
ath: introduce handle
_
comp
a
riso
n
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Ca
r
penter
math:
c
reate handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math:
c
reate
h
a
ndle_variab
l
e()
in
s
tea
d
of _g
e
t_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math:
move get_c
o
nst
_
value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: h
a
ndl
e
cas
t
i
n
g in _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
fix up some
t
hinkos
in
t
he _
g
et_rl(
)
tran
s
iti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: introduce temporary RL_IMPLIED
en
u
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math
:
duplicate _get
_
value() into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpe
n
ter
m
a
th: mov
e
a
b
solute min/
m
ax code
f
r
o
m _get_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math:
introduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
range
s
: int
r
o
d
uc
e
r
l_to_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: s/NOT
I
MPLIE
D
/EX
A
CT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan
Carpenter
math: i
m
prove absolute max/min with regards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
rpenter
s
v
al: fix sval_t
o
o_high
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
an Ca
r
p
e
nter
db: introduce
call
_
resu
l
ts_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
C
arpenter
db:
m
ove
g
e
t_p
a
ram
_
name(
)
to centra
l
l
o
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow: look a
t
static and not-st
a
tic lo
c
a
l
inline fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carp
e
nter
ext
r
a:
add set_e
x
tra_nodmod() to sm
a
tch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Ca
r
penter
dere
f
: fix s
e
gfault
p
a
rsing
invalid
c
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpente
r
implie
d
:
preserve equ
i
valence across switch state
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carp
e
nter
math: h
a
ndle
s
i
zeo
f
for zero si
z
e
bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
Carpenter
extra:
h
andle previously assigned simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
ex
t
ra: handle
"if (a
-
3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n C
a
r
p
e
n
t
e
r
extra: split match_compa
r
ison(
)
into
t
wo functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next