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: make some more fixes to sval_binop_overflows()
2013-05-23
Dan Carpenter
sv
a
l: make som
e
more fixes to s
v
a
l
_binop_overflo
w
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpen
t
er
local_values: store correc
t
initial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
p
e
nter
e
x
t
ra:
h
a
n
dle comparisons where the function only r
e
tu
r
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
penter
extra: move matc
h
_func_com
p
a
ri
s
o
n() lower in the fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rpe
n
ter
estate: preserve the hard max in esta
t
e_f
i
lter
_
rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
pe
n
ter
math: for bitw
i
se AND onl
y
us
e
i
t
fo
r
I
M
PLIED a
n
d AB
S
OLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast
p
reop '-' operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n Carp
e
n
ter
s
va
l
: cast bitwise neg
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Car
p
enter
capped: ha
n
dle postops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
buf_siz
e
: handle bad data from the da
t
aba
s
e bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math: use correct varia
b
le i
n
handle_conditional_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
c
apped: use get_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math:
m
ove some RL_HA
R
D and RL_E
X
ACT tests around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
arpenter
math: s32min is not a
f
uzzy mi
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: reve
r
sed condition in handle
_
divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
r
emove d
u
plicate buggy co
d
e in
g
et_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: put
a
n
escape hatc
h
i
n
h
andle_cond
i
tional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an
Carpenter
math:
s
witch to using RL_ enums direc
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpen
t
er
math: d
e
lete old unus
e
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: clea
n
u
p
_
g
e
t
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
states: fix some lea
k
s
of the fa
k
e
_cu
r
_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*new* smatch_start_states
.
c: r
e
cord th
e
states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
db: fix crashing bug as a r
e
sult of
m
a
th chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
smatch
.
h:
r
emove lef
t
over dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pe
n
ter
c
h
eck
_
held_dev: smal
l
spelling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b
:
d
on't
q
u
e
r
y return_v
a
lue
s
ta
b
le any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math:
c
l
e
anup the
r
est
of handle_bin
o
p
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
at
h
: fi
x
n
e
w handle_conditio
n
al
_
rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
t
er
math: introduce handle_div
i
de_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: couple
bugs in handle_sub
t
ract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
sval: fix sval_binop_o
v
e
rflows(
)
handling of
subtraction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math:
rem
o
ve
s
o
m
e dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
rpen
t
er
math:
int
r
od
u
c
e
new handl
e
_
subtrac
t
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
ath:
c
reate new handle
_
ri
g
h
t
_sh
i
ft() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math
:
make new h
a
ndle_k
n
o
wn_bi
n
op() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpe
n
ter
math
:
cre
a
te new handle_bitwi
s
e
_
A
N
D() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
p
enter
math:
i
ntroduce handle
_
mod_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: create hack
i
sh temporary h
a
ndle_binop_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: create
new handle_minu
s
_p
r
eo
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
m
ath: create new handle_b
i
twis
e
_negate() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
rpenter
math: in
t
roduc
e
handle
_
expression_stat
e
ment
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpenter
math: use handle_variable() in han
d
le_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
o
d
u
c
e handle
_
negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: introduce handle_ampersand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
n
t
er
math: hac
k
up
a temporary handle_pre
o
p
_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
rp
e
n
t
er
math: hand
l
e EXPR_POSTOP with
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
mat
h
:
int
r
odu
c
e
h
a
ndl
e
_c
o
nditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduce handle_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: introduce handle_comp
a
rison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pent
e
r
mat
h
: create handle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: c
r
eate han
d
le_variable() instea
d
o
f _get_impli
e
d
_val
u
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
m
ath: move get_const
_
va
l
ue
(
) forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nt
e
r
ma
t
h:
h
a
ndle casti
n
g in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpe
n
ter
math:
fix up som
e
thi
n
kos
in the
_get_r
l
() transi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
ente
r
math: introduce tempor
a
ry RL_IM
P
LIED
enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math:
d
upli
c
ate _ge
t
_val
u
e() into _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: m
o
ve absolute min/max c
o
de
f
rom _get_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
ma
t
h: intr
o
du
c
e _g
e
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ranges: introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: s/N
O
T
I
MPLIED/EXAC
T
/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
D
an
Carpenter
math: improve
absolute max/m
i
n with reg
a
rds to castin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpen
t
er
sval: fix sva
l
_too_hig
h
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Car
p
enter
db: intr
o
duce call_result
s
_to_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db
:
move g
e
t_param_nam
e
() to c
e
ntral
location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
nter
flow: look at
s
ta
t
ic and
n
o
t-sta
t
i
c
local inline
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpent
e
r
ex
t
r
a
: add set_extr
a
_n
o
dm
o
d() to
s
match_ex
t
ra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix s
e
gfault par
s
ing invali
d
c
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carp
e
nter
imp
l
ied:
p
rese
r
ve equivalence ac
r
oss
s
witch statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
math: handle s
i
zeof for zer
o
size bitfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
e
r
extra: handle pre
v
i
o
usly assig
n
e
d
s
impl
e
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
ar
p
enter
extra: handle "if (a - 3 > 10
0
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
extra: s
p
lit match_compar
i
s
on() int
o
tw
o
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
en
t
er
cappe
d
: known values
are always capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
R
eve
r
t "sparse: in
t
roduce
g
et_expression_valu
e
_nomod()
"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpent
e
r
sh
o
w
_
unreachab
l
e
.
sh: add
s
ome more ignored k
e
rne
l
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
f
low: don't
print duplica
t
e "unreachable code" war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
d
b: replace d
a
t
abas
e
info
scripts with smd
b
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
a
n Carpenter
show_unreac
h
able
.
s
h
: change
t
he line nu
m
ber format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Ca
r
p
ent
e
r
show_unreachable
.
s
h: repla
c
e tab
s
w
ith spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan C
a
rpenter
db: kerne
l
: fa
k
e up -
>
rea
d
/
wri
t
e() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
arpenter
d
b
: sto
r
e "t
o
o common" fun
c
tions in
t
h
e
dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
penter
pa
r
a
m
_cleared: clear_buf
f
er
:
add
them to the che
c
k
_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
tra:
don't use
th
e
indirect_modification_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
ex
t
ra: make param_filter set_e
x
tra_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carp
e
nter
r
osenberg: remove pahole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
parse:
add a big hac
k
to
t
rack pack
e
d structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
*new* smatch
_
cl
e
ar_buffer
.
c: ha
n
d
l
e memset() type
f
u
n
ction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
param_limit
/
filter:
i
g
nore w
h
o
le ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ran
g
es: an empt
y
range is n
o
t a whol
e
r
ange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
e
xtra: rem
o
ve some d
e
a
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
e
r
extr
a
: small f
i
x
fo
r
when the
d
ata
b
ase is d
i
sab
l
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
db: always split the return
values i
f
we're not usi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
c
o
nditions:
u
se
s
et_
e
xt
r
a_e
x
pr_m
o
d
(
)
to ch
a
nge extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carp
e
nter
user_data
:
c
o
m
pat sysc
a
ll para
m
e
t
e
r
s are
user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_
d
ata: u
s
ing a us
e
r supplie
d
offset into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Ca
r
p
e
n
ter
l
o
cking
:
add some more bh lock fu
n
ctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan C
a
rpen
t
er
Merge branch 'r
f
c-attribute-struct' of git:
/
/
g
i
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
check_deref
:
dis
a
ble "potential NUL
L
derefer
e
nce" b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Da
n
Carpenter
locking: a
d
d local
_
bh
_
disable/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
locking:
h
and
l
e null vs
non-NULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next