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
implied: pass sm_states instead of pools
2016-04-20
Dan Car
p
e
nter
implied: pass sm_s
t
ates instead of poo
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan
C
arpenter
implied: fix a type bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n
Carpenter
impli
e
d
: update so
m
e debug outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
i
mp
l
i
e
d: create fak
e
implication
h
i
s
tory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
C
a
rpenter
stat
e
s
: tweak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: print
d
eb
u
g output in __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Car
p
enter
implied: overwrite smatch_
e
xtra us
i
ng
i
m
p
lied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Ca
r
penter
ranges, extra: move and
expo
r
t split_comparison
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
sl
i
st: remove unused __set_true_false_if_no
t
_already_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Car
p
enter
db:
make
a
f
i
le kernel
.
return_fix
e
s for updating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
f
low: me
r
ge mu
l
tipl
e
c
ase st
a
tements
i
n a row togeth
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
h
elper: use
.
instead of -> for more variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_s
e
t: r
e
move an unnnee
d
ed
v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
extra: p++ should
clear
t
h
e
s
t
ates for
*
p or
p
->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
math: handle __bu
i
ltin_
t
y
p
e
s_compatible_p(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpente
r
flow:
s
plit c
a
se statem
e
nt hand
l
i
n
g
int
o
it
s
own fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n C
a
rpenter
implie
d
: replace __get_impli
e
d_valu
e
s() with get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
flo
w
: fix bug
i ju
s
t intro
d
u
ced with known switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nter
d
e
bug: p
r
int the max
s
ize for __sma
t
ch_buf_siz
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
d
ebug: include ->p
o
ssible and absolute
i
n
__smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
r
pente
r
implied: remove un
n
ece
s
sa
r
y initialization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
pa
r
am_cleared: strip away cast
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpente
r
r
a
nges: make fil
t
er_top_rl() take a
r
ange_list filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
f
l
ow:
s
huffle c
a
se st
a
tement handl
i
n
g
ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
e
nt
e
r
implie
d
: split the
__implied
_
c
a
s
e_stree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpent
e
r
e
xtra: whi
t
e
space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
imaginary_abs
o
l
u
t
e: it'
s
like sm
a
tch_extra
.
c for
impossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
im
p
lied: remove some d
u
plicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: rem
o
v
e an
o
b
solete comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Carpenter
e
x
tra: split han
d
l
e
_
comparison()
i
nto two
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n C
a
r
p
e
nter
d
b: igno
r
e unreachable return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
db: spl
i
t r
e
turns in t
o
NULL and non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: r
e
move
po
i
n
tless
r
e
t
u
rn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
db
:
small clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
h
ook
s
:
rename
C
ALL_HOOK_AFTER to CALL_H
O
OK_AFTE
R
_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
an Ca
r
penter
u
n
tracked_p
a
ra
m
: handle inline calls
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n
C
a
rpen
t
er
flow: doen't
r
eset loop_c
o
u
n
t
f
or inl
i
ne functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
implied: use the
c
orrect type fo
r
c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpe
n
ter
scope: delete out of scope variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an Carp
e
n
ter
valid
a
t
i
on/
s
m_chunk
2
.
c: upd
a
te val
i
dation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arp
e
nte
r
db: revert a "sp
e
edup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
real_
a
bsolute:
t
urn this c
o
de on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
ent
e
r
e
rr_
p
t
r
_deref: complain about dereferences inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpenter
r
e
turn_efault: compl
a
in about "return copy_
f
rom
_
u
s
e
r
(
)
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpe
n
ter
bu
f
_size: sav
e
size of
f
ixed ar
r
ays
t
hat are
r
e
turned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
m
o
dification_hooks: remo
v
e an unnee
d
ed variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
e
n
t
e
r
sl
i
s
t: make merge_state
s
() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
states: make debug output mo
r
e consis
t
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
hooks:
p
ut
e
ach type of h
o
ok into it's own arr
a
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
n
ter
.
g
itignor
e
:
a
d
d
.
gdb_hist
o
ry
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
store
d
_c
o
nditio
n
s: white sp
a
ce changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
C
a
rpenter
math: p
r
efer real_absolute_value t
o
the
d
b
v
a
lue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpent
e
r
implied: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
r
penter
condition
s
:
b
ug i
n
c
o
ndi
t
ion assignments like foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpen
t
er
im
p
os
s
ib
l
e: handle assignment conditions bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
st
r
ing
_
condition
:
don't c
o
m
p
la
i
n about TRACE
_
EVE
N
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
func
t
ion_ho
o
ks: han
d
l
e
r
e
tur
s
that
d
on't
s
et a
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Ca
r
penter
db: don't use split_s
u
ccess_fail if it
d
oesn't
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpent
e
r
db: f
i
x bug in print_struct_m
e
mber
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
pe
n
ter
db: fo
r
impos
s
ible returns just do the
si
m
plest thin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carp
e
nter
extra
:
use rea
l
_
a
b
s
olute
v
alues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: impro
v
e array handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpent
e
r
smatch
:
a
dd
a
-
-
time option to
p
r
i
n
t
h
ow long smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Car
p
enter
flow
:
handle "*p++ =
foo" be
t
ter
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
f
low: f
i
x insi
d
e_loop() with
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
D
a
n
Carpen
t
er
param_set: han
d
le
array assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Car
p
e
n
t
e
r
implied
:
r
e
mo
v
e bug
g
y co
d
e fo
r
wor
k
ing
a
r
ound the old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
db/fixup_ke
r
nel
.
s
h:
add k
m
alloc_or
d
er_tr
a
c
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
db/fixup_kernel
.
sh:
i
gn
o
re a lot
of
PCI err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
enter
data/kernel
.
cle
a
r
s_argument
:
add c
o
py_
u
ser_generic
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
Carpenter
d
b:
split positive from negative
r
e
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpenter
express
i
ons: intr
o
duce compare_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpenter
i
m
p
l
ie
d
:
i
n
troduce
a
ssume(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 function p
o
inte
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
states: handle
f
ake slist properly when we m
e
rge true
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
t
er
vali
d
at
i
on: add a test for ranged case statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carpenter
co
n
d
itio
n
s: big fake state re-work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpent
e
r
a
v
l: remov
e
s
ign(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slist: introdu
c
e type_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
a
rpenter
c
o
nditions: a
d
d a NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpen
t
er
implied
:
r
evert not a
l
ready se
t
change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
extra: handle post op increment loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpe
n
ter
type: fix "st
r
a
nge non-value function or arra
y
"
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan Car
p
enter
le
a
ks: don'
t
rese
t
states to themselves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
D
an
Carpente
r
flow,
conditions: handle label
s
tate
m
e
n
ts cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan C
a
r
penter
db
:
fix a bug in sp
l
itt
i
ng
r
et
u
rn s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan C
a
rpenter
Revert "
s
tates:
only set
t
he fake_stree in set_sta
t
e()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
a
r
penter
lo
c
k
i
n
g: don't
warn abo
u
t
i
m
possible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
a
rp
e
nter
validation/sm_imp
l
ied8
.
c:
update
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
functi
o
n_
h
ooks: use __s
e
t_sm_cur_stree() in db_ret
u
r
n
_state
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpente
r
state
s
: only set the fake_
s
tree in set
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
a
r
pen
t
er
implications: use
s
t
o
red_conditio
n
s the
d
efault fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
arpen
t
er
i
m
p
lied
:
unb
r
eak assign_ranged_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Car
p
enter
stat
e
s:
delete an unus
e
d function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Da
n
Carpenter
i
mplied: fix PARAM_LIMIT implicatio
n
s again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
rpenter
implie
d
: fall out from fake_cur_stree chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan
C
arpenter
real_absolute: += and
= are not the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Ca
r
penter
s
tates: __se
t
_s
m
_cur_stree() sh
o
uld not chan
g
e the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan
Carpenter
states
:
s
e
tti
n
g
the true stat
e
d
o
e
sn't set
th
e
cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carp
e
nter
implied
:
fix a bug handli
n
g
P
ARAM_LIMIT
i
m
p
li
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next