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
ranges: problems parsing "s32min-(-1)[<=p2]"
2013-05-21
Dan Carpenter
db: don't query return_val
u
e
s ta
b
le any mo
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Car
p
e
n
ter
math: clea
n
up the r
e
st o
f
h
a
nd
l
e_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h: fix
new handle_co
n
ditional_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpenter
math: introduce ha
n
dle
_
divide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
m
a
th: couple bug
s
in h
a
ndl
e
_subtr
a
ct_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
s
val: fix sval_bi
n
o
p
_
o
ve
r
f
l
ows() han
d
ling of s
u
b
t
raction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
mat
h
:
rem
o
ve
s
ome
d
ead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce new handl
e
_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create new handle_right_shift() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new handle_kn
o
wn_binop() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create ne
w
h
a
n
d
l
e
_bi
t
wise
_
AND() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: introduce handle_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: create hackis
h
temporary hand
l
e_
b
i
n
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: create new handle_minus_preo
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpente
r
math: cr
e
ate new handle_
b
itwise_neg
a
te() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: introduce
ha
n
dle_e
x
p
res
s
ion_statement_
r
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
m
a
th: use handl
e
_variab
l
e(
)
in
handle
_
pr
e
op_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpenter
math:
i
nt
r
oduce handle_negat
e
_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: int
r
oduce handl
e
_
a
mpersan
d
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: hack
up a temporary handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: handle EXP
R
_POSTOP with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce h
a
nd
l
e_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
penter
ma
t
h: in
t
rodu
c
e han
d
le_l
o
gical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
introduc
e
han
d
le_com
p
aris
o
n_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpent
e
r
math: crea
t
e handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
cr
e
ate ha
n
dle_v
a
ri
a
ble() instead of
_g
e
t_impl
i
ed
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: m
o
ve get_
c
onst_val
u
e
() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
ter
math: handle castin
g
in _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
m
a
th: fix up some thinkos
i
n the _get_rl() tra
n
sition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: intr
o
duce tem
p
ora
r
y RL_
I
MP
L
IED
e
num
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math:
d
upl
i
cate _get_value(
)
into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
m
o
ve absolu
t
e min
/
m
ax code from _get_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
e
r
ma
t
h
:
introduce _g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
ranges: introd
u
ce r
l
_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
Carpenter
m
a
th: s
/
NOTIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
rpenter
math: impro
v
e
a
bsolut
e
max/min wit
h
regards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Da
n
Carpenter
sval: fix sval_too_high(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
db: in
t
roduce c
a
ll
_
results_to_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: move g
e
t_para
m
_
na
m
e()
to central l
o
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n Carpenter
flow: look at stat
i
c
an
d
not-static local in
l
ine fu
n
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Car
p
enter
extra: add set_
e
xtra_
n
odmod(
)
to s
m
atch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
der
e
f: fix segfau
l
t parsin
g
i
n
v
a
l
id c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Da
n
Carpenter
impli
e
d
:
prese
r
ve equivalence a
c
ross switch
s
t
atemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Carpenter
m
a
t
h:
handle sizeof
for zero size bitfie
l
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
ex
t
ra: handle previously assigned simple m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
a
r
penter
extra: handle
"
if
(
a
- 3 > 100)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: s
p
lit match_comp
a
rison() into two functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
an Carpente
r
c
a
pped
:
know
n
values ar
e
alwa
y
s cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
Revert "spa
r
se: introduce g
e
t_expression
_
value
_
nomod
(
)"
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpent
e
r
show_unreachable
.
s
h
:
a
d
d some m
o
re ignored kerne
l
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan
C
arpenter
flo
w
:
don't print dup
l
icat
e
"
un
r
eachabl
e
code" wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
d
b
: rep
l
ace dat
a
base
info scr
i
pts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
sh
o
w
_
u
n
reachable
.
s
h: change
t
he line number
fo
r
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unreachable
.
sh
:
replace tabs wi
t
h
spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db
:
kernel: fake up ->read/w
r
ite
(
)
l
i
mits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
db: store "too common" fu
n
cti
o
ns
i
n
t
h
e d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
param_cleared: c
l
ear_buffe
r
: a
d
d them to the c
h
eck_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: don'
t
use
the indirect_modification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpen
t
e
r
extra: make param_filter set_extr
a
_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rose
n
berg: re
m
ove
pahole dep
e
n
d
ency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
pa
r
s
e
:
ad
d
a big
h
ac
k
to track packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*ne
w
* smatc
h
_clear_buffer
.
c: h
a
ndl
e
mems
e
t
() type functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
rpe
n
ter
para
m
_
l
im
i
t
/
filter
:
ignore
w
hole ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ranges: an empty
r
ange is
not a wh
o
le range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpente
r
extra: remove some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
C
a
rpenter
extra: small fi
x
for wh
e
n
the databas
e
is disa
b
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
ter
d
b: alway
s
split
t
he retur
n
values
i
f we're
n
ot using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
condi
t
i
o
ns:
use
s
et_extra_e
x
pr_mod
(
)
to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: compat s
y
scall parameters are
u
s
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user
_
data: using a user suppl
i
ed offset int
o
an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
lock
i
ng: add s
o
m
e more bh lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
M
erge branc
h
'rfc-
a
ttribute-struc
t
'
o
f gi
t
://gi
t
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
arpe
n
ter
check_deref: disable "potential NULL derefer
e
n
c
e"
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
a
n
Car
p
enter
locking:
a
dd
l
ocal_bh_
d
is
a
ble/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan
C
a
r
penter
locki
n
g: handle null
vs non-
N
ULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an
Carpent
e
r
loc
k
in
g
: up
d
ate validation/ t
e
sts to the new w
a
rning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: "
(
*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
C
arpen
t
er
function_ptrs: reco
r
d when fun
c
tion
p
ointer is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
o
s
e
n
berg
:
remove some
s
tructs whic
h
don
'
t have
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
rosenberg: check for nla_pu
t
info
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
fl
o
w
: fake
member and
ele
m
ent as
s
ig
n
m
ents
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
expressions: introd
u
ce
a
rray_e
l
ement_expressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
r
penter
locking
:
take returns v
a
lues
i
nt
o
con
s
ideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
ar
p
enter
check_kernel: look harder for the c
o
n
t
ainer_o
f
(
)
m
a
cro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
im
p
l
i
ed: db:
fi
x
how returns a
r
e
broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
db:
return_i
d
was set inco
r
rectly w
h
en inline functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nte
r
db: fix how the return
va
l
ues
are
casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
D
a
n Car
p
enter
he
l
p
e
r: make is_array(
)
accept NU
L
L p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
db:
function_p
t
rs: do
b
ett
e
r
at function ptr
t
o
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
flow:
c
reate fake assignm
e
n
t
s for array de
c
larati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
flo
w
: expression
s
: don't try updating
t
o
u
n
initi
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
d
b
: fi
x
u
p
_kernel
.
sh: (struct mISDNchannel)->
s
end in
f
ormati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
C
a
rpenter
db: fixup_ker
n
el
.
sh: record where ->notifier_call
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carpenter
flow: han
d
le inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: function_ptrs: track
pointer to po
i
nter assig
n
m
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
rpenter
ma
t
h: sil
e
nce some buffer overflow fal
s
e posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b
:
fixu
p
_
k
ernel
.
sh: ignore (st
r
uct timer_list)
-
>
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
e
x
tra: Fix segmentation fault i
n
m
a
tch_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
db: look up all
the f
u
n
ction pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rp
e
nter
h
e
lper
:
a
ll
o
w
ge
t
_pa
r
am_nu
m
_from
_
sym
(
) to be
u
sed in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next