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/kern
e
l: a
d
d s
o
me more ignored stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pent
e
r
smatch_da
t
a/kernel
.
no_re
t
urn_funcs
.
a
d
d A
d
d YY_
F
ATAL
_
ERRO
R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
C
arpenter
d
b
/delete_too_
c
ommon_fn_ptr
.
sh
:
delete s
o
me
com
m
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpe
n
ter
mem_tra
c
ke
r
: use /proc/
s
e
l
f/st
a
tm for
out_of_me
m
ory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpente
r
imag
i
nary_abso
l
u
t
e: ignor
e
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nte
r
flow: fix valid_p
t
r_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Carpente
r
smatch: always
p
rint the time: and
me
m
:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan
C
arpen
t
er
s
list:
d
o a small spee
d
up
i
n
cmp
_
possible_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
slist:
r
everse the
o
rder of the strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
address: im
p
rove ge
t
_address() for struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
ad
d
ress: many array ad
d
resses can be mar
k
e
d
as vali
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Car
p
e
nter
addre
s
s: get_me
m
ber_o
f
f
s
et_from_
d
e
r
ef()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
te
r
m
a
t
h: move more stuff to get_rl_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an
Carp
e
nter
st
r
ing_list: m
a
ke in
s
ert_
s
t
r
ing
(
) return
f
a
lse if it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: call
strc
m
p() once instead of twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan
C
a
r
pe
n
t
e
r
ma
t
h
:
don't alloc
a
te
the
ra
n
ge_list if n
o
t nec
e
ssary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpe
n
ter
math: rename _get_r
l
(
) => get_rl_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Carpenter
i
mplie
d
: bai
l
ea
r
lier
on p
a
rs
i
ng parameter limitat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
Carpent
e
r
m
a
th:
re-
w
rite _get_sval
(
)
t
o pass
t
he
r
esults as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Carpenter
slist:
s
peed up add_po
s
sible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Da
n
Carpenter
slist: a poi
n
t
er
i
s
e
qual to itself in cmp_
p
oss
i
ble_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
Carpent
e
r
lock
i
n
g
: spin_trylo
c
k(
)
ret
u
rns
1 on s
u
cces
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: speed
u
p
c
opy_possib
l
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: rename cmp_sm_stat
e
s() to cmp_possible
_
sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Da
n
Car
p
enter
address
:
improve handling of __smatch_implied(&foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carpe
n
ter
nospe
c
: use statem
e
n
t cou
n
t
to mark things
a
s nospec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
n
o
sp
e
c: preempt_disable() s
t
ops specul
a
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
an Carpente
r
b
uf_s
i
ze:
improv
e
c
alloc() ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
penter
s
m
db
.
py: parse ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpente
r
off_by_one
_
rel
a
tive: remove so
m
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
e
r
extra: i
n
PARAM_L
I
MIT/FI
L
E
R then set both the
name
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
an Carpenter
z
ero_to_err_ptr
:
d
on'
t
warn on impo
s
sibl
e
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan
Carpent
e
r
estate: delete estate_filter_r
a
nge/sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
D
an Carpenter
kern
e
l
:
fix t
y
pe b
u
g handle IS_ERR() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
D
an
Car
p
enter
db: don't pretend
t
o de
r
eferenc
e
integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Da
n
Carpenter
testing_index
_
after_use
:
re
m
ove
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capp
e
d:
d
on't se
t
capped for k
n
own
val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
pe
n
ter
extra
:
tweak
h
a
r
d max in conditio
n
s and macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
extra: p
a
ss hard max across fu
n
ction bou
n
dar
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n
C
a
rp
e
nter
d
b
: split zero a
n
d non-zero returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpent
e
r
implied: remove som
e
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan C
a
rp
e
nt
e
r
i
mplied: remove a n
o
nsense limitation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
n
t
e
r
testing_index_
a
fter_use: silence some f
a
l
s
e posit
i
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
enter
implied
:
re
m
ove the -
-
d
e
bug-implied
o
p
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nter
states:
f
i
x a
b
ug han
d
ling negate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpente
r
equiv: update
"other
"
n
ames
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
b
uf_comparison
:
r
e
-wr
i
te
to be more fl
e
xibl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db
/
kernel
.
r
e
tur
n
_fixes: add some more r
e
turn fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
a
rp
e
nter
d
b/vim_
d
b: don
'
t compl
a
in when
t
he fil
e
is not
found
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Car
p
enter
db
/
c
reate_db
.
s
h: don
'
t comp
l
ain when -p=<project>
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Carpenter
db/fix
u
p_k
e
rnel
.
sh: fix up stuff from
t
he
unsign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpe
n
t
e
r
valida
t
ion:
update
a few tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Ca
r
penter
type: commit some m
i
ssing pieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
extra: sm
a
ll spe
e
d
u
p
in s
e
t_param_har
d
_
max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpen
t
e
r
hel
p
er: fi
x
exp
r
_to_chunk_helpe
r
() for
s
truct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
comp
a
r
ison: print a "%s
"
s
t
ring
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
constraints: remove debugging and use the stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
db: improve
recording compari
s
ons to parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
im
p
lied: r
e
move s
o
me duplicat
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
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 Car
p
enter
sval: remo
v
e an e
x
t
ra spa
c
e chara
c
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
type:
mak
e
pointers unsign
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
extra: tigh
t
en
can
o
nical for loop handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
pe
n
ter
extra: fix
f
u
nction comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
a
rpe
n
ter
ranges:
impr
o
ve casting negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
an Carpen
t
er
implied: don't use incompl
e
te st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
an C
a
rpenter
impl
i
c
ati
o
ns: remove a magic number
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Ca
r
penter
db: show
c
om
p
a
rison strings for condi
t
ional returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: don't store recursive struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type: handle pointer
t
y
p
e correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carp
e
n
t
er
extra/u
n
tracked_p
a
ram: mark
l
o
s
t parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
address: return unknown if we can't figu
r
e out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan Carpen
t
er
impli
e
d: tweak some debug statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carp
e
nter
expressions: parse
"
$0
-
>foo
.
bar" cor
r
ectly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Car
p
enter
return_to
_
param: use id
e
n
t
->l
e
n
i
n
s
tead o
f
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpen
t
er
param_s
e
t: handle mtag assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an
C
arpent
e
r
assigned_ex
p
r
:
m
a
ke
i
t work for parameter
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n Car
p
en
t
er
equi
v
: use
DB in
f
ormation to
s
e
t
ex
t
r
a
sta
t
e in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n Carpen
t
er
extra: improv
e
get_ot
h
er
_
name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
D
an Carpenter
extr
a
: f
u
tz a
r
oun
d
with g
e
t_other_
n
ame_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
penter
he
l
pe
r
: improve
ge
t
_mem
b
er_name(
)
for anonymous struct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
C
a
r
penter
db:
escape new l
i
nes in sa
v
e_c
a
che_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
e
nter
ranges:
constif
y
call_results_to_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
enter
e
x
t
ra: fil
t
er really long unused param value informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan C
a
rpenter
extr
a
:
use ident->len ins
t
e
ad of
calling
s
trlen(ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
db:
don't c
r
e
a
t
e new spl
i
ts in split_positive_from_negat
i
ve()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpent
e
r
extra: fix
r
e
t
urned_str
u
c
t_memb
e
r
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
par
a
m_used
:
f
ix handling of called fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpenter
extra: export in_wa
r
n_on_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an
C
a
r
p
ente
r
type
:
misc small cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
type: fix
ge
t
_m
e
mber
_
fro
m
_
s
tring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
kpatch
.
sh: fix s
p
e
lling s/ammend
/
amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Car
p
enter
type:
add
a short cut
i
n get_r
e
al_b
a
se
_
ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
rpenter
i
m
plie
d
: Preserve ->
h
ard_max for fake
h
istory states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
ex
t
r
a: preserv
e
har
d
_ma
x
a
f
ter compariso
n
s to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Ca
r
penter
s
list: make s
m
->children
a
smaller type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: rename
v
ar
i
ables
i
n __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
slist:
ha
n
dl
e
the fast pat
h
in
__merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n C
a
rpenter
s
list: simplif
y
_
_
m
erg
e
_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
D
a
n
Carpenter
nospec: don
'
t record no
s
pec p
a
ra
m
e
t
er
info which
hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next