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
sval: cast preop '-' operations
2013-05-22
D
a
n
Car
p
enter
sval: cast p
r
eo
p
'-' operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval:
c
ast
b
i
twise n
e
gates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
cappe
d
: han
d
l
e
po
s
to
p
s
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
buf
_
size: hand
l
e bad d
a
ta from t
h
e datab
a
s
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: use correct variable
i
n handle_con
d
i
tional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
cap
p
ed: use get_
h
ard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath:
m
ove
s
o
me RL_H
A
RD and
R
L
_
EXACT tests around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpente
r
math: s32min is not a
f
uzzy min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
m
a
th: reversed
c
o
n
dition
i
n handle
_
divide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpen
t
er
math
:
r
e
move duplicat
e
bu
g
gy cod
e
in get_implie
d
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
ma
t
h
: put
an escape
h
a
tch in handl
e
_condit
i
onal_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: s
w
it
c
h to
us
i
ng RL_
e
nums directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
math:
delete old un
u
sed cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
m
at
h
: cleanup _
g
e
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
states: fix
some leaks of the fake_c
u
r_sli
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*new* smatch_start_st
a
tes
.
c: rec
o
rd the states
at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
db: fix c
r
ashin
g
bug
a
s a result
o
f
math
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
smatch
.
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
eck_held_d
e
v
: small spelling fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpe
n
te
r
d
b
: d
o
n't
query
r
et
u
rn_
v
alu
e
s table any more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
penter
mat
h
: c
l
eanup the r
e
s
t
of
handle_bin
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
math: fix n
e
w handle_c
o
n
d
itional_rl() cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
mat
h
:
i
n
t
r
o
duce handl
e
_
divide
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
ma
t
h: couple bugs in handle_subtract_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
sv
a
l
: fi
x
sval_bin
o
p_o
v
erflows
(
)
h
a
n
dling of su
b
tracti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: re
m
ove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
enter
math: i
n
troduce new han
d
le
_
subtract_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create
n
ew h
a
ndle_right_shift() f
u
nc
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ente
r
m
a
th: make
n
ew handle_kn
o
wn_
b
inop() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math:
c
reate new han
d
le_bitwise_A
N
D() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
pent
e
r
math: introduce handle_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math:
c
rea
t
e hac
k
ish temp
o
rary ha
n
dle_binop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpe
n
ter
m
ath:
c
reate new handle_min
u
s
_
pre
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
ath: create new
handle_bitwis
e
_nega
t
e() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: i
n
troduce handle_expre
s
sion_statement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpenter
math: us
e
handle_variable()
in handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpent
e
r
math: i
n
trod
u
c
e han
d
l
e_negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: introduce hand
l
e_
a
m
p
ersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: hack
u
p a
t
e
mpor
a
ry hand
l
e_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
handle EXPR_POSTOP
w
i
th _ge
t
_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: intr
o
d
u
ce handle_c
o
nd
i
tional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
i
ntro
d
uce handl
e
_logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce h
a
ndle_c
o
mparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Ca
r
penter
math: cr
e
ate
h
a
n
dl
e
_cal
l
_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpent
e
r
mat
h
:
c
reate handl
e
_
v
ariable() instead o
f
_get_impli
e
d_v
a
l
u
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
ma
t
h
:
m
o
ve get_const_value() fo
r
w
a
rd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
handle casting in _
g
et_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
m
at
h
: fix up
some thinkos in t
h
e _g
e
t_rl() transi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpent
e
r
math: intr
o
duce tempo
r
ary RL_IM
P
LIED
e
num
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: dupl
i
cate _get_value() into _get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math:
m
o
ve
a
b
solute min/max cod
e
f
rom _get_
v
a
l
u
e(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
uce
_get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpente
r
r
anges: in
t
roduc
e
rl
_
to_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
arpenter
math
:
s/NOTIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
math: improve absolute max/min with regards to casting
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 Carpenter
db: int
r
od
u
ce call_results_t
o
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
C
a
rpenter
db: move get_param_name() to centra
l
l
o
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
fl
o
w: l
o
ok at static and not-static lo
c
al
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: add s
e
t_extra_nodmod() to smatch
_
extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Ca
r
penter
der
e
f: fi
x
segfault parsing i
n
valid
c
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied: preserve equivalence
across switch sta
t
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpente
r
m
ath
:
handle sizeof for zero size bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: ha
n
dle previously assig
n
e
d simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: ha
n
dle "if (a - 3 >
1
00) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
r
p
ente
r
ext
r
a: split match_comparison() into
two function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
c
apped
:
known va
l
ues are
a
lways capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
an Carpenter
Re
v
ert "sp
a
rs
e
:
i
n
t
ro
d
uce get_exp
r
ession_v
a
lue_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Da
n
Carpen
t
e
r
show_u
n
reachable
.
s
h
:
add some mo
r
e ignored kernel
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carp
e
n
t
e
r
flow: don't print
d
u
plicate "unreac
h
able code" warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpent
e
r
db: repla
c
e database in
f
o scr
i
p
ts with
s
mdb
.
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpent
e
r
show_unr
e
achab
l
e
.
sh
:
change the line
number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpen
t
er
sh
o
w_unrea
c
hable
.
sh:
r
e
place tab
s
with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db: kernel: fake up
->read/write() limi
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
db: store "
t
oo common
"
fu
n
ctions in the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
para
m
_clear
e
d
:
c
l
e
a
r
_
buff
e
r:
a
dd them to the check_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
extra: don't u
s
e
the
i
n
di
r
ect_mod
i
fication_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nte
r
extra: make param_
f
ilter set_ex
t
ra_mo
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
penter
ros
e
n
berg:
remove p
a
hole
dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
pa
r
se: add a
b
ig
hac
k
to track
pack
e
d str
u
ct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
*new*
smatch_clear_b
u
ffer
.
c
:
han
d
le
memset
(
) ty
p
e fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Car
p
enter
para
m
_lim
i
t/f
i
lter:
ignore whol
e
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
ranges: an empt
y
r
a
n
ge
i
s not
a
whole
r
ange
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpen
t
er
extra: re
m
ove
some dead
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpen
t
er
e
x
tra:
small fix f
o
r w
h
en the
d
atabase
is disabl
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
db: alwa
y
s s
p
li
t
the
r
e
t
u
r
n v
a
l
ues if we
'
r
e
not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
conditions: use set_ext
r
a_expr_mod()
to c
h
ange ext
r
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
ter
user_dat
a
: compat syscall
p
arameters
a
r
e
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
use
r
_d
a
t
a: using a us
e
r
suppli
e
d offset into
an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
l
ocking:
a
d
d some more
bh lo
c
k functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpente
r
Me
r
ge b
r
anch
'r
f
c
-attribute-st
r
uct' of git:
/
/g
i
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan C
a
rpen
t
er
check_deref: disable "poten
t
ial
N
ULL dereference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Carpen
t
er
locking: add local_bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan C
a
rpenter
locking: ha
n
d
l
e
null vs
n
on
-
NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
lock
i
n
g
: update vali
d
ation/ tes
t
s to the new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: "(*
p
trs[0
]
)(a,
b
)" is t
h
e s
a
m
e
as "ptr
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_
p
trs
:
record when fu
n
ction pointer is save
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
ros
e
nberg:
r
e
m
o
ve some st
r
ucts whic
h
don't
have
ho
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpen
t
e
r
rosenb
e
rg: check for nla_put
i
nfo leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
fl
o
w: fake member and element
a
ssi
g
nme
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next