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
ranges, db: if we can't filter by comparison then use the whole range
2016-04-14
Dan Carpenter
r
a
nges, extr
a
: mo
v
e and export spl
i
t_comparison
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist: r
e
move unused __
s
et
_
t
rue_false_if_not_already_s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
db: make a file kernel
.
return_fixes for updating retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
flow: mer
g
e mult
i
ple case st
a
tements i
n
a ro
w
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
helper: u
s
e
.
i
n
stead of -> f
o
r
more variabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpe
n
t
e
r
p
aram_set: remov
e
an
unnneeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
e
x
tra:
p++
s
hou
l
d clear the s
t
ates for *p or p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Car
p
en
t
er
m
a
t
h:
h
andle __buil
t
in_types_compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Ca
r
penter
flow:
s
p
li
t
case sta
t
ement handling into its o
w
n f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
i
mplied: repla
c
e __get_i
m
p
lied_value
s
() with
g
e
t_abso
l
ute_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carp
e
nter
flow: f
i
x bug
i
just intro
d
uced with kn
o
wn
s
w
it
c
h statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
debug: print the max size for _
_
smat
c
h_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
debug: include
->possible an
d
absol
u
t
e
i
n
__smat
c
h_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
imp
l
i
e
d: remove unnecessa
r
y initialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
p
aram_cleared:
s
trip away casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpe
n
ter
r
anges: make filter_top_rl() take
a ran
g
e_
l
ist fil
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: s
h
u
f
f
le case statemen
t
h
an
d
l
i
n
g around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
i
m
p
lied: split t
h
e __im
p
li
e
d_c
a
se_stree(
)
int
o
two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
ex
t
ra: white space
clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
penter
i
maginary_ab
s
olute: i
t
's like smat
c
h_extra
.
c
f
o
r
i
mpossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n
Carpe
n
t
er
impl
i
ed: remo
v
e some duplicate
l
ines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Carpenter
ext
r
a: remove an obsolete comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extr
a
:
split handle_
c
omparison() into tw
o
function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Car
p
e
n
ter
db: ignore
u
n
reachable return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Carpe
n
ter
db: split returns in to
NULL and non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpe
n
ter
d
b
:
r
e
mov
e
p
oin
t
less
r
e
tu
r
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
db: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpent
e
r
ho
o
ks: rena
m
e CALL_
H
O
O
K_
A
FTER t
o
CALL_HOOK_AFTER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpente
r
unt
r
acked_pa
r
am: handle inline calls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
an C
a
rpenter
f
l
ow: do
e
n't
r
e
set l
o
op_count
f
or inline
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Ca
r
penter
impli
e
d: use the correct type fo
r
conditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n
C
a
rpente
r
scope
:
delete ou
t
o
f scope variab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpe
n
ter
v
a
lidation/sm_chu
n
k2
.
c: upda
t
e va
l
id
a
t
i
on tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
nte
r
d
b: revert a "speed
u
p
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
real_absolu
t
e: tu
r
n
this c
o
de on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpenter
err_
p
tr_deref: comp
l
ain about
dereferences insi
d
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpente
r
return_efau
l
t
:
c
omplain about
"r
e
turn copy_from_user();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Ca
r
penter
buf
_
size: save s
i
z
e of fi
x
ed
a
rrays that
a
re returne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
mod
i
f
i
c
atio
n
_hooks: remove an
unnee
d
ed va
r
iabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
slist: mak
e
m
e
rge_
s
t
a
t
e
s()
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
states: make debug output m
o
re consistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hoo
k
s: put
e
ach ty
p
e of hook
into it's own
a
r
ray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carp
e
n
ter
.
gi
t
ignore:
a
dd
.
g
db_h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpenter
stored_
c
onditions: white s
p
ace
ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpen
t
er
math: prefer real_a
b
sol
u
t
e
_value to the db value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpenter
implied: remove
a
b
l
ank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
condit
i
ons:
b
ug in condition assig
n
ments like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
p
enter
impossible: hand
l
e
assignment
condit
i
ons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
rpenter
string_conditio
n
: don
'
t complain about
TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
function
_
hooks:
h
and
l
e
returs that don't set a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
db: don'
t
use s
p
lit_s
u
ccess
_
fail if 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 in print_struct_members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
a
rpente
r
db: fo
r
impossi
b
le returns
just do the
s
implest thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carp
e
nter
extra: use real
_
absolute valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
en
t
er
ex
t
ra: im
p
rove array ha
n
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
enter
smatc
h
:
a
d
d a --tim
e
optio
n
to pri
n
t how long smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carp
e
nter
flow
:
handle "*p++
= foo" better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Ca
r
pen
t
er
flow: fix inside_loop() wit
h
inline fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Ca
r
penter
par
a
m_
s
et: handl
e
array assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
an Carpen
t
er
imp
l
ied: remove buggy code for wor
k
ing a
r
o
u
nd t
h
e
o
ld
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Da
n
Carpenter
d
b
/f
i
xu
p
_ke
r
nel
.
sh: add
k
m
a
lloc_order_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpenter
d
b/fixup_kernel
.
sh: ignore
a lo
t
of P
C
I er
r
o
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
d
ata
/
kernel
.
clears_argum
e
nt: add copy_user_gener
i
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db:
split positive
from negative
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
ar
p
enter
expr
e
s
s
i
ons: introd
u
c
e
co
m
pare_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carp
e
n
t
e
r
implied: introduce
a
ss
u
m
e(co
n
dition)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
a
rpenter
db: handle parameter functi
o
n pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
stat
e
s: handle fake sl
i
st properly wh
e
n we merge true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
v
a
lidation:
add
a
test for
r
anged c
a
se
s
tatemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
pente
r
conditions: big fake
state
r
e-work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpen
t
er
avl: remov
e
sign() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
s
lis
t
:
i
ntro
d
uce type_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpen
t
e
r
c
onditions
:
add a NUL
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpente
r
implie
d
: revert not al
r
e
a
d
y
set chang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpe
n
ter
extra: handle
p
o
st op
increment loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
D
a
n Ca
r
pen
t
er
type: fix "strange non-va
l
ue function o
r
arr
a
y
" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
leaks: don
'
t
re
s
e
t states to themselv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan C
a
rpenter
flow, conditions:
h
andle label s
t
a
tem
e
nts corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
D
an
C
arpenter
db:
fix a bug in
spl
i
tting re
t
ur
n
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan C
a
rpente
r
Revert "states: only
set the fake_stree in set
_
st
a
te()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
arp
e
n
ter
locki
n
g: don't
warn about impossible
paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
v
alidation/sm_i
m
plied8
.
c: update te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
arpen
t
er
f
u
n
ction_h
o
oks: u
s
e __set
_
sm_
c
u
r_str
e
e() in db_return_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carp
e
nter
states: only set
the fake_str
e
e in
set_state(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
r
p
enter
imp
l
ications: use stored_conditions the d
e
f
a
ult fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpente
r
i
m
plied: unbreak assign_ranged_functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpenter
sta
t
e
s: de
l
ete a
n
unuse
d
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Car
p
ente
r
implied: fix
P
ARAM_LIMI
T
implications again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Ca
r
penter
im
p
li
e
d: fall out from fake_cur_stree change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Ca
r
p
enter
re
a
l_absolute
:
+= and
= a
r
e
n
o
t the sa
m
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Car
p
enter
st
a
tes: __set_sm_cur_s
t
ree
(
) should not change the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
stat
e
s: setting the true
s
tate doesn't set th
e
c
ur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arp
e
nter
implied: fix a bug h
a
ndli
n
g PARAM_LIMIT implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
validation: add
sm_i
m
poss
i
b
l
e2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
s
truc
t
_as
s
ignment: silence
a
GCC fa
l
se po
s
itive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpent
e
r
val
i
dat
i
on/s
m
_impl
i
e
d
10
.
c
:
update the test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
extra: fix
values_fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
penter
R
ev
e
rt "slist: make
_
_me
r
ge_slist
(
)
a
llocate
less
m
e
m
ory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
rp
e
nte
r
flo
w
: sil
e
n
c
e a GCC false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
validation/sm_co
m
p
a
re3
.
c
:
update the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next