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
math: improve how bitwise ANDs are handled
2013-05-23
Da
n
Carpenter
extra: slist
:
wh
i
te space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
math: fail more
of
t
en with FUZZY
a
nd HARD limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpe
n
t
e
r
sv
a
l: make some more
f
ixes to sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
loc
a
l_values:
store
c
orrect
i
nitial
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
extra: handle compariso
n
s where the f
u
nction
only
r
et
u
rns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carp
e
nter
e
xtr
a
: m
o
ve
match_f
u
nc_compa
r
ison()
l
ower in the fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
estate:
p
reserve
the h
a
rd max in
e
s
t
ate_filter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
enter
math: for
b
itwise AND only use it
f
o
r IMPLIED a
n
d ABSOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n Carpe
n
t
er
s
v
a
l: cast preop '-'
o
p
erations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cas
t
bit
w
i
se neg
a
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
n
ter
c
apped
:
h
andle postops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
r
p
ente
r
bu
f
_s
i
ze:
handle bad da
t
a from the dat
a
base bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath: use
c
o
r
rect variable in handle_condit
i
ona
l
_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
c
apped: use get_hard_max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math: move some RL_
H
ARD an
d
RL_EXAC
T
tests around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
m
a
th: s32min is
not
a
fu
z
zy min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: reversed c
o
n
di
t
io
n
in handl
e
_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math
:
remove d
u
plicate b
u
ggy code i
n
get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: pu
t
an esc
a
pe hatch in han
d
le_co
n
ditional_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: switch to
u
sing RL_
e
nums dire
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math
:
delete o
l
d
unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
cleanup _
g
et_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
st
a
tes: fix so
m
e leaks of the fake_cur_sli
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*
new
*
smatc
h
_start_state
s
.
c: record the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
db: fi
x
cras
h
in
g
bug as a result of math
c
h
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
smat
c
h
.
h
: remove
left over dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an C
a
rpenter
check_held_
d
ev:
s
m
a
ll spelling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: don't
q
uery
return_values table any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: cleanup t
h
e rest of handle_bin
o
p_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: fix new handle_conditiona
l
_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
math:
introduce
h
andle_divide_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpent
e
r
math: coup
l
e bugs i
n
han
d
le_s
u
btract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
sv
a
l: fix
s
val_binop_overflows() hand
l
i
ng of
s
ubtraction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carp
e
nter
m
a
th: remove so
m
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduce new handle_subtract_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th:
c
r
eate
new h
a
ndle_right_
s
h
i
ft
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math:
m
ake
n
e
w handle_kno
w
n_binop() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create new handle_bitwi
s
e_AND
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpent
e
r
math: introduce
h
a
n
d
l
e_mod_
r
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math
:
create hackis
h
temporary han
d
le
_
bin
o
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
arpe
n
ter
math
:
crea
t
e
new handle_minus_preop
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math:
cre
a
te n
e
w handl
e
_bit
w
ise_negate()
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
math: introduce handle_exp
r
ession_statemen
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
m
a
t
h
: use handle_varia
b
le
(
) i
n
ha
n
d
l
e
_
p
r
e
o
p
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
e
nter
math: introduce handle
_
negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
n
t
er
ma
t
h:
i
ntroduce handle_ampersand
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
mat
h
: hack up
a tem
p
orary han
d
le_pre
o
p_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
m
ath:
h
andle EXP
R
_POST
O
P with _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: introduc
e
h
andl
e
_c
o
nditional_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
ma
t
h
:
introduce handle_
l
o
g
ical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math
:
introduce h
a
ndle_
c
ompar
i
son_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pe
n
ter
math: cre
a
te handle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create ha
n
dle_variable() inste
a
d of _ge
t
_implied_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move get_con
s
t_value
(
) forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpente
r
math: handle casti
n
g in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
enter
math:
fix up s
o
m
e
thinkos in t
h
e _get_r
l
() transit
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
m
a
t
h
:
introdu
c
e
t
emporary RL_IM
P
L
I
ED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: duplicate
_
get_
v
a
lue() into
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
a
rpent
e
r
math: move absol
u
te min/ma
x
cod
e
fr
o
m _get_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
:
introduce _ge
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
ranges:
intro
d
uc
e
rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: s/NOTIMPLIED/
E
XACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
ma
t
h: improv
e
a
b
solute max/m
i
n with r
e
gards to casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Ca
r
pen
t
er
s
v
al: fix sval
_
too_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: introduc
e
c
all_results
_
to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db
:
m
ove get_p
a
ram_name(
)
to central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan C
a
rpen
t
er
f
l
ow: loo
k
at
sta
t
ic and no
t
-static local inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
e
x
tra: add set_extra_nodmod(
)
t
o
s
match_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan C
a
rpent
e
r
deref: f
i
x se
g
fault
p
ar
s
ing in
v
al
i
d c cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpent
e
r
i
mpli
e
d: preserve
equivalence acro
s
s switch sta
t
em
e
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
math: handle sizeof for zero size bi
t
fields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extr
a
: handle
p
reviously assig
n
ed simpl
e
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
ex
t
ra: handle
"if (a - 3 > 1
0
0) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: split ma
t
ch_compariso
n
() into tw
o
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
cappe
d
: known value
s
are always ca
p
p
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
r
p
enter
Re
v
ert "sparse: introduce get_
e
xpres
s
ion_valu
e
_
nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
e
r
show_unr
e
achable
.
sh: add
some more ignored ker
n
e
l functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
f
l
ow:
d
on't p
r
int dupl
i
cate "unreachable co
d
e" warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan C
a
rpenter
db: replace database
i
n
fo
scripts with smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
a
rpen
t
e
r
show
_
u
n
reachabl
e
.
sh: change the
l
ine number format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
an
Carpenter
show_unreac
h
a
ble
.
sh: replace
ta
b
s with spa
c
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Da
n
Ca
r
pen
t
er
d
b
: k
e
rnel: fake up ->
r
ead/write() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpen
t
er
db:
s
to
r
e
"
t
o
o common" functions
i
n the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an C
a
rpen
t
er
pa
r
a
m
_cleared: cle
a
r_buffer: add them
t
o
the
c
heck_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
extra: do
n
't use the i
n
direct_
m
odification_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: make param_filter set_ext
r
a_m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ro
s
enberg: remove pahol
e
dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
pars
e
: add a bi
g
h
a
ck to tra
c
k pa
c
ked st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
*new* smatch
_
clear_bu
f
fer
.
c
:
handle mem
s
et()
type
f
unct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
para
m
_l
i
m
it/fi
l
ter: ignor
e
whole ra
n
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carp
e
nter
ranges: an empt
y
range
i
s not a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
extra: remove some de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
extra: small
fix for when
the data
b
ase is dis
a
bled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rp
e
nte
r
db: always spl
i
t the return values if we're no
t
usi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
condit
i
ons: use
s
et_extra_e
x
pr_mod() to c
h
ange ext
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
user_dat
a
: compat
s
y
sc
a
ll par
a
me
t
ers are user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: using
a
u
ser s
u
pplied offs
e
t into
a
n
k
nown
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
lockin
g
: add some more bh lo
c
k functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
M
e
rge bran
c
h 'rfc
-
attribute-st
r
uct' of git://
g
it
.
k
e
rnel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an Carpen
t
er
check_dere
f
: disa
b
l
e "potential NULL dereference"
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next