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: remove unused get_mtag_offset()
2019-02-25
Dan Car
p
ent
e
r
math:
re-write _ge
t
_
s
v
a
l
() to pass
t
h
e
r
e
sults as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
an
Carpenter
s
list: speed up add_pos
s
ible_sm(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: a pointer is
e
qu
a
l to itsel
f
in
c
mp_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Carpe
n
ter
l
o
ckin
g
: spin_t
r
ylock() returns 1 o
n
success
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist
:
speed up copy_po
s
sib
l
es
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpen
t
er
slist
:
rename
c
mp_sm_states() to c
m
p_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-19
Dan Ca
r
penter
addr
e
s
s: impr
o
ve
handl
i
ng
o
f __
s
match_implied(&
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpente
r
nospec:
u
s
e s
t
at
e
ment count to m
a
rk th
i
n
g
s as nospec
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n
Carpe
n
te
r
nospe
c
:
p
r
eempt_disable() stops
s
peculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpe
n
ter
b
u
f_s
i
ze:
i
mprove
c
all
o
c() han
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpente
r
s
mdb
.
py: parse
p
tr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
an
C
arpent
e
r
off_by_one_relativ
e
: r
e
move some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n Car
p
ente
r
extr
a
:
in PARAM_LIMIT/FILER t
h
e
n
s
et both
the name
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n Carpen
t
er
zero_to_err_p
t
r: don't warn
o
n impossible pa
t
hs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan Ca
r
penter
estate: delete estate_fil
t
er_
r
a
n
ge/sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan
C
arpen
t
er
kernel
:
f
ix t
y
pe bug ha
n
dle IS
_
ERR() and fri
e
nds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
db
:
don't pretend to
deref
e
re
n
ce integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
te
s
ting_index_after_use: rem
o
ve deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capped:
d
on't se
t
capp
e
d
f
or known values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpenter
extra: tweak h
a
rd ma
x
in c
o
ndit
i
ons and macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
ext
r
a: pas
s
h
a
rd max across function boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
db:
split zero and non-zero return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
i
m
p
lied:
r
emov
e
some dead c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpen
t
er
impl
i
ed: remove a nonsens
e
limit
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpenter
t
e
stin
g
_index_after_us
e
:
s
ilence
s
ome false po
s
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
impli
e
d: remove the --debug
-
impl
i
e
d option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n
Car
p
e
nter
sta
t
es: fi
x
a bug h
a
ndling negate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carpenter
equiv: update "
o
ther" na
m
es as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
a
rpent
e
r
bu
f
_comparison: re-write to be m
o
r
e flexible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Carpe
n
ter
db/ker
n
el
.
re
t
ur
n
_f
i
xes: add
s
o
me
m
ore
retur
n
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
penter
db/vim_db:
d
o
n'
t
c
omplain
when the file is not f
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carpenter
db/crea
t
e_db
.
sh: do
n
't com
p
lain when
-
p
=
<
p
roject> is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
penter
db/fixup_kernel
.
sh: fix
u
p stuff fr
o
m the
u
nsigne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
arpenter
validat
i
on: update a few
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carpe
n
ter
t
ype: commit some
m
issing pieces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
extra: sma
l
l s
p
eedup in
set_param_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
pent
e
r
helper: fix e
x
pr
_
t
o
_chunk_h
e
lper() for str
u
ct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
r
penter
comparison: print a "%s"
s
tring
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
constraints: remove debugg
i
ng and use
the stri
p
ped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
db: improve
r
e
cording com
p
ari
s
ons to parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arp
e
nter
i
mpl
i
e
d
:
remove
some dupl
i
cate debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
a
r
pen
t
er
rea
l
_absolute: don't
s
t
ore data for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
sv
a
l: remove an extra
space characte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
type: make point
e
rs unsi
g
n
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
e
x
tra: tighte
n
canonical for loop handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
extra: fix
f
unct
i
on
comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Car
p
enter
rang
e
s: i
m
p
r
ove casting
n
e
gative
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Car
p
enter
impli
e
d: don't use inco
m
plete
s
t
a
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
arpenter
implications: rem
o
v
e a magic num
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Carpente
r
db:
show comparison strings for condition
a
l retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Car
p
enter
db:
d
on't store recursive
s
t
ruct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Car
p
ente
r
typ
e
: handle
p
ointer type
c
orrectl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Ca
r
penter
extra/untracked_param:
m
a
rk lo
s
t par
a
mete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
ad
d
ress: return unknown
i
f w
e
ca
n
't figure
o
u
t the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Dan Car
p
en
t
er
implie
d
:
t
weak some
d
ebug statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpenter
expres
s
i
ons: par
s
e "$0->foo
.
bar" corre
c
tly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Car
p
ent
e
r
return_
t
o_param: use iden
t
-
>len i
n
stead
of strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
param_se
t
: handl
e
mtag
a
s
s
ignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
assigned_expr
:
make it wor
k
for parameter
as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpenter
equiv: use DB inform
a
tion
to set
e
xtra state in equi
v
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n Carp
e
nter
extra: improve ge
t
_
o
ther_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpen
t
er
extra: fu
t
z arou
n
d with get_other
_
name_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpent
e
r
helpe
r
: i
m
prove ge
t
_
m
ember_n
a
me()
f
or anonymous str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db: escape new lines in save_
c
ach
e
_
d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpent
e
r
ranges: c
o
nsti
f
y
call_res
u
lts_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carpenter
extra: filter
really long unused param valu
e
info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan C
a
r
p
e
n
ter
extra: us
e
i
d
ent->len in
s
tead of calling strlen(ident
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpe
n
ter
db: don't create new
splits in
s
plit_posit
i
ve_fro
m
_negati
v
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpenter
extra: fi
x
returned_stru
c
t_members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
ter
param_used:
f
i
x
handling
o
f call
e
d func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
extra: exp
o
r
t in_w
a
rn_
o
n_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpente
r
ty
p
e: misc small cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpenter
type: fix get_member
_
f
r
om
_
st
r
ing()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
kpatch
.
sh: fix spelling s/ammend/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
y
pe: add a short
c
ut in get_
r
e
al_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implied: Preserv
e
-
>hard_m
a
x for fake histo
r
y s
t
a
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
rpenter
extra: preserve
hard_max
a
f
t
er
c
om
p
arisons to
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n Carpenter
slist:
make sm-
>
c
hildren a
sm
a
l
l
er type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
an Ca
r
penter
sl
i
st: rename variables in
__merge_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Car
p
enter
sl
i
st:
handle
t
he fast path in __me
r
ge_stre
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpent
e
r
slist: simpl
i
fy __merg
e
_stre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Ca
r
pente
r
nospec: don't rec
o
rd
no
s
pe
c
parameter info which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Car
p
ente
r
dma_mapping_
e
rror: update to only compl
a
in about legacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-11
John Levon
Remove -Wempty-character-con
s
t
a
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carpenter
smatch: add a
-
-succe
e
d opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Add il
l
umos projects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert some sm_
m
sg() int
o
more specific
r
eportin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
C
o
nv
e
r
t
sm_
m
s
g
()
w
ith an error: prefix into sm_
e
rror()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert
a
ll sm_msg("warn:
.
.
" into sm_warn
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Regularise
err
o
r reporting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpent
e
r
d
b: make
escape_newlines() take a c
o
ns
t
po
i
nte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Car
p
en
t
er
parse
.
h: cre
a
te stmt
_
get_parent_stmt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpenter
c
o
nstraints: escape
SQ
L
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan C
a
rpenter
stateme
n
t_count:
r
e
c
ord how m
a
ny st
a
tements
t
here
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
D
an Car
p
e
nter
extra/db: silence an invalid
SQL w
a
rni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan
C
arpenter
buf
_
size: fix ha
n
d
l
ing
of 1
e
le
m
ent arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpe
n
ter
db: sql deb
u
g mode was exe
c
uting the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
test_bit
:
add test_and_s
e
t_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
debug: introduce __smat
c
h_mem
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
db:
don't
save stru
c
t members for integer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next