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
comparison: create expr_equal/lte_to_param() functions
2013-06-13
D
an Carp
e
nter
c
o
mparison: create exp
r
_equal/lte_to_
p
aram(
)
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan
Carpenter
c
o
mparis
o
n: split range_comparison_to_p
a
ram() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Carpenter
co
m
par
i
son: ha
n
dle mer
g
ing compari
s
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
h
e
lper:
fi
x
es to t
h
e last expr
_
to_
v
ar_
s
ym() speedup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpent
e
r
d
b
: fi
x
a bug
sto
r
i
n
g range lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
ra
n
ges: handl
e
[==p0
]
return val
u
es cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
core: c
l
ear allocated smatch_stat
e
s at the end
o
f the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
smat
c
h: add -
-
time optio
n
for
d
ebugging
what ta
k
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
s
list: use a fake cur_slis
t
f
o
r
h
a
n
dlin
g
u
n
mat
c
hed
_
states
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpent
e
r
stat
e
s: i
n
troduc
e
_
_
s
et_fake_cur_slist
_
f
a
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
hooks:
i
n
troduce AFTER_FU
N
C
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
param_
c
lea
r
ed: a
d
d
some more
f
unct
i
ons that cl
e
ar parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
helper: speed up expr_to_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carp
e
n
ter
capped: introduce is
_
capped_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rp
e
nter
db, comparison: store return rang
e
comparis
o
ns in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
comparison: pull get_comparison_str
i
ng
s
()
into it
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
db, c
o
mparison, ranges
:
impr
o
v
e how comparisons
w
ill
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
comparison: hand
l
e --/+
+
modifications better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
ar
p
enter
modificati
o
n_ho
o
k
s
: pass
the
m
odi
f
y
expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
an Carpenter
e
xt
r
a: rever
t
par
t
o
f
t
h
e recurse p
a
tch which
b
roke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
recurse:
o
ops
.
a
dd E
X
P
R
_V
A
LUE and fi
x
a valid
a
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
s
t
ates: introduce __set_fake_cur_slist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
us
e
r_data:
pull is_u
s
e
r
_
data_s
t
ate() into its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Ca
r
penter
rec
u
rse, extra
:
introduce has_v
a
riable() and fix f
o
rever
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpente
r
start_states: add i
t
t
o
check_l
i
st
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpente
r
comparis
o
n, db: use comparison i
n
formati
o
n stored in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
db: remove an
u
nuse
d
v
a
r
ia
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpent
e
r
use
r
_data:
add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpenter
user_data: introd
u
ce
i
s_cap
p
ed_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
C
arpen
t
er
e
xt
r
a: slist
:
w
hite
s
pace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
m
at
h
: fail more often
w
i
t
h
FUZZY and HARD limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
ter
sval: make some more fixes to s
v
al_b
i
nop_ove
r
flow
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
a
r
pente
r
local_values: store correct initial
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
ex
t
ra:
ha
n
dle comparisons where
the f
u
nction o
n
ly retu
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n
C
a
r
penter
extra: move matc
h
_
f
unc
_
comparison() lower in the fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Ca
r
penter
estat
e
: preserve the hard max in esta
t
e
_
filter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
C
arpenter
math:
f
or bitwise AND o
n
ly use
i
t for IMPLIED and ABSOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval:
c
a
st pr
e
op
'-' o
p
erations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast bitwis
e
neg
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpe
n
ter
capped: handle postops
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an C
a
rpente
r
buf
_
size:
handle
bad data from the
database better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: use correct
v
ari
a
ble
in handle_con
d
i
t
ional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
capped: use get_ha
r
d_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
a
rpent
e
r
math: move some RL_HARD an
d
RL_EXACT
t
e
sts
a
roun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math: s32min is not a fu
z
zy m
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
m
ath: re
v
ersed condition in handle_divi
d
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpent
e
r
m
ath: r
e
move duplicate buggy code in
g
et
_
implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
math: put a
n
escape hatch in ha
n
dle
_
condition
a
l_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pen
t
er
m
ath
:
switch
t
o using RL_
e
nums dir
e
c
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an
C
a
rpenter
m
ath: delete ol
d
unuse
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpent
e
r
m
at
h
: cleanup
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpenter
states: fix som
e
leaks
o
f the fake_cur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
*new* smatch_start_
s
tat
e
s
.
c: r
e
c
or
d
th
e
states
a
t th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: f
i
x
crashin
g
bug
as
a result o
f
math c
h
ange
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
smatc
h
.
h: rem
o
ve left over dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Car
p
enter
check
_
held_dev: small sp
e
lling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
penter
db: d
o
n't que
r
y ret
u
rn_values table any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Ca
r
penter
math
:
cleanup the rest
o
f
ha
n
dle_binop_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: fix ne
w
h
andle_
c
onditio
n
al_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
at
h
: intr
o
d
u
c
e
handle_d
i
vide_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pent
e
r
math: couple bugs
i
n handle_sub
t
r
a
ct_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval: fix sval_binop_o
v
erf
l
ows() handlin
g
of subtract
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
:
remo
v
e some dead
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
n
t
er
m
a
t
h
: introduce new han
d
le_sub
t
ract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an
Carpent
e
r
math:
c
reate new hand
l
e_right_shift() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math: make new handle_known_binop() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
c
r
e
a
te new
handle_bitwise_AND() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
m
ath:
i
ntroduce ha
n
dle_mod_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
cre
a
te hack
i
sh temporary handle
_
binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
p
enter
m
a
th:
c
reat
e
new ha
n
dle_minus_preop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create
new handle
_
bit
w
ise_negate()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
mat
h
: introduce
handl
e
_ex
p
ression_statement_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
penter
math: use han
d
le_vari
a
ble()
i
n handle
_
p
reop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
en
t
er
math: intro
d
uce handle_negate_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: i
n
t
rodu
c
e
h
a
ndle_ampersand_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
p
enter
math: hack up a
t
empor
a
r
y hand
l
e_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
mat
h
:
h
a
n
dle
E
X
PR_P
O
S
TOP with _ge
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpen
t
er
math: introd
u
ce
h
a
n
dle
_
condit
i
onal_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: introduce han
d
le_l
o
gi
c
al_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th
:
introduce handle_comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create ha
n
dle_
c
a
ll_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: create handle
_
v
a
riable() instead of _get_
i
mplied_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: move
get_const_value(
)
forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: hand
l
e casting in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
f
ix up some t
h
inkos in the _get_rl
(
) transition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: int
r
oduce temporary
R
L_IMPLI
E
D enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Car
p
enter
math: d
u
plicate _get_val
u
e(
)
int
o
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ente
r
math: m
o
v
e
abs
o
lu
t
e min/max
c
ode from _get_value
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
p
enter
math
:
introduce _ge
t
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
rang
e
s:
introduce r
l
_
t
o_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
math: s/NOTIMPLIED/EXACT
/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Car
p
enter
mat
h
: imp
r
ov
e
absol
u
te
max/mi
n
with regards
t
o casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpente
r
s
va
l
: fix sval_too_
h
igh()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
pe
n
t
er
db: in
t
roduce call_resu
l
ts_to_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: move get
_
pa
r
a
m
_name() to central loca
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow: look at st
a
ti
c
a
n
d
n
o
t
-s
t
a
t
i
c local
inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: add set_extr
a
_no
d
mod() to
sma
t
ch_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
d
eref: fix segfault parsing
i
nvalid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
arpe
n
t
e
r
impl
i
ed:
p
r
eserve
e
quiv
a
lence across sw
i
t
ch sta
t
eme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Car
p
enter
m
a
th:
h
andle sizeof for zero size
bi
t
fiel
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next