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
modification_hooks: pass the modify expression
2013-06-12
D
an Ca
r
p
enter
modification_hooks: pass the modify expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpente
r
e
x
tra:
r
e
v
ert part
of the
r
ecur
s
e patch
which broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
recurse
:
o
o
ps
.
add EXPR_VALU
E
and fix a validation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpent
e
r
states: introduce
__se
t
_
fake_cur_sli
s
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
user_
d
ata: pull is_use
r
_data_
s
t
a
te() into its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpe
n
t
er
recurse,
e
xtra: introduce has_variable()
a
n
d
f
ix
foreve
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
D
an C
a
r
pent
e
r
s
tart_states
:
add it to check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
compariso
n
, db
:
use comp
a
rison information s
t
ored in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
d
b
: remove an
u
nused var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpen
t
er
u
ser
_
data:
a
dd a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n C
a
rpente
r
u
s
er_d
a
ta: introduce
is_capped_
u
ser_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpente
r
ext
r
a:
sl
i
st
:
white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
math:
f
ail
m
o
r
e
oft
e
n with FUZZY and HARD lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpente
r
sval:
make so
m
e more
f
ixes to sval_b
i
nop_o
v
erflo
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
local_v
a
lues: sto
r
e correct initial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
ext
r
a: handle comp
a
risons whe
r
e the func
t
ion
o
nly returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Car
p
enter
e
xtra: move match_func_comparison()
l
ow
e
r
in the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rpenter
e
s
tate: preserve the hard max in estate_fi
l
ter_rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
pen
t
er
math
:
f
or bitwis
e
AND only use it for IMP
L
IED and ABSOL
U
TE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n Carpe
n
t
e
r
sval: cast preop '
-
' operati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast bitwise
neg
a
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpe
n
ter
cappe
d
:
h
a
n
dl
e
posto
p
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
buf_size: handle bad d
a
ta from the
da
t
aba
s
e
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
nter
math: u
s
e co
r
rect variab
l
e in
hand
l
e
_
c
ond
i
tio
n
a
l
_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
capped:
us
e
ge
t
_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpente
r
math: move some
RL_HARD
a
n
d RL_EXACT tests
a
round
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: s32min is
n
ot a fuzzy m
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Car
p
ent
e
r
ma
t
h
: reversed condition in
hand
l
e_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpent
e
r
m
ath:
r
emove d
u
plic
a
te
bugg
y
code in get_i
m
plied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
mat
h
: put an es
c
ape
hatch in handl
e
_
conditional_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: switch to
u
si
n
g RL_
enums directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: delete old unu
s
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: c
l
eanup _get_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
states: fix some le
a
ks
o
f the
f
a
k
e_cur_
s
lis
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*new* smatch
_
start_
s
ta
t
es
.
c: record t
h
e states a
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
p
enter
d
b:
fix
c
rashing bug as a result of
m
a
th chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
smat
c
h
.
h:
r
emove left over dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
che
c
k_held_dev: small
s
pellin
g
fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
penter
db: d
o
n't
qu
e
ry return_val
u
es table any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath: clea
n
u
p
t
he
r
est
of handle_bi
n
op_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
a
rpenter
math: fix new h
a
n
d
le_
c
o
nditional_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: i
n
t
r
od
u
ce hand
l
e_divide_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: couple bugs in handle_sub
t
r
a
ct_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval:
fix
s
val_binop_overflows() handling of sub
t
raction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: re
m
o
v
e some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: i
n
troduce n
e
w
handle_subtr
a
ct_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create new handle_
r
ight_shift() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
penter
math: make new han
d
le_known
_
binop() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math:
c
reat
e
ne
w
h
a
ndle
_
bitwise_AND() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: i
n
trod
u
ce handle_mod_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th
:
create hackish temporary
handle_bino
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
c
rea
t
e new han
d
le
_
minus_preop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
create new handle_bitwise_negate() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
enter
math:
i
ntroduce handle_e
x
pression_st
a
tement_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpen
t
e
r
math: use hand
l
e
_
variab
l
e() in
h
andle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpenter
mat
h
: introduce handle_nega
t
e_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
enter
m
a
t
h
: introdu
c
e handle_amp
e
rsand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpent
e
r
math
:
ha
c
k
up a
t
emporary handle_preop_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: handle EXPR_POSTOP with _get_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
r
penter
m
ath:
i
ntrod
u
ce handle_conditional_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math: introduce handle_logical_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
m
a
th: introduce ha
n
dle_comp
a
ri
s
on_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpen
t
er
math: create
h
andle
_
call_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
m
ath: create handle_variable() instead of _get_im
p
lied_val
u
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Ca
r
p
e
nter
mat
h
: move get_const_va
l
ue() fo
r
ward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: hand
l
e
cas
t
ing in
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: fix up so
m
e thinkos
in t
h
e _
g
et_rl
(
)
t
ran
s
it
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduce temporary RL_IMPLIED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
m
a
th: duplicate _g
e
t
_
v
a
lue() into
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
ente
r
mat
h
: move absolute min/max code fro
m
_g
e
t_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: int
r
o
d
uce _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
ranges
:
introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math
:
s/NOTIMPLIED/EX
A
CT
/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
ar
p
ente
r
math: improve absolute ma
x
/min with regar
d
s to cast
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
r
p
ent
e
r
s
v
al: fix sval
_
t
o
o_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpe
n
ter
db: introduc
e
call_
r
esult
s
_to_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
C
arpent
e
r
db: move
g
et_
p
aram_name() to central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan
Carpenter
flow: look at static
a
nd not-sta
t
ic local in
l
ine
f
unctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan
C
arpenter
extra: add set_ext
r
a_nodmod() t
o
s
match_
e
x
t
r
a
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix
segfau
l
t pars
i
ng inval
i
d
c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
arpe
n
ter
implied:
preser
v
e equi
v
alence
acr
o
ss switch st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Car
p
e
n
ter
math: hand
l
e s
i
zeof
for zero
si
z
e bitfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
e
xtra: handle previously assigned
simple m
a
th
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra:
h
andle
"
if (a
- 3 > 100)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: spl
i
t
m
atch_comparison()
in
t
o t
w
o f
u
ncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpente
r
capped:
known valu
e
s are alw
a
y
s
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
C
arpenter
Revert "sparse
:
introduce
g
et_expre
s
s
i
on_valu
e
_n
o
mod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
penter
sho
w
_unre
a
ch
a
ble
.
sh: add
some more i
g
nored
k
ernel functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpenter
flow
:
don't p
r
int duplicate "unreachab
l
e cod
e
" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: replace dat
a
base
i
nfo sc
r
i
pts w
i
th smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpente
r
show_unreachable
.
sh: change the line number format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
a
r
penter
s
how_u
n
re
a
chable
.
sh:
replace tabs w
i
th spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db
:
kernel: fake up ->read/wr
i
te(
)
l
imits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
db: s
t
ore
"
to
o
c
o
mmon" f
u
nctions in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_clea
r
ed: clear_buffer: add
the
m
t
o
t
he
c
heck_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pe
n
ter
e
x
tra:
d
on't
use the i
n
d
ire
c
t_m
o
dificati
o
n_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpente
r
e
xtra: m
a
ke param_
f
ilter se
t
_extra_m
o
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
r
o
senberg
:
remove
p
ahole depe
n
dency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: ad
d
a big hack to track packed structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
*
new* smatc
h
_clear_buffer
.
c
: handle mems
e
t() type functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next