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
mtag_map: use expr_to_mtag_offset()
2019-03-18
D
an Ca
r
penter
mtag_map:
u
s
e expr_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arp
e
nter
debug: use expr_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
arpenter
mtag: twea
k
get_m
t
ag_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpen
t
er
mta
g
: delete totally b
o
gus
ge
t
_deref_mta
g
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
D
a
n Ca
r
penter
mtag: delete uncalled
r
emove_dereference() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Car
p
e
nter
mtag: tweak how get_ar
r
ay_mtag_offset() wor
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: del
e
t
e
uncalled get_mt
a
g_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Da
n
Carpenter
mtag: delete
s
ome dea
d
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
a
r
p
enter
m
t
a
g:
remo
v
e un
u
sed
g
e
t
_
m
tag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
Carp
e
nter
math
:
r
e
m
o
ve the get_impl
i
e
d_value_lo
w
_overh
e
ad() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpente
r
mt
a
g
_
dat
a
:
r
e
-write in term
s
o
f
mtag/of
f
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan C
a
r
p
enter
mtag_data: improve lookin
g
up the mtag_data for "fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: remo
v
e duplicat
i
ve code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag: pus
h
some mtag seed code
(
but don't e
n
a
ble
i
t)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
mtag
:
handle
f
u
nc
t
io
n
poi
n
ters correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
capped:
sto
p
marking everything as cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan Carpenter
capped: pointer
s
can'
t
be
c
apped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-18
Dan
C
ar
p
enter
db: mark some states as
i
gn
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
mtag: fi
x
handling
of arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
c
o
n
taine
r
_
o
f: fi
x
t
h
e validatio
n
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
im
p
lied: remove skip_i
m
plic
a
t
io
n
s again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
a
n Carpent
e
r
imp
l
ied: make a timeout use
usec
i
n
s
tead of s
e
conds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Da
n
Carpent
e
r
integer_overflo
w
: sp
l
it some integ
e
r
o
ve
r
flow handling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
a
d
dress: Use r
l
_bino
p
()
t
o c
a
lculate the o
f
fset into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpente
r
address: han
d
le
anonymou
s
u
n
ions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Car
p
enter
address: calculate
bit
types offs
e
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan Carpenter
math
:
handle __builtin
_
offset
o
f() be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
Dan
C
arpen
t
er
extra: handle
u
nmatched global variables be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-15
D
an Carpenter
ext
r
a: don'
t
st
o
re HARD_MAX f
o
r kn
o
w
n parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
D
a
n Carpenter
param_us
e
d: don't save
bogus d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-14
Dan Carpent
e
r
cont
a
iner_of: re-write
c
ontainer
_
of()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carpenter
helper
:
chang
e
how derefs
a
r
e
d
i
spla
y
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Ca
r
penter
math: a
l
low so
m
e re
c
u
rsion in hand
l
e_a
d
dre
s
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan
Carpenter
c
o
ntainer
_
of: compare the
symbols f
i
r
st o
f
al
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan C
a
rpenter
c
o
ntainer_of: export
th
e
get_container_na
m
e() func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
Dan Carp
e
nter
mtag: update the mtag when
i
t
'
s set using a
p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-12
D
a
n Carpenter
math: ha
n
dle array add
r
esses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
address:
u
nify the code paths a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-11
Dan Carpenter
address: rename a va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan C
a
rpente
r
free_st
r
i
ct: ignor
e
untrac
k
ed
p
arameter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
db: don't print comparisons
w
hen
a
function
r
etur
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Ca
r
pente
r
capped: han
d
le assignments in the comparison better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
extra: h
a
ndle PARAM_ADD/SET better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
i
mpli
e
d: remove an
unu
s
ed
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
type: debuggi
n
g
:
display enum ty
p
es in
type_to_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math: don't bother cac
h
in
g
EXPR_
V
ALU
E
va
l
u
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan Carpenter
math:
f
ix RL_ABSOLUTE
for unk
n
o
wns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
Dan
C
arpen
t
er
s
list: don'
t
allocat
e
so m
a
n
y
duplicate ->p
o
ss
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-06
D
an Car
p
e
nte
r
m
t
ag:
prevent a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
Dan Carpent
e
r
extra: fix a bug handling decrementi
n
g for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-05
D
an Carpent
e
r
extra: fix some type
b
ug
s
ha
n
dli
n
g loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpen
t
er
retu
r
n_cast: fix this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpenter
i
m
p
li
e
d
: fix a bug handlin
g
partial
i
m
p
l
i
ca
t
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan
C
arpenter
i
m
plied: f
i
x
a
b
ug ha
n
d
l
ing part
i
al
i
mp
l
icatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-03-04
Dan Carpente
r
i
mplied: fix a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpe
n
ter
kernel: ignore lockdep inf
o
rm
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpent
e
r
states: pre
v
e
nt some n
o
name states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-28
Dan Carpente
r
slist: t
w
e
a
k how
OOM is h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan
Carpenter
ma
t
h: a
l
way
s
try look up if it's a
f
ixed constant value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-27
Dan Carpenter
implied: add ->skip_i
m
p
l
icati
o
n
s
b
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
ma
t
h: i
n
t
roduce get_rl
_
h
elper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpen
t
er
math: rename get_rl_helpe
r
() to get_rl_inte
r
nal()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: rem
o
ve some debug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
math: fix a bug gett
i
n
g th
e
"
exact
"
add
r
ess of a string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ent
e
r
implied: cle
a
n up filter_s
t
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
e
n
ter
im
p
lie
d
: ren
a
m
e "incomplet
e
" to
"
bail"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpente
r
implied
:
delete ->s
k
ip_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
ente
r
implied: delet
e
->nr_children
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpe
n
ter
i
m
p
l
ied: very mes
s
y re-w
r
ite of
how to bail if
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
precedenc
e
:
add a warning fo
r
"foo & bar > baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpenter
kernel_
u
se
r
_data: fix
a
type is
s
u
e
i
n set_p
o
ints_to_user_d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
kernel_u
s
e
r
_data: handle f
u
nction
s
that r
e
turn a poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
penter
k
e
r
nel_u
s
er_
d
at
a
:
handle
s
t
ruct
a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Car
p
enter
validation:
u
p
d
a
te
tests
to reflect c
o
de ch
a
n
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
e
nter
validation/sm_se
l
ect5
.
c
:
updat
e
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math:
fix a type i
s
sue with p
o
inter subtractions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
db: fi
x
passing caller info for f
r
ob(&f
o
o);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpe
n
ter
parse_call_ma
t
h: fix inline validat
i
on t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
function_hooks: fix a
t
ype issue in return_implie
s
_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pe
n
ter
math
:
remove de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
buf_
s
ize
:
fix handlin
g
of e
n
d
of struc
t
arrays t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an
C
arpenter
lo
c
ki
n
g: make ret
_
non_zero
r
ange from 1-s32max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
locking: add some
m
ore loc
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
sm
a
tch: add
some
s
tring literals to
s
nprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
spectre: che
c
k
for secon
d
halves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
u
s
er_d
a
t
a: fix a crashi
n
g bug on inva
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
zero_to
_
err_p
t
r: fix
fall
o
ut from
unsigned pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
user_data: handl
e
capped d
a
ta better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
db/ke
r
ne
l
.
return_
f
ixes: fix __sock_create() and w
a
i
t_fo
r
_
co
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpen
t
er
db/fixup_kernel
.
sh: igno
r
e RIO_BAD_SIZE returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Ca
r
penter
s
m
atch_data/
k
ernel: add some mor
e
ignored
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
smat
c
h_da
t
a/kernel
.
no_retu
r
n_funcs
.
a
d
d Add YY_FATA
L
_ERR
O
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
db/d
e
lete_too_comm
o
n_fn_ptr
.
sh
:
d
elete some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
mem_tracker: use /pro
c
/self/s
t
atm for out_o
f
_me
m
ory()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpenter
imaginary_absolute: ignore loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
flow: fix valid_p
t
r_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpe
n
ter
sm
a
tch: always
p
rint the time: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slist: do a small sp
e
e
d
up in
cm
p
_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
r
p
en
t
e
r
s
l
ist: revers
e
the order of the strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
a
r
p
e
nter
a
dd
r
ess:
improve
g
et_addres
s
(
)
f
or st
r
uc
t
mem
b
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next