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-02-26
D
an
Carpenter
add
r
ess: many arr
a
y addresses c
a
n be marked a
s
v
a
lid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Car
p
enter
ad
d
r
e
ss: get_member_
o
ffs
e
t_from_
d
eref(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
math: move m
o
re stuff
to
get_rl_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
t
ring_l
i
st: make insert_stri
n
g() return f
a
l
s
e
i
f
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-26
D
an Ca
r
penter
string_list: call strcmp()
o
n
ce inst
e
ad
o
f
t
wice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math: don't allocate the range_list if n
o
t nece
s
sary
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math:
r
e
nam
e
_get_rl
(
) => get_rl_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
imp
l
ied: bail ea
r
lier on par
s
ing param
e
ter li
m
i
t
a
ti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n
Carpenter
math: re-wr
i
te _get_sval() to pass the results as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpent
e
r
slist: spe
e
d up add_pos
s
ible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n
Carpe
n
ter
sl
i
st: a pointer is equ
a
l
t
o
itsel
f
in cmp_
p
o
s
s
i
b
le_s
m
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
locking: spin_try
l
ock() returns 1 o
n
succes
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpent
e
r
s
list:
speed up copy_poss
i
bles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-20
D
an Carpenter
slist: rename cmp_sm_states(
)
to
c
mp_possible_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpenter
ad
d
ress: i
m
pro
v
e handling of __sma
t
c
h
_implied
(
&foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
D
an Car
p
enter
n
ospec: u
s
e stat
e
me
n
t
count
to mark
t
hin
g
s as nospec
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
no
s
pec: pree
m
pt_di
s
a
bl
e
() stops specul
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
pent
e
r
buf_s
i
ze: imp
r
o
v
e cal
l
o
c() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carpenter
smdb
.
py: parse
ptr_max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
C
arpenter
off_by_one_relative:
r
emove so
m
e debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
pent
e
r
extra: i
n
PARAM_LIMIT/FI
L
ER
t
hen se
t
both the n
a
me
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
zero_to_
e
rr_ptr: don't warn
o
n impossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
Dan
Carpen
t
er
estate: delete
e
stat
e
_
f
ilter_range/
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-15
D
a
n Carpenter
kerne
l
: fix type bug hand
l
e IS_E
R
R() an
d
friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan
Carpenter
db
:
don't pretend to
d
ereference
in
t
egers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
t
e
sti
n
g_
i
nde
x
_after_use: remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capped:
d
o
n't set capped fo
r
kn
o
wn values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
ext
r
a: tweak hard max in c
o
n
d
itions and mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
extra: pass ha
r
d m
a
x across function boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
db: split zero and no
n
-zero
return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
im
p
lied: remove
some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
implied:
remove a nons
e
nse limitat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
testing_index_after_us
e
:
silence some false
positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nter
imp
l
ied:
remov
e
t
h
e
-
-
debug-impli
e
d option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpent
e
r
states: fix a bug handling negate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
eq
u
iv: upda
t
e
"
o
t
h
e
r
"
n
ames as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n Carpenter
buf_compa
r
ison: re-writ
e
to be m
o
re f
l
exible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carp
e
n
t
er
db/k
e
r
ne
l
.
r
e
turn_fixes
:
a
dd some
more
return fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpenter
db/vim_db:
d
o
n't c
o
mplain when the
file is not found
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan C
a
rp
e
nter
d
b
/create_db
.
sh: do
n
't co
m
plai
n
w
h
en -p=
<
p
r
oject> is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpenter
db/f
i
xup_kernel
.
sh: fix up stuff f
r
om the unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpen
t
er
va
l
i
dation: up
d
at
e
a
few tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan C
a
rpenter
t
ype: commit some
m
i
ssing piece
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n
Car
p
ent
e
r
extra: small spe
e
dup in s
e
t_
p
aram_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n
Car
p
e
nter
helper: fix expr_to_c
h
unk_helper()
for
s
t
r
u
ct
m
emb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
compa
r
ison: print
a
"%s
"
s
tri
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
con
s
tra
i
nts: r
e
move debugg
i
ng and
u
s
e
the stripped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
db: improv
e
re
c
o
r
ding c
o
mparisons to parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implie
d
: remove some duplica
t
e debug c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
an
C
a
r
pent
e
r
real_abs
o
lute
:
don
'
t
s
tore data for ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
sval:
remove an extra spa
c
e character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
type: make
p
oin
t
e
r
s
unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n C
a
rpent
e
r
extra:
tighten can
o
n
ical for loop ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpenter
extra:
f
ix function
c
omp
a
risons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
r
a
nge
s
: improve ca
s
ti
n
g n
e
gativ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implied: don't
use
incomple
t
e
stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
Carpente
r
implica
t
i
o
ns
:
remo
v
e
a magic number
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an Carpenter
db: show comparison
s
trings for conditi
o
na
l
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db
:
don't st
o
re rec
u
rsive struct
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
rpenter
ty
p
e
:
handle pointer type c
o
r
r
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Ca
r
p
e
nter
ext
r
a/un
t
racked_
p
aram:
m
ark lost param
e
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carpenter
address: retu
r
n
unknown if w
e
c
an't figure out the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Da
n
Carp
e
nter
implied: twea
k
some
d
ebug statem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carp
e
nter
expres
s
ions
:
parse
"
$
0->foo
.
b
ar" c
o
rrect
l
y
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Car
p
enter
return_to_param:
u
se id
e
n
t
->len instead of
s
trl
e
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Car
p
e
nter
p
a
ram_set: handle mta
g
a
ssignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpen
t
er
a
s
signed_expr: make
it work for paramet
e
r a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Dan Car
p
enter
equ
i
v: use DB information to set
e
xtra
s
tate in equiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carp
e
nter
extra: impro
v
e
get_other_name_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Car
p
en
t
er
extra: futz around with get_other_nam
e
_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carp
e
nter
helper:
i
mprove g
e
t_member
_
n
ame() for anonymous structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Car
p
ente
r
db:
escape new line
s
in save_cach
e
_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpente
r
ranges
:
co
n
st
i
fy call_resul
t
s_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
penter
extra: filter really long un
u
sed par
a
m v
a
lue inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpe
n
t
e
r
e
xtr
a
:
u
se ident->
l
en instead of calling strlen(ident
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db: don't c
r
e
ate
n
ew spli
t
s in split
_
posit
i
ve
_
from_nega
t
ive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpen
t
er
extra: fix
returned_struct
_
mem
b
e
r
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
param_used: fix han
d
l
ing of
called funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpenter
extra: export in_warn_on_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
rpenter
type: misc small
c
leanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
typ
e
: f
i
x get_membe
r
_
from_
s
tring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Carpenter
kpatch
.
s
h
:
f
ix spell
i
ng
s/
a
mmend/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: add a short cut in
get
_
real_base_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Da
n
C
a
rpenter
implied: Preserve ->hard_
m
ax for
fak
e
history states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpenter
extra: p
r
eserve ha
r
d_max after comparisons to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
an Carpenter
slist: make sm->children a smalle
r
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
Ca
r
pe
n
ter
slist: r
e
nam
e
variables
i
n __merge_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
Carpenter
s
l
i
s
t
:
handle t
h
e fas
t
path in
__merge_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
pente
r
s
l
ist: simplify
__me
r
ge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
D
a
n C
a
rpent
e
r
nospec: don't recor
d
nospec para
m
eter info which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
dma_mappin
g
_error:
u
pdate
t
o
o
n
l
y comp
l
ai
n
about legacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan
C
a
r
penter
sma
t
ch: add a
--succeed o
p
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpen
t
er
db: make escape_newlines() take a c
o
nst pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an
C
arpenter
p
a
rse
.
h: create stmt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
Carpent
e
r
constra
i
nts: escape SQL statem
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nt
e
r
state
m
ent_
c
ount: record how many state
m
ents there ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Ca
r
penter
ex
t
ra/db:
silence an invalid
SQL warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
e
r
b
u
f_size: fix handling of 1 el
e
men
t
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
Carpente
r
d
b: sql debug mode was
e
x
e
cuti
n
g the SQ
L
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test
_
bit: add t
e
s
t
_a
n
d_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next