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: fix a bug in rl_invert()
2016-04-22
Dan Carpe
n
ter
r
a
nges: fix
a bu
g
i
n r
l
_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carpent
e
r
sval, type: m
a
ke so
m
e
f
unctions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
a
rp
e
nter
impl
i
ed: fix an old impl
i
cation bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied
:
re
m
ove unused add
_
pool()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an
C
a
r
pen
t
er
implied:
pass sm_states
i
n
stead of p
o
ols
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Car
p
ente
r
implied: fix a
t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
an Carpenter
implied: update some
d
ebug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
im
p
lie
d
: create fake implication hist
o
ry
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n
C
arpenter
states: t
w
eak deb
u
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carp
e
nter
states: print
d
ebug o
u
tput in
__set_true_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
impli
e
d: overwrite sm
a
tch_ext
r
a u
s
i
n
g
implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
r
a
nges
,
e
x
t
ra: move and export
s
plit_c
o
mparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
t
e
r
sl
i
st: remove unused __set_true_f
a
lse_if_
n
ot_al
r
ead
y
_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
db: make a file kernel
.
re
t
u
r
n_fixes for
u
pdating
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
flow: merge multiple ca
s
e statem
e
nts i
n
a ro
w
toget
h
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helper: use
.
i
n
stead o
f
-> for more variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpen
t
e
r
param_set: rem
o
ve an u
n
nneeded va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
extr
a
: p++ should
clear the states for *p or p->fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
m
ath: handle
_
_builti
n
_types_compati
b
le_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: s
p
l
it case statement han
d
l
i
ng into its
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
i
mplied
:
r
eplace
__get_implied_
v
alues() with get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an
Carpent
e
r
flow: fix bug i just
i
ntroduced with k
n
own switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpenter
d
ebug
:
print
t
h
e
max size
f
or __sma
t
ch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
rpenter
debug: include ->possible and absolute in __sm
a
tch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
im
p
l
ied: r
e
move unnec
e
ssary initial
i
za
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nter
param_cleared: strip away casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
ra
n
g
es: make filte
r
_top_
r
l() take
a
ra
n
ge_list filt
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Car
p
e
nter
fl
o
w: sh
u
ffle case sta
t
ement h
a
ndli
n
g around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
mp
l
i
e
d:
split t
h
e __implied_case_stree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpenter
e
xtra:
white spa
c
e cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpen
t
er
imagin
a
r
y
_a
b
solut
e
: it's l
i
ke
smatch_
e
x
tr
a
.
c
f
or im
p
ossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
implied: remov
e
some
d
up
l
ic
a
t
e
line
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra:
r
emov
e
an o
b
s
olete commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
extra: split ha
n
dle_compariso
n
() into two function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an Carpen
t
e
r
db: ignore u
n
reach
a
ble retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
en
t
er
d
b
: split returns in to NULL and non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: rem
o
v
e pointless
retu
r
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n
Ca
r
penter
d
b: s
m
all
c
le
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carp
e
nter
hooks: renam
e
CALL_H
O
OK_AFTE
R
to
CALL_HOOK_AFT
E
R_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Carpent
e
r
untracked_param: ha
n
d
l
e
inline
calls
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n C
a
rpenter
f
low: doen't r
e
set loop_
c
o
u
nt for i
n
line functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan
Carpente
r
i
mplied: u
s
e
t
he correct type f
o
r conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Da
n
Carpenter
scope:
d
el
e
te out of scope variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an
C
ar
p
e
n
ter
validation/
s
m
_
chunk2
.
c: upda
t
e
vali
d
ation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an
Carpenter
db: revert a "spee
d
up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
rpenter
real_abs
o
lute: turn this
c
ode on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carp
e
nter
err_ptr_deref: comp
l
ain a
b
o
u
t
dereferences inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
return_efault:
c
omplain
about "
r
eturn
c
op
y
_from_user();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
en
t
e
r
buf_size: sav
e
size of fixed arrays
t
hat are retur
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
mo
d
i
fication_hooks: remove an unne
e
d
ed varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
C
arpenter
slist: make merge_states
(
) static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpenter
sta
t
es: ma
k
e debug output mor
e
consistent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hooks: p
u
t each type of
h
o
ok in
t
o it
'
s own array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpenter
.
gi
t
i
gnor
e
: add
.
gdb_histo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
stored_c
o
nditions: white
space
c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
n
t
er
ma
t
h
:
prefer real_abs
o
lute_value to the db va
l
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
implied: remove a blan
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpe
n
t
er
co
n
ditions: bug
i
n conditi
o
n ass
i
gnments like foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
e
r
impossible
:
handle
a
ssig
n
me
n
t
c
ondit
i
ons be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rp
e
nter
string_condi
t
i
o
n: don't
c
o
mplain abou
t
TRACE_EVENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Ca
r
pe
n
ter
function_hooks: handle re
t
u
r
s
that don't s
e
t a
s
tat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
db: d
o
n'
t
use split_succe
s
s_
f
a
i
l if it doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpente
r
db:
fix
bug in print_struct_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
db: for im
p
ossible
re
t
ur
n
s
just do the
simplest thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra
:
use
r
e
al
_
absolute
v
a
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpenter
e
x
tra: improve ar
r
ay han
d
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n
Carpente
r
smatch: a
d
d a
--time o
p
tion
t
o print how long smat
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
a
r
penter
fl
o
w: h
a
ndle "*p+
+
=
foo" better
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
enter
f
l
ow: fix
i
n
s
id
e
_loop
(
) with inline f
u
n
c
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carp
e
nte
r
param_set: handle array assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Ca
r
penter
implied: remove bugg
y
co
d
e for workin
g
ar
o
und
the old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpe
n
ter
db/fixup_kernel
.
sh: add kmalloc_
o
rder_trace()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpe
n
ter
db
/
fixup_kernel
.
sh: ignore a l
o
t of PCI errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n Car
p
e
n
ter
da
t
a/kernel
.
clears_ar
g
ument:
ad
d
copy_user_
g
en
e
ric()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
e
n
t
e
r
d
b
: split positive
f
rom nega
t
iv
e
retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpenter
expressions: intro
d
uce compare_ex
p
ression
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpenter
implied:
i
ntroduce as
s
u
m
e
(
cond
i
tion)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpent
e
r
d
b:
h
a
n
dle parameter function pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
states: hand
l
e fa
k
e
sli
s
t properly
when we
m
erge
t
rue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Car
p
enter
validation:
a
dd a te
s
t for rang
e
d c
a
se statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
ter
con
d
iti
o
ns: big fake state re-work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpenter
a
vl: re
m
ove
s
ign() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
rp
e
nter
slist
:
introduce ty
p
e_stre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carp
e
n
t
er
c
ond
i
tions:
add a NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Car
p
enter
implied:
revert no
t
already se
t
change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
extra: h
a
ndle post op i
n
crement loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type: fix "strange non-value function
o
r
array" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
leaks: don't
r
eset sta
t
e
s to themselve
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
flow
,
conditions: h
a
ndle la
b
el sta
t
eme
n
ts correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan
Carp
e
nt
e
r
db: fix a bug in s
p
litti
n
g return states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
D
an C
a
r
pe
n
ter
Revert "states: only set the
f
ak
e
_stree in set_s
t
ate()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
locking: don't warn
abou
t
imposs
i
ble paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Ca
r
pent
e
r
validati
o
n/sm_imp
l
ie
d
8
.
c:
up
d
ate test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
an
Car
p
enter
f
u
ncti
o
n_hooks
:
use
__set_sm_cur_stre
e
() in db_re
t
urn_sta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
states: only set the fake_stree in set_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
implications: us
e
s
t
o
re
d
_
c
onditions th
e
default fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
Carp
e
nter
impli
e
d: unbreak assign_ra
n
g
e
d_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
stat
e
s: delete an unused
fu
n
ctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carp
e
nter
implied:
f
ix PA
R
AM_LIM
I
T implications again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
i
m
plied: fall out fr
o
m
fak
e
_
cur_st
r
ee changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next