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
bits: move is_loop_iterator() earlier
2020-05-06
Dan
C
arpenter
bits: move
i
s
_
lo
o
p_itera
t
or() earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
D
an
C
a
r
penter
k
ernel:
p
reser
v
e
the sm
st
a
t
e
whe
n
hand
l
in
g
IS_ERR()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan
C
a
rpenter
ker
n
e
l: fix a type
b
u
g hand
l
ing
e
r
r_cast
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan C
a
rpenter
kernel: a
d
d support for closure_
c
a
ll()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
buf_size: check pointer size earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
b
uf_size: fix handling of unknown flex
i
b
le a
r
ra
y
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
D
a
n Ca
r
pent
e
r
buf_size:
i
g
nore zero returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
extra: fix compi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
ext
r
a:
delete some dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
build_ker
n
el_data
.
sh
:
print a m
e
ss
a
ge after t
h
e
kernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
db
/
k
ernel
.
ret
u
rn_fixes: ww_
m
utex_lock() can't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carp
e
nter
capped: ha
n
dle
&
and
%
s
light
l
y dif
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
an Carpenter
db/return_sta
t
es: fix
call_
i
d type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
db/
c
reate_
d
b
.
sh: silence wa
r
ni
n
g
w
hen
-p
o
p
tion isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
an
C
arpent
e
r
mark_
f
uncti
o
n_ptrs_searchable
:
mark more functio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpen
t
er
con
t
ainer_of:
fix impor
t
i
n
g the mtag
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
estate: c
h
eck hard
m
ax in es
t
ates_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpenter
es
t
ate: add a ->new
f
lag to
t
rack new states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
helper: ex
p
ort
get_array_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan
Carpent
e
r
im
p
lied: fi
x
parsing for PARAM_LIMIT
impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
ente
r
implied
:
non
-
merged states
h
ave
n
o implic
a
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpe
n
ter
type:
i
mprove g
e
t
_
member_type_fro
m
_key
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpen
t
er
type_val: ignore "idr_
f
ind"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpenter
i
m
pli
e
d
:
turn on deb
u
g_implied when re
g
u
l
ar de
b
u
g
is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Ca
r
penter
err_
p
tr:
delete dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
C
a
rpenter
stru
c
t_assignm
e
nt:
st
r
ip parenth
e
ses r
i
ght
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n
C
arpenter
atomic
_
inc_de
c
: push latest co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-04-07
D
a
n
Ca
r
penter
real_absolut
e
: update
rea
l
absolute
for faked fresh
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carp
e
nt
e
r
type: c
r
eat
e
type_fits() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
db/kernel
.
return_fixes: misc u
p
dates (l
o
ck
i
ng mostly
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan
Carpent
e
r
states
:
add a way to watch other c
h
ecks s
e
t states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpent
e
r
debug: pri
n
t a spec
i
a
l warnin
g
for use
r
_rl with
o
ut
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
an Carpenter
f
resh_alloc: some
things are not fr
e
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n Carp
e
n
t
er
h
elper: don't cache T
m
p exp
r
essi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
rpenter
expressions: R
e
name "Fake" to "Tmp"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Ca
r
penter
math: function
s
ca
n
r
e
turn fuz
z
y range li
s
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
r
penter
return_to_
p
ar
a
m: remove unused declarati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
scrip
t
s/summarize_errs
.
sh:
white space fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
r
p
e
n
te
r
tokenize
:
export alloc_ident()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n
Carpenter
a
l
lo
c
at
i
ng_enou
g
h
_
data: cla
r
ify error
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
a
n Carpent
e
r
s
t
r
u
c
t_assi
g
nment: Fi
x
(*$)->foo handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
a
n Carpenter
v
a
lidation:
u
pdate
impossible
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan Car
p
en
t
er
s
hift_to_zero: silence som
e
false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
m
tag: don't d
o
uble record mtag data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carp
e
nter
smdb: add
some
more ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
an Carpente
r
slist: add som
e
d
e
bug c
o
de to warn
a
bout missing s
e
t_dynami
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
a
n Carpenter
helper:
r
e
m
ove no_parens
parame
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan
Carpenter
i
m
p
l
ied/com
p
arison: delete unk
n
own
im
p
licat
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
helper:
r
e
t
urn more sp
e
cific e
r
ror codes in
g
et_param_num_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
an Carpen
t
er
function_hooks/mtag: set m
t
ag ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
a
n Carpente
r
helper: small white
s
pac
e
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Carpenter
mta
g
: save t
h
e mtag al
l
ocator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
db: a
d
d
support
for (*$)->foo = 1;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
a
rpen
t
er
db:
m
ake mt
a
g_abou
t
entries unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
D
an Carpenter
db: a
d
d mtag_in
f
o
tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
arpe
n
ter
mtag_map: r
e
-arrange cont
a
iner map
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
a
rpenter
type
:
exp
o
rt is_struct_pt
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Ca
r
p
e
n
ter
db: don'
t
bother splitting er
r
or paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpe
n
ter
db: store t
h
e
fu
n
ction mtag in the call_
i
d space
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Da
n
Carpenter
db:
d
on't split negatives using
n
u
ll/non_null
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan
Carpenter
db: add a new callback for inserting st
u
ff
into c
a
ller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
f
u
nction_ptr
s
: d
e
lete a
s
tra
y
spa
c
e character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Ca
r
pe
n
ter
e
state
:
pointers don't
have hard maxes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan
C
arpe
n
ter
mtag_d
a
ta: ignore b
o
ot_p
a
r
a
m
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Ca
r
pen
t
er
m
t
ag_dat
a
: ignor
e
he
a
d->next
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpe
n
ter
helper: print
E
X
PR_
S
E
L
ECT
and EX
P
R_CONDIT
I
ON with
e
xpr_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Ca
r
pe
n
te
r
mtag_map:
a
d
d
a
tag_offset field
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
fre
s
h_a
l
loc: NULL
is
n
ot a
fresh al
l
oc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
debug: move __pr
i
n
t
_
s
t
at
e
s() t
o
smat
c
h_
s
tates
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
ma
t
h: handle unknown
maximums in subtract o
p
era
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carp
e
nt
e
r
flow: cal
l
ASSIGNMENT_HOOK_
A
F
T
E
R for complicated assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-28
Dan C
a
r
p
e
n
ter
m
t
ag: upda
t
e swap_mtag
_
ret
u
rn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
Dan Ca
r
penter
fres
h
_allo
c
:
m
a
rk used d
a
ta
a
s unfre
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
Dan Ca
r
p
e
nter
fr
e
sh_alloc: export is_f
r
e
s
h
_
alloc()
and i
s
_fresh_alloc_var_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpenter
fresh_al
l
oc
:
N
ULL
p
o
i
nter
s
are not
f
resh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpente
r
mtag: export str_to_
m
tag()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
Da
n
C
a
rpenter
type: imp
r
o
v
e
d
ebug
o
utp
u
t for
NULL type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-27
D
an Car
p
enter
slist:
f
ix __prin
t
_st
r
ee()
d
e
b
ug
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-22
Dan Carpente
r
db
:
delete more dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-22
Dan Carpenter
db: remove DB remove some dea
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-14
Dan
Carpent
e
r
fresh_alloc: fix compil
i
ng (missing c
h
unk
of commi
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-10
Dan C
a
rpenter
co
n
t
a
i
n
er:
i
mprov
e
how
a
s
s
i
g
n
me
n
ts are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-09
D
an Ca
r
pe
n
ter
lock
i
ng: w
a
rn when there
is a mis
s
ing
irq_restor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-09
Dan
C
arp
e
nter
va
l
idation: update
locking
v
alidat
i
on tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-08
Dan Carpenter
locking: remove
wine locking check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-06
Dan
C
a
r
penter
fresh_alloc:
tr
a
c
k
w
h
ich a
l
locat
i
on
s
are f
r
esh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-06
Dan Carpenter
math
/
ra
n
ges/h
e
l
per: i
m
prov
e
floati
n
g
point support
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-01-06
Da
n
Carpe
n
ter
smatch
.
h
:
add the declaration to sm_to_arg_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
helper: introduce get_
p
ar
a
m_sym_from_nu
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
D
a
n Carpenter
sval: initial floating
point support
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan
C
arpenter
db: impro
v
e spl
i
t
_success_fai
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan
Carpenter
db: f
i
x split_posit
i
ve_fr
o
m_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
c
o
ntainer_of: a fu
n
ction is
n
o
t
a container of
i
tse
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan
Carpenter
contai
n
er_of: fix how container of s
t
ar
i
n
fo
r
mation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan C
a
r
penter
con
t
a
iner_of: move strip_exp
r
()
e
arlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
db:
r
ename has_poss
i
ble_zero_n
u
ll() to ha
s
_separate_zero_n
u
l
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Car
p
enter
db:
add a short cut
in h
a
s_possibl
e
_negative
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carp
e
nter
rosenberg:
don't leak uninitialize
d
s
t
ru
c
ts to m
a
lic
i
ous
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
D
an C
a
rpenter
c
ompa
r
ison: s
p
lit
u
nk
n
ow
n
com
p
arison
s
in
t
o
f
a
k
e comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-12-12
Dan Car
p
e
nter
c
o
n
ta
i
ner_of: handle "foo
.
fn(&f
o
o);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next