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
smatch_data/kernel: add some more ignored stuff
2019-02-26
Dan Carpenter
smatch_data/kernel: a
d
d
some more i
g
nore
d
stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
t
e
r
smatch
_
data/kerne
l
.
no_return_funcs
.
add Add Y
Y
_
F
ATAL_ERR
O
R
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
d
b/dele
t
e_too_
c
om
m
on_fn_pt
r
.
sh: delete
some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
a
rpenter
mem_tr
a
cker: use
/proc/
s
elf
/
statm for
out_of_
m
emory(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
i
maginary_abso
l
ute: ign
o
re loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
fl
o
w
: fix v
a
lid_ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan
Carpenter
smatch:
always print the time: and mem:
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
s
l
ist: do a
sm
a
ll
s
peedup i
n
cmp_
p
os
s
ible
_
sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carp
e
nter
sl
i
st: reverse the ord
e
r
of the strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
address: i
m
prove
g
et
_
ad
d
ress(
)
for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address: m
a
ny arra
y
addresses can be marked
a
s
valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpe
n
ter
a
ddress:
get_
m
emb
e
r
_of
f
se
t
_from_deref()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
ente
r
m
a
t
h: move more stu
f
f
t
o get_rl
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: make insert_string()
ret
u
rn false if it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
t
ring_
l
i
st:
call strcmp() o
n
ce
instead of twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
Carp
e
n
t
er
math: do
n
't alloca
t
e the range_
l
ist if not n
e
cessary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math: rename _get_rl() => ge
t
_r
l
_he
l
p
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
implied: b
a
il earlier on par
s
ing parameter limitation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
Car
p
enter
m
ath
:
re-wri
t
e _get
_
sval
(
) to
p
a
ss the resul
t
s
as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpente
r
slis
t
: sp
e
ed up add_
p
o
s
s
ible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
an Ca
r
pe
n
t
er
slist: a poi
n
t
er is
e
qual to itself in cmp_possible_sm(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Carp
e
nter
lo
c
kin
g
: s
p
in_trylock() r
e
turns 1
o
n
s
uccess
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n Carpenter
slist: s
p
e
ed up c
o
py_possi
b
les()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: rename
cm
p
_sm_states() to cm
p
_possib
l
e_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpente
r
addre
s
s
: i
m
p
rove handling of __sm
a
tch_impli
e
d(
&
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
a
rp
e
nter
n
o
spec:
us
e
s
tatement co
u
nt to ma
r
k th
i
ngs as nos
p
ec
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carp
e
nter
nospec: pre
e
mpt_disable()
s
tops s
p
eculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpe
n
ter
buf_size:
i
mprov
e
callo
c
() han
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n Carpenter
smdb
.
py: parse ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
rpent
e
r
o
ff_b
y
_one_relative: remove
some deb
u
g
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carp
e
n
ter
extra: in PARAM_LIMIT/FI
L
ER th
e
n
set
b
oth the
n
ame
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n Carpenter
ze
r
o_to
_
err_ptr
:
don't
w
arn on imp
o
ssible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
estate
:
delete
e
s
t
ate_filter_
r
ange/
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan C
a
rpenter
ke
r
nel: fix type
b
ug han
d
le IS_E
R
R
(
) a
n
d
f
rie
n
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
D
an Carpenter
db: d
o
n't pre
t
end
to d
e
refer
e
n
c
e integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
D
a
n Carpente
r
t
es
t
ing_index
_
after_use
:
remov
e
d
ebug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
c
apped: don't
s
et c
a
pped for kno
w
n values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
ter
extra: tweak ha
r
d max
i
n
c
o
n
ditions and
m
acros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Carpenter
extra: pass hard max across
functio
n
boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
C
arpen
t
er
db: split zero an
d
n
on-zero re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
enter
i
m
plied: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n
Carpenter
implied: remo
v
e a non
s
ense li
m
itation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpen
t
er
testing_index_after
_
u
s
e: sil
e
nce s
o
me false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
a
r
pent
e
r
i
m
plied: re
m
ove the --debug-implied
o
ption
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
states: fix a
bug handling
ne
g
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
en
t
e
r
equiv: up
d
at
e
"other" names
a
s wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
buf_comp
a
riso
n
:
re-writ
e
t
o be more fle
x
ible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
d
b
/kernel
.
retur
n
_
fixes: add some more return
f
ixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Carpenter
db
/
vim_
d
b: don't com
p
l
ain when the file is not found
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
a
rpen
t
e
r
db/cr
e
at
e
_db
.
sh: don't compl
a
in when
-p=<project>
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/fixup_kernel
.
sh: fix up stu
f
f from the un
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
v
a
l
idati
o
n: update a few t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
penter
type:
commit some missi
n
g pieces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
extra: small spe
e
dup
in
set_
p
aram_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
helper: fix expr_to_chunk_helper
(
) for struct m
e
m
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
e
n
ter
c
o
mp
a
ris
o
n: prin
t
a "%
s
" strin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
constraints: remov
e
debuggin
g
a
nd us
e
th
e
strippe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
db:
i
mprove recordi
n
g comparis
o
n
s
to parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
i
m
pl
i
ed: remo
v
e some
d
u
p
licate debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
real_absolute: don't store dat
a
for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
s
v
a
l: remove an extra
spac
e
character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
type: make
po
i
nters unsi
g
n
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
e
x
t
ra: tighten canonical for
loop handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra: fix function comp
a
risons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
ranges: i
m
prove cas
t
ing
negatives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Ca
r
pe
n
t
e
r
implied:
d
on't use
i
ncomplete st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implica
t
ions:
r
emove a mag
i
c
n
u
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Carpenter
db: show comparison
strin
g
s for
cond
i
t
i
onal
r
et
u
r
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carpenter
db: don't store recurs
i
ve struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carpenter
t
ype: han
d
le poin
t
er type co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
arpenter
extra/unt
r
ac
k
ed
_
param: mark lost param
e
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an Carpent
e
r
addre
s
s:
r
e
t
u
rn
un
k
nown if
we can't figure
o
u
t the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
D
a
n
Carpente
r
implied: tweak
some
d
eb
u
g statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n
Carpenter
expression
s
: parse "$0->foo
.
b
ar" co
r
re
c
tly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Ca
r
penter
return_to
_
param: us
e
ident->len in
s
t
e
a
d
of strlen
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpente
r
param_se
t
:
h
a
ndle mtag assi
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Ca
r
penter
assigned_expr: ma
k
e it work
f
o
r
parameter ass
i
g
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Da
n
C
a
r
pente
r
equiv: use DB
informa
t
ion to se
t
extra s
t
ate in equiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan C
a
rpenter
extra: improve get_other_name_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extr
a
: futz
a
round w
i
th get_o
t
her_
n
ame_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carpenter
he
l
per: improve
g
e
t
_member_n
a
m
e() for
ano
n
y
mous structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db: e
s
cap
e
new lines
i
n sav
e
_
c
a
ch
e
_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
pe
n
ter
range
s
:
c
onstify call_results_to_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpenter
extr
a
: filter
really
l
ong unused
p
ar
a
m
value
i
n
f
ormat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n C
a
rpe
n
ter
ext
r
a:
u
se ident->len instead
of calling str
l
e
n
(iden
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
d
b
: don't create new splits in sp
l
it
_
positive_from_negative()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpent
e
r
extra: fix ret
u
rne
d
_st
r
uct_members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpenter
param_u
s
ed: fix handling of ca
l
led functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
ex
t
ra: export in
_
warn_on_ma
c
ro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
t
y
p
e: m
i
sc small cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
ype: fix ge
t
_
member
_
from
_
st
r
ing()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
k
patch
.
s
h: fix spelling s/ammend/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
n
t
er
ty
p
e:
a
dd
a
short c
u
t
i
n ge
t
_r
e
al_bas
e
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
an
C
arpent
e
r
implied:
P
reser
v
e ->hard_ma
x
for fake history state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpen
t
e
r
ex
t
ra: p
r
ese
r
ve hard_m
a
x
aft
e
r
com
p
arisons to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
an Carpenter
slis
t
:
make
s
m
-
>
c
h
i
l
dren a
s
maller type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
slist: rename v
a
ria
b
les in __m
e
rge_
s
tr
e
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
sli
s
t: handle the fast path i
n
_
_merge_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
slist: s
i
m
p
l
i
fy
__merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
D
a
n
Carpente
r
no
s
pec: don't record nospec parameter info which
hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next