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: handle EXPR_POSTOP with _get_rl()
2013-05-20
Dan Carpenter
m
a
th: handle EX
P
R
_
POSTOP with _get_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: in
t
roduce handle_
c
ondi
t
i
o
n
al_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
te
r
math: introduce
h
andl
e
_l
o
gical_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
i
ntroduce handl
e
_c
o
mp
a
rison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpen
t
er
ma
t
h:
c
reate handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: create
h
andle_variable()
i
nstead of _get_implied_value
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
m
ath: move get_con
s
t
_
va
l
u
e
(
)
forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
ha
n
dle
c
a
st
i
ng in
_
get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math: fix
up some
thin
k
o
s in the
_g
e
t
_rl() tran
s
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
m
ath: intro
d
uce temporary
R
L_IMPL
I
ED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pe
n
te
r
math: d
u
plicate
_get_value() into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
t
er
math: move
absolute min/max code from _get_v
a
lu
e
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th
:
introduce
_
get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
ranges: introduce rl_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
m
ath: s/NOTIMPLI
E
D/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carp
e
n
t
e
r
math: i
m
prove abso
l
ute max/min with regards t
o
casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpente
r
sval: fix s
v
al_too_high
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db:
introduce call_results_to_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
db: move get_param_name() to central
locati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpenter
flow: look at s
t
a
t
ic and not-static local inl
i
ne functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: add set_extra_nodmod() to
s
m
atch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Car
p
enter
d
e
r
ef: f
i
x segfault
pa
r
sing
i
nv
a
lid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Da
n
Carpenter
implied: prese
r
ve equivalence across s
w
i
t
ch stat
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Car
p
enter
math: handle
size
o
f for zero size bitfiel
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Carpente
r
extra: handle
p
revi
o
usly assig
n
ed simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
Ca
r
penter
extra: h
a
ndle "if (a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
e
xtra:
s
plit match
_
com
p
arison() into two fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
te
r
c
a
ppe
d
: known values are alwa
y
s capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
Revert "sparse:
i
ntroduce g
e
t_
e
xpression_va
l
ue
_
nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpe
n
t
er
show_unre
a
chable
.
sh: a
d
d s
o
me mo
r
e i
g
n
o
red kerne
l
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
f
low: don
'
t print duplicate "unr
e
acha
b
le
code"
w
arning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
pent
e
r
db: replac
e
database info sc
r
ipt
s
wit
h
smdb
.
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_
u
nreachabl
e
.
sh: cha
n
g
e th
e
lin
e
numbe
r
f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
a
r
penter
show_un
r
eachable
.
sh: replace tabs wi
t
h
spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan
C
arpenter
db: kernel: fake
up ->read
/
write() l
i
mits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
db: stor
e
"to
o
co
m
mon"
functions i
n
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
para
m
_cl
e
ared:
c
le
a
r
_buffer: ad
d
th
e
m to the
c
heck
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
extr
a
: d
o
n't u
s
e
the in
d
irect_
m
od
i
fication_h
o
ok
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
er
extra:
make param_filter set_extr
a
_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
arp
e
nter
rosenbe
r
g:
rem
o
ve paho
l
e depend
e
nc
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
pars
e
: add a bi
g
hack
to t
r
ack pack
e
d structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Ca
r
p
enter
*
new* sm
a
tch_clea
r
_buf
f
er
.
c: handle memset() type fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pente
r
param_limit/fil
t
er: ignore whole
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
ranges:
an em
p
ty range is
not a w
h
o
le
r
ang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
p
e
nter
extra: remove some d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
ter
extra: small fix for when the dat
a
base is d
i
sable
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db: always split the return values
if we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
pe
n
ter
co
n
d
i
tions:
u
s
e
set_ex
t
ra_expr_m
o
d()
t
o change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
us
e
r_data: c
o
m
p
at
s
yscall parameters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: using a
user supplied off
s
et i
n
to an
k
nown
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
loc
k
i
ng: add so
m
e more bh lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge branch 'rfc-attribute
-
s
truct' of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carp
e
nte
r
ch
e
ck
_
d
e
ref: dis
a
ble "p
o
tential NULL de
r
eference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
locking: add loc
a
l_bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpen
t
er
l
ocking:
h
an
d
le null vs
n
o
n-NULL
r
e
t
ur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
ock
i
ng:
update val
i
d
a
ti
o
n/
tests to the
new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
u
nctio
n
_ptrs:
"
(*ptrs[0])(a, b)" is th
e
same
a
s
"ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
e
n
ter
fu
n
cti
o
n_ptrs: rec
o
r
d when
f
un
c
ti
o
n pointe
r
is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
ro
s
e
n
b
e
rg: remove som
e
structs which don't have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
rosenberg
:
check for
nla_put info le
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpenter
f
low: fak
e
mem
b
er
a
nd element
as
s
ignments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
exp
r
essions: introduce array_el
e
m
e
nt
_
e
xpression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
o
cking: take
r
eturns values into considerat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
check_k
e
rn
e
l: look harder for
t
he container_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
implie
d
: db:
fix
how returns are broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
db: r
e
turn_id
w
as s
e
t incorrectly when inli
n
e functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
t
e
r
db: fix h
o
w t
h
e
r
etur
n
values are casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
D
an C
a
rpenter
h
elper:
make is_a
r
ray() accept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
db: fu
n
ct
i
on_pt
r
s: do better at function ptr
to fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
f
low
:
cre
a
te fake assign
m
ent
s
for array declara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
fl
o
w: e
x
press
i
on
s
:
don't
t
ry updating t
o
uninitiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
db: fixu
p
_kernel
.
sh: (
s
t
r
uct mISDNchann
e
l)->send information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
db:
f
ix
u
p
_
ke
r
ne
l
.
sh: record wher
e
->not
i
fier_c
a
ll i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
flow:
h
and
l
e
inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an C
a
rpenter
db: fun
c
tion_ptrs: track poin
t
er to pointer assig
n
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
m
a
th: silence some buffer
overfl
o
w fa
l
se
pos
i
ti
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: f
i
xup_kernel
.
sh:
igno
r
e (st
r
uct ti
m
er_list)->funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
e
x
tra: Fi
x
segmentat
i
on fault in match_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpen
t
er
db: loo
k
u
p all the function po
i
nt
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpe
n
ter
he
l
p
er: allow get_par
a
m_num_from_sym()
t
o be used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
t
r
ing_l
i
st: intr
o
duce list_has_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpente
r
sma
t
ch_str
i
ng_list
.
c: se
p
arate string_list
funct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Ca
r
p
e
n
ter
db: only loo
k
u
p function p
o
inters
o
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
an
n
otate: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
helper: i
g
nore pa
r
ens i
n
expr_to
_
var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
o
verflow: si
l
ence kernel
false positive abo
u
t __p
e
r_cpu_
o
f
f
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
k
e
rnel: r
e
cover
m
odule_init/exi
t
() fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
flow: pass th
e
sym_
l
ist to
t
he
E
ND_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
d
b
: fixu
p
_kernel
.
sh remove some more USER_
D
A
TA t
a
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
:
speedup fill_db
_
c
aller
_
info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: improve
+= and -
=
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
sva
l
: introduce sval_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
s
val: fix sv
a
l_binop_overflows()
to
a
ccept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
introd
u
ce sma
t
ch_annotat
e
.
c: an
n
otate some c
o
mmon
f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpe
n
ter
db: give u
p
if
t
here are over 1000 returned
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
db: fix slow down
caused
by rec
u
rsive function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
buf_size
:
false positive
from larg
e
"implied" imp
l
i
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nter
h
e
lper: fix expr_to_str() f
o
r fun
c
t
io
n
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
db:
re
m
ove more us
e
r
d
ata from start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
ter
db: ma
n
ually delete some
U
SER
_
DATA ma
r
k
e
rs from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next