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, db: use comparison information stored in the database
2013-05-27
Dan Carpenter
comparison, db:
u
se comparison informati
o
n stored in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arpenter
d
b
: remove
a
n unused variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carp
e
nter
us
e
r_data
:
a
dd a com
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
Carpenter
u
s
e
r_data: introd
u
ce
i
s_ca
p
ped_user_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpenter
ext
r
a:
slist: w
h
it
e
spac
e
ch
a
nge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpe
n
ter
math: fai
l
more often
with
F
U
Z
Z
Y and HARD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
sval: make some
more fixes to sv
a
l_bino
p
_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpenter
local
_
values: store correct i
n
itia
l
value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
e
x
tra:
handle comparison
s
where the
f
unctio
n
only
r
eturns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an
C
arpent
e
r
extra:
move match_func_comparison()
l
ower in the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpent
e
r
estate: pre
s
erve the hard m
a
x in es
t
ate_fi
l
ter_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
math: for bit
w
ise AND only u
s
e it for IM
P
LIED a
n
d
A
B
S
OLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
enter
s
v
al: cast preo
p
'-' ope
r
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
s
v
al:
c
a
s
t bitwise nega
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpent
e
r
capped: handle postops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
buf_
s
i
ze:
handle
bad data from the da
t
abase
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an
Car
p
enter
math: use correct
v
ariab
l
e in handle_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
capped: use g
e
t_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: m
o
ve
s
o
me RL_HARD a
n
d RL_EXA
C
T tests
a
r
o
un
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
a
rp
e
nter
math:
s32min
i
s
n
o
t a fuzzy min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h: reversed c
o
ndi
t
ion in handle_divi
d
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math:
remov
e
du
p
licate
buggy code
i
n
g
et_
i
mplied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: put a
n
escape
h
atch in handle_condit
i
o
n
al_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
math: swi
t
ch to using RL_ enums dir
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
p
enter
math:
de
l
ete old
u
n
u
s
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
math:
c
le
a
nup _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
states: fix some
l
eak
s
of t
h
e fak
e
_cur_slist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
*new* sma
t
ch_
s
t
art
_
states
.
c: reco
r
d th
e
s
t
ates at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b
: fix crashing
b
u
g
as a
r
esult
o
f
m
a
th changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpen
t
er
smat
c
h
.
h: remove left over dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
chec
k
_held_dev: small spel
l
in
g
fix
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
t
abl
e
any
m
o
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math
:
c
l
eanup the rest of handle_bi
n
op_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Ca
r
pent
e
r
math: f
i
x
new handle_conditional_rl()
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rp
e
nter
m
ath:
i
ntroduce h
a
nd
l
e_divide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpe
n
ter
m
a
th: couple b
u
gs in hand
l
e_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
sval: fix sval_bin
o
p_
o
verflows()
h
an
d
l
ing of s
u
btracti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: remove some dea
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math:
i
ntroduce new handle_sub
t
r
a
ct_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create new handle_right_sh
i
f
t() fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: m
a
ke
n
ew handle_known_binop(
)
f
un
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpen
t
er
math: create n
e
w
han
d
l
e_bitwise_AND() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
:
i
n
t
rodu
c
e handle_mod_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
te
r
math: c
r
eate hac
k
i
sh tempo
r
a
r
y handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math:
c
reate new
ha
n
dle_
m
inus_preop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpe
n
t
er
math:
crea
t
e n
e
w handle_b
i
t
wise_negate() f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce ha
n
dle_expression_s
t
atement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arp
e
nte
r
math:
u
se h
a
ndle_varia
b
le() i
n
handl
e
_pr
e
o
p
_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpen
t
er
math: introd
u
ce hand
l
e_n
e
gate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath
:
i
ntroduce
h
andle_a
m
pers
a
nd_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math:
hack up a temporary ha
n
dle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
ma
t
h: handle
EXPR_POSTOP
w
ith _get_
r
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nte
r
math
:
introduce
h
a
ndle_con
d
itional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce handle_logical_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
nter
math:
int
r
o
d
u
c
e handle_comparison_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: create handle_variable() in
s
te
a
d
o
f _g
e
t_impl
i
ed_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
e
r
m
ath: move ge
t
_const_value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: handle cast
i
n
g in _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: fi
x
up some
thinkos in the _get_rl() tr
a
nsit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: introduce temporary RL_IMP
L
IE
D
e
n
um
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pe
n
ter
math:
duplicate _get_va
l
ue
(
)
into
_get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math:
m
ove abs
o
lut
e
mi
n
/max code from _get_value(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Car
p
e
n
ter
math: intr
o
d
u
ce _ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
r
a
n
ges: introduce rl_t
o
_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
p
e
nter
ma
t
h: s
/
NOTIMP
L
I
E
D/EXACT
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan
Carpenter
math: improve ab
s
ol
u
t
e
max/min w
i
th reg
a
rds t
o
c
a
s
tin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Da
n
Carpen
t
er
sval:
fix sval_too_hi
g
h()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan C
a
rpenter
db: in
t
roduce call_results_
t
o
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
d
b
: move get_para
m
_name() to central l
o
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
penter
flo
w
: look
a
t static and no
t
-s
t
atic lo
c
al inl
i
ne functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan C
a
r
p
enter
extra
:
add set_extra_nodmod() to s
m
a
tch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix
s
e
gfault parsing i
n
valid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied: preserve equivalence across s
w
itch st
a
te
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
math: h
a
ndl
e
size
o
f for zero
size bitfi
e
lds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
extra: handle prev
i
ously assig
n
ed simple ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carp
e
n
ter
extra: handle "
i
f (a -
3
> 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra
:
s
p
li
t
match_
c
ompariso
n
() int
o
t
wo functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
capped: know
n
values are al
w
ays
capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
Revert
"
sparse
:
i
n
t
roduce get_expre
s
sion_value_nomod()
"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
er
s
how
_
unreach
a
ble
.
sh:
a
d
d some mor
e
ig
n
o
r
ed ke
r
nel
f
unct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan
Carpenter
flow: don'
t
pr
i
nt duplicate "unreachab
l
e
code" warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan
Car
p
e
n
ter
d
b
: replace dat
a
b
ase i
n
fo scripts with sm
d
b
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
D
an
Carp
e
nter
show_unr
e
achabl
e
.
sh: change the line numb
e
r for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
D
a
n
C
a
rpe
n
ter
s
how_unreacha
b
le
.
sh: replace tabs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpe
n
ter
d
b: kernel
:
fake u
p
->read/
w
rite() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpen
t
er
db: store "too common" functions in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
param_cl
e
a
red: clear_b
u
ffer:
a
dd them to the che
c
k_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
n
t
er
ex
t
ra: do
n
't use the
in
d
irect_m
o
dification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
extra: make param_fi
l
t
er set_extra_mod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
ros
e
nbe
r
g: rem
o
ve
p
ahole depen
d
e
n
cy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
parse: add a big hack to track packed
s
truct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
r
penter
*new
*
smatch_cle
a
r_buffer
.
c: h
a
ndle
memset
(
) type func
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
aram
_
limit/filter
:
ig
n
ore whole range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
ranges: an empt
y
range is not a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
e
xt
r
a: remove some dead
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
Carpenter
extra
:
sma
l
l fix for when the
d
atabase is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
ter
db: a
l
ways
s
plit t
h
e
r
eturn values i
f
we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpent
e
r
conditions:
use set_e
x
tra_expr_mod() to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Car
p
en
t
er
user_data: c
o
mpat
sysca
l
l p
a
r
ameters are use
r
da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next