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
Dan Carpenter
db
:
do
n
'
t
query
r
etu
r
n
_val
u
es tabl
e
any more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
c
leanup
t
h
e
r
e
st of
h
andle_bin
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
math: fix new
h
andle
_
conditional
_
rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: intr
o
duce handle_divide_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carp
e
nter
math
:
c
o
uple bug
s
i
n
h
andle
_
subt
r
act_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Ca
r
penter
sval: fix sval
_
binop_overflows()
handling of s
u
btra
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: remo
v
e some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce
new h
a
n
d
le_s
u
btract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpent
e
r
math:
create
n
ew
handle_right_shift() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
e
r
math: make new
handle_known_binop() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: create new handl
e
_bitwise_AND() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce h
a
n
d
l
e_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
t
h
:
cr
e
ate hackish tempor
a
r
y handle
_
bino
p
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpen
t
er
math: create new han
d
l
e
_minu
s
_preop(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: crea
t
e
n
ew handle_bitwise_ne
g
a
t
e()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpente
r
math: introdu
c
e
h
and
l
e
_
expression_stat
e
men
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: use
h
andle
_
vari
a
b
l
e() in h
a
ndle_pr
e
op_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
Carpenter
m
ath:
introduce handle_negat
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: introduce ha
n
dle
_
ampersand
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: hack
u
p a temporary
handle
_
preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
math:
handle
E
XP
R
_
POST
O
P wi
t
h
_
g
et
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
t
h: in
t
roduce
han
d
le_c
o
nditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introd
u
c
e
handle
_
logi
c
al_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intr
o
duce h
a
nd
l
e_comparison_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math:
c
reate handle_ca
l
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: create handle_va
r
iable()
instead of _get_implie
d
_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
ma
t
h: move get_const
_
value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: handle ca
s
ti
n
g
i
n _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
m
a
th: fix up some
t
hinkos i
n
t
h
e _get_
r
l()
t
ransitio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
u
ce temporary
RL_IMPLI
E
D
e
num
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: dupl
i
c
a
te _get_val
u
e() into _g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: m
o
ve abso
l
u
te m
i
n/m
a
x code from _get_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: i
n
troduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carp
e
nt
e
r
r
a
nges: introduce rl_to_s
v
a
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carp
e
nter
math: s/NOTIMPLIED
/
EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
D
an
C
arp
e
nter
mat
h
:
improve ab
s
olute m
a
x/min
wit
h
reg
a
rds to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Da
n
C
ar
p
en
t
e
r
s
val: fix
sval_to
o
_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
an Carpenter
db: in
t
roduce call_
r
esults_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
C
a
r
penter
db: mov
e
get_pa
r
a
m
_name()
to central
l
o
c
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
nter
flow:
look at st
a
tic an
d
not-s
t
at
i
c loc
a
l in
l
ine functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpent
e
r
extra: ad
d
set_extra_nod
m
od() to s
m
atch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan
Carpe
n
ter
deref: fix s
e
gfaul
t
parsi
n
g invalid
c
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpen
t
er
im
p
l
ied
:
preserve e
q
uival
e
nce ac
r
oss sw
i
tch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
arpenter
math:
h
andle s
i
z
eof for zero size b
i
tfie
l
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra
:
handle pr
e
vi
o
usly as
s
i
gned simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Ca
r
pen
t
e
r
extra
:
handle
"
if (
a
- 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Car
p
en
t
er
e
xt
r
a: split m
a
tch_compariso
n
() into two fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
capp
e
d:
k
n
own values a
r
e always cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
Revert "sparse: introduce get_e
x
pressi
o
n_v
a
l
ue_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
sh
o
w
_
unreachable
.
sh: add som
e
more ignored ke
r
nel f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
D
a
n Ca
r
penter
f
low: don't print
d
uplicate "unreachabl
e
code" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Car
p
e
nter
d
b
: replac
e
da
t
abase info s
c
ripts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_u
n
reachable
.
sh: change the line number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
D
an Ca
r
penter
show_unreachable
.
sh
:
replace tabs
w
ith
s
paces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpen
t
er
db: kernel:
f
ake up ->read/write() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
n
t
er
db: sto
r
e "too
c
ommo
n
" funct
i
ons i
n
the
d
atab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
p
a
ra
m
_cleared: clear_buffer: ad
d
th
e
m
t
o t
h
e check_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
extra: don'
t
use
t
he indi
r
ect_modification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
extra
:
make param_fil
t
er set_extra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
rosenberg: rem
o
ve pahole
depend
e
ncy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
parse: a
d
d a
b
ig hack to
t
rack packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
arpenter
*new* smatch_clear_buffer
.
c: hand
l
e memse
t
() type
f
unct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Ca
r
penter
para
m
_limit/filt
e
r
: ignore
w
hole rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
ranges: an
e
mpty ra
n
g
e
is not a who
l
e range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpe
n
ter
extra: rem
o
ve some dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
extra: small fix for when th
e
d
atabase is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
db: alway
s
split t
h
e
r
etur
n
value
s
if we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
condi
t
ion
s
:
us
e
se
t
_ext
r
a_exp
r
_mod() to cha
n
ge
extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpent
e
r
user
_
data: compat s
y
sc
a
ll parameters are us
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
us
e
r_data:
u
sing a us
e
r supp
l
ied offs
e
t into an kn
o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
e
n
ter
locking
:
add some more bh
l
ock f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpente
r
Merge branch 'rfc-at
t
ribute-
s
tru
c
t' of git://g
i
t
.
k
ernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
c
he
c
k_
d
er
e
f: di
s
a
b
le "potential N
U
LL derefer
e
n
ce" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpe
n
ter
l
o
c
king: ad
d
local_bh_d
i
sable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Ca
r
pen
t
er
l
ocking: handle null vs non-NULL
re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
p
enter
lo
c
king
:
upda
t
e
val
i
dation/ tests to
t
he n
e
w warni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
unction_
p
t
r
s
:
"(*
p
tr
s
[0])(a,
b
)" is the same as
"ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Ca
r
penter
fu
n
cti
o
n_ptrs: r
e
cord when function
p
ointer i
s
saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
ros
e
nberg: remove s
o
me structs which don't
h
ave hol
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
rosenberg: check
f
or
n
la_put in
f
o leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carp
e
nte
r
flow: fake
m
ember and element assignments bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
enter
expression
s
: introduce arra
y
_ele
m
ent_expres
s
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: take return
s
va
l
ues into considerat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check_kerne
l
:
lo
o
k harde
r
for the c
o
ntainer_o
f
() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
implied: db: fix how
re
t
urns are broke
n
apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
retu
r
n_id
w
as set incorrectly wh
e
n inline
funct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
db:
f
ix how
the retur
n
valu
e
s are
c
asted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Ca
r
p
e
nter
helpe
r
:
m
ake is_array()
ac
c
e
pt NULL
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Carpenter
db
:
function_ptrs
:
d
o
b
etter at function p
t
r to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
flow: create fake ass
i
gnments for a
r
ra
y
d
e
clarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
rpente
r
f
low: expressions:
d
on't try up
d
atin
g
to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_ke
r
nel
.
sh
:
(st
r
uct mISD
N
chan
n
el)->send information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db: fixup_kerne
l
.
sh:
record
w
he
r
e ->no
t
ifier_c
a
ll is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
pent
e
r
flow: handle
inlines
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fun
c
tio
n
_ptrs: track pointer
to poi
n
ter a
s
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpenter
math: silen
c
e some buffer overflow
f
a
lse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db
:
fixup_
k
ernel
.
sh:
i
gn
o
r
e
(struc
t
timer_li
s
t)->fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
enter
db: l
o
o
k
up all the function po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: allow
g
et_param_num_
f
rom_sym() to b
e
used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string
_
list: introduce list_has_s
t
ri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next