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
user_data: pull is_user_data_state() into its own function
2013-06-10
D
a
n Carpenter
user_data
:
pu
l
l is_user_data_st
a
te() into its o
w
n func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
an C
a
rpenter
r
e
c
u
rse,
extra: intro
d
uce h
a
s_va
r
iab
l
e() and fix forever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
st
a
rt_st
a
t
e
s: add it to check_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
compariso
n
, db:
u
s
e
c
omparison
i
nformati
o
n stored in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Ca
r
pent
e
r
db:
r
e
m
o
ve an unused vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_data:
add a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
Carpenter
user_da
t
a: i
n
troduce is_ca
p
ped_user_dat
a
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
extra
:
sli
s
t: w
h
ite
s
p
a
c
e change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Ca
r
pent
e
r
math: fail more o
f
ten wi
t
h F
U
ZZY and HARD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpe
n
ter
sval: make some more fixes to sval_binop_overf
l
ow
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
l
o
ca
l
_value
s
: store corre
c
t
in
i
t
i
a
l value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n C
a
rpenter
extra: handle comparisons where the function only return
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extr
a
: m
o
ve ma
t
ch_func_comparison() lower in the
fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
estate:
p
reser
v
e t
h
e hard max in esta
t
e_fil
t
e
r_rang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
penter
m
a
th:
f
or bitwise AND only use it fo
r
IMPLI
E
D
a
n
d ABSOLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rp
e
nter
sva
l
: cast
p
reop
'
-
'
operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
s
v
al: cast bitwis
e
negates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
penter
capped: handle p
o
st
o
ps better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
b
uf_size: handle ba
d
data from the database better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath: use correct varia
b
le in handl
e
_condit
i
on
a
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpente
r
c
apped: use get_hard_max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
p
e
n
t
e
r
math: m
o
v
e
some RL_HARD and RL_EXA
C
T t
e
sts
ar
o
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpente
r
math: s32m
i
n is not a fuz
z
y min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
pe
n
ter
math:
r
e
versed condition in handle
_
div
i
de()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
math: remove
d
uplicate buggy code in get_implied_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: put an
e
scape h
a
tch in handle_condit
i
o
n
a
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
mat
h
: switch to
u
sing RL_ enums dir
e
c
tl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: delete old unu
s
ed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h: cleanu
p
_get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
sta
t
es: fix some leaks of the fa
k
e_cu
r
_slist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
*new
*
smatch_start
_
s
tates
.
c: re
c
ord th
e
s
t
ates at
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: fix c
r
ash
i
ng bug as a res
u
lt of math c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carp
e
nter
smatch
.
h: remove left over de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
check_held_dev
:
sm
a
ll spelli
n
g
f
i
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
db:
d
on't query
return_values ta
b
le any more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h
:
cl
e
anup the re
s
t of hand
l
e_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpent
e
r
math: fix
new handle_c
o
n
dit
i
onal_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: in
t
ro
d
uce han
d
le
_
d
ivi
d
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
nte
r
math: couple bugs
in h
a
ndle
_
subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
sv
a
l: fix sval_binop_over
f
l
ows() handling of
s
ubtract
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: remove
s
ome
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introd
u
ce
new handl
e
_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpe
n
t
er
math: cre
a
te new
handle_ri
g
ht_shi
f
t()
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
enter
math: mak
e
new handle_k
n
o
w
n_binop() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: cre
a
te new handle
_
bitw
i
s
e_AND() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
uce handle_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create
h
ackish tempor
a
ry handle_binop_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
p
ente
r
math: cre
a
te new han
d
le_minus_preop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
pen
t
er
mat
h
:
c
r
eate new handle_bitwise_negate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
mat
h
:
i
n
t
roduce handle_ex
p
ression
_
s
tat
e
ment_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
e
nter
math:
use
handle_
v
a
r
iable() in handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpe
n
te
r
mat
h
: introduce handle_negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
uce handle_ampersan
d
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: hack up
a
temp
o
rary handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
h
andle EXPR_POSTOP with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: in
t
rodu
c
e handle_condi
t
ional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ente
r
math:
introduc
e
h
andle_l
o
gical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
te
r
math: in
t
roduce
h
a
n
dle_comp
a
ri
s
on_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
ter
math: create h
a
ndle_
c
a
ll_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
create handle_variable() instead of _g
e
t_
i
mplie
d
_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
pen
t
er
math: mo
v
e get_co
n
st
_
value(
)
for
w
ar
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
p
enter
math: h
a
ndl
e
c
a
s
t
in
g
in _
g
et_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ente
r
math: fix
up so
m
e t
h
inkos in
t
h
e _get_rl(
)
t
r
a
nsition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
math
:
introdu
c
e
te
m
porary RL_IMPLIED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
enter
math: dupl
i
cate _get_v
a
l
u
e()
i
nto _g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
ma
t
h:
move
a
bsolute min/max co
d
e from _get_valu
e
()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
m
a
th: in
t
rod
u
c
e _get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpe
n
ter
ranges: introduce rl_to
_
sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
math: s/NOT
I
MPLIED
/
EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Car
p
enter
m
ath:
improve absolute max
/
min w
i
t
h regards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Da
n
Ca
r
penter
s
v
a
l
:
fix sval_t
o
o_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
a
r
pente
r
db
:
introduce cal
l
_
resu
l
ts_to_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpenter
db: mov
e
get_param_name(
)
to cent
r
al l
o
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
pen
t
er
flow:
l
ook at stat
i
c
a
nd not-sta
t
ic l
o
cal inli
n
e fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan
C
arp
e
n
ter
extra: a
d
d set_extra_nodmod() to smatc
h
_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan
C
arpen
t
er
d
ere
f
:
fix seg
f
ault parsing inva
l
i
d c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
arpenter
i
mpl
i
ed
:
preserve eq
u
ivalence a
c
ros
s
swi
t
c
h statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpen
t
er
m
a
th: handle sizeof
f
o
r
zero size bitfiel
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
extra:
h
a
ndle
previo
u
sly assigned simple ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Carpenter
extra: handle "if
(a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
e
xtr
a
: sp
l
it mat
c
h_com
p
arison() into t
w
o
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
an Carp
e
nter
ca
p
ped: known va
l
ues are always capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
te
r
Revert "
s
p
a
rse
:
introduce get_expr
e
ssi
o
n_val
u
e
_
nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpente
r
show_u
n
reachabl
e
.
sh
:
a
dd some more igno
r
ed kernel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: d
o
n'
t
prin
t
duplicate "unre
a
chab
l
e
c
ode" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db:
r
ep
l
ace datab
a
se info scripts w
i
th smdb
.
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_
u
nreac
h
able
.
sh
:
chan
g
e the line numbe
r
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Car
p
enter
show
_
unre
a
chable
.
sh: re
p
lace t
a
b
s
w
ith spac
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpe
n
ter
db: k
e
rnel: fake up ->read/
w
r
i
te
(
) limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
db: store "too common"
f
uncti
o
ns
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Car
p
enter
par
a
m_cle
a
red: cl
e
ar_buffer: add th
e
m to the c
h
eck_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
xtra: don'
t
use
t
he indirec
t
_mo
d
ification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
ex
t
r
a
:
make param_filt
e
r set_e
x
tra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
rosenbe
r
g
:
r
e
move pahole dep
e
ndency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
parse: add a
bi
g
h
a
ck to track packed str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
ar
p
e
n
ter
*new* sm
a
tch_clear
_
buffer
.
c
:
handle
memset() typ
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_lim
i
t/filter: i
g
nore whole ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
er
rang
e
s: an empty range
i
s not a whole
r
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
extr
a
:
r
emov
e
some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: small fix for when th
e
data
b
ase is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next