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
extra: deferences in fake assignments don't count
2016-06-02
Dan
C
ar
p
ente
r
extra: de
f
erences in fake
a
ssignments
d
on't c
o
unt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
p
enter
ext
r
a
:
handle
f
ake
a
ssi
g
n
m
ents faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpen
t
er
impl
i
ed:
i
mprove overwrite_sta
t
es_
u
si
n
g_po
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Car
p
ent
e
r
im
p
l
i
e
d
: add a comment explaining how
i
m
plicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpenter
f
u
nction_hooks:
chec
k
P
ARAM_
L
IMIT i
m
plications
a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpen
t
er
function_h
o
ok
s
: in
t
e
g
rate c
a
ll
_
implies
ho
o
k
s
with
t
he d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
Carpent
e
r
slist: mangle the lin
e
number
o
f merged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
sizeof
_
param: r
e
mo
v
e
read_rom() from checked f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
er
c
reate_db: delete som
e
du
p
licate entr
e
e
s from
f
u
nction_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
p
e
nter
real_absolute: don't s
t
ore whole
range
s
for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
struct_assignment: pull split_fake_expr
(
)
into
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpent
e
r
d
b: lim
i
t the
a
mount o
f
data in
type_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
extra:
h
andle
if
(IS
_
ERR(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
n
t
er
d
b
:
i
ntro
d
uce get_param_na
m
e_var
_
sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
ent
e
r
i
m
plied:
handle chunks
in swi
t
c
h statemen
t
s like switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra
:
don't mar
k
all arr
a
ys as dereferen
c
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
helper: cre
a
t
e
a
n
alloc_state_expr() helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Ca
r
penter
whitespace: remove some
bla
n
k
l
ines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
extra: remove unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
er
l
o
cking
:
add more
i
mpo
s
sible han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
d
b: remove s
o
me extra se
m
i
-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
rang
e
s
:
remov
e
an unneeded
ini
t
i
alizer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Car
p
e
n
t
e
r
returns: prov
i
de a spli
t
out l
i
s
t o
f
a
ll
t
h
e
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpent
e
r
returns: add get_all_retu
r
n
s_states() function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
move f
r
eeing to AFTER_FUNC_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
db:
c
onstify some poi
n
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carp
e
n
ter
ext
r
a:
add missing includ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an C
a
rpen
t
e
r
e
x
t
ra: do
n
't overwrite
non-null poi
n
ters becaus
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
e
xtra:
fix hand
l
ing
o
f "if
(
foo & 0x3210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Da
n
Carpenter
par
a
m
_
set:
i
ntroduce
pa
r
am_
w
as_set
_
var
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
impossible: handle switc
h
s
t
atemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpe
n
ter
impossible: don
'
t ove
r
write the impos
s
ible s
t
ate by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpenter
imp
l
i
e
d: handle i
m
plications for if (
(
{whatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carp
e
nter
slist: create is_leaf
(
) function which
i
s the opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpente
r
r
an
g
es: use sig
n
ed
type f
o
r n
e
gative int
s
less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rp
e
nter
d
b
/
k
ernel
.
return_
f
ixe
s
regmap_bulk_read
(
)
returns ne
g
atives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Car
p
enter
ranges: fix
a
b
u
g
i
n
rl_invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Car
p
enter
sv
a
l,
type: make
s
o
me func
t
i
o
ns in
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
penter
impl
i
ed: fix
a
n old
i
mplication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
an Carpen
t
er
i
m
plied: remove u
n
u
s
ed ad
d
_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpente
r
implied: pass sm_state
s
instead of po
o
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
pe
n
ter
implie
d
: f
i
x
a
t
y
pe
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
Carpenter
i
m
plied: update
s
ome debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
er
implied: create fake implication
h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpenter
s
t
ate
s
:
tweak
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Car
p
enter
s
t
ates: print debug output in __set
_
true_
f
alse_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpent
e
r
implied:
o
v
erwrite smat
c
h
_e
x
tra using
i
m
plied s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpente
r
ranges, ext
r
a: mov
e
and export
split_comp
a
rison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
slist: remove unuse
d
__
s
et_true_
f
als
e
_if_not_
a
lready_
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpent
e
r
db: make a
fi
l
e ker
n
el
.
re
t
urn_fixes
f
or updating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
f
low: merg
e
multiple c
a
se stateme
n
ts
in a
r
o
w
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
a
r
p
enter
helper: use
.
in
s
tea
d
of
-
>
for m
o
r
e variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpent
e
r
p
aram
_
set: remove an unnneeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
ex
t
ra:
p++ shoul
d
clear the states
for *p
o
r
p
-
>foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
m
a
th: handle
_
_builtin_types_compati
b
le_p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rpenter
flow: split cas
e
st
a
tement
handling into it
s
o
w
n functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: re
p
lace
__get_implied_values() with g
e
t_ab
s
olute_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
flow: fix bug i jus
t
introduced wi
t
h kn
o
wn switc
h
sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpe
n
ter
debug: print
t
he max
s
i
z
e f
o
r
_
_smat
c
h_buf
_
size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: in
c
lude ->possible and a
b
solute in __smatch_a
b
out
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
imp
l
ied: remo
v
e
u
n
n
eces
s
ary initialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
param_
c
leared: s
t
rip away casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpent
e
r
ranges: make fil
t
er_top
_
r
l
() take a rang
e
_
l
is
t
filter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuffle ca
s
e statem
e
nt handling
a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
implied: split
the __impl
i
ed_c
a
se_stree() into tw
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
extra: wh
i
te space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
imaginar
y
_a
b
solute: it's like sma
t
ch_extra
.
c
f
or impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpe
n
ter
implied: remove s
o
me duplicate lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
r
pen
t
e
r
extra:
remove an
obsol
e
t
e co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra:
s
plit handle_compar
i
son() int
o
two f
u
nction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
ente
r
db: ig
n
o
re unreachable retu
r
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpen
t
er
db:
split ret
u
rns
in to
N
ULL and non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: remove
p
ointle
s
s
return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpente
r
db: sma
l
l cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Ca
r
pent
e
r
hooks
:
rename CAL
L
_HO
O
K_AFT
E
R
to CALL_HOOK_
A
FTER
_
DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpente
r
u
ntracked
_
p
a
ram
:
handle i
n
l
ine calls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
an C
a
r
penter
f
l
ow: doen't
r
eset loop_count for inlin
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
an Carpe
n
ter
implied:
u
se
t
he correct type for conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan C
a
rpe
n
t
er
s
cope: del
e
te out of scope var
i
abl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
vali
d
ation/sm_chun
k
2
.
c
:
update validati
o
n test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
C
arpenter
d
b
:
revert a
"speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
r
eal_absolute: turn this code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpent
e
r
err_ptr_der
e
f: comp
l
ain
a
b
out
d
ereferences inside
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpenter
return_efault: compl
a
in about "return copy
_
fr
o
m_user
(
);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpenter
buf_s
i
ze: sav
e
size of
f
ixed arrays that are returne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
modif
i
cation_hooks: remove a
n
u
n
needed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
slist: m
a
ke
m
e
rge_st
a
tes(
)
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
states:
make debug
o
utput more consis
t
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
hooks: pu
t
each type
o
f hook int
o
it's own array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Ca
r
p
e
nter
.
gitig
n
ore: add
.
gdb_
h
ist
o
ry
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
s
tored_conditio
n
s: w
h
ite
space
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
math: prefe
r
real_absolute_value
t
o the
db value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
ar
p
enter
implied: remove a bl
a
nk line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
conditions: b
u
g in co
n
dit
i
on assig
n
me
n
t
s like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
e
r
impos
s
ible: handle
a
s
s
ignment conditions
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
t
ring_cond
i
tion: don't
co
m
plain
a
b
o
ut TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpente
r
fun
c
tion_hooks: han
d
le r
e
tur
s
th
a
t
don't
set a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
C
arpe
n
t
e
r
db: don't use s
p
lit_success_fail i
f
it doesn't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nter
db: fix bug i
n
print_st
r
uct_memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Ca
r
penter
d
b
: for im
p
o
s
sible re
t
urns just do
t
he simpl
e
st thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next