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
extra: handle comparisons where the function only returns one value
2013-05-22
Dan
C
arpenter
extra:
h
andle comparisons where the fun
c
t
i
on only
returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpente
r
ext
r
a: mo
v
e match_func_comparison() l
o
wer i
n
the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
n
t
e
r
esta
t
e: preserv
e
the hard max i
n
es
t
ate_filter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
math: for bitwise
AND only use it for I
M
PLIED and A
B
SOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpenter
sv
a
l:
c
ast preop '-' operation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
e
r
sval: cast bit
w
i
s
e
negates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpent
e
r
c
a
p
p
ed: handle posto
p
s be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
buf_size: hand
l
e
bad d
a
t
a from t
h
e database
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use corr
e
ct variable i
n
handle_conditiona
l
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Car
p
en
t
er
capped: use g
e
t
_
hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Ca
r
p
ent
e
r
m
a
th: mov
e
some RL_HA
R
D and
RL
_
EXACT tes
t
s ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math: s32min is
n
ot a fuzzy
m
in
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: rev
e
rsed
condi
t
ion in h
a
ndl
e
_
divi
d
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math:
r
emove dupli
c
ate
b
uggy
c
ode in g
e
t_implie
d
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: put an escape hatch in handle_c
o
n
di
t
ion
a
l_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpen
t
er
math: s
w
itch to u
s
ing RL_ enums directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h: delete o
l
d unused cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
ter
math: cleanup _
g
et_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
ente
r
sta
t
es: fix some leaks of
the fak
e
_cur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
r
pen
t
er
*new*
s
match_start_st
a
t
es
.
c:
r
ec
o
rd the states a
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
db: fix c
r
a
shing bug as a result of math changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Ca
r
pente
r
smatch
.
h
:
remove left over d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
check_held_
d
ev: smal
l
spelling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
te
r
db: don't q
u
ery retu
r
n_va
l
u
e
s
t
a
b
le any
m
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
arp
e
nt
e
r
math: cleanup the rest of
handle_bi
n
op_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: fix new hand
l
e_con
d
i
tiona
l
_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
math
:
introduce handle_divide
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
c
ouple b
u
gs
i
n
h
and
l
e_subt
r
act_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval: fix
s
val_bi
n
op_overflows() hand
l
ing of s
u
btract
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: remove s
o
me
d
ead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: i
n
t
r
oduce
new
h
andle_subtract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
m
a
th: create new handle_right_shift() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
m
ake n
e
w handle
_
known_binop() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpente
r
math: cr
e
ate new handle_bitwise_AND() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ma
t
h: introduc
e
handle_mod_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: cr
e
ate hacki
s
h
temp
o
rary handle_bi
n
op_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math:
create new hand
l
e_minus
_
p
reop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
m
a
t
h
:
create n
e
w han
d
le_bitwise_negate() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
ma
t
h: intro
d
uce handle_exp
r
e
ssion_statement_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Ca
r
penter
ma
t
h: use handle_variable() in
h
a
n
d
le_p
r
eop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: introdu
c
e handle_negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
m
ath
:
intr
o
duce handle_ampersand
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: hack
u
p a temporary handle_p
r
eop
_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
en
t
er
math: handle EXPR_POSTOP with _get_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Car
p
enter
math: introduc
e
h
a
ndle_conditiona
l
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
:
intro
d
u
c
e
handle_logical_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce handle
_
comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: c
r
ea
t
e
h
a
n
dle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
n
ter
mat
h
: cr
e
ate hand
l
e_variab
l
e() instead 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 Ca
r
penter
math: move get_const_value() forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpen
t
er
math: h
a
ndle cast
i
n
g
in _get
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpente
r
math: fix up some thinkos
i
n the
_get_
r
l() transition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pen
t
er
math: i
n
troduce temporary RL_IMPLIED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: duplicate _get_value()
into
_
get
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
m
a
t
h
: mo
v
e
abso
l
ute m
i
n/max code from _get_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math:
introduce _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
e
n
t
e
r
ranges: introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
s/N
O
TIMPLIED/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan
Carpent
e
r
mat
h
: improve
absolute
m
a
x/min
wit
h
regards to cast
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n
Carp
e
n
t
er
sval: f
i
x sval_too_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
Ca
r
penter
db: introduce call_result
s
_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db:
move get
_
param_name() to central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpent
e
r
f
l
o
w
:
look at s
t
at
i
c and not-static local
inline funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Car
p
enter
ex
t
r
a: add
set_extra_nodm
o
d()
t
o
smatch_extr
a
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpe
n
ter
deref: fix segfault parsing
i
nvalid
c cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carp
e
nter
imp
l
ied: preser
v
e equivalence
a
cross switch
statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Carpe
n
te
r
mat
h
:
h
andle si
z
eof for zero size
bitfi
e
ld
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
ext
r
a: handle
previousl
y
assigned simple mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
e
x
tra: han
d
le "if (a - 3
>
100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
ex
t
ra: split
m
a
tch_compariso
n
() into
two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: known v
a
lues are always capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
ent
e
r
Re
v
ert "sparse:
intro
d
uce get_expression_valu
e
_nomod()
"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
er
sho
w
_unreachable
.
sh
:
add some more igno
r
e
d
kernel
f
unc
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
f
l
ow:
d
o
n
't print du
p
licate "unreachable code"
w
arnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Da
n
Carpenter
db:
repla
c
e databas
e
i
n
fo s
c
r
ipts with s
m
db
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
Carpen
t
er
show_unreachable
.
sh:
change the line number format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Ca
r
pe
n
ter
show_unreacha
b
le
.
sh: replace tabs with
s
pa
c
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan
Ca
r
pente
r
db
:
kernel: fake up ->r
e
ad/writ
e
()
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
d
b: sto
r
e "too common" functions
i
n the data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
par
a
m
_
clear
e
d: clear_buff
e
r: add them to th
e
check_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
e
x
tra: do
n
'
t
use the indirect_modi
f
i
cation
_
hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
extra: make pa
r
am_
f
ilter set_extra_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Carpenter
ro
s
enberg: remove pahole depe
n
den
c
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: add a big
h
a
c
k
t
o
tr
a
ck packed
stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Car
p
enter
*ne
w
* smatch_c
l
ear_
b
uffer
.
c:
h
andle memset() type f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_limit/
f
ilter:
i
gnor
e
who
l
e
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
r
a
n
ges: an
e
mpty range is no
t
a whol
e
ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
e
r
e
x
tra
:
remove som
e
dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
er
e
xtra: s
m
all fix
for when th
e
datab
a
se is disab
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
d
b: al
w
ays
split the
return
v
alues if we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
e
n
te
r
c
ondit
i
ons: use
se
t
_extra_expr_m
o
d() to chang
e
extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an
Carpen
t
er
user_da
t
a: compat sysc
a
ll parameter
s
are us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
us
e
r_data: usi
n
g a user
supplie
d
o
ffse
t
into an
known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
nter
locking: add some more
b
h lock functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpen
t
er
Me
r
ge branch 'r
f
c
-attr
i
bute
-
stru
c
t' of git://g
i
t
.
k
e
r
ne
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan C
a
rpen
t
er
check_
d
e
r
e
f
: disab
l
e
"potenti
a
l
NULL dereference
"
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carp
e
nter
locking: add loca
l
_bh_di
s
a
ble/e
n
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
loc
k
ing
:
handle null vs non-NUL
L
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pe
n
ter
l
o
ckin
g
: upd
a
te validation/
test
s
to the n
e
w
w
arning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
ar
p
enter
funct
i
on_ptrs
:
"
(*ptrs[
0
])(a
,
b)" is
t
he same as "pt
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next