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
flow: set ->parent for expression statements
2016-06-14
D
an Car
p
enter
flo
w
: set ->par
e
nt for exp
r
es
s
ion
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
h
e
lper,
u
ntracked
_
pa
r
am: move the int_sta
c
k to
s
m
atch
_
helpe
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
C
arpenter
ranges: fix c
a
sting to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
t
e
r
flow:
s
e
t
position at the start of the function corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
C
a
rpe
n
t
er
function_hooks: fix a typo
in d
e
bug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak ti
m
e
o
ut in
separa
t
e_
a
nd
_
filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
fu
n
ction_hoo
k
s: fix a
type issue (affe
c
ts ran
g
ed funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
functi
o
n_hooks: fix db
a
nd ra
n
ged_functions i
n
tegration
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
enter
db/kernel
.
retu
r
n
_
f
i
xes: hack a
r
o
und down_int
e
r
r
upti
b
le()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
nter
db/kernel
.
return_fixes: add
scnprin
t
f()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
f
u
nc
t
ion_hooks: f
i
x locking f
a
lse pos
i
t
ives wh
e
n
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
n
t
er
extra: fix mem
s
e
t() ha
n
dl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpente
r
implied:
d
elete un
u
sed function sm_state_in_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrl
i
st: use af
t
er
free in las
t
_
p
t
r
_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
flow:
t
ype issue ha
n
dling
s
witch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ranges:
fix t
y
p
e
i
s
sue i
n
remove_ran
g
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
ar
p
ent
e
r
conditions: silenc
e
v
alg
r
ind warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpen
t
er
flow
:
set final_
p
as
s
if
w
e have t
o
bail on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpente
r
e
x
t
ra:
export get_oth
e
r_nam
e
_
sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
ent
e
r
im
p
ossible:
a
dd is_impossib
l
e
_
path(
)
t
o sm
a
tch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don't crash gener
a
ting SQ
L
for in
v
ali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
x
tra:
f
ix bug handling untracked pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
e
nter
struct_assign
m
ent: ignore certain types of assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpent
e
r
extra:
d
eferences in
fake a
s
signments don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
C
arpenter
e
x
t
r
a: han
d
le fake as
s
ignm
e
nts faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
impl
i
e
d
: improve overwr
i
te_
s
tates_
u
sing_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Ca
r
p
e
n
t
er
implied: add a comment
e
x
p
la
i
ning how impli
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpenter
function_hooks: check PARAM_LIMIT impli
c
ations all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carp
e
nter
f
unction_hoo
k
s:
i
ntegrate call
_
implies hooks with the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
slist: man
g
le the li
n
e number of merged sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
sizeof_
p
aram:
remove read_rom() f
r
o
m
checked fu
n
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
c
r
eate_db: de
l
e
te
some duplicate
e
ntre
e
s from
f
unct
i
o
n_
p
tr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_absolu
t
e: don't store
whole r
a
nges for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struct_assignment
:
pull spli
t
_fake_exp
r
() in
t
o its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
db: l
i
mit the
a
moun
t
of data
in
t
ype_
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra:
h
andle
i
f (I
S
_ERR(foo[b
a
r])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
nter
db: intro
d
uce
g
et
_
param_name_va
r
_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
penter
i
mplied: handle chunks in switch state
m
e
n
ts l
i
ke switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Car
p
ente
r
extra: don't mark all arr
a
ys as dereferenc
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
helper: create an alloc_sta
t
e_expr() helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace: r
e
m
o
ve some blan
k
l
ines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
penter
extr
a
:
remove
u
nused
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
l
o
c
k
ing: add
m
o
r
e impo
s
sibl
e
hand
l
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: r
e
move some extra semi-colon
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
range
s
: remove
a
n unneed
e
d
initializ
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
returns: provide a split out list of a
l
l
t
he return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: add g
e
t_all_retu
r
ns_
s
t
ate
s
()
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
move freeing
t
o A
F
TER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
db: constif
y
som
e
p
o
inter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
extra: add
missin
g
i
ncl
u
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
extra:
d
o
n
't o
v
erwrite non-null pointers b
e
ca
u
s
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra: fix handling of
"if
(
f
oo &
0x3210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan C
a
rpenter
p
a
ram_set: introduce param_wa
s
_
s
et_var
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpent
e
r
impossibl
e
: handle switch sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impo
s
sible: d
o
n't ove
r
w
r
i
te
t
h
e
i
m
possible stat
e
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carp
e
nter
i
m
p
lied: handl
e
impl
i
cations fo
r
if (
(
{whatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Da
n
Ca
r
pe
n
ter
slist:
c
reate is_leaf() function which
i
s
the opp
o
site
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
D
an Carpenter
rang
e
s: use s
i
gned type
f
o
r
n
egative ints
le
s
s
t
han
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rpen
t
er
db/kernel
.
ret
u
rn_
f
ixes regmap_bulk_read
(
)
retu
r
ns negatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n
Carpenter
r
a
nges
:
fix a bug in rl_inv
e
rt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
s
v
al, type: make some fun
c
ti
o
ns inl
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
p
e
nter
implied: fix an old impli
c
at
i
o
n
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
arpenter
implied: remove unused add_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impli
e
d: pass
sm_sta
t
e
s
inst
e
ad of
pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
er
i
m
p
lied: f
i
x
a
type
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
r
p
enter
implied: upd
a
t
e
some debug o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impl
i
ed: cr
e
ate fake implicati
o
n history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
penter
sta
t
es: tweak debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpenter
states: print de
b
ug outp
u
t in
_
_
set_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n
Ca
r
penter
impl
i
ed
:
overwr
i
t
e
smatc
h
_extra
u
s
i
ng implied
states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
ranges, e
x
t
ra:
move and
e
xport split
_
comp
a
rison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist: remov
e
unused __set_true_false_if_not_
a
l
r
ead
y
_set(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
db: make a f
i
l
e
k
e
rnel
.
return_fixes
for updating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
f
l
o
w
:
merge multiple c
a
s
e s
t
atements in a row
t
oge
t
h
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
helper: us
e
.
i
n
stead of -> fo
r
more var
i
ables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
a
rpen
t
er
par
a
m_set
:
re
m
ove an
unnneeded var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
arpenter
extra: p+
+
sh
o
uld clea
r
the
s
t
a
tes f
o
r *p o
r
p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
er
math: handle __builtin_types_compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carp
e
nter
f
low: split c
a
se
s
tatement handling into
its own fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
p
en
t
er
implied: replace
__get_imp
l
ied_values() with ge
t
_a
b
solute_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
flow: fix bug i
j
us
t
introduced with known switch s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
debug: print
t
he
ma
x
size
fo
r
__
s
mat
c
h_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpen
t
er
d
e
bug: include
-
>possible and absolute in __sma
t
c
h
_a
b
o
ut
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
impli
e
d
: remove un
n
e
cessary initializatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
param_cl
e
ared:
s
trip away casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
ranges:
make fil
t
er_top_rl()
t
a
k
e a
r
ange_list fi
l
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
flow: sh
u
ffle case statement handling around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
penter
i
mplied: spl
i
t th
e
__impli
e
d_case_stre
e
(
) into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
e
x
t
ra: white space cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
imag
i
na
r
y_absolute:
i
t's like sm
a
tch_
e
xtra
.
c for
impossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
i
mpl
i
ed
:
remove some dup
l
i
c
a
te lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
extra: rem
o
ve an ob
s
olete comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: spl
i
t
h
andle_com
p
arison() into two
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
C
arpenter
db: ign
o
re unreachable ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpenter
db: split returns in
to NULL an
d
non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpen
t
er
db: remove pointless return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
an Carpent
e
r
db:
s
mall cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan C
a
rpenter
hooks: rename CAL
L
_HOO
K
_
AFTER to CALL_HOOK_AF
T
ER_D
B
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
an
Carpenter
un
t
racked_param: ha
n
dle inline calls
b
e
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Carpe
n
t
er
flow: d
o
en't reset loop_count for inline fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next