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
recurse: oops. add EXPR_VALUE and fix a validation test
2013-06-10
Dan Carpent
e
r
recurse: oops
.
add EXPR_VALUE a
n
d fi
x
a
validation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpen
t
er
st
a
tes: intr
o
duce __set_fake_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carp
e
nter
user_data: pull is_user_data_
s
tate
(
)
into
i
ts own fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpenter
recurse, ex
t
ra: introduc
e
has_va
r
iab
l
e() a
n
d fix forever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Car
p
enter
sta
r
t_states
:
a
dd it
t
o
c
heck_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
com
p
arison, d
b
: use comparison informati
o
n store
d
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpen
t
er
db: remove an unused varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
Carpenter
us
e
r_dat
a
: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n
C
a
r
penter
user_da
t
a
:
i
n
troduce
i
s_
c
apped_
u
ser_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
extra: slist: white
s
pace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
ter
math: fail mor
e
o
f
t
en
w
ith FUZZY an
d
HARD li
m
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
t
er
sval: m
a
k
e
some mor
e
fixes
t
o sval_b
i
n
o
p_overflows(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
l
o
cal_values: s
t
ore corr
e
ct initia
l
v
alue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extra:
h
andle comp
a
risons where the f
u
n
ction only ret
u
rns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extra: move match_func_compar
i
son
(
) lowe
r
i
n
t
h
e file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rpenter
estate: preserve the hard max in estate_filter_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
nter
math: for bitw
i
se AND only
u
se it
for IMPLIED an
d
ABSOL
U
TE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carpente
r
sval: cast pr
e
op '-' operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
r
p
e
nter
sval: cas
t
b
itwise nega
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
t
er
c
ap
p
e
d
:
hand
l
e
posto
p
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
b
u
f_size: h
a
ndle bad
d
ata from the databas
e
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use corre
c
t variable in
h
andl
e
_
conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
capped: use get_
h
ard_m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: move some RL_HARD
a
nd RL_EX
A
CT
t
e
s
ts arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
pen
t
e
r
math: s32min
i
s not a f
u
zzy min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math: reversed con
d
ition in handle_divide(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math
:
r
e
move dup
l
icate
b
ug
g
y
code in get_im
p
l
ied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carp
e
nter
math: put an escape hatch in handle_conditional_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
math:
switch to usi
n
g
RL_ enums directl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carp
e
nter
mat
h
: d
e
lete old unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
math: cle
a
nup
_
ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
states: fix some
leaks
o
f
the fake_cur_slis
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
en
t
er
*
n
ew*
s
match_s
t
a
rt_
s
tates
.
c: record the
state
s
at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rp
e
nter
db: fix
c
rashin
g
bug
as a
r
esult
of m
a
th ch
a
ng
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
s
matc
h
.
h
:
remove left over dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
check_h
e
ld_dev: small
s
pel
l
ing
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: don't
q
uer
y
r
e
turn_values table a
n
y more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math:
cl
e
anup t
h
e re
s
t of
handle_
b
inop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math:
f
ix
n
ew
h
a
ndle_cond
i
tional_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
a
th: introdu
c
e handle_divid
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
a
t
h:
c
ouple bugs in
h
andle_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
sval: fix
s
val_
b
inop_overflows
(
)
ha
n
dl
i
ng of sub
t
ra
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpe
n
ter
m
ath: r
e
mov
e
some
d
ead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math:
i
ntro
d
uc
e
new han
d
le_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
mat
h
:
create new handle_r
i
g
h
t
_shif
t
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new handle_
k
n
o
wn
_
binop() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nte
r
mat
h
: creat
e
new handle_bit
w
i
se_AND(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpe
n
ter
mat
h
: introd
u
ce handle_mod_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
m
a
th: cre
a
te hackish tem
p
orary
handle_binop
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arpente
r
mat
h
: c
r
eate
new ha
n
dle_m
i
nus_
p
reop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: create ne
w
handl
e
_bit
w
ise_negate() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
ter
ma
t
h: introduc
e
handle_expression_statement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: use
ha
n
dle_variable() in handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
penter
ma
t
h: introduc
e
h
andle
_
negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: int
r
o
duce handle_ampersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
ma
t
h:
hack 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 Car
p
enter
math: handl
e
E
XPR_POST
O
P
with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
ter
math: i
n
troduce handle_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpent
e
r
math: introduce ha
n
dle
_
logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: introduce h
a
n
dle_comparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
m
a
th: creat
e
handle_call_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
n
ter
ma
t
h: create han
d
le_variabl
e
() instead of _
g
e
t_
i
m
plied_v
a
lue(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
move get_const_value() forw
a
rd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: handle casting in
_
get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Car
p
ent
e
r
ma
t
h
:
f
ix up some thinkos
i
n
t
h
e
_
g
et_rl
(
) tr
a
nsition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
math
:
introduce t
e
mporar
y
RL_I
M
PL
I
ED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math:
duplicate _g
e
t_
v
alu
e
() into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math
:
move abso
l
ute
min/max
c
o
de from _ge
t
_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
mat
h
:
i
ntroduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpenter
rang
e
s: introdu
c
e rl
_
to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: s/NOTIMP
L
IED
/
EXACT
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
rpent
e
r
math: improve
absolute
max/min
with regards
t
o
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
D
an Carpenter
db
:
intr
o
duce call_res
u
lts_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
an
C
arpenter
db: move ge
t
_param
_
na
m
e
(
) to central
l
ocat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow: look a
t
s
t
atic and
not-stati
c
local inli
n
e
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan C
a
rpent
e
r
ex
t
ra:
add set_ex
t
ra_no
d
mo
d
() to smatch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpe
n
ter
deref: f
i
x
segfault parsing in
v
ali
d
c
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
arpenter
implied
:
preserve equivalence
a
c
r
oss sw
i
tch st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpe
n
ter
m
a
t
h:
handle sizeof for zer
o
siz
e
b
i
t
f
i
elds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extr
a
: han
d
l
e
previously a
s
signed simple m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carp
e
nter
ex
t
ra: ha
n
dle "if (a
-
3
> 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
a
rpenter
e
xtr
a
:
spl
i
t m
a
tch_comparison
(
) i
n
to two f
u
n
ct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
c
a
p
p
ed: kn
o
w
n
v
a
lues are always cappe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
Revert "spars
e
: int
r
oduc
e
get_expression_v
a
lue_
n
omod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show_unreachable
.
sh: add some more ignored kernel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Da
n
Ca
r
penter
flow: don'
t
p
r
i
nt
d
upli
c
ate "unreach
a
ble code" w
a
rni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carp
e
n
t
er
db:
replace database info scr
i
pts wi
t
h
smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Ca
r
penter
s
h
ow_u
n
re
a
chable
.
sh: change the line number for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Da
n
Carpenter
show_u
n
r
e
achabl
e
.
sh: replace tabs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan
C
arpen
t
er
db: ker
n
el:
f
ake
u
p ->read/wri
t
e() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
db: sto
r
e "
t
o
o
common" functions in the
d
ata
b
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
pa
r
am
_
cl
e
ared: clear_bu
f
fer: add t
h
em to the ch
e
ck_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
rpenter
ext
r
a: don't use
t
he in
d
irec
t
_modification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
e
nter
e
x
tra: ma
k
e param
_
filter
set_extra
_
mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
enter
rosenberg
:
remove pahole
dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
parse: add a big hack to
tr
a
ck packed struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
*new*
smatch
_
clear_buffer
.
c:
h
a
ndle memset() type function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
a
ram_limit/filte
r
: ig
n
ore
w
hole ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
r
an
g
es: an empty range is not a w
h
ol
e
r
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next