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
start_states: add it to check_list.h
2013-05-27
Dan C
a
rpen
t
er
s
t
art_sta
t
e
s
: add it to check_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
compariso
n
, d
b
:
us
e
co
m
parison info
r
mation
s
tored
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arpenter
db: remove an unused v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carp
e
nter
user_dat
a
: ad
d
a
c
ommen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan C
a
rpenter
use
r
_dat
a
: introduce is_capped_u
s
er_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
extra: slist: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
math
:
f
ai
l
more often with
F
UZZY
and HARD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpenter
s
val:
m
ake some more fix
e
s to sval_
b
inop_
o
verflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpent
e
r
local_
v
alues
:
st
o
re correct initial value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
e
x
t
r
a: handle comparisons w
h
e
r
e the fu
n
c
tio
n
on
l
y return
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
e
x
t
ra:
m
ove
match_func_
c
omparison() lower
i
n the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an
C
a
r
penter
esta
t
e: preserve th
e
hard max in estate_filter_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
math: for
b
i
t
wise
A
ND only
use
it for IMPLIED and ABSOLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpe
n
ter
sva
l
:
ca
s
t preop '-' op
e
r
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast b
i
twis
e
negate
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
c
a
pped: handle postops bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arp
e
nter
buf
_
size: handle bad dat
a
fro
m
th
e
da
t
a
b
ase better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: use correct varia
b
le in
h
a
ndle_condi
t
ional_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
capped: use get_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math
:
mov
e
some RL_HARD an
d
RL_EXACT tests around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carp
e
nter
m
ath:
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
Dan
Carpe
n
ter
math: r
e
versed con
d
ition in handle_divide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nt
e
r
math:
r
emove du
p
l
i
c
a
te buggy code in get_implied_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpente
r
math: put a
n
escape hatch
in handl
e
_condition
a
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
arpe
n
ter
m
ath:
s
witch
to u
s
ing RL_ enums d
i
r
e
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: delete o
l
d
unus
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
math: clea
n
up _get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
t
er
states: fix some leaks of the
f
ake_
c
ur_s
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*new
*
sm
a
tch_start_s
t
ates
.
c: r
e
cor
d
the
s
tates a
t
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carp
e
nter
db: fix crashin
g
bug as
a
resul
t
of mat
h
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
sma
t
ch
.
h: remove
l
e
f
t
over dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
c
h
ec
k
_held_dev
:
small spe
l
l
ing fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
d
b: don't
query
return_values table any
more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpen
t
er
math:
cl
e
anup the rest o
f
handle_binop_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpe
n
ter
m
ath:
fix
new
h
a
ndle_conditional_rl()
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Car
p
e
n
ter
m
ath: i
n
t
r
oduce
handle_divide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: couple
b
u
gs in handle_subt
r
act_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sv
a
l:
fix sv
a
l
_bi
n
o
p_overflows(
)
ha
n
dling of subtraction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rp
e
nter
math: remov
e
some
d
ead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
mat
h
: introduce new han
d
l
e
_
subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: cr
e
ate new handle_
r
i
g
ht_shi
f
t()
f
unc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
penter
math: mak
e
new handle_known_binop() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
mat
h
: c
r
eate
n
ew handle_bit
w
ise_AND() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce h
a
n
d
le
_
mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
nt
e
r
math: create hacki
s
h
t
emporary handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: c
r
eate new handle_m
i
nus
_
preop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th
:
cr
e
ate new hand
l
e_bitwise_negate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
introduce h
a
ndle_
e
xpression_stat
e
ment_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
ath:
u
se hand
l
e_varia
b
le()
in ha
n
dle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: introduce
h
andle_n
e
gate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
er
m
ath
:
introduce handle_ampersan
d
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpen
t
er
math: hack up a temporary ha
n
dle_preop_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: handle EXPR_POSTO
P
with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
a
t
h: introduce
handle_conditional_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: introduce handl
e
_lo
g
ical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
pent
e
r
m
ath: i
n
troduce handle_c
o
mparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
ma
t
h: create handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: cr
e
ate h
a
ndle_
v
ariable() inste
a
d of _get_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nte
r
m
ath:
move get_const_
v
al
u
e() forw
a
rd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: handle cas
t
ing in
_get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: fix up some thinkos i
n
the _ge
t
_rl() transition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
pe
n
t
er
m
a
t
h: introduc
e
tempora
r
y
RL_I
M
P
L
IED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: duplicate
_get_value() int
o
_get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
e
n
t
er
ma
t
h
:
move
absolu
t
e
m
in/max code from _g
e
t_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpente
r
math: introduce _g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
p
ent
e
r
ranges:
i
ntroduce rl
_
to
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: s/N
O
TIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpent
e
r
m
ath
:
impro
v
e
a
bs
o
lute max/min with regard
s
to cast
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
sval:
fix
sval_
t
oo_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan C
a
rpenter
db: introduce
c
all
_
results
_
to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db
:
move
get_param
_
n
ame() to centra
l
loca
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow
:
look at sta
t
ic and not-static l
o
cal inlin
e
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpente
r
ext
r
a: add
s
et_extra_n
o
dmo
d
() to
smat
c
h_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan
C
a
r
p
e
nt
e
r
der
e
f: fix
segfault parsing inv
a
li
d
c c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied: preserve equivalence across swit
c
h statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Car
p
enter
math: h
a
ndle si
z
eof for zero size
b
itfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra
:
h
a
nd
l
e previo
u
sly assi
g
ned simp
l
e math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arp
e
nter
extra: handle "if
(
a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Carpenter
extra: split
m
atch_compa
r
is
o
n(
)
into
t
wo functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
capped:
known va
l
ues are a
l
ways c
a
ppe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
rpent
e
r
Revert "spars
e
: introduce
ge
t
_ex
p
r
e
ssion_val
u
e_no
m
od()"
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpente
r
show_u
n
reachable
.
s
h
:
a
dd some more igno
r
ed kernel
function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan
C
arpenter
flow: don't print
d
upli
c
ate "unreachable code" war
n
i
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan C
a
rpe
n
ter
db
:
replace database info scr
i
pts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show
_
unreachable
.
sh
:
c
hange the li
n
e number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arpen
t
er
show_unreachable
.
sh: replace tabs
w
ith spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpent
e
r
db:
k
ernel: fa
k
e up ->
r
ead/write() limi
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
db:
sto
r
e "too co
m
mon
"
func
t
ions
i
n
th
e
databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
e
r
param
_
cleared: clear
_
buffer:
add them to th
e
check_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Ca
r
penter
extra:
d
on't use the indire
c
t
_
modification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carp
e
nter
extra: make par
a
m_
f
ilter set_
e
xtra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
rosenberg: remove pahole depe
n
dency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse
:
add a big ha
c
k to tra
c
k packed
structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
*
ne
w
* smatch_cle
a
r_buffer
.
c
:
han
d
le memset(
)
typ
e
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpen
t
er
p
aram_
l
imi
t
/filt
e
r
: ignore whole
r
a
nge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
ranges: an empty rang
e
i
s no
t
a w
h
o
l
e range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an
Carpente
r
extra
:
remove
some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: small fix for
w
h
e
n
the dat
a
base
is
d
isabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
C
arpenter
db:
a
l
w
ays
s
plit the return
v
alues if we're
n
o
t usin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
condi
t
i
o
ns: use set
_
ext
r
a_expr
_
m
od() to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next