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
db: don't query return_values table any more
2013-05-21
D
an Carpenter
d
b
:
don't query return
_
values tab
l
e an
y
more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
ent
e
r
mat
h
:
cleanup the
r
est of handle_bino
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpente
r
math:
fi
x
new han
d
l
e
_
c
ondit
i
onal
_
rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpen
t
er
mat
h
:
i
ntro
d
uce ha
n
dle_di
v
ide_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: cou
p
le bugs in handle_subtr
a
ct_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sv
a
l: fix sval_b
i
nop_overflows() handlin
g
o
f subtractio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: remove some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce new handle_subtr
a
ct_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
m
ath: c
r
eate
n
ew handle_right_shift() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: make new handl
e
_know
n
_binop() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpe
n
ter
m
ath
:
cr
e
a
t
e new handle_
b
itwise_
A
N
D
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carp
e
nter
math: introduce handle_mod_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
ma
t
h: c
r
eate h
a
ckish temp
o
rary handle_bin
o
p_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pent
e
r
ma
t
h
:
cre
a
te
n
ew handle_minus_preop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
m
ath: create new handle_bitwise
_
negate
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intr
o
duce
h
a
ndle_e
x
pression_s
t
a
tement_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpente
r
mat
h
: use hand
l
e_variable() in h
a
ndle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpe
n
ter
math: introduce ha
n
dle_ne
g
ate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpen
t
e
r
math: introduce han
d
le_
a
mp
e
r
s
a
nd_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: hack
u
p a temp
o
rary h
a
ndle
_
p
reop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math
:
handle EXPR_POSTOP
with
_ge
t
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
e
r
m
ath: i
n
troduce handle_conditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
intr
o
duce handle_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: introd
u
ce handle_c
o
mparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: create handle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: create handle_vari
a
ble(
)
inst
e
ad of _get_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: m
o
ve ge
t
_c
o
nst_value() forwar
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
e
r
m
a
th: handle casti
n
g
in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: fix up some thinkos in th
e
_get_rl()
trans
i
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
introd
u
c
e
temporary RL_IMPLIED e
n
um
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
m
a
th: d
u
plicat
e
_get_value() into _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
ent
e
r
math: mo
v
e
ab
s
ol
u
te min/max code
from _get_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
ter
mat
h
: introduce
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
enter
ranges: int
r
od
u
ce rl_to_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
ma
t
h: s/NOTIMPLIED/EXA
C
T/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Ca
r
p
e
nter
m
a
t
h: improve
absolute max/min with rega
r
ds to castin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Car
p
enter
sv
a
l: fix sval_too
_
high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpenter
db: introduce call_results_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpenter
db
:
move get_param_nam
e
() to central locati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
pe
n
ter
flow:
look at st
a
tic
a
nd
n
ot-
s
tat
i
c
l
ocal inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpent
e
r
ext
r
a
:
a
dd set_extra_no
d
mod(
)
to sma
t
c
h
_e
x
tra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
d
eref
:
fix s
e
gfault p
a
rsing invalid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Da
n
Carpenter
implie
d
: p
r
e
serve
e
quival
e
nce
acros
s
switch sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpenter
m
a
th: hand
l
e sizeof fo
r
z
e
ro
s
iz
e
bi
t
fields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Ca
r
pent
e
r
extra: ha
n
dle previo
u
sly assi
g
ned simple math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Carpenter
extra: handle "if (
a
- 3 > 1
0
0) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
an
Carpenter
extra:
split
m
atch
_
c
ompar
i
s
on
(
) into two functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpe
n
ter
c
a
pped: know
n
values a
r
e always
c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
C
a
r
pe
n
ter
Revert "sp
a
rse: i
n
tr
o
duce get_ex
p
re
s
sion_value_nomo
d
()"
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpenter
show_unreacha
b
l
e
.
sh: add some more ignored ker
n
el
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpenter
flow:
don't print duplicate "u
n
reach
a
ble code" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan
Carpenter
db: replac
e
d
a
tabase info scripts with s
m
db
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
a
n
C
arpenter
show_unreachabl
e
.
sh: ch
a
nge the line
n
umber form
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
Carpen
t
er
s
how_unr
e
achable
.
s
h
: replace tabs
with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpent
e
r
db: kernel: fa
k
e
u
p -
>
read/write() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
db: store "t
o
o commo
n
" funct
i
ons
i
n the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpent
e
r
param_c
l
eared: clear_buff
e
r
:
add the
m
to the check_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
enter
extra: do
n
't use the indirect_modification_
h
ook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: make
param_fi
l
t
e
r set_extr
a
_m
o
d(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenb
e
rg
:
remove
pah
o
le
d
e
pendency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
ar
s
e: add a big hack to track packed
s
tr
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an
C
a
r
penter
*new
*
s
m
a
tch_clear_buffer
.
c: handl
e
me
m
set()
ty
p
e
function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpen
t
er
pa
r
am_limit/
f
ilter: ignore who
l
e ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ranges: an emp
t
y ra
n
ge is not
a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
e
xtra: remove some d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an
Carpe
n
ter
extr
a
: small fix
for when the d
a
tabase i
s
disa
b
le
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
ent
e
r
db: alway
s
sp
l
i
t th
e
return valu
e
s
if w
e
're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpen
t
er
conditions: use
set_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 C
a
rpenter
user_data: compat sy
s
c
all para
m
eters ar
e
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: us
i
ng a user
suppli
e
d offset i
n
t
o
an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Car
p
ente
r
locking: add some mor
e
bh lo
c
k func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
arpenter
Merge
branc
h
'rfc-attribute-struct' of git://git
.
k
ernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an
C
arpe
n
ter
c
hec
k
_deref: disabl
e
"pote
n
ti
a
l N
U
LL
d
erefe
r
ence" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpen
t
er
loc
k
ing: ad
d
l
o
cal_b
h
_disa
b
le/enabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Carpenter
locking: handle null vs non-
N
ULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpe
n
ter
locking: update valid
a
tion/ tes
t
s to the
n
e
w warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
function_
p
trs: "(*ptrs[0])(
a
, b)" is the same as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
fu
n
ction_ptrs: record wh
e
n fun
c
ti
o
n
pointer is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosen
b
erg: remove some structs wh
i
ch don't
h
av
e
h
o
les
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg:
c
heck for
nla_put info leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
r
penter
flo
w
:
fake member
and element assignment
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
en
t
er
expre
s
sions: intr
o
duce array_element_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
loc
k
ing:
t
ake returns values int
o
consider
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
chec
k
_
kerne
l
: look har
d
er for the
container_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
i
m
pl
i
e
d: db
:
fix how retu
r
n
s
a
r
e
b
r
o
ken
a
pa
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: return_id was set incorrect
l
y when inline funct
i
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpente
r
d
b
:
fix h
o
w
the return valu
e
s are casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
D
an Carpente
r
helper
:
make is_array
(
)
a
c
cep
t
NULL p
o
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: fun
c
tion_ptrs
:
do
b
etter at fun
c
tion ptr to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
f
l
ow: create fake
a
s
s
i
gnm
e
nts fo
r
array
d
e
c
l
arations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
e
r
flow: exp
r
es
s
io
n
s:
don't
try upda
t
in
g
to
u
n
i
nit
i
alized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db:
f
ixup
_
kernel
.
sh: (
s
t
r
uct m
I
SDNchannel)->sen
d
in
f
ormation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b
: fixup_k
e
rnel
.
sh: record whe
r
e ->notifier_call
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
a
rpenter
f
low: handl
e
inli
n
e
s bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Ca
r
penter
db: function_ptrs
:
track
pointer to
p
ointer assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
pe
n
t
er
m
a
t
h
: silence some buffe
r
overflow false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
a
rpent
e
r
db:
fixu
p
_ker
n
el
.
sh:
ignore (st
r
uct
t
i
mer_list)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
extra: Fix segmentatio
n
fault in match_ass
i
gn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
t
e
r
d
b
: look
u
p all t
h
e
functi
o
n pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Car
p
e
n
ter
h
elper: allow get_
p
a
r
am_
n
um_from_sym() to be used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next