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
Car
p
e
nter
smatch_data/kernel:
add s
o
me m
o
re ignored
st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
Carpenter
smatch_data/
k
ernel
.
n
o_r
e
t
u
r
n
_
f
uncs
.
add Add
YY_FA
T
A
L_ERR
O
R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpente
r
db/del
e
te_to
o
_common
_
fn_ptr
.
sh: d
e
lete some co
m
mon
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
mem_
t
r
a
cker: use
/
proc/sel
f
/statm for out_of_memory()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
imagi
n
ary_absolute:
i
gnore loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
flow: fix
valid_ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpe
n
ter
smatch: always pr
i
nt the tim
e
: and
m
em:
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carp
e
nt
e
r
slist: do a small sp
e
e
dup in
cm
p
_pos
s
ible_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
slist: re
v
erse the
o
rder of
th
e
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Ca
r
pente
r
address: improve
get_addre
s
s() for struct mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n Car
p
enter
address: ma
n
y
a
rray ad
d
resses can
b
e marked as valid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Da
n
Carpenter
address: get_member_offs
e
t_from_deref()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
math: move more stuff to get
_
rl_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan C
a
rpenter
string_lis
t
:
m
ake insert_stri
n
g() return false if it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
string_
l
i
s
t: call strcm
p
(
)
onc
e
instead of
t
wice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan
Carpen
t
er
math: don't a
l
l
o
c
ate the rang
e
_lis
t
if not
n
e
c
essary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Car
p
ent
e
r
math
:
rename
_
get_rl() => get_rl_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
an Car
p
enter
implied: bail
e
a
rlier on parsing parameter limitat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Ca
r
p
e
nter
m
ath: r
e
-
w
ri
t
e _get_sval() to pass the results a
s
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist:
s
p
e
e
d up add_possible_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n
Carpenter
slist: a p
o
inter is equal to
i
tself in cmp
_
possible_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpe
n
ter
l
ocking: spin_try
l
oc
k
()
ret
u
rns
1
on success
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpent
e
r
sli
s
t:
s
peed up
copy_possibl
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: rename cmp_sm_s
t
ates() to cmp_
p
ossible_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpente
r
a
d
dr
e
ss: im
p
rove
h
andling o
f
__smatch_implied(&foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carp
e
nter
nospec: use
s
tatement
coun
t
to mark thi
n
gs as nospec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
rpenter
n
ospec:
p
r
e
em
p
t_disable
(
)
s
tops specul
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Car
p
e
nter
buf_s
i
ze: impro
v
e calloc()
h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
rpenter
smdb
.
p
y
:
par
s
e ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
off
_
by_o
n
e_relat
i
ve: remove some debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
er
e
x
tra: in
P
A
R
A
M_
L
I
MIT/FILE
R
t
hen set
b
oth the name
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
a
rp
e
nter
zero_
t
o_e
r
r
_
ptr: don
'
t warn
on imp
o
ssi
b
le
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
estat
e
: delete est
a
te_
f
ilter_range/sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
kern
e
l: fi
x
t
y
pe bug h
a
n
dle IS_ERR()
a
nd friend
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpe
n
ter
d
b
: don'
t
pre
t
end to d
e
reference intege
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
D
an Carpenter
t
e
sting_index_after_u
s
e
:
remove d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an Ca
r
penter
capped: don't set cap
p
ed for known val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
e
x
tra: twe
a
k
h
ard max in
c
on
d
itions
a
n
d
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
ext
r
a: pass hard max across functi
o
n
b
ounda
r
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
d
b
: split zero and non-zero r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
implied: remove
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpenter
impl
i
ed: rem
o
ve a n
o
nsense lim
i
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carpe
n
ter
testing_in
d
ex_after_use:
s
ilence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
impli
e
d: remove the --
d
ebug-implied option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpen
t
er
stat
e
s: fix a bu
g
handling negate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
equiv
:
update "other" names as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n Carpenter
buf_comparison: re-write to
b
e mo
r
e fle
x
ible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpenter
db/kernel
.
return_fixe
s
: add some more return f
i
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpen
t
er
d
b/vim_db
:
don't complain when
th
e
file is not
f
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
d
b
/create_db
.
sh: don't complain when -p=<project> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
db/fixup_kernel
.
s
h
: fix up s
t
uff f
r
o
m
the un
s
i
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
v
alidation: upd
a
te
a few tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
type: commit som
e
missing pie
c
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra: small
speedup in set
_
p
aram_hard_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
helper:
f
ix expr_to_c
h
u
n
k_helper() for
s
tr
u
ct m
e
mbe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
comparison:
print a "
%
s"
string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
cons
t
rain
t
s: remove debug
g
ing and use the strippe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpen
t
er
db: impr
o
ve reco
r
ding comparisons to parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
r
p
enter
i
mplied: r
e
move so
m
e d
u
plicate debu
g
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
real_ab
s
olute: don't
s
tore data f
o
r arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Car
p
en
t
er
sval: re
m
ove an extra
space charac
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carp
e
nter
type
:
make
pointers
unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
a
rpenter
extra: tighten can
o
nical for
loop handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpe
n
ter
extr
a
:
fix function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Carpen
t
er
range
s
: improve ca
s
ti
n
g ne
g
atives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Carpenter
implied: don't use inc
o
mplete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Ca
r
pente
r
i
mplications: remov
e
a mag
i
c num
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
penter
d
b
: show c
o
mparis
o
n strings for condition
a
l returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: don't sto
r
e
r
ecursive struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type: hand
l
e
p
ointer type
c
orrect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
pen
t
er
e
x
t
ra/untrac
k
ed_param:
m
ark lost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n
Carpenter
addr
e
ss: re
t
urn
unknown
i
f
w
e can't figur
e
out
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Da
n
C
a
r
penter
i
mplied: tweak some debug s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
ex
p
r
ession
s
: par
s
e
"
$
0->foo
.
bar" c
o
rrectly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
re
t
urn_to_param: use ident->
l
en instead of strlen
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Ca
r
pente
r
param_set
:
handle
m
t
a
g assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpenter
assign
e
d_e
x
pr: make it wo
r
k for param
e
t
er assi
g
nmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan
C
arpenter
equiv: u
s
e DB i
n
formation to set extra sta
t
e in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extra: im
p
ro
v
e get
_
other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan C
a
rpenter
extra: futz around with
get
_
other_name
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Car
p
e
n
t
e
r
helper: improve get_m
e
m
b
er_name() f
o
r anonymous str
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db: escape ne
w
lines in sa
v
e
_
cac
h
e
_
da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ra
n
ges: constify call_results_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an
C
ar
p
e
n
ter
e
xtra: filter real
l
y long
unuse
d
p
a
ram value informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpen
t
er
ex
t
ra:
u
se i
d
e
n
t->le
n
i
n
stead of
calling strlen(i
d
ent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpente
r
db: don't cr
e
ate
new splits in split_posit
i
ve_from_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
ar
p
enter
extr
a
: fix
ret
u
rned_struct_member
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
en
t
er
param_used: fix handling
of c
a
lled function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
extr
a
:
e
xport
in_warn_on_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ty
p
e:
mi
s
c
s
m
all cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
pent
e
r
type: fi
x
get_membe
r
_from_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpent
e
r
kpa
t
ch
.
sh:
fix spelling s/ammen
d
/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
type: add
a
short cut
in get_real_base_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
D
an Carpenter
i
mpli
e
d: P
r
eserve
-
>
hard_max
f
or fake
history
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Car
p
enter
e
x
tra:
preser
v
e
hard_max afte
r
c
o
mparisons
to
z
er
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
r
p
enter
slist: make sm
-
>children a
s
maller type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpent
e
r
slist: rename v
a
r
i
ables
in
_
_
m
erge_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
penter
slist: handle the fast
path in __me
r
ge_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: simp
l
i
f
y __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Da
n
Ca
r
penter
n
o
s
pec:
do
n
't record nospec par
a
meter info which h
a
sn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next